aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--src/a.tex5
1 files changed, 3 insertions, 2 deletions
diff --git a/src/a.tex b/src/a.tex
index 8c0cfc7..c396f90 100644
--- a/src/a.tex
+++ b/src/a.tex
@@ -215,8 +215,9 @@ any address) between the LR and the SC in program order. In other
words, multiple outstanding reservations are not permitted.
\begin{commentary}
-A store-conditional instruction to a scratch word of memory can be used
-by context-switch code to forcibly yield any existing load reservation.
+A store-conditional instruction to a scratch word of memory should be used
+during a preemptive context switch to forcibly yield any existing load
+reservation.
\end{commentary}
\begin{commentary}