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 LB+unlocklockonceonce+poacquireonce.litmus
70 MP+onceassign+derefonce.litmus
73 MP+polockmbonce+poacquiresilsil.litmus
78 MP+polockonce+poacquiresilsil.litmus
83 MP+polocks.litmus
87 MP+poonceonces.litmus
90 MP+pooncerelease+poacquireonce.litmus
93 MP+porevlocks.litmus
97 MP+unlocklockonceonce+fencermbonceonce.litmus
101 MP+fencewmbonceonce+fencermbonceonce.litmus
103 	the loads) suffice for the message-passing litmus test, where one
108 R+fencembonceonces.litmus
110 	the classic counterintuitive litmus tests that illustrates the
113 R+poonceonces.litmus
116 SB+fencembonceonces.litmus
121 SB+poonceonces.litmus
124 SB+rfionceonce-poonceonces.litmus
125 	This litmus test demonstrates that LKMM is not fully multicopy
126 	atomic.  (Neither is it other multicopy atomic.)  This litmus test
133 S+poonceonces.litmus
136 S+fencewmbonceonce+poacquireonce.litmus
140 WRC+poonceonces+Once.litmus
141 WRC+pooncerelease+fencermbonceonce+Once.litmus
142 	These two are members of an extension of the MP litmus-test
147 Z6.0+pooncelock+pooncelock+pombonce.litmus
152 Z6.0+pooncelock+poonceLock+pombonce.litmus
156 Z6.0+pooncerelease+poacquirerelease+fencembonceonce.litmus
161 A great many more litmus tests are available here:
163 	https://github.com/paulmckrcu/litmus
170 looking at the name tells you what the litmus test does.  The naming
171 scheme covers litmus tests having a single cycle that passes through
172 each process exactly once, so litmus tests not fitting this description
175 The structure of a litmus-test name is the litmus-test class, a plus
177 The end of the name is ".litmus".
179 The litmus-test classes may be found in the infamous test6.pdf:
184 litmus-test class is "MP" (message passing), which may be found on the
189 generate these strings from a given litmus test's actions.  For example,
190 consider the processes from SB+rfionceonce-poonceonces.litmus:
252 Adding the ".litmus" suffix: SB+rfionceonce-poonceonces.litmus
255 within the cycle through a given litmus test can be provided by the herd7