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
00000001110100000000000001110011
31:0
 
Format I-Type
Opcode 0x01D00073
Extension Zawrs

Operands