JMM中的因果关系似乎是其中最令人困惑的部分。我有几个关于JMM因果关系和并发程序中允许的行为的问题。据我了解，当前的JMM始终禁止因果循环。(我说得对吗？)现在，根据JSR-133文档，第24页，图16，我们有一个示例，其中:最初x=y=0线程1:r3=x;if(r3==0)x=42;r1=x;y=r1;线程2:r2=y;x=r2;直觉上，r1=r2=r3=42似乎是不可能的。然而，它不仅被提及为可能，而且在JMM中也被“允许”。对于这种可能性，文档中我看不懂的解释是:Acompilercoulddeterminethattheonlyvalueseverassignedtoxare

这部分主要讲了causaldiscovery的算法描述和图论相关表达。下一篇会整理intervention相关的理论，欢迎大家一起学习。因果图入门初始因果发现因果发现问题因果发现算法因果图模型的相关定义因果图因果边假设结构因果模型马尔可夫性D-faithfulnessD-separationCPDAGAncestralgraph初始因果发现了解系统中现象的规律实际上就是以因果的角度取建模变量间的内在联系。尤其在进行决策时，我们需要考虑干预（intervention）造成的潜在影响。实际上，一个研究的主要目的往往都是在评估一个“动作”（action）的影响，而不是关联性。因此，因果研究的过程时，