diff options
-rw-r--r-- | src/zawrs.adoc | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/src/zawrs.adoc b/src/zawrs.adoc index 7443c41..456c582 100644 --- a/src/zawrs.adoc +++ b/src/zawrs.adoc @@ -1,4 +1,4 @@ -== "Zawrs" Statndard extension for Wait-on-Reservation-Set instructions, version 1.01 +== "Zawrs" Statndard extension for Wait-on-Reservation-Set instructions, Version 1.01 The Zawrs extension defines a pair of instructions to be used in polling loops that allows a core to enter a low-power state and wait on a store to a memory @@ -37,10 +37,9 @@ reached. [NOTE] ==== The instructions in the Zawrs extension are only useful in conjunction with the -LR instructions, which are provided by the A extension, and which we also expect +LR instruction, which is provided by the A extension, and which we also expect to be provided by a narrower Zalrsc extension in the future. ==== - [[Zawrs]] === Wait-on-Reservation-Set Instructions @@ -62,6 +61,8 @@ supported in a constrained `LR`/`SC` loop. ], config:{lanes: 1, hspace:1024}} .... +<<< + Hart execution may be stalled while the following conditions are all satisfied: [loweralpha] . The reservation set is valid |