LISA alt-ww-rw+rel+acq-o+o-rel+acq-o+o-wb-rel+acq-o
{
x = 0;
y = 0;
}
P0 | P1 | P2 | P3 | P4 | P5 ;
w[release] x 1 | r[acquire] r1 x | w[once] y 2 | r[acquire] r2 z | w[once] a 2 | r[acquire] r3 c ;
| | | | f[wmb] | ;
| w[once] y 1 | w[release] z 1 | w[once] a 1 | w[release] c 1 | w[once] x 2 ;
Observed
y=2; x=2; a=2; 5:r3=1; 3:r2=1; 1:r1=2;
and y=2; x=1; a=2; 5:r3=1; 3:r2=1; 1:r1=2;
and y=2; x=1; a=2; 5:r3=1; 3:r2=1; 1:r1=1;