From da9b0752dbe570cf0493f4c7eb790ace845896af Mon Sep 17 00:00:00 2001 From: Andrew Waterman Date: Sun, 6 Oct 2019 21:54:46 +0200 Subject: Incorporate Anthony Coulter's feedback https://groups.google.com/a/groups.riscv.org/d/msg/isa-dev/6rpIanfXCVc/SIp_dwvCAgAJ --- src/a.tex | 7 ++++--- 1 file 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}. -- cgit v1.1