java - JMM 中的执行和因果关系要求

Question

这里 http://docs.oracle.com/javase/specs/jls/se8/html/jls-17.html#jls-17.4.8

是什么意思 hbi|Ci = hb|Ci

soi|Ci = so|Ci

和 对于 Ai - Ci-1 中的任何读取 r，我们有 hbi(Wi(r), r)

为什么他们从 Ci-1 中减去 Ai - 或者它是某种范围？

对于 Ei 来说，什么是足够的同步边缘？

Answer 1

what does it mean hbi|Ci = hb|Ci, soi|Ci = so|Ci

也许您错过了您引用的部分顶部的定义:

We use f|_d to denote the function given by restricting the domain of f to d. For all x in d, f|_d(x) = f(x), and for all x not in d, f|_d(x) is undefined.

We use p|_d to represent the restriction of the partial order p to the elements in d. For all x,y in d, p(x,y) if and only if p|_d(x,y). If either x or y are not in d, then it is not the case that p|_d(x,y).

For any read r in Ai - Ci-1, we have hbi(Wi(r), r)

为什么他们从 Ci-1 中减去 Ai - 或者它是某种范围？

这是集合减法，意味着 A_i 中的元素不存在于 C_i-1 中。

what is sufficient synchronizes-with edges for Ei?

我在这里不是100%确定，但这可能意味着足以建立完全同步顺序的集合。基本上，对于任何一对 sw 边 sw(a,b) 和 sw(b,c)，额外的 sw(a,c) em> 将是多余的(超出了足够的范围)。

更新

实际上，我错过了紧随该术语使用下方的正式定义:

8. Let ssw_i be the sw_i edges that are also in the transitive reduction of hb_i but not in po. We call ssw_i the sufficient synchronizes-with edges for E_i. If ssw_i(x, y) and hb_i(y, z) and z in C_i, then sw_i(x, y) for all j ≥ i.

这意味着所有可以从程序顺序 (po) 推断出的 sw-edges 也将被删除。