Home
last modified time | relevance | path

Searched refs:litmus (Results 1 – 25 of 42) sorted by relevance

12

/linux/tools/memory-model/scripts/
A Djudgelitmus.sh18 litmus=$1
20 if test -f "$litmus" -a -r "$litmus"
27 if test -f "$LKMM_DESTDIR/$litmus".out -a -r "$LKMM_DESTDIR/$litmus".out
34 if grep -q '^ \* Result: ' $litmus
41 grep '^Observation' $LKMM_DESTDIR/$litmus.out
42 if grep -q '^Observation' $LKMM_DESTDIR/$litmus.out
46 echo ' !!! Verification error' $litmus
47 if ! grep -q '!!!' $LKMM_DESTDIR/$litmus.out
60 if ! grep -q '!!!' $LKMM_DESTDIR/$litmus.out
71 if ! grep -q '!!!' $LKMM_DESTDIR/$litmus.out
[all …]
A DREADME10 Run all litmus tests in the litmus-tests directory, checking
16 Run all litmus tests in the https://github.com/paulmckrcu/litmus
23 Run all litmus tests having .litmus.out files from previous
33 Compare output from two different runs of the same litmus tests,
40 Run all litmus tests having no more than the specified number
42 in .litmus.out files.
46 Given a .litmus file and its .litmus.out herd7 output, check the
47 .litmus.out file against the .litmus file's "Result:" comment to
53 For all new or updated litmus tests having no more than the
55 and record the results in .litmus.out files.
[all …]
A Dchecklitmus.sh20 litmus=$1
23 if test -f "$litmus" -a -r "$litmus"
27 echo ' --- ' error: \"$litmus\" is not a readable file
31 echo Herd options: $herdoptions > $LKMM_DESTDIR/$litmus.out
32 /usr/bin/time $LKMM_TIMEOUT_CMD herd7 $herdoptions $litmus >> $LKMM_DESTDIR/$litmus.out 2>&1
34 scripts/judgelitmus.sh $litmus
A Dcheckghlitmus.sh19 if test -d litmus
23 git clone https://github.com/paulmckrcu/litmus
24 ( cd litmus; git checkout origin/master )
31 find litmus -type d -print |
36 ( cd $LKMM_DESTDIR; find litmus -name '*.litmus.out' -print ) |
43 find litmus -name '*.litmus' -exec grep -l -m 1 "^C " {} \; > $T/list-C
A Dinitlitmushist.sh45 if test -d litmus
49 git clone https://github.com/paulmckrcu/litmus
50 ( cd litmus; git checkout origin/master )
57 find litmus -type d -print |
63 find litmus -name '*.litmus' -exec grep -l -m 1 "^C " {} \; > $T/list-C
A Dchecklitmushist.sh23 if test -d litmus
27 echo Run scripts/initlitmushist.sh first, need litmus repo.
35 find litmus -type d -print | ( cd $T/results; sed -e 's/^/mkdir -p /' | sh )
39 ( cd $LKMM_DESTDIR; find litmus -name '*.litmus.out' -print ) |
55 ( cd $T/results; find litmus -type f -name '*.litmus.out' -print |
A Dnewlitmushist.sh23 if test -d litmus
27 echo Run scripts/initlitmushist.sh first, need litmus repo.
35 find litmus -type d -print |
40 ( cd $LKMM_DESTDIR; find litmus -name '*.litmus.out' -print ) |
46 find litmus -name '*.litmus' -exec grep -l -m 1 "^C " {} \; > $T/list-C-all
A Dcheckalllitmus.sh24 litmusdir=litmus-tests
53 for i in $litmusdir/*.litmus
64 echo All litmus tests verified as was expected. 1>&2
A Drunlitmushist.sh22 if test -d litmus
/linux/tools/memory-model/litmus-tests/
A DREADME5 CoRR+poonceonce+Once.litmus
9 CoRW+poonceonce+Once.litmus
19 CoWW+poonceonce.litmus
62 LB+poonceonces.litmus
79 MP+polocks.litmus
83 MP+poonceonces.litmus
89 MP+porevlocks.litmus
105 R+poonceonces.litmus
125 S+poonceonces.litmus
167 The structure of a litmus-test name is the litmus-test class, a plus
[all …]
A DWRC+pooncerelease+fencermbonceonce+Once.litmus6 * This litmus test is an extension of the message-passing pattern, where
9 * specifically, this litmus test is forbidden because smp_store_release()
A D.gitignore2 *.litmus.out
A DMP+pooncerelease+poacquireonce.litmus6 * This litmus test demonstrates that smp_store_release() and
A DR+poonceonces.litmus7 * classic counterintuitive litmus tests that illustrates the effects of
A DLB+poacquireonce+pooncerelease.litmus6 * Does a release-acquire pair suffice for the load-buffering litmus
A DSB+poonceonces.litmus6 * This litmus test demonstrates that at least some ordering is required
A DMP+fencewmbonceonce+fencermbonceonce.litmus6 * This litmus test demonstrates that smp_wmb() and smp_rmb() provide
A DSB+rfionceonce-poonceonces.litmus6 * This litmus test demonstrates that LKMM is not fully multicopy atomic.
A DR+fencembonceonces.litmus7 * counterintuitive litmus tests that illustrates the effects of store
/linux/tools/memory-model/
A DREADME12 the state space of small litmus tests.
16 that litmus test to be exercised within the Linux kernel.
72 tools/memory-model/litmus-tests/
73 Documentation/litmus-tests/
77 https://github.com/paulmckrcu/litmus
84 tools/memory-model/Documentation/litmus-tests.txt
92 $ herd7 -conf linux-kernel.cfg litmus-tests/SB+fencembonceonces.litmus
129 $ klitmus7 -o mymodules litmus-tests/SB+fencembonceonces.litmus
157 running LKMM litmus tests.
193 litmus-tests
[all …]
A D.gitignore2 litmus
/linux/Documentation/litmus-tests/
A DREADME5 Each subdirectory contains litmus tests that are typical to describe the
7 For more information about how to "run" a litmus test or how to generate
8 a kernel test module based on a litmus test, please see
15 Atomic-RMW+mb__after_atomic-is-stronger-than-acquire.litmus
20 Atomic-RMW-ops-are-atomic-WRT-atomic_set.litmus
28 MP+onceassign+derefonce.litmus (under tools/memory-model/litmus-tests/)
32 RCU+sync+read.litmus
33 RCU+sync+free.litmus
34 Both the above litmus tests demonstrate the RCU grace period guarantee
/linux/tools/memory-model/Documentation/
A Dlitmus-tests.txt30 tools/memory-model/litmus-tests/
31 Documentation/litmus-tests/
36 https://github.com/paulmckrcu/litmus
94 tools/memory-model/litmus-tests/MP+pooncerelease+poacquireonce.litmus
183 herd7 -conf linux-kernel.cfg litmus-tests/MP+pooncerelease+poacquireonce.litmus
224 litmus test.
382 (tools/memory-order/litmus-tests/SB+rfionceonce-poonceonces.litmus but
685 at tools/memory-model/litmus-tests/MP+onceassign+derefonce.litmus:
807 the rest of the litmus test.
817 Documentation/litmus-tests/rcu/RCU+sync+free.litmus, but converted to
[all …]
A Drecipes.txt1 This document provides "recipes", that is, litmus tests for commonly
72 /* See MP+polocks.litmus. */
96 following litmus test:
98 /* See MP+porevlocks.litmus. */
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. */
358 can be seen in the LB+poonceonces.litmus litmus test.
363 /* See LB+fencembonceonce+ctrlonceonce.litmus. */
479 /* See SB+fencembonceonces.litmus. */
[all …]
A DREADME21 that you need, and just want to get started with LKMM litmus
22 tests: litmus-tests.txt
60 litmus-tests.txt
61 The format, features, capabilities, and limitations of the litmus

Completed in 17 milliseconds

12