Lines Matching +full:acquisition +full:- +full:time

49 ----------------------------
53 	------------  ----------
54 	     -- 4.14  7.48 --
55 	4.15 -- 4.19  7.49 --
56 	4.20 -- 5.5   7.54 --
57 	5.6  -- 5.16  7.56 --
58 	5.17 --       7.56.1 --
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/
85 	tools/memory-model/Documentation/litmus-tests.txt
88 located in the tools/memory-model directory.
92   $ cd $LINUX_SOURCE_TREE/tools/memory-model
93   $ herd7 -conf linux-kernel.cfg litmus-tests/SB+fencembonceonces.litmus
107   Time SB+fencembonceonces 0.01
113 See "herd7 -help" or "herdtools7/doc/" for more information on running the
116 to the tools/memory-model/linux-kernel.* files.  It is not intended for
130   $ klitmus7 -o mymodules litmus-tests/SB+fencembonceonces.litmus
147   Time SB+fencembonceonces 0.16
153 And, as with "herd7", please see "klitmus7 -help" or "herdtools7/doc/"
156 people making changes to the tools/memory-model/linux-kernel.* files.
168 linux-kernel.bell
170 	references, memory barriers, atomic read-modify-write operations,
171 	lock acquisition/release, and RCU operations.
175 	read-side critical section nesting analysis.
177 linux-kernel.cat
179 	memory barriers, atomic read-modify-write operations, and RCU.
183 	satisfy the model's "coherence", "atomic", "happens-before",
186 linux-kernel.cfg
187 	Convenience file that gathers the common-case herd7 command-line
190 linux-kernel.def
191 	Maps from C-like syntax to herd7's internal litmus-test
192 	instruction-set architecture.
194 litmus-tests
196 	are listed in litmus-tests/README.  A great deal more litmus
199 	By "representative", it means the one in the litmus-tests
207 		3) textbook, developers can easily copy-paste-modify
212 	Provides a front-end analysis of lock acquisition and release,
213 	for example, associating a lock acquisition with the preceding
214 	and following releases and checking for self-deadlock.
216 	More formally, this file defines a performance-enhanced scheme
217 	for generation of the possible reads-from and coherence order