LR.W

RISC-V LR.W 指令详解

指令手册R-type

原子加载32位字并建立预留,供后续 SC.W 判断条件存储是否可成功

指令语法

lr.w rd, (rs1)
操作数说明
目标寄存器 rd:存放运算结果的通用寄存器。
源寄存器 rs1:第一个操作数寄存器。
源寄存器 rs2:第二个操作数寄存器。
AZalrsc原子操作

指令行为说明

LR.W 从 rs1 指向的地址原子读取 32 位字,将读取值符号扩展到 XLEN 后写入 rd,并建立覆盖该访问字节的 reservation set。它本身不写内存;后续 SC.W 使用该预留判断条件存储是否成功。aq/rl 位只对该指令访问的地址域提供内存排序约束。

LR.W 原子指令解析与执行动画

展示 A-extension word 原子指令的字段解析、aq/rl 排序位、内存读取和 RMW 状态更新。

rd
rs1
lr.w
,(
)
执行环境
31..27
26
25
24..20
19..15
14..12
11..7
6..0
00010
funct5
1
aq
0
rl
00000
rs2=00000
01010
rs1
010
funct3
00101
rd
0101111
opcode
原子数据路径
instruction
0x140522AF
opcode
0101111 -> AMO
funct3
010 -> word width
funct5
00010 -> LR.W
aq / rl
1/0 -> acquire
rd / rs1
t0(x5) / a0(x10)=0x00001000
memory read
mem[0x00001000] -> old word 0x00000005
reservation
create reservation for 4 bytes at 0x00001000
rd / reservation
t0(x5) = 0x00000005; reservation set created
当前步骤

概念步骤:拿到 32-bit 原子指令编码

A 扩展 word 原子指令使用 32-bit 编码;动画先展示字段切分。

encoding: 0x140522AF
syntax : lr.w t0(x5), (a0(x10))
result : t0(x5) = 0x00000005; reservation set created

该动画展示 ISA 可见的原子读改写、比较并交换、LR/SC 预留状态和内存排序位,不表示任何特定 CPU 的缓存一致性实现、流水线或时序。

快速理解与检索要点

LR.W 是 LR/SC 序列的第一步:读取内存中的 32 位旧值并建立预留。页面重点不是普通 load,而是“读取旧值 + 建立 reservation + 后续 SC.W 消费该 reservation”。

R-type 字段中 rs2 必须为 x0;funct5=00010、funct3=010、opcode=0101111 共同识别 LR.W。
LR.W 读取 32 位字,写入 rd 时符号扩展到 XLEN;在 RV64 上高位来自 bit 31 的符号扩展。
LR.W 建立 reservation set,但不保证后续 SC.W 一定成功;SC.W 仍可能失败并需要软件循环处理。
aq/rl 位用于内存排序,不改变 LR.W 读取旧值并建立预留的基本数据结果。

常见使用场景

原子与同步

结合 «lr.w.aq t0, (a0) # load word from *a0 with acquire ordering, set reservation» 等实际代码理解该场景。

使用前检查清单

语法检查
  • 确认当前指令格式为 R-type。
  • 确认操作数排列顺序与示例一致。
语义检查
  • 确认目标寄存器用途和调用约定兼容。
  • 确认该指令不是伪指令展开后的底层形式。

容易混淆 / 常见误区

地址必须4字节对齐
需与SC.W配对使用
SC.W成功前其他hart的写入会使预留失效
同一hart上的新LR会覆盖之前的预留

常见问题

LR.W 是普通 lw 加一个标记吗?

不是。LR.W 与 LW 都读取 32 位字并符号扩展写入 rd,但 LR.W 还建立 reservation set,供后续 SC.W 判断条件存储。

LR.W 后面的 SC.W 一定会成功吗?

不一定。预留可能失效,且 SC.W 可能失败;软件应检查 SC.W 写入 rd 的结果,失败时重试 LR/SC 序列。