1 It has been said that successful communication
2 what your audience knows and then building a b
3 knowledge to what they need to know. Unfortun
4 Linux-kernel memory model (LKMM) audience migh
5 to expert both in kernel hacking and in unders
6
7 This document therefore points out a number of
8 depending on what you know and what you would
9 that the documents later in this list assume t
10 the material provided by documents earlier in
11
12 If LKMM-specific terms lost you, glossary.txt
13
14 o You are new to Linux-kernel concurrenc
15
16 o You have some background in Linux-kern
17 like an overview of the types of low-l
18 that the Linux kernel provides: order
19
20 Here, "low level" means atomic operati
21
22 o You are familiar with the Linux-kernel
23 that you need, and just want to get st
24 tests: litmus-tests.txt
25
26 o You would like to access lock-protecte
27 having their corresponding locks held:
28
29 o You are familiar with Linux-kernel con
30 like a detailed intuitive understandin
31 situations involving more than two thr
32
33 o You would like a detailed understandin
34 and cannot do to control dependencies:
35
36 o You would like to mark concurrent norm
37 variables so that intentional "racy" a
38 documented, especially when you are re
39 from KCSAN: access-marking.txt
40
41 o You are familiar with Linux-kernel con
42 LKMM, and would like a quick reference
43
44 o You are familiar with Linux-kernel con
45 of LKMM, and would like to learn about
46 rationale, and implementation: explan
47 herd-representation.txt
48
49 o You are interested in the publications
50 hardware manuals, academic literature,
51 working papers, and LWN articles: ref
52
53
54 ====================
55 DESCRIPTION OF FILES
56 ====================
57
58 README
59 This file.
60
61 access-marking.txt
62 Guidelines for marking intentionally c
63 shared memory.
64
65 cheatsheet.txt
66 Quick-reference guide to the Linux-ker
67
68 control-dependencies.txt
69 Guide to preventing compiler optimizat
70 your control dependencies.
71
72 explanation.txt
73 Detailed description of the memory mod
74
75 glossary.txt
76 Brief definitions of LKMM-related term
77
78 herd-representation.txt
79 The (abstract) representation of the L
80 primitives in terms of events.
81
82 litmus-tests.txt
83 The format, features, capabilities, an
84 tests that LKMM can evaluate.
85
86 locking.txt
87 Rules for accessing lock-protected sha
88 their corresponding critical sections.
89
90 ordering.txt
91 Overview of the Linux kernel's low-lev
92 primitives by category.
93
94 recipes.txt
95 Common memory-ordering patterns.
96
97 references.txt
98 Background information.
99
100 simple.txt
101 Starting point for someone new to Linu
102 And also a reminder of the simpler app
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.