diff options
Diffstat (limited to 'src/a.tex')
| -rw-r--r-- | src/a.tex | 4 |
1 files changed, 1 insertions, 3 deletions
@@ -185,9 +185,7 @@ not meet the forward-progress guarantee. An implementation can reserve an arbitrarily large subset of the address space on each LR, provided the memory range includes all bytes -of the addressed data word. The reserved address range does not have -to be constant on each dynamic invocation of a static LR instruction, -or on each time a given address and data word size are used by an LR. +of the addressed data word. An SC can only pair with the most recent LR in program order. An SC may succeed if no store from another hart to the address range reserved by the LR can be observed to have occurred between the LR and |