Clarification on the meaning of the annotations

h/t Ken Dockser

1 files changed, 2 insertions, 0 deletions

diff --git a/src/rvwmo.tex b/src/rvwmo.tex
index 70e9e14..94190b1 100644
--- a/src/rvwmo.tex
+++ b/src/rvwmo.tex
@@ -72,6 +72,8 @@ An ``RCsc annotation'' refers to an acquire-RCsc annotation or a release-RCsc an
 \begin{commentary}
   In the memory model literature, the term ``RCpc'' stands for release consistency with processor-consistent synchronization operations, and the term ``RCsc'' stands for release consistency with sequentially-consistent synchronization operations~\cite{Gharachorloo90memoryconsistency}.
 
+  While there are many different definitions for acquire and release annotations in the literature, in the context of RVWMO these terms are concisely and completely defined by Preserved Program Order rules \ref{ppo:acquire}--\ref{ppo:rcsc}.
+
   ``RCpc'' annotations are currently only used when implicitly assigned to every memory access per the standard extension ``Ztso'' (Chapter~\ref{sec:ztso}).  Furthermore, although the ISA does not currently contain native load-acquire or store-release instructions, nor RCpc variants thereof, the RVWMO model itself is designed to be forwards-compatible with the potential addition of any or all of the above into the ISA in a future extension.
 \end{commentary}