diff options
author | Bill Traynor <wmat@riscv.org> | 2023-01-04 23:13:11 -0500 |
---|---|---|
committer | Bill Traynor <wmat@riscv.org> | 2023-01-04 23:13:11 -0500 |
commit | eeadd31b57f937a56350b67417b7ef721015d2f5 (patch) | |
tree | f26d7e50a0f5d7629b992ee5fbd2af531b54bf8e /src/rvwmo.adoc | |
parent | 0e6df795ced5abd141f4e92b7a935e3b217f0349 (diff) | |
download | riscv-isa-manual-eeadd31b57f937a56350b67417b7ef721015d2f5.zip riscv-isa-manual-eeadd31b57f937a56350b67417b7ef721015d2f5.tar.gz riscv-isa-manual-eeadd31b57f937a56350b67417b7ef721015d2f5.tar.bz2 |
Formatting to match LaTeX.
Swapped some bolding for double quotes.
Remvoved unnecessary reference alt text.
Diffstat (limited to 'src/rvwmo.adoc')
-rw-r--r-- | src/rvwmo.adoc | 11 |
1 files changed, 5 insertions, 6 deletions
diff --git a/src/rvwmo.adoc b/src/rvwmo.adoc index 0a86b6e..95db79b 100644 --- a/src/rvwmo.adoc +++ b/src/rvwmo.adoc @@ -145,18 +145,17 @@ annotation. [NOTE] ==== -In the memory model literature, the term *RCpc* stands for release +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 +the term "RCsc" stands for release consistency with sequentially consistent synchronization operations. 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 <<ppo, Preserved Program Order>> rules -5-7. +concisely and completely defined by <<ppo>> rules 5-7. -*RCpc* annotations are currently only used when implicitly assigned to -every memory access per the standard extension *Ztso* +"RCpc" annotations are currently only used when implicitly assigned to +every memory access per the standard extension "Ztso" (<<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 |