Lines Matching refs:litmus
1 This document provides "recipes", that is, litmus tests for commonly
72 /* See MP+polocks.litmus. */
96 following litmus test:
98 /* See MP+porevlocks.litmus. */
129 /* See Z6.0+pooncelock+pooncelock+pombonce.litmus. */
162 /* See Z6.0+pooncelock+poonceLock+pombonce.litmus. */
196 Many classes of litmus tests have abbreviated names, which may be found
209 in the MP+poonceonces.litmus litmus test. This section therefore looks at
219 /* See MP+pooncerelease+poacquireonce.litmus. */
250 /* See MP+onceassign+derefonce.litmus. */
295 /* See MP+fencewmbonceonce+fencermbonceonce.litmus. */
358 can be seen in the LB+poonceonces.litmus litmus test.
363 /* See LB+fencembonceonce+ctrlonceonce.litmus. */
412 /* See ISA2+pooncerelease+poacquirerelease+poacquireonce.litmus. */
441 /* See Z6.0+pooncerelease+poacquirerelease+mbonceonce.litmus. */
479 /* See SB+fencembonceonces.litmus. */
529 given litmus test. There are three types of linkage:
532 previous CPU wrote. The LB litmus-test patterns contain only
537 previous CPU read. The SB litmus test contains only this type
542 by the previous CPU. The Z6.0 litmus test pattern contains a
549 The strength of memory ordering required for a given litmus test to
555 the LB litmus test, a control dependency was enough to do the
560 litmus tests illustrate this case.
565 case is illustrated by the Z6.0 litmus tests, both in the
569 to fit your situation, you should consider creating a litmus test and