G eiid4 INIT(*x,0) eiid1 WRITE_ONCE(*x,1) eiid4->eiid1 co eiid5 INIT(*y,0) eiid0 WRITE_ONCE(*y,1) eiid5->eiid0 co eiid3 r2 = READ_ONCE(*y) eiid5->eiid3 rf   eiid0->eiid1 fence eiid2 r1 = READ_ONCE(*x) eiid1->eiid2 rf eiid3->eiid0 fr eiid3->eiid2 fence .