linux-kernel – 正式的Linux内核内存模型

让我们考虑一个简单的程序：

cumul-fence定义为：

cumul-fence := A-cumul(strong-fence ∪ po-rel) ∪ wmb
A-cumul(r)  := rfe';r

在3.2.3的链接出版物中,写成(b,e)∈prop.由此我们可以得出结论：(c,d)∈积水栅栏.

所以,让我们看看：

po-rel = {(c,d)}
strong-fence = {(a,b),(e,f)}
wmb = {}
rfe = {(d,e)}
rfe' = {(d,d),(d,e),e)} <- reflexive closure of rfe. 
A-cumul({(a,f),(c,d)}) = {(d,e)};{(a,d)} = {(d,f)}
cumul-fence = {(d,f)}

所以,我们可以看到(c,d)不在积云中.有人可以解释我的推理不正确吗？