修改代码后为什么还需要它？
数据存储可见并不自动保证指令获取路径看到新指令，FENCE.I 提供本 hart 的同步点。
FENCE.I
RISC-V FENCE.I 指令详解
指令手册I-type同步指令和数据流，确保后续指令获取能看到之前的数据存储（用于自修改代码和JIT编译）
指令语法
fence.i
操作数说明
目标寄存器 rd：存放运算结果的通用寄存器。
源寄存器 rs1：第一个操作数所在的寄存器。
立即数 imm：12 位有符号立即数，符号扩展后与 rs1 进行运算。
Zifencei缓存与同步
指令行为说明
FENCE.I指令属于Zifencei扩展（opcode=MISC-MEM, funct3=001）。它用于同步指令流和数据流：在FENCE.I执行之后发起的指令获取，保证能看到在此FENCE.I之前的任何针对指令区域的数据存储。这是实现自修改代码、JIT编译器、动态代码生成等必须的同步原语。不同于FENCE（内存数据排序），FENCE.I专用作指令-数据串行化。在没有Zifencei支持的系统中执行FENCE.I将引发非法指令异常。
快速理解与检索要点
FENCE.I 同步当前 hart 的数据存储与后续指令获取，使自修改代码或动态生成代码在本 hart 上可被后续取指看到。
FENCE.I 不是普通数据内存排序 FENCE；它针对指令获取路径。
它只保证本 hart；多 hart 代码更新还需要让其它 hart 执行相应同步。
常见使用场景
自修改代码
结合 «fence.i # sync instruction fetch with prior data stores» 等实际代码理解该场景。
JIT编译
结合 «fence.i # sync instruction fetch with prior data stores» 等实际代码理解该场景。
动态代码生成
结合 «fence.i # sync instruction fetch with prior data stores» 等实际代码理解该场景。
使用前检查清单
语法检查
- 确认当前指令格式为 I-type。
- 确认操作数排列顺序与示例一致。
语义检查
- 确认目标寄存器用途和调用约定兼容。
- 确认该指令不是伪指令展开后的底层形式。
容易混淆 / 常见误区
FENCE.I 仅同步本hart的指令流和数据流，不保证其他hart或外部设备观察到同步
需要 Zifencei 扩展支持；在不支持的平台上会引发非法指令异常
自修改代码或JIT编译后必须执行FENCE.I才能安全执行新指令
常见问题
它会刷新 TLB 吗？
不会。地址转换同步使用 SFENCE.VMA 或相关特权失效序列。