Executing a causality example

Question

The link gives an example of legal enforcement permitted. See page 26, section 4.8.1 http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.79.629&rep=rep1&type=pdf .

Example

Initially,
x = y = 0
Thread 1  Thread 2
r1 = x;   r2 = y;
y = 1;    x = r2;
r1 == r2 == 1 is a legal behavior

From paper,

We wish actions r2 = y to see the value 1. C 1 cannot contain this action seeing this value: neither write Y were committed. C 2 may contain this action; however, reading Y must return 0 in E 2, due to rule 6. Execution of E 2 is therefore identical to E 1
In E 3, according to rule 7, r2 = y can see any inconsistent entry that occurs in C 2 (for how long since this recording occurs - until agreed). In this action, you can now see the entry 1 in Y in topic 1, which was fixed in C 1. We perform one additional action in C 3: recording from 1 to X from x = r2.

r2 = y, y 1, y 0 6. E3, r2 = y y = 1, Thread1. - E3 r2 = y 6 , , x = 0. E2 - 6 r2 = y, y y 0, E3, r2 = y, y y = 1, Thread1?

Answer 1

, 7 , C _i, E _i, , E. , . 5 , E _{+ 1}, E.

, , , , . , , , - ( , , y = 0 r2 = y).

, r2 = y C ₂, E ₂ y = 0, , E ₃, r2 = y , , - .

P.S. r1 = x :

C ₄, E ₄, r1 = x; - 0 - 6. E = E ₅, 7 r1 = x 1 x, C ₃.