Lines Matching full:model

2 		LINUX KERNEL MEMORY CONSISTENCY MODEL
9 This directory contains the memory consistency model (memory model, for
33 For example, a future version of herd7 might not work with the model
34 in this release.  A compatible model will likely be made available in
37 If you absolutely need to run the model in this particular release,
40 klitmus7 is independent of the model provided here.  It has its own
46 memory model maintainers.
66 The memory model is used, in conjunction with "herd7", to exhaustively
69 tests is available in tools/memory-model/Documentation/litmus-tests.txt.
73 	tools/memory-model/litmus-tests/
85 	tools/memory-model/Documentation/litmus-tests.txt
88 located in the tools/memory-model directory.
90 To run SB+fencembonceonces.litmus against the memory model:
92   $ cd $LINUX_SOURCE_TREE/tools/memory-model
115 people who work on the memory model itself, that is, people making changes
116 to the tools/memory-model/linux-kernel.* files.  It is not intended for
155 is intended for people who work on the memory model itself, that is,
156 people making changes to the tools/memory-model/linux-kernel.* files.
174 	event types used by the memory model and (2) performs RCU
182 	by the memory model.  Allowed executions are those which
183 	satisfy the model's "coherence", "atomic", "happens-before",
206 		   describing the same aspect of the memory model.