Does PAUSE guarantee a fixed delay?
No. The official rule only requires the effect to be bounded, and the duration may be zero.
Zihintpause bounded pause hint indicating the current hart retirement rate may be temporarily reduced or paused.
RV32/RV64 Zihintpause 2.0; pause has no explicit register or immediate operands.
32-bit FENCE form: fm=0000, pred=0001 (W), succ=0000, rs1=rd=x0, funct3=000, opcode=0001111; encoding 0x0100000F.
The pause effect must be bounded and may be zero. Empty succ mandates no memory ordering; fixed delay or scheduling effects are not guaranteed.
Portable spin-wait loops should use one PAUSE before rechecking conditions; using it in an LR/SC sequence voids the forward-progress guarantee.
PAUSE is a HINT defined by Zihintpause and encoded as a FENCE form with pred=W, succ=0, fm=0, rd=x0, and rs1=x0. It indicates that the current hart may be in a spin-wait sequence and that the instruction retirement rate may be temporarily reduced or paused; the effect duration must be bounded and may be zero. Because the successor set is empty, PAUSE mandates no memory ordering.
Shows fixed FENCE-form fields and the bounded pause hint; empty succ mandates no memory ordering.
This animation shows only FENCE/PAUSE architectural semantics defined by the RISC-V unprivileged ISA; it does not represent processor-specific pause duration, cache behavior, interconnect protocol, or execution cost.
PAUSE is a FENCE-form spin-wait hint. It may let an implementation reduce or pause the current hart retirement rate for a bounded duration, but succ=0 means it mandates no memory ordering.
Understand this scenario with real code like «pause # hint for spinlock busy-wait loop».
Understand this scenario with real code like «pause # hint for spinlock busy-wait loop».
Understand this scenario with real code like «pause # hint for spinlock busy-wait loop».
No. The official rule only requires the effect to be bounded, and the duration may be zero.
No. PAUSE has an empty successor set and mandates no memory ordering.
It is a HINT; an implementation may reduce or pause the current hart retirement rate, but the duration may also be zero.