diff options
-rw-r--r-- | src/a.tex | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -202,6 +202,11 @@ that can be spent in the sequence. Floating-point operations and integer multiply/divide were disallowed to simplify the operating system's emulation of these instructions on implementations lacking appropriate hardware support. + +Although software is not forbidden from using LR/SC sequences that do not meet +the forward-progress constraints, portable software must detect the case that +the sequence repeatedly fails, then fall back to an alternate code sequence +that does not run afoul of the forward-progress constraints. \end{commentary} An implementation can reserve an arbitrary subset of the memory space |