AMOSWAP.D 的 rd 是新值还是旧值?
rd 是旧值。AMOSWAP.D 先读取旧 64 位内存值到 rd,再把 rs2 的 64 位值写回内存。
RV64 原子交换 64 位 doubleword:rd 返回旧内存值,内存写入 rs2 的 64 位值
AMOSWAP.D 对 rs1 指向的 64 位 doubleword 执行原子 read-modify-write:先读取旧内存 doubleword 并写入 rd,再把 rs2 的 64 位值写回同一地址。它是 RV64 的 A/Zaamo 指令,不使用 LR/SC 预留;aq/rl 位只影响内存排序。
展示 A-extension doubleword 原子指令的字段解析、aq/rl 排序位、内存读取和 RMW 状态更新。
A 扩展 doubleword 原子指令使用 32-bit 编码;动画先展示字段切分。
该动画展示 ISA 可见的原子读改写、比较并交换、LR/SC 预留状态和内存排序位,不表示任何特定 CPU 的缓存一致性实现、流水线或时序。
AMOSWAP.D 是 64 位原子交换:rd 得到交换前的旧内存 doubleword,内存得到 rs2 的 64 位值。它不是 LR/SC 序列,也不会把新值写到 rd。
结合 «amoswap.d.aq t0, t1, (a0) # t0 = old 64-bit *a0; *a0 = t1» 等实际代码理解该场景。
结合 «amoswap.d.aq t0, t1, (a0) # t0 = old 64-bit *a0; *a0 = t1» 等实际代码理解该场景。
rd 是旧值。AMOSWAP.D 先读取旧 64 位内存值到 rd,再把 rs2 的 64 位值写回内存。
不需要。AMOSWAP.D 是单条 AMO read-modify-write 指令,不依赖 LR/SC 预留状态。