diff options
author | Daniel Lustig <dlustig@nvidia.com> | 2021-06-02 09:49:23 -0400 |
---|---|---|
committer | Daniel Lustig <dlustig@nvidia.com> | 2021-06-02 09:49:23 -0400 |
commit | e2f81a1791cf5f0483200c3c37150d0f2eccc485 (patch) | |
tree | 12b9364c66ecf3a7d9c5538f0234a5f02343d0da /src/rvwmo.tex | |
parent | 883bd183513ccdfed62a31d862d1c843aed3e3d0 (diff) | |
parent | 58b9433f58d5b199a7e470f11cb7474368cb7d11 (diff) | |
download | riscv-isa-manual-e2f81a1791cf5f0483200c3c37150d0f2eccc485.zip riscv-isa-manual-e2f81a1791cf5f0483200c3c37150d0f2eccc485.tar.gz riscv-isa-manual-e2f81a1791cf5f0483200c3c37150d0f2eccc485.tar.bz2 |
Merge branch 'virtual-memory' into Svnapot
Diffstat (limited to 'src/rvwmo.tex')
-rw-r--r-- | src/rvwmo.tex | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/rvwmo.tex b/src/rvwmo.tex index edf3f28..228e582 100644 --- a/src/rvwmo.tex +++ b/src/rvwmo.tex @@ -35,7 +35,7 @@ The {\em program order} over memory operations reflects the order in which the i Memory-accessing instructions give rise to {\em memory operations}. A memory operation can be either a {\em load operation}, a {\em store operation}, or both simultaneously. -All memory operations are single-copy atomic: they can never be observed in a partially-complete state. +All memory operations are single-copy atomic: they can never be observed in a partially complete state. Among instructions in RV32GC and RV64GC, each aligned memory instruction gives rise to exactly one memory operation, with two exceptions. First, an unsuccessful SC instruction does not give rise to any memory operations. @@ -70,7 +70,7 @@ An ``RCpc annotation'' refers to an acquire-RCpc annotation or a release-RCpc an An ``RCsc annotation'' refers to an acquire-RCsc annotation or a release-RCsc annotation. \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}. + 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}. |