Causes in JMM

Question

I am trying to understand the causality requirement of JMM. This JMM section describes it https://docs.oracle.com/javase/specs/jls/se7/html/jls-17.html#jls-17.4.8

What does E mean in determining causality. Does this mean fulfillment, which we are trying to justify or fulfillment to justify fixation from Ci to Ci + 1.?

Also in the 9 rules for determining causality, actions are added from A to a perfect set of actions from Ci-1 to Ci or from Ci to Ci + 1.?

Answer 1

What does E mean in determining causality. Does this mean fulfillment, which we are trying to justify or fulfillment to justify fixation from Ci to Ci + 1.?

E is the official reason you are trying to identify.

E _i - , , .

9 A Ci-1 Ci Ci Ci + 1.?

, . , , , , .

Java, 17.4.8.

, , , . , , , (E vs E _i ).

( 17.4.8) , C _i C _{+ 1}, C _i C _{+ 1}, A C _i.

: JMM:

• JMM
• JMM Pragmatics

PS , , 17.4.8 - - SC DRF ( , ). , 17.4.8, , .