Home
last modified time | relevance | path

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

12

/linux-6.1.9/tools/memory-model/scripts/
Djudgelitmus.sh18 litmus=$1
20 if test -f "$litmus" -a -r "$litmus"
24 echo ' --- ' error: \"$litmus\" is not a readable file
27 if test -f "$LKMM_DESTDIR/$litmus".out -a -r "$LKMM_DESTDIR/$litmus".out
31 echo ' --- ' error: \"$LKMM_DESTDIR/$litmus\".out is not a readable file
34 if grep -q '^ \* Result: ' $litmus
36 outcome=`grep -m 1 '^ \* Result: ' $litmus | awk '{ print $3 }'`
41 grep '^Observation' $LKMM_DESTDIR/$litmus.out
42 if grep -q '^Observation' $LKMM_DESTDIR/$litmus.out
46 echo ' !!! Verification error' $litmus
[all …]
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.
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
[all …]
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
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
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
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' -exec grep -l -m 1 "^C " {} \; > $T/list-C-all
Dcheckalllitmus.sh24 litmusdir=litmus-tests
53 for i in $litmusdir/*.litmus
64 echo All litmus tests verified as was expected. 1>&2
Drunlitmushist.sh22 if test -d litmus
/linux-6.1.9/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.out
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
DMP+fencewmbonceonce+fencermbonceonce.litmus6 * This litmus test demonstrates that smp_wmb() and smp_rmb() provide
DSB+rfionceonce-poonceonces.litmus6 * This litmus test demonstrates that LKMM is not fully multicopy atomic.
DR+fencembonceonces.litmus7 * counterintuitive litmus tests that illustrates the effects of store
/linux-6.1.9/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.1.9/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
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-6.1.9/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 …]
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 …]
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

12