diff options
author | Andrew Waterman <andrew@sifive.com> | 2018-06-11 17:43:25 -0700 |
---|---|---|
committer | Andrew Waterman <andrew@sifive.com> | 2018-06-11 17:43:25 -0700 |
commit | 548fd40a6d25692937e2e67532e26e50e37bfd2a (patch) | |
tree | 281eb114979ded871c6d79a80faeaff0ef3cdb9d /src | |
parent | fa10372a548103f6909641af920147ee72db6321 (diff) | |
download | riscv-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.tex | 6 |
1 files changed, 0 insertions, 6 deletions
@@ -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 |