Lines Matching +full:sync +full:- +full:write
9 tools/memory-model/README.
13 --------------------------
15 Atomic-RMW+mb__after_atomic-is-stronger-than-acquire.litmus
17 stronger than a normal acquire: both the read and write parts of
20 Atomic-RMW-ops-are-atomic-WRT-atomic_set.litmus
24 cmpxchg-fail-ordered-1.litmus
28 cmpxchg-fail-ordered-2.litmus
32 cmpxchg-fail-unordered-1.litmus
36 cmpxchg-fail-unordered-2.litmus
42 ----------------------------
44 DCL-broken.litmus
45 Demonstrates that double-checked locking needs more than just
48 DCL-fixed.litmus
49 Demonstrates corrected double-checked locking that uses
53 RM-broken.litmus
55 freely moved into lock-based critical sections. This example also
65 RM-fixed.litmus
66 The counterpart to RM-broken.litmus, showing P0()'s two loads from
71 --------------------
73 MP+onceassign+derefonce.litmus (under tools/memory-model/litmus-tests/)
75 ensure that an RCU reader will not see pre-initialization garbage.
77 RCU+sync+read.litmus
78 RCU+sync+free.litmus
80 that an RCU read-side critical section can never span a grace period.