Lines Matching refs:that

5 Each subdirectory contains litmus tests that are typical to describe the
16     Test that an atomic RMW followed by a smp_mb__after_atomic() is
21     Test that atomic_set() cannot break the atomicity of atomic RMWs.
25     Demonstrate that a failing cmpxchg() operation acts as a full barrier
29     Demonstrate that a failing cmpxchg() operation acts as an acquire
33     Demonstrate that a failing cmpxchg() operation does not act as a
37     Demonstrate that a failing cmpxchg() operation does not act as an
45     Demonstrates that double-checked locking needs more than just
49     Demonstrates corrected double-checked locking that uses
56     shows how to use the "filter" clause to discard executions that
58     Note also that this "roach motel" optimization is emulated by
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.