aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--src/a.tex4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/a.tex b/src/a.tex
index fe8b12b..163c52f 100644
--- a/src/a.tex
+++ b/src/a.tex
@@ -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.