小编jag*_*gan的帖子

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

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

另外，在因果关系定义的 9 个规则中，用于将 A 的动作添加到从 Ci-1 到 Ci 或从 Ci 到 Ci+1 的承诺动作集中。