Lines Matching +full:directory +full:- +full:based
8 a kernel test module based on a litmus test, please see
9 tools/memory-model/README.
12 atomic (/atomic directory)
13 --------------------------
15 Atomic-RMW+mb__after_atomic-is-stronger-than-acquire.litmus
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
41 locking (/locking directory)
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
70 RCU (/rcu directory)
71 --------------------
73 MP+onceassign+derefonce.litmus (under tools/memory-model/litmus-tests/)
75 ensure that an RCU reader will not see pre-initialization garbage.
80 that an RCU read-side critical section can never span a grace period.