Lines Matching full:model

2 		LINUX KERNEL MEMORY CONSISTENCY MODEL
9 This directory contains the memory consistency model (memory model, for
35 The memory model is used, in conjunction with "herd7", to exhaustively
38 For example, to run SB+fencembonceonces.litmus against the memory model:
105 	Quick-reference guide to the Linux-kernel memory model.
108 	Describes the memory model in detail.
122 	event types used by the memory model and (2) performs RCU
130 	by the memory model.  Allowed executions are those which
131 	satisfy the model's "coherence", "atomic", "happens-before",
164 The Linux-kernel memory model has the following limitations:
194 the memory model:
205 more likely to be addressed by incorporating the Linux-kernel memory model