xref: /linux/tools/memory-model/Documentation/README (revision e8adbac0d44fe5f275902c004d04b0cfc33fce8d)
1It has been said that successful communication requires first identifying
2what your audience knows and then building a bridge from their current
3knowledge to what they need to know.  Unfortunately, the expected
4Linux-kernel memory model (LKMM) audience might be anywhere from novice
5to expert both in kernel hacking and in understanding LKMM.
6
7This document therefore points out a number of places to start reading,
8depending on what you know and what you would like to learn.  Please note
9that the documents later in this list assume that the reader understands
10the material provided by documents earlier in this list.
11
12o	You are new to Linux-kernel concurrency: simple.txt
13
14o	You have some background in Linux-kernel concurrency, and would
15	like an overview of the types of low-level concurrency primitives
16	that the Linux kernel provides:  ordering.txt
17
18	Here, "low level" means atomic operations to single variables.
19
20o	You are familiar with the Linux-kernel concurrency primitives
21	that you need, and just want to get started with LKMM litmus
22	tests:  litmus-tests.txt
23
24o	You are familiar with Linux-kernel concurrency, and would
25	like a detailed intuitive understanding of LKMM, including
26	situations involving more than two threads:  recipes.txt
27
28o	You would like a detailed understanding of what your compiler can
29	and cannot do to control dependencies:  control-dependencies.txt
30
31o	You are familiar with Linux-kernel concurrency and the use of
32	LKMM, and would like a quick reference:  cheatsheet.txt
33
34o	You are familiar with Linux-kernel concurrency and the use
35	of LKMM, and would like to learn about LKMM's requirements,
36	rationale, and implementation:	explanation.txt and
37	herd-representation.txt
38
39o	You are interested in the publications related to LKMM, including
40	hardware manuals, academic literature, standards-committee
41	working papers, and LWN articles:  references.txt
42
43
44====================
45DESCRIPTION OF FILES
46====================
47
48README
49	This file.
50
51access-marking.txt
52	Guidelines for marking intentionally concurrent accesses to
53	shared memory.
54
55cheatsheet.txt
56	Quick-reference guide to the Linux-kernel memory model.
57
58control-dependencies.txt
59	Guide to preventing compiler optimizations from destroying
60	your control dependencies.
61
62explanation.txt
63	Detailed description of the memory model.
64
65herd-representation.txt
66	The (abstract) representation of the Linux-kernel concurrency
67	primitives in terms of events.
68
69litmus-tests.txt
70	The format, features, capabilities, and limitations of the litmus
71	tests that LKMM can evaluate.
72
73ordering.txt
74	Overview of the Linux kernel's low-level memory-ordering
75	primitives by category.
76
77recipes.txt
78	Common memory-ordering patterns.
79
80references.txt
81	Background information.
82
83simple.txt
84	Starting point for someone new to Linux-kernel concurrency.
85	And also a reminder of the simpler approaches to concurrency!
86