Merge tag 'for-linus' of git://github.com/openrisc/linux
[linux-2.6-block.git] / tools / memory-model / Documentation / cheatsheet.txt
CommitLineData
1c27b644
PM
1 Prior Operation Subsequent Operation
2 --------------- ---------------------------
a8391951 3 C Self R W RMW Self R W DR DW RMW SV
bd5c0ba2 4 -- ---- - - --- ---- - - -- -- --- --
1c27b644
PM
5
6Store, e.g., WRITE_ONCE() Y Y
bd5c0ba2
AS
7Load, e.g., READ_ONCE() Y Y Y Y
8Unsuccessful RMW operation Y Y Y Y
bf28ae56 9rcu_dereference() Y Y Y Y
1c27b644
PM
10Successful *_acquire() R Y Y Y Y Y Y
11Successful *_release() C Y Y Y W Y
12smp_rmb() Y R Y Y R
13smp_wmb() Y W Y Y W
14smp_mb() & synchronize_rcu() CP Y Y Y Y Y Y Y Y
15Successful full non-void RMW CP Y Y Y Y Y Y Y Y Y Y Y
16smp_mb__before_atomic() CP Y Y Y a a a a Y
bfd403bb 17smp_mb__after_atomic() CP a a Y Y Y Y Y Y
1c27b644
PM
18
19
20Key: C: Ordering is cumulative
21 P: Ordering propagates
22 R: Read, for example, READ_ONCE(), or read portion of RMW
23 W: Write, for example, WRITE_ONCE(), or write portion of RMW
24 Y: Provides ordering
25 a: Provides ordering given intervening RMW atomic operation
26 DR: Dependent read (address dependency)
27 DW: Dependent write (address, data, or control dependency)
28 RMW: Atomic read-modify-write operation
35bb6ee6
PM
29 SELF: Orders self, as opposed to accesses before and/or after
30 SV: Orders later accesses to the same variable