Lines Matching +full:hardware +full:- +full:protected
4 Linux-kernel memory model (LKMM) audience might be anywhere from novice
12 If LKMM-specific terms lost you, glossary.txt might help you.
14 o You are new to Linux-kernel concurrency: simple.txt
16 o You have some background in Linux-kernel concurrency, and would
17 like an overview of the types of low-level concurrency primitives
22 o You are familiar with the Linux-kernel concurrency primitives
24 tests: litmus-tests.txt
26 o You would like to access lock-protected shared variables without
29 o You are familiar with Linux-kernel concurrency, and would
34 and cannot do to control dependencies: control-dependencies.txt
39 from KCSAN: access-marking.txt
41 o You are familiar with Linux-kernel concurrency and the use of
44 o You are familiar with Linux-kernel concurrency and the use
47 herd-representation.txt
50 hardware manuals, academic literature, standards-committee
61 access-marking.txt
66 Quick-reference guide to the Linux-kernel memory model.
68 control-dependencies.txt
76 Brief definitions of LKMM-related terms.
78 herd-representation.txt
79 The (abstract) representation of the Linux-kernel concurrency
82 litmus-tests.txt
87 Rules for accessing lock-protected shared variables outside of
91 Overview of the Linux kernel's low-level memory-ordering
95 Common memory-ordering patterns.
101 Starting point for someone new to Linux-kernel concurrency.