summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRichard Braun <rbraun@sceen.net>2019-08-23 10:18:26 +0200
committerRichard Braun <rbraun@sceen.net>2019-08-23 10:18:26 +0200
commitb74963a3849ad107f0519ee23d0e230cdb61c66b (patch)
tree5c1528c452435226c39e1aa7556e5fcdf4386060
parent33077a4d6dd6b2446ddb9b8fc5dc45fadf7212da (diff)
Slight improvement of the memory model man page
-rw-r--r--doc/memory.9.txt7
1 files changed, 3 insertions, 4 deletions
diff --git a/doc/memory.9.txt b/doc/memory.9.txt
index 9a18355c..67b8afa6 100644
--- a/doc/memory.9.txt
+++ b/doc/memory.9.txt
@@ -99,10 +99,9 @@ apply to standard integer types.
There are no special provisions for initialization. Initializing a
variable must simply happen before any other access to that variable.
For example, this may be achieved with a release-write to the variable,
-or with a regular write before an operation that synchronizes with
-another operation that precedes regular accesses to the variable.
-This makes the interface surface of the atomic module much more compact
-than the standard one.
+or with a regular write that preceding a release sequence. This makes
+the interface surface of the atomic module much more compact than
+the standard one.
IMPLEMENTATION
--------------