summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRichard Braun <rbraun@sceen.net>2019-08-20 14:02:01 +0200
committerRichard Braun <rbraun@sceen.net>2019-08-20 14:02:01 +0200
commit9b7e615887a0495faba1470d51fcfa0555deb09b (patch)
tree82a4f74868220a3af11ea871dd1b9e085b34b7f7
parentc15a8b25d7ddd9e094cd1920a7b0da5a2002cfe6 (diff)
SLightly improve the definition of strong sequencing
-rw-r--r--doc/memory.9.txt3
1 files changed, 2 insertions, 1 deletions
diff --git a/doc/memory.9.txt b/doc/memory.9.txt
index 906472d6..11398088 100644
--- a/doc/memory.9.txt
+++ b/doc/memory.9.txt
@@ -72,7 +72,8 @@ sequenced before_ and _strongly sequenced after_ relations are similar
to _sequenced before_ and _sequenced after_ respectively, except that
they affect the implementation in addition to the abstract machine.
Strong sequencing only affects compiler optimizations and reorderings
-of loads and stores, and hardware fence instructions are not emitted.
+of loads and stores; whether hardware fence instructions are emitted
+or not isn't affected.
Here is the list of strong sequence points :