Lines Matching +full:self +full:- +full:describing

49 ----------------------------
53 	------------  ----------
54 	     -- 4.18  7.48 --
55 	4.15 -- 4.19  7.49 --
56 	4.20 -- 5.5   7.54 --
57 	5.6  --       7.56 --
66 explore the state space of small litmus tests.  Documentation describing
68 tests is available in tools/memory-model/Documentation/litmus-tests.txt.
70 Example litmus tests may be found in the Linux-kernel source tree:
72 	tools/memory-model/litmus-tests/
73 	Documentation/litmus-tests/
81 Documentation describing litmus tests and now to use them may be found
84 	tools/memory-model/Documentation/litmus-tests.txt
87 located in the tools/memory-model directory.
91   $ cd $LINUX_SOURCE_TREE/tools/memory-model
92   $ herd7 -conf linux-kernel.cfg litmus-tests/SB+fencembonceonces.litmus
112 See "herd7 -help" or "herdtools7/doc/" for more information on running the
115 to the tools/memory-model/linux-kernel.* files.  It is not intended for
129   $ klitmus7 -o mymodules litmus-tests/SB+fencembonceonces.litmus
152 And, as with "herd7", please see "klitmus7 -help" or "herdtools7/doc/"
155 people making changes to the tools/memory-model/linux-kernel.* files.
165 	Quick-reference guide to the Linux-kernel memory model.
170 Documentation/litmus-tests.txt
175 	Lists common memory-ordering patterns.
181 	Starting point for someone new to Linux-kernel concurrency.
185 linux-kernel.bell
187 	references, memory barriers, atomic read-modify-write operations,
192 	read-side critical section nesting analysis.
194 linux-kernel.cat
196 	memory barriers, atomic read-modify-write operations, and RCU.
200 	satisfy the model's "coherence", "atomic", "happens-before",
203 linux-kernel.cfg
204 	Convenience file that gathers the common-case herd7 command-line
207 linux-kernel.def
208 	Maps from C-like syntax to herd7's internal litmus-test
209 	instruction-set architecture.
211 litmus-tests
213 	are listed in litmus-tests/README.  A great deal more litmus
217 	Provides a front-end analysis of lock acquisition and release,
219 	and following releases and checking for self-deadlock.
221 	More formally, this file defines a performance-enhanced scheme
222 	for generation of the possible reads-from and coherence order