…
LISA Luc11
{
}
P0 | P1 | P2 | P3 | P4 | P5 ;
w[once] x 1 | w[once] y 1 | w[once] z 1 | f[rcu_read_lock] | f[rcu_read_lock] | f[rcu_read_lock] ;
f[sync] | f[sync] | f[sync] | w[once] a 1 | w[once] b 1 | w[once] c 1 ;
r[once] r0 y| r[once] r0 z| r[once] r0 a| r[once] r0 b| r[once] r0 c | r[once] r0 x;
| | | f[rcu_read_unlock] | f[rcu_read_unlock] | f[rcu_read_unlock] ;
Observed
5:r0=1; 4:r0=1; 3:r0=1; 2:r0=0; 1:r0=1; 0:r0=1;
and 5:r0=0; 4:r0=1; 3:r0=1; 2:r0=0; 1:r0=1; 0:r0=1;
and 5:r0=1; 4:r0=1; 3:r0=0; 2:r0=0; 1:r0=1; 0:r0=1;
and 5:r0=0; 4:r0=1; 3:r0=0; 2:r0=0; 1:r0=1; 0:r0=1;
and 5:r0=1; 4:r0=0; 3:r0=0; 2:r0=0; 1:r0=1; 0:r0=1;
and 5:r0=0; 4:r0=0; 3:r0=0; 2:r0=0; 1:r0=1; 0:r0=1;
and 5:r0=1; 4:r0=1; 3:r0=1; 2:r0=1; 1:r0=0; 0:r0=1;
and 5:r0=1; 4:r0=1; 3:r0=0; 2:r0=1; 1:r0=0; 0:r0=1;
and 5:r0=1; 4:r0=1; 3:r0=1; 2:r0=0; 1:r0=0; 0:r0=1;
and 5:r0=0; 4:r0=1; 3:r0=1; 2:r0=0; 1:r0=0; 0:r0=1;
and 5:r0=1; 4:r0=0; 3:r0=1; 2:r0=0; 1:r0=0; 0:r0=1;
and 5:r0=1; 4:r0=1; 3:r0=0; 2:r0=0; 1:r0=0; 0:r0=1;
and 5:r0=0; 4:r0=1; 3:r0=0; 2:r0=0; 1:r0=0; 0:r0=1;
and 5:r0=1; 4:r0=0; 3:r0=0; 2:r0=0; 1:r0=0; 0:r0=1;
and 5:r0=0; 4:r0=0; 3:r0=0; 2:r0=0; 1:r0=0; 0:r0=1;
and 5:r0=1; 4:r0=1; 3:r0=1; 2:r0=1; 1:r0=1; 0:r0=0;
and 5:r0=1; 4:r0=1; 3:r0=0; 2:r0=1; 1:r0=1; 0:r0=0;
and 5:r0=1; 4:r0=1; 3:r0=1; 2:r0=0; 1:r0=1; 0:r0=0;
and 5:r0=0; 4:r0=1; 3:r0=1; 2:r0=0; 1:r0=1; 0:r0=0;
and 5:r0=1; 4:r0=0; 3:r0=1; 2:r0=0; 1:r0=1; 0:r0=0;
and 5:r0=1; 4:r0=1; 3:r0=0; 2:r0=0; 1:r0=1; 0:r0=0;
and 5:r0=0; 4:r0=1; 3:r0=0; 2:r0=0; 1:r0=1; 0:r0=0;
and 5:r0=1; 4:r0=0; 3:r0=0; 2:r0=0; 1:r0=1; 0:r0=0;
and 5:r0=0; 4:r0=0; 3:r0=0; 2:r0=0; 1:r0=1; 0:r0=0;
and 5:r0=1; 4:r0=1; 3:r0=1; 2:r0=1; 1:r0=0; 0:r0=0;
and 5:r0=1; 4:r0=1; 3:r0=0; 2:r0=1; 1:r0=0; 0:r0=0;
and 5:r0=1; 4:r0=1; 3:r0=1; 2:r0=0; 1:r0=0; 0:r0=0;
and 5:r0=0; 4:r0=1; 3:r0=1; 2:r0=0; 1:r0=0; 0:r0=0;
and 5:r0=1; 4:r0=0; 3:r0=1; 2:r0=0; 1:r0=0; 0:r0=0;
and 5:r0=1; 4:r0=1; 3:r0=0; 2:r0=0; 1:r0=0; 0:r0=0;
and 5:r0=0; 4:r0=1; 3:r0=0; 2:r0=0; 1:r0=0; 0:r0=0;
and 5:r0=1; 4:r0=0; 3:r0=0; 2:r0=0; 1:r0=0; 0:r0=0;