memory-model/Documentation/litmus-tests.txt

68  1 C MP+pooncerelease+poacquireonce
78 11 P1(int *x, int *y)
94 tools/memory-model/litmus-tests/MP+pooncerelease+poacquireonce.litmus
111 Lines 5-9 show the first process and lines 11-18 the second process.  Each
183 herd7 -conf linux-kernel.cfg litmus-tests/MP+pooncerelease+poacquireonce.litmus
188  1 Test MP+pooncerelease+poacquireonce Allowed
197 10 Observation MP+pooncerelease+poacquireonce Never 0 3
198 11 Time MP+pooncerelease+poacquireonce 0.00
238 The number at the end of line 11 (which begins with "Time") gives the
255  1 C MP+pooncerelease+poacquireonce
265 11   smp_store_release(y, 1);
286  1 Test MP+pooncerelease+poacquireonce Allowed
295 10 Observation MP+pooncerelease+poacquireonce Never 0 3
296 11 Time MP+pooncerelease+poacquireonce 0.02
329 11     WRITE_ONCE(*y, 1);
343 P1()'s "if" statement on line 10 works as expected, so that line 11 is
358 11 Hash=e5260556f6de495fd39b556d1b831c3b
396 11   r1 = READ_ONCE(*x);
424 11 Observation SB+rfionceonce-poonceonces Sometimes 1 3
449 11   r1 = READ_ONCE(*x);
478 11 Observation SB+rfionceonce-poonceonces Sometimes 1 3
522 11   r2 = xchg_acquire(sl, 1);
550 on line 11 using xchg_acquire(), which unconditionally stores the value
632 11
685 at tools/memory-model/litmus-tests/MP+onceassign+derefonce.litmus:
687  1 C MP+onceassign+derefonce
697 11   rcu_assign_pointer(*y, x);
723 value stored by line 11, which is in fact what is required in this case.
725 P0()'s line 10 initializes "x" to the value 1 then line 11 links to "x"
738  1 Test MP+onceassign+derefonce Allowed
746  9 Observation MP+onceassign+derefonce Never 0 2
747 10 Time MP+onceassign+derefonce 0.00
748 11 Hash=49ef7a741563570102448a256a0c8568
772  1 C MP+onceassign+derefonce (* A *)
782 11
830 11   int *r0;