Skip to content

Commit

Permalink
[intro.races] Add index entries for notions of coherence.
Browse files Browse the repository at this point in the history
  • Loading branch information
Eelis authored and zygoloid committed Oct 15, 2017
1 parent d6a3234 commit 776fea1
Showing 1 changed file with 4 additions and 0 deletions.
4 changes: 4 additions & 0 deletions source/intro.tex
Original file line number Diff line number Diff line change
Expand Up @@ -1416,12 +1416,14 @@
\end{note}

\pnum
\indextext{coherence!write-write}%
If an operation \placeholder{A} that modifies an atomic object \placeholder{M} happens before
an operation \placeholder{B} that modifies \placeholder{M}, then \placeholder{A} shall be earlier
than \placeholder{B} in the modification order of \placeholder{M}. \begin{note} This requirement
is known as write-write coherence. \end{note}

\pnum
\indextext{coherence!read-read}%
If a
\indextext{value computation}%
value computation \placeholder{A} of an atomic object \placeholder{M} happens before a
Expand All @@ -1434,6 +1436,7 @@
\begin{note} This requirement is known as read-read coherence. \end{note}

\pnum
\indextext{coherence!read-write}%
If a
\indextext{value computation}%
value computation \placeholder{A} of an atomic object \placeholder{M} happens before an
Expand All @@ -1443,6 +1446,7 @@
read-write coherence. \end{note}

\pnum
\indextext{coherence!write-read}%
If a
\indextext{side effects}%
side effect \placeholder{X} on an atomic object \placeholder{M} happens before a value
Expand Down

0 comments on commit 776fea1

Please sign in to comment.