diff options
author | Andrew Waterman <andrew@sifive.com> | 2018-07-06 11:34:58 -0700 |
---|---|---|
committer | Andrew Waterman <andrew@sifive.com> | 2018-07-06 11:34:58 -0700 |
commit | c1c5eaa1f606d9f41cd7fc6c4fddd0976ac39bda (patch) | |
tree | 3e8a89752e0365f3cc6f97e04e1ef46cb950fb53 /src/rvwmo.tex | |
parent | 47bc098c27a315820f03cfcc9c8c0bbbb06f36d5 (diff) | |
parent | c11b3909702dd7fea233976c6e2249148b7f177d (diff) | |
download | riscv-isa-manual-c1c5eaa1f606d9f41cd7fc6c4fddd0976ac39bda.zip riscv-isa-manual-c1c5eaa1f606d9f41cd7fc6c4fddd0976ac39bda.tar.gz riscv-isa-manual-c1c5eaa1f606d9f41cd7fc6c4fddd0976ac39bda.tar.bz2 |
Merge branch 'misc-fixes' of https://github.com/tymcauley/riscv-isa-manual into tymcauley-misc-fixes
Diffstat (limited to 'src/rvwmo.tex')
-rw-r--r-- | src/rvwmo.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/rvwmo.tex b/src/rvwmo.tex index 7bf9fa2..e6bc4d2 100644 --- a/src/rvwmo.tex +++ b/src/rvwmo.tex @@ -67,7 +67,7 @@ An AMO or SC instruction with {\em rl} set has a ``release-RCsc'' annotation. An AMO, LR, or SC instruction with both {\em aq} and {\em rl} set has both ``acquire-RCsc'' and ``release-RCsc'' annotations. \begin{commentary} - ``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-relase 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. + ``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} For convenience, we use the term ``acquire annotation'' to refer to an acquire-RCpc annotation or an acquire-RCsc annotation. |