blob: 967f9f2a6226ba62ed593e6aff9e99d1fae02c85 [file] [log] [blame]
Paul E. McKenney1c27b642018-01-18 19:58:55 -08001C CoRR+poonceonce+Once
2
Paul E. McKenney8f325432018-02-20 15:25:04 -08003(*
4 * Result: Never
5 *
6 * Test of read-read coherence, that is, whether or not two successive
7 * reads from the same variable are ordered.
8 *)
9
Akira Yokosawa5c587f92020-11-28 08:43:45 +090010{}
Paul E. McKenney1c27b642018-01-18 19:58:55 -080011
12P0(int *x)
13{
14 WRITE_ONCE(*x, 1);
15}
16
17P1(int *x)
18{
19 int r0;
20 int r1;
21
22 r0 = READ_ONCE(*x);
23 r1 = READ_ONCE(*x);
24}
25
26exists (1:r0=1 /\ 1:r1=0)