memory-model/Documentation/glossary.txt

3 as a way of confirming a diagnosis of OCD), but rather to be searched
7 Address Dependency:  When the address of a later memory access is computed
15 	 3 do_something(p->a);
18 	 In this case, because the address of "p->a" on line 3 is computed
21 	 "p->a".  In rare cases, optimizing compilers can destroy address
27 Acquire:  With respect to a lock, acquiring that lock, for example,
28 	using spin_lock().  With respect to a non-lock shared variable,
29 	a special operation that includes a load and which orders that
35 	When an acquire load returns the value stored by a release store
42 Coherence (co):  When one CPU's store to a given variable overwrites
44 	there is said to be a coherence link from the second CPU to
47 	It is also possible to have a coherence link within a CPU, which
48 	is a "coherence internal" (coi) link.  The term "coherence
54 Control Dependency:  When a later store's execution depends on a test
55 	of a value computed from a value returned by an earlier load,
56 	a "control dependency" extends from that load to that store.
69 Cycle:	Memory-barrier pairing is restricted to a pair of CPUs, as the
70 	name suggests.	And in a great many cases, a pair of CPUs is all
72 	extended to additional CPUs, and the result is called a "cycle".
73 	In a cycle, each CPU's ordering interacts with that of the next:
88 Data Dependency:  When the data written by a later store is computed based
89 	on the value returned by an earlier load, a "data dependency"
98 	Because optimizing compilers put a great deal of effort into
105 From-Reads (fr):  When one CPU's store to a given variable happened
107 	load from that same variable, there is said to be a from-reads
110 	It is also possible to have a from-reads link within a CPU, which
111 	is a "from-reads internal" (fri) link.  The term "from-reads
119 	accesses, or a marked access such as atomic_add_return()
128 Marked Access:  An access to a variable that uses an special function or
129 	macro such as "r1 = READ_ONCE(x)" or "smp_store_release(&a, 1)".
137 	pairing also occurs with other types of operations, so that a
144 	CPU, there is said to be a reads-from link from the second
151 	It is also possible to have a reads-from link within a CPU, which
152 	is a "reads-from internal" (rfi) link.	The term "reads-from
158 Relaxed:  A marked access that does not imply ordering, for example, a
159 	READ_ONCE(), WRITE_ONCE(), a non-value-returning read-modify-write
160 	operation, or a value-returning read-modify-write operation whose
165 Release:  With respect to a lock, releasing that lock, for example,
166 	using spin_unlock().  With respect to a non-lock shared variable,
167 	a special operation that includes a store and which orders that
175 Unmarked Access:  An access to a variable that uses normal C-language
176 	syntax, for example, "a = b[2]";