aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--src/a.tex7
1 files changed, 4 insertions, 3 deletions
diff --git a/src/a.tex b/src/a.tex
index 414210d..43ea424 100644
--- a/src/a.tex
+++ b/src/a.tex
@@ -458,9 +458,10 @@ be discarded by writing to {\tt x0}.
\begin{commentary}
We provided fetch-and-op style atomic primitives as they scale to
-highly parallel systems better than LR/SC or CAS. A simple
-microarchitecture can implement AMOs using the LR/SC primitives. More
-complex implementations might also implement AMOs at memory
+highly parallel systems better than LR/SC or CAS.
+A simple microarchitecture can implement AMOs using the LR/SC primitives,
+provided the implementation can guarantee the AMO eventually completes.
+More complex implementations might also implement AMOs at memory
controllers, and can optimize away fetching the original value when
the destination is {\tt x0}.