Lines Matching +full:sync +full:- +full:read

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
26 --------------------
28 MP+onceassign+derefonce.litmus (under tools/memory-model/litmus-tests/)
30     ensure that an RCU reader will not see pre-initialization garbage.
32 RCU+sync+read.litmus
33 RCU+sync+free.litmus
35     that an RCU read-side critical section can never span a grace period.