Searched refs:litmus (Results 1 – 25 of 34) sorted by relevance
12
/tools/memory-model/scripts/ |
D | judgelitmus.sh | 18 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 …]
|
D | checklitmus.sh | 20 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
|
D | README | 10 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 …]
|
D | initlitmushist.sh | 45 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
|
D | checkghlitmus.sh | 19 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
|
D | checklitmushist.sh | 23 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 |
|
D | newlitmushist.sh | 23 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
|
D | checkalllitmus.sh | 24 litmusdir=litmus-tests 53 for i in $litmusdir/*.litmus 64 echo All litmus tests verified as was expected. 1>&2
|
D | runlitmushist.sh | 22 if test -d litmus
|
/tools/memory-model/litmus-tests/ |
D | README | 5 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 …]
|
D | WRC+pooncerelease+fencermbonceonce+Once.litmus | 6 * This litmus test is an extension of the message-passing pattern, where 9 * specifically, this litmus test is forbidden because smp_store_release()
|
D | .gitignore | 1 *.litmus.out
|
D | MP+pooncerelease+poacquireonce.litmus | 6 * This litmus test demonstrates that smp_store_release() and
|
D | R+poonceonces.litmus | 7 * classic counterintuitive litmus tests that illustrates the effects of
|
D | LB+poacquireonce+pooncerelease.litmus | 6 * Does a release-acquire pair suffice for the load-buffering litmus
|
D | SB+poonceonces.litmus | 6 * This litmus test demonstrates that at least some ordering is required
|
D | MP+fencewmbonceonce+fencermbonceonce.litmus | 6 * This litmus test demonstrates that smp_wmb() and smp_rmb() provide
|
D | SB+rfionceonce-poonceonces.litmus | 6 * This litmus test demonstrates that LKMM is not fully multicopy atomic.
|
D | SB+fencembonceonces.litmus | 6 * This litmus test demonstrates that full memory barriers suffice to
|
D | R+fencembonceonces.litmus | 7 * counterintuitive litmus tests that illustrates the effects of store
|
D | WRC+poonceonces+Once.litmus | 6 * This litmus test is an extension of the message-passing pattern,
|
D | MP+onceassign+derefonce.litmus | 6 * This litmus test demonstrates that rcu_assign_pointer() and
|
/tools/memory-model/ |
D | README | 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 [all …]
|
D | .gitignore | 1 litmus
|
/tools/memory-model/Documentation/ |
D | recipes.txt | 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+pooncerelease+poacquirerelease+fencembonceonce.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 …]
|
12