C auto/C-WW-GH+WW-R+WW-R+WW-R (* * Result: Never * * Process 0 starts (t=100000). * * P0 advances three grace periods (t=400000). * * P1 goes back a bit less than one grace period (t=301001). * * P2 goes back a bit less than one grace period (t=202002). * * P3 goes back a bit less than one grace period (t=103003). * * Process 0 start at t=100000, process 4 end at t=103003: Cycle forbidden. *) { } P0(int *x0, int *x1) { WRITE_ONCE(*x0, 2); synchronize_rcu(); synchronize_rcu(); synchronize_rcu(); WRITE_ONCE(*x1, 1); } P1(int *x1, int *x2) { rcu_read_lock(); WRITE_ONCE(*x1, 2); WRITE_ONCE(*x2, 1); rcu_read_unlock(); } P2(int *x2, int *x3) { rcu_read_lock(); WRITE_ONCE(*x2, 2); WRITE_ONCE(*x3, 1); rcu_read_unlock(); } P3(int *x0, int *x3) { rcu_read_lock(); WRITE_ONCE(*x3, 2); WRITE_ONCE(*x0, 1); rcu_read_unlock(); } Observed x3=1; x2=1; x1=2; x0=1;