java - JMM 中的因果关系要求

Question

我正在尝试了解 JMM 的因果关系要求。 JMM 的这一部分描述了它 https://docs.oracle.com/javase/specs/jls/se7/html/jls-17.html#jls-17.4.8

E 在因果关系定义中表示什么？这是否意味着我们试图证明的执行或证明从 Ci 到 Ci+1 的提交的执行？

在 9 条因果关系定义规则中，还有用于将 A 的 Action 添加到从 Ci-1 到 Ci 或从 Ci 到 Ci+1 的 promise Action 集中。？

Answer 1

What does E means in the causality definition. Does it mean Execution we are trying to justify or the execution to justify the commit from Ci to Ci+1.?

E 是您要确定其因果有效性的执行。

E_i 是格式正确的执行，通过它您可以处理因果关系，而无需引入总时间顺序的概念。

Also in the 9 rules of causality definition are for adding an action from A to committed set of action from Ci-1 to Ci or from Ci to Ci+1.?

我不确定我是否理解你的问题。我的回答尝试可能涉及重新散列您不感兴趣的内容，但请耐心等待。

如果根据第 17.4.8 节中的规则可以提交，则根据 Java 内存模型的因果关系要求，执行是有效的。

本节中的规则通过建立一个规则集来定义可以提交的内容，该规则集用于从空的已提交操作集构建到最终执行的所有操作集。这是在离散的步骤中完成的，并且每一步的 promise 操作都有一致性规则和不变量，以及它们与不同执行中上一步的 promise 操作的关系(E vs < em>E_i 来自上面)。

至于根据定义的最后一条规则(第 17.4.8 节中第 9 个编号的项目符号)执行操作，每个集合 C_i 都是 < em>C_i+1，因此操作不会从 C_i 提交到 C_{i+ 1}，但从 A 到 C_i。

我发现以下两个链接是消除 JMM 中因果关系迷雾的最佳资源:

1. > JMM Causality Test Cases
2. > Alexey Shipilev's JMM Pragmatics talk

P.S. 对于不了解这部分规范上下文的人，第 17.4.8 节的要点是弥合happens-before 之间的差距一致的执行和SC DRF(顺序一致，无数据竞争)执行。这两者之间的区别是所谓的凭空值，这是神秘的第 17.4.8 节所不允许的，如果不加以检查，推理起来可能会非常糟糕。