From 81b7ce49020fe26fba24687135d971374ad09bc6 Mon Sep 17 00:00:00 2001 From: Yu-Ting Shi Date: Sat, 6 Jul 2024 13:26:16 +0800 Subject: [PATCH] Fix the inconsistency of quotation marks --- concurrency-primer.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/concurrency-primer.tex b/concurrency-primer.tex index 2e45dab..fd40a89 100644 --- a/concurrency-primer.tex +++ b/concurrency-primer.tex @@ -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)}