Skip to content

Commit 846b9c2

Browse files
committed
[intro.races] Clarify 'synchronization operation'.
Fixes CWG 2297.
1 parent 801fb0b commit 846b9c2

File tree

1 file changed

+6
-3
lines changed

1 file changed

+6
-3
lines changed

source/basic.tex

Lines changed: 6 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -4519,9 +4519,12 @@
45194519
memory location.
45204520

45214521
\pnum
4522-
The library defines a number of atomic operations\iref{atomics} and
4523-
operations on mutexes\iref{thread} that are specially identified as
4524-
synchronization operations. These operations play a special role in making
4522+
The library identifies certain operations as
4523+
\defnx{synchronization operations}{synchronization operation}, as specified
4524+
in the \sync element
4525+
(\ref{support.signal}, \ref{util.smartptr.shared.atomic}, \ref{atomics.order},
4526+
\ref{atomics.fences}, \ref{thread}).
4527+
These operations play a special role in making
45254528
assignments in one thread visible to another. A synchronization operation on one
45264529
or more memory locations is either a consume operation, an acquire operation, a
45274530
release operation, or both an acquire and release operation. A synchronization

0 commit comments

Comments
 (0)