diff options
-rw-r--r-- | src/a.tex | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -155,9 +155,9 @@ 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 and of the same data size as the latest LR -executed. The execution environment can constrain the instruction and +executed. The execution environment can limit the instruction and data memory regions within which forward progress is guaranteed. -LR/SC sequences that do not meet these constraints might complete on +LR/SC sequences that do not meet all these constraints might complete on some attempts on some implementations, but there is no guarantee of eventual success. |