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.
65 The memory model is used, in conjunction with "herd7", to exhaustively
68 tests is available in tools/memory-model/Documentation/litmus-tests.txt.
72 tools/memory-model/litmus-tests/
84 tools/memory-model/Documentation/litmus-tests.txt
87 located in the tools/memory-model directory.
89 To run SB+fencembonceonces.litmus against the memory model:
91 $ cd $LINUX_SOURCE_TREE/tools/memory-model
114 people who work on the memory model itself, that is, people making changes
115 to the tools/memory-model/linux-kernel.* files. It is not intended for
154 is intended for people who work on the memory model itself, that is,
155 people making changes to the tools/memory-model/linux-kernel.* files.
165 Quick-reference guide to the Linux-kernel memory model.
168 Describes the memory model in detail.
191 event types used by the memory model and (2) performs RCU
199 by the memory model. Allowed executions are those which
200 satisfy the model's "coherence", "atomic", "happens-before",