aboutsummaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorAndrew Waterman <andrew@sifive.com>2018-06-11 17:43:25 -0700
committerAndrew Waterman <andrew@sifive.com>2018-06-11 17:43:25 -0700
commit548fd40a6d25692937e2e67532e26e50e37bfd2a (patch)
tree281eb114979ded871c6d79a80faeaff0ef3cdb9d /src
parentfa10372a548103f6909641af920147ee72db6321 (diff)
downloadriscv-isa-manual-548fd40a6d25692937e2e67532e26e50e37bfd2a.zip
riscv-isa-manual-548fd40a6d25692937e2e67532e26e50e37bfd2a.tar.gz
riscv-isa-manual-548fd40a6d25692937e2e67532e26e50e37bfd2a.tar.bz2
Remove misleading note about AMOSWAP elision
The note implied that it's legal to elide silent stores. This is not true with respect to the consistency model.
Diffstat (limited to 'src')
-rw-r--r--src/a.tex6
1 files changed, 0 insertions, 6 deletions
diff --git a/src/a.tex b/src/a.tex
index 3b3ce9f..11bb4b7 100644
--- a/src/a.tex
+++ b/src/a.tex
@@ -405,12 +405,6 @@ the critical section before the lock relinquishment.
We recommend the use of the AMO Swap idiom shown above for both lock
acquire and release to simplify the implementation of speculative lock
elision~\cite{Rajwar:2001:SLE}.
-
-At the risk of complicating the implementation of atomic operations,
-microarchitectures can elide the store within the acquire swap if the
-lock value matches the swap value, to avoid dirtying a cache line held
-in a shared or exclusive clean state. The effect is similar to a
-test-and-test-and-set lock but with shorter code paths.
\end{commentary}
The instructions in the ``A'' extension can also be used to provide