diff options
| author | Andrew Waterman <andrew@sifive.com> | 2017-07-21 01:50:04 -0700 |
|---|---|---|
| committer | Andrew Waterman <andrew@sifive.com> | 2017-07-21 01:53:04 -0700 |
| commit | 54d62e4f80a4d891e82d6ea7a4fbc778aa348b60 (patch) | |
| tree | f0e7b21ffdda425db0a43842112f70aaf5f7c220 /src/a.tex | |
| parent | b1acc301a3995e64bc8c1bf8bb094bf8b20d8912 (diff) | |
| download | riscv-isa-manual-54d62e4f80a4d891e82d6ea7a4fbc778aa348b60.zip riscv-isa-manual-54d62e4f80a4d891e82d6ea7a4fbc778aa348b60.tar.gz riscv-isa-manual-54d62e4f80a4d891e82d6ea7a4fbc778aa348b60.tar.bz2 | |
Fix description of LR/SC for data size
LR.D/SC.W and LR.W/SC.D aren't guaranteed to succeed.
Diffstat (limited to 'src/a.tex')
| -rw-r--r-- | src/a.tex | 7 |
1 files changed, 4 insertions, 3 deletions
@@ -168,9 +168,10 @@ loads, stores, backward jumps or taken backward branches, FENCE, FENCE.I, and SYSTEM instructions. The code to retry a failing LR/SC sequence can contain backward jumps and/or branches to repeat the LR/SC sequence, but otherwise has the same constraints. The SC must -be to the same address as the latest LR executed. LR/SC sequences -that do not meet these constraints might complete on some attempts on -some implementations, but there is no guarantee of eventual success. +be to the same address and of the same data size as the latest LR +executed. LR/SC sequences that do not meet these constraints might +complete on some attempts on some implementations, but there is no +guarantee of eventual success. \begin{commentary} One advantage of CAS is that it guarantees that some hart eventually |