WRS.STO
Wait on Reservation Set (Short Time-Out)
WRS.STO
Stalls the hart until a reservation set is invalid or a very short implementation-defined timeout expires.
Details
WRS.STO (Wait on Reservation Set, Short Timeout) behaves like WRS.NTO but may optionally time out after an implementation-defined short period, allowing the hart to poll the reservation set.
Pseudocode Operation
while (reservation_valid() && !short_timeout) { pause(); }Example
WRS.STO
Encoding
Binary Layout
000000011101
31:20
00000
19:15
000
14:12
00000
11:7
1110011
6:0