Lines Matching refs:litmus
5 CoRR+poonceonce+Once.litmus
9 CoRW+poonceonce+Once.litmus
14 CoWR+poonceonce+Once.litmus
19 CoWW+poonceonce.litmus
23 IRIW+fencembonceonces+OnceOnce.litmus
28 variable by a different process? This litmus test is forbidden
31 IRIW+poonceonces+OnceOnce.litmus
38 ISA2+pooncelock+pooncelock+pombonce.litmus
40 litmus test is visible to an external process whose accesses are
44 ISA2+poonceonces.litmus
48 ISA2+pooncerelease+poacquirerelease+poacquireonce.litmus
52 LB+fencembonceonce+ctrlonceonce.litmus
54 load-buffering litmus test, where each process reads from one
57 LB+poacquireonce+pooncerelease.litmus
59 litmus test, where each process reads from one of two variables then
62 LB+poonceonces.litmus
66 MP+onceassign+derefonce.litmus
69 MP+polockmbonce+poacquiresilsil.litmus
74 MP+polockonce+poacquiresilsil.litmus
79 MP+polocks.litmus
83 MP+poonceonces.litmus
86 MP+pooncerelease+poacquireonce.litmus
89 MP+porevlocks.litmus
93 MP+fencewmbonceonce+fencermbonceonce.litmus
95 the loads) suffice for the message-passing litmus test, where one
100 R+fencembonceonces.litmus
102 the classic counterintuitive litmus tests that illustrates the
105 R+poonceonces.litmus
108 SB+fencembonceonces.litmus
113 SB+poonceonces.litmus
116 SB+rfionceonce-poonceonces.litmus
117 This litmus test demonstrates that LKMM is not fully multicopy
118 atomic. (Neither is it other multicopy atomic.) This litmus test
125 S+poonceonces.litmus
128 S+fencewmbonceonce+poacquireonce.litmus
132 WRC+poonceonces+Once.litmus
133 WRC+pooncerelease+fencermbonceonce+Once.litmus
134 These two are members of an extension of the MP litmus-test
139 Z6.0+pooncelock+pooncelock+pombonce.litmus
144 Z6.0+pooncelock+poonceLock+pombonce.litmus
148 Z6.0+pooncerelease+poacquirerelease+fencembonceonce.litmus
153 A great many more litmus tests are available here:
155 https://github.com/paulmckrcu/litmus
162 looking at the name tells you what the litmus test does. The naming
163 scheme covers litmus tests having a single cycle that passes through
164 each process exactly once, so litmus tests not fitting this description
167 The structure of a litmus-test name is the litmus-test class, a plus
169 The end of the name is ".litmus".
171 The litmus-test classes may be found in the infamous test6.pdf:
176 litmus-test class is "MP" (message passing), which may be found on the
181 generate these strings from a given litmus test's actions. For example,
182 consider the processes from SB+rfionceonce-poonceonces.litmus:
244 Adding the ".litmus" suffix: SB+rfionceonce-poonceonces.litmus
247 within the cycle through a given litmus test can be provided by the herd7