Lines Matching refs:litmus
12 the state space of small litmus tests.
15 to convert a litmus test to a Linux kernel module, which in turn allows
16 that litmus test to be exercised within the Linux kernel.
40 explore the state space of small litmus tests.
42 For example, to run SB+fencembonceonces.litmus against the memory model:
44 $ herd7 -conf linux-kernel.cfg litmus-tests/SB+fencembonceonces.litmus
62 this litmus test's "exists" clause can not be satisfied.
71 The "klitmus7" tool converts a litmus test into a Linux kernel module,
74 For example, to run SB+fencembonceonces.litmus against hardware:
77 $ klitmus7 -o mymodules litmus-tests/SB+fencembonceonces.litmus
97 that during two million trials, the state specified in this litmus
143 Maps from C-like syntax to herd7's internal litmus-test
146 litmus-tests
147 Directory containing a few representative litmus tests, which
148 are listed in litmus-tests/README. A great deal more litmus
149 tests are available at https://github.com/paulmckrcu/litmus.
213 in litmus tests, for example, by using atomic_cmpxchg().
216 emulated in litmus tests by adding another process that
223 emulated in litmus tests emulating call_rcu() via
253 emulated in litmus tests using atomic read-modify-write