diff options
author | Paul E. McKenney <paulmck@linux.vnet.ibm.com> | 2016-02-15 17:50:36 -0500 |
---|---|---|
committer | Paul E. McKenney <paulmck@linux.vnet.ibm.com> | 2016-03-14 18:52:19 -0400 |
commit | f36fe1e70b5477d4e42df8ea97278e9698dddbbf (patch) | |
tree | c9e0b811ba5dc1a2a6ce54a0d63c4569d2f3e04e /Documentation | |
parent | 37ef0341ca60b364dde05239c98b15c999195d8c (diff) |
documentation: Transitivity is not cumulativity
The "transitivity" section mentions cumulativity in a potentially
confusing way. Contrary to the current wording, cumulativity is
not transitivity, but rather a hardware discipline that can be used
to implement transitivity on ARM and PowerPC CPUs. This commit
therefore deletes the mention of cumulativity.
Reported-by: Luc Maranget <luc.maranget@inria.fr>
Signed-off-by: Paul E. McKenney <paulmck@linux.vnet.ibm.com>
Diffstat (limited to 'Documentation')
-rw-r--r-- | Documentation/memory-barriers.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Documentation/memory-barriers.txt b/Documentation/memory-barriers.txt index 57e4a4b053c5..8367d393cba2 100644 --- a/Documentation/memory-barriers.txt +++ b/Documentation/memory-barriers.txt | |||
@@ -1270,7 +1270,7 @@ TRANSITIVITY | |||
1270 | 1270 | ||
1271 | Transitivity is a deeply intuitive notion about ordering that is not | 1271 | Transitivity is a deeply intuitive notion about ordering that is not |
1272 | always provided by real computer systems. The following example | 1272 | always provided by real computer systems. The following example |
1273 | demonstrates transitivity (also called "cumulativity"): | 1273 | demonstrates transitivity: |
1274 | 1274 | ||
1275 | CPU 1 CPU 2 CPU 3 | 1275 | CPU 1 CPU 2 CPU 3 |
1276 | ======================= ======================= ======================= | 1276 | ======================= ======================= ======================= |