LR.D 会写内存吗？
不会。LR.D 读取 64 位旧值到 rd，并建立 reservation set；内存写入由后续 SC.D 尝试完成。
LR.D
RISC-V LR.D 指令详解
指令手册R-type在 RV64 上原子读取 64 位 doubleword 到 rd，并建立供后续 SC.D 使用的 reservation set
指令语法
lr.d rd, (rs1)
操作数说明
rd：接收旧内存值，LR.W 符号扩展到 XLEN；rd=x0 只丢弃写回，不取消内存访问和预留。
rs1：直接提供自然对齐的地址，没有 offset 立即数；LR.W 需 4 字节对齐，LR.D 仅 RV64 且需 8 字节对齐。
rs2 编码固定为 00000，不是第二个源操作数；funct5=00010，aq/rl 是独立排序位。
AZalrsc原子操作
指令行为说明
LR.D 从 rs1 指向的自然对齐地址原子读取 64 位 doubleword，将旧值写入 rd，并建立覆盖该访问字节的 reservation set。它是 RV64 的 A/Zalrsc 指令，本身不写内存；后续 SC.D 使用该预留判断条件存储是否成功。aq 位可为 LR/SC 序列提供 acquire 语义；对 LR 单独设置 rl 而不同时设置 aq 不保证提供更强排序，且不会改变读取值。 排序约束只作用于所访问的 memory 或 I/O 地址域；不会自动排序另一地址域。
LR.D 原子指令解析与执行动画
展示 A / Zalrsc doubleword 原子指令的字段解析、aq/rl 排序位、内存读取和 reservation 状态更新。
rd
rs1
lr.d,()
执行环境
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
011
funct3
00101
rd
0101111
opcode
原子数据路径
instruction
0x140532AF
opcode
0101111 -> AMO
funct3
011 -> doubleword width
funct5
00010 -> LR.D
aq / rl
1/0 -> acquire
rd / rs1
t0(x5) / a0(x10)=0x0000000000001000
memory read
mem[0x0000000000001000] -> old doubleword 0x0000000000000005
reservation
尚未计算
rd / reservation
t0(x5) = 未指定初值; mem[0x0000000000001000] = 0x0000000000000005
当前步骤
概念步骤：拿到 32-bit 原子指令编码
A / Zalrsc 扩展 doubleword 原子指令使用 32-bit 编码；动画先展示字段切分。
encoding: 0x140532AF
syntax : lr.d.aq t0(x5), (a0(x10))
待提交结果 : 尚未计算
本例假定自然对齐的地址区域支持 LR/SC 且可读，取指及访问成功。预留覆盖全部访问字节，但不展示实现定义的完整大小、其他 hart/设备写入或 SC 成功条件；aq/rl 只排序所访问的 memory/I/O 地址域。步骤是教学拆解。
快速理解与检索要点
LR.D 是 RV64 LR/SC 序列的 64 位第一步：读取旧 doubleword 到 rd，并建立 reservation set。它不写内存，也不等同于普通 ld，因为后续 SC.D 会消费这个预留。
funct5=00010、funct3=011、opcode=0101111 识别 LR.D；rs2 编码字段必须为 x0。
LR.D 是 RV64-only doubleword 操作，内存访问宽度为 64 bit，不使用 AMO.W 的 32 位符号扩展规则。
目标地址必须按 doubleword 自然对齐；未对齐访问会触发地址未对齐或访问错误异常。
aq 可为 LR/SC 序列提供 acquire 语义；对 LR 单独设置 rl 而不同时设置 aq 不保证更强排序，且这些位不改变读取旧值或建立预留。
常见使用场景
原子与同步
结合 «lr.d.aq t0, (a0) # load 64-bit doubleword from *a0 and create a reservation» 等实际代码理解该场景。
RV64 专用操作
结合 «lr.d.aq t0, (a0) # load 64-bit doubleword from *a0 and create a reservation» 等实际代码理解该场景。
使用前检查清单
语法检查
- 语法为 rd, (rs1)，rs2 编码固定为 00000；aq/rl 是独立排序位。
语义检查
- 确认支持 Zalrsc 或 A，地址区域可预留且自然对齐；LR.D 仅 RV64。未对齐 LR 必须产生地址未对齐或访问错误异常。
- 读取旧值并建立覆盖全部访问字节的预留；LR.W 符号扩展到 XLEN。不写内存，不保证后续 SC 成功。
容易混淆 / 常见误区
地址必须 8 字节自然对齐
仅 RV64 可用
新的 LR.D 会替换同一 hart 先前的预留
LR.D 建立预留但不保证后续 SC.D 一定成功
常见问题
LR.D 和 LR.W 的关键区别是什么？
LR.D 仅用于 RV64，访问 64 位 doubleword，地址需 8 字节对齐；LR.W 访问 32 位 word。