Home
last modified time | relevance | path

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

12

/linux-6.12.1/tools/memory-model/scripts/
Djudgelitmus.sh31 litmus=$1
33 if test -f "$litmus" -a -r "$litmus"
37 echo ' --- ' error: \"$litmus\" is not a readable file
42 litmusout=$litmus.out
45 litmusout="`echo $litmus |
47 lkmmout=$litmus.out
60 if grep -q '^[( ]\* Result: ' $litmus
62 outcome=`grep -m 1 '^[( ]\* Result: ' $litmus | awk '{ print $3 }'`
63 if grep -m1 '^[( ]\* Result: .* DATARACE' $litmus
69 echo '!!! Predicted data race not modeled' $litmus
[all …]
Drunlitmus.sh26 litmus=$1
27 if test -f "$litmus" -a -r "$litmus"
31 echo ' !!! ' error: \"$litmus\" is not a readable file
35 if test -z "$LKMM_HW_MAP_FILE" -o ! -e $LKMM_DESTDIR/$litmus.out
39 echo Herd options: $herdoptions > $LKMM_DESTDIR/$litmus.out
40 /usr/bin/time $LKMM_TIMEOUT_CMD herd7 $herdoptions $litmus >> $LKMM_DESTDIR/$litmus.out 2>&1
59 hwlitmus=`echo $litmus | sed -e 's/\.litmus$/.litmus.'${LKMM_HW_MAP_FILE}'/'`
63 if ! scripts/simpletest.sh $litmus
65 echo ' --- ' error: \"$litmus\" contains locking, RCU, or SRCU
71 jingle7 -v -theme $themefile $litmus > $LKMM_DESTDIR/$hwlitmus 2> $T/$hwlitmusfile.jingle7.out
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
29 Check a single litmus test against its "Result:" expected result.
34 Check the specified list of litmus tests against their "Result:"
41 Compare output from two different runs of the same litmus tests,
48 Run all litmus tests having no more than the specified number
50 in .litmus.out files.
54 Given a .litmus file and its herd7 output, check the output file
55 against the .litmus file's "Result:" comment to judge whether
[all …]
Dsimpletest.sh15 litmus=$1
17 if test -f "$litmus" -a -r "$litmus"
21 echo ' --- ' error: \"$litmus\" is not a readable file
31 if grep -q $exclude $litmus
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' -print | mselect7 -arch C > $T/list-C
Dcheckghlitmus.sh20 if test -d litmus
24 git clone https://github.com/paulmckrcu/litmus
25 ( cd litmus; git checkout origin/master )
32 find litmus -type d -print |
37 ( cd $LKMM_DESTDIR; find litmus -name "*.litmus${hwfnseg}.out" -print ) |
44 find litmus -name '*.litmus' -print | mselect7 -arch C > $T/list-C
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 |
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' -print | mselect7 -arch C > $T/list-C-all
Dcheckalllitmus.sh29 litmusdir=litmus-tests
48 for i in $litmusdir/*.litmus
63 echo All litmus tests verified as was expected. 1>&2
Dchecktheselitmus.sh41 echo All litmus tests verified as was expected. 1>&2
Drunlitmushist.sh24 if test -d litmus
/linux-6.12.1/tools/memory-model/litmus-tests/
DREADME5 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
[all …]
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()
D.gitignore2 *.litmus.*
DMP+pooncerelease+poacquireonce.litmus6 * This litmus test demonstrates that smp_store_release() and
DR+poonceonces.litmus7 * classic counterintuitive litmus tests that illustrates the effects of
DLB+poacquireonce+pooncerelease.litmus6 * Does a release-acquire pair suffice for the load-buffering litmus
DSB+poonceonces.litmus6 * This litmus test demonstrates that at least some ordering is required
/linux-6.12.1/Documentation/litmus-tests/
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
24 cmpxchg-fail-ordered-1.litmus
28 cmpxchg-fail-ordered-2.litmus
32 cmpxchg-fail-unordered-1.litmus
36 cmpxchg-fail-unordered-2.litmus
44 DCL-broken.litmus
[all …]
/linux-6.12.1/tools/memory-model/
DREADME12 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.
67 explore the state space of small litmus tests. Documentation describing
68 the format, features, capabilities and limitations of these litmus
69 tests is available in tools/memory-model/Documentation/litmus-tests.txt.
71 Example litmus tests may be found in the Linux-kernel source tree:
73 tools/memory-model/litmus-tests/
74 Documentation/litmus-tests/
76 Several thousand more example litmus tests are available here:
[all …]
D.gitignore2 litmus
/linux-6.12.1/tools/memory-model/Documentation/
Dlitmus-tests.txt4 This file describes the LKMM litmus-test format by example, describes
27 existing litmus test than it is to create one from scratch. A number
28 of litmus tests may be found in the kernel source tree:
30 tools/memory-model/litmus-tests/
31 Documentation/litmus-tests/
33 Several thousand more example litmus tests are available on github
36 https://github.com/paulmckrcu/litmus
38 https://git.kernel.org/pub/scm/linux/kernel/git/paulmck/perfbook.git/tree/CodeSamples/formal/litmus
41 existing litmus tests that are similar to the one you need. But even if
42 you start with an existing litmus test, it is still helpful to have a
[all …]
Dlocking.txt26 /* See MP+polocks.litmus. */
56 illustrated by the following litmus test:
58 /* See MP+porevlocks.litmus. */
90 double-checked locking work correctly, This litmus test illustrates
93 /* See Documentation/litmus-tests/locking/DCL-broken.litmus. */
118 /* See Documentation/litmus-tests/locking/DCL-fixed.litmus. */
154 /* See Z6.0+pooncelock+pooncelock+pombonce.litmus. */
187 /* See Z6.0+pooncelock+poonceLock+pombonce.litmus. */
223 please read up on that topic in litmus-tests.txt.
232 /* See Documentation/litmus-tests/locking/RM-fixed.litmus. */
[all …]
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. */
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. */
[all …]
DREADME23 that you need, and just want to get started with LKMM litmus
24 tests: litmus-tests.txt
82 litmus-tests.txt
83 The format, features, capabilities, and limitations of the litmus

12