diff options
-rw-r--r-- | src/rvwmo.adoc | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/rvwmo.adoc b/src/rvwmo.adoc index dad2ae1..1eccd66 100644 --- a/src/rvwmo.adoc +++ b/src/rvwmo.adoc @@ -298,6 +298,7 @@ written by different memory operations generated by an AMO or SC instruction, _b_ is a load, and _b_ returns a value written by _a_ * Explicit Synchronization +[start=4] . There is a FENCE instruction that orders _a_ before _b_ . _a_ has an acquire @@ -308,6 +309,7 @@ RCsc annotations . _a_ is paired with _b_ * Syntactic Dependencies +[start=9] . _b_ has a syntactic address dependency on _a_ . _b_ has a syntactic data @@ -315,6 +317,7 @@ dependency on _a_ . _b_ is a store, and _b_ has a syntactic control dependency on _a_ * Pipeline Dependencies +[start=12] . _b_ is a load, and there exists some store _m_ between _a_ and _b_ in program order such that |