[PATCH] doc: memory-barriers.txt: Minor correction in Control dependencies

From: Pranith Kumar
Date: Mon Aug 11 2014 - 18:51:25 EST


Minor corrections in memory-barriers.txt document.

Signed-off-by: Pranith Kumar <bobby.prani@xxxxxxxxx>
---
Documentation/memory-barriers.txt | 10 +++++-----
1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/Documentation/memory-barriers.txt b/Documentation/memory-barriers.txt
index abec3f9..41a6c9c 100644
--- a/Documentation/memory-barriers.txt
+++ b/Documentation/memory-barriers.txt
@@ -627,7 +627,7 @@ proving the value of 'a', and the pair of barrier() invocations are
required to prevent the compiler from pulling the two identical stores
to 'b' out from the legs of the "if" statement.

-It is important to note that control dependencies absolutely require a
+It is important to note that control dependencies absolutely require
a conditional. For example, the following "optimized" version of
the above example breaks ordering, which is why the barrier() invocations
are absolutely required if you have identical stores in both legs of
@@ -652,7 +652,7 @@ for example, as follows:
do_something();
} else {
barrier();
- ACCESS_ONCE(b) = q / 3;
+ ACCESS_ONCE(b) = q / 2;
do_something_else();
}

@@ -710,7 +710,7 @@ x and y both being zero:

The above two-CPU example will never trigger the assert(). However,
if control dependencies guaranteed transitivity (which they do not),
-then adding the following two CPUs would guarantee a related assertion:
+then adding the following CPU would guarantee a related assertion:

CPU 2
=====================
@@ -719,8 +719,8 @@ then adding the following two CPUs would guarantee a related assertion:
assert(!(r1 == 2 && r2 == 1 && x == 2)); /* FAILS!!! */

But because control dependencies do -not- provide transitivity, the
-above assertion can fail after the combined four-CPU example completes.
-If you need the four-CPU example to provide ordering, you will need
+above assertion can fail after the combined three-CPU example completes.
+If you need the three-CPU example to provide ordering, you will need
smp_mb() between the loads and stores in the CPU 0 and CPU 1 code fragments,
that is, just before or just after the "if" statements.

--
1.9.1

--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/