Lines Matching refs:litmus

5 Each subdirectory contains litmus tests that are typical to describe the
7 For more information about how to "run" a litmus test or how to generate
8 a kernel test module based on a litmus test, please see
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
44 DCL-broken.litmus
48 DCL-fixed.litmus
53 RM-broken.litmus
57     would be excluded by other code not modeled in the litmus test.
65 RM-fixed.litmus
66     The counterpart to RM-broken.litmus, showing P0()'s two loads from
73 MP+onceassign+derefonce.litmus (under tools/memory-model/litmus-tests/)
77 RCU+sync+read.litmus
78 RCU+sync+free.litmus
79     Both the above litmus tests demonstrate the RCU grace period guarantee