Skip to content

Commit

Permalink
Fix the inconsistency of quotation marks
Browse files Browse the repository at this point in the history
  • Loading branch information
yutingshih committed Jul 23, 2024
1 parent a48f633 commit 81b7ce4
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion concurrency-primer.tex
Original file line number Diff line number Diff line change
Expand Up @@ -1255,7 +1255,7 @@ \subsubsection{Total store order (TSO)}

Once Thread 3 reads \monobox{r1 = 1}, \monobox{r2 = 0}, it indicates that the write \monobox{x = 1} reached shared memory before \monobox{y = 1}.
If at this point Thread 4 reads \monobox{r3 = 1}, it means both writes \monobox{y = 1} and \monobox{x = 1} are visible to Thread 4, so \monobox{r4} can only be \monobox{1}.
We can say "Thread 1's write to \monobox{x}" happens before "Thread 2's write to \monobox{y}".
We can say ``Thread 1's write to \monobox{x}'' happens before ``Thread 2's write to \monobox{y}''.

\subsubsection{Relaxed memory order (RMO)}

Expand Down

0 comments on commit 81b7ce4

Please sign in to comment.