SFENCE.VMA 会刷新所有 hart 的 TLB 吗？
不会。官方语义作用于当前 hart；多 hart 系统必须让其它 hart 执行相应地址转换同步序列。
SFENCE.VMA
RISC-V SFENCE.VMA 指令详解
指令手册R-typeSupervisor 地址转换栅栏：按 rs1 选择虚拟地址范围、按 rs2 选择 ASID 范围，同步本 hart 页表更新与后续隐式地址转换。
指令语法
sfence.vma rs1, rs2
操作数说明
两个整数源寄存器 rs1/rs2，无 rd 或立即数操作数；32 位 SYSTEM，funct7=0001001、funct3=000、rd=00000。
rs1=x0 选任意级 PTE；非 x0 选对应 VA 映射的叶 PTE。rs2=x0 包含所有 ASID 与全局映射，非 x0 排除全局映射。
x0 寄存器特例不同于普通寄存器中的零；ASID 高位按 ASIDMAX/ASIDLEN 忽略。
仅排序本 hart 已可见的先前存储与后续特定隐式引用，并使对应转换缓存条目失效；实现可 over-fence。
V=0 时 U-mode 或 S-mode/TVM=1 非法；合法执行且非 x0 的 rs1 保存无效 VA 时无效果、无异常。H/VTVM 另适用。
Privileged内存管理
扩展条件：S-mode 内存管理指令；以下基本权限说明按 V=0，H 下 VS/VU 与 VTVM 另有规则。
指令行为说明
SFENCE.VMA 将已对当前 hart 可见的先前存储，排序在本 hart 后续指令对内存管理数据结构的特定隐式引用之前，并使所选地址转换缓存条目失效。rs1=x0 覆盖任意级页表项；非 x0 则仅覆盖其虚拟地址所属映射的叶 PTE。rs2=x0 覆盖所有 ASID，包含全局映射；非 x0 则选择 ASID，排除全局映射。寄存器编号为 x0 才是全范围特例，普通寄存器中值为零不是。rs1 非 x0 且 VA 无效时无效果、无异常。实现可 over-fence；效果仅限本 hart，其他 hart 必须另行同步。它不替代数据内存 FENCE 或指令取指同步。
SFENCE.VMA 指令解析与地址翻译栅栏动画
展示 R-type SYSTEM 编码、rs1/rs2 选择的 VA/ASID 范围，以及本 hart 地址转换相关的排序效果。
rs1
rs2
sfence.vma
,
31..25
24..20
19..15
14..12
11..7
6..0
0001001
funct7
01011
rs2/ASID
01010
rs1/VA
000
funct3
00000
rd=x0
1110011
SYSTEM
地址翻译栅栏范围
instruction
0x12B50073
opcode
1110011 -> SYSTEM
funct7
0001001 -> SFENCE.VMA
rs1
a0(x10) -> VA 0x0000000040001000
rs2
a1(x11) -> ASID 3 (raw 0x0000000000000003); globals not required
scope
a0(x10)=0x0000000040001000 (leaf PTEs only); a1(x11)=3 (raw 0x0000000000000003)，不要求包含 global mappings
permission
S-mode may execute base SFENCE.VMA
ordering
prior stores visible to this hart ordered before selected later implicit references
complete
尚未提交
本 V=0 模型假定 RV32/Sv32 或 RV64/Sv39，ASIDLEN=ASIDMAX（9/16）；高 ASID 位忽略。非 x0 的 rs1 仅选叶 PTE，值为零也不等于 x0；相同非零源寄存器必须给同一初值。VA 有效复选框给出语义前提，不由输入数值推断。结果栏是条件预览，完成步骤才提交。该动画覆盖 U-mode 非法、S-mode 且 TVM=1 的非法，以及 rs1 非 x0 但 VA 无效时无异常且无效果的分支；它只展示本 hart 语义，不模拟 H/VTVM、TLB 结构、cache、页表遍历耗时或多 hart shootdown 协议。
快速理解与检索要点
SFENCE.VMA 不是普通内存 fence，也不是可移植的 TLB 结构模拟。它让本 hart 后续隐式地址转换按所选 VA/ASID 范围观察到此前页表等内存管理数据结构更新；rs2=x0 包含 global mappings，非 x0 ASID 范围不要求包含 global mappings。
R-type SYSTEM 编码中 funct7=0001001，funct3=000，rd=x0，opcode=1110011。
rs1=x0 选择所有虚拟地址；rs2=x0 选择所有 ASID 并包含 global mappings；rs2 非 x0 时不要求排序 global mappings。
U-mode 与 S-mode/TVM=1 的执行会触发非法指令异常；rs1 非 x0 但不是有效 VA 时无异常且无效果。
效果限于当前 hart 的地址转换排序；多 hart shootdown 需要其它 hart 执行对应同步，代码修改仍需另行取指同步。
rs1 非 x0 的最小范围仅覆盖对应映射的叶 PTE；rs2 的高位按 ASIDMAX/ASIDLEN 规则忽略，ASID 0 与 rs2=x0 不同。
常见使用场景
修改页表后同步TLB
V=0、S-mode、TVM=0：sfence.vma x0, x0 覆盖本 hart 任意级页表项、所有 ASID 与全局映射；先前页表存储须已对本 hart 可见，其他 hart 需另行同步。
munmap/mprotect后刷新
V=0、S-mode、TVM=0：sfence.vma x0, x0 覆盖本 hart 任意级页表项、所有 ASID 与全局映射；先前页表存储须已对本 hart 可见，其他 hart 需另行同步。
地址空间切换
V=0、S-mode、TVM=0：sfence.vma x0, x0 覆盖本 hart 任意级页表项、所有 ASID 与全局映射；先前页表存储须已对本 hart 可见，其他 hart 需另行同步。
使用前检查清单
语法检查
- 两个整数源寄存器 rs1/rs2，无 rd 或立即数操作数；32 位 SYSTEM，funct7=0001001、funct3=000、rd=00000。
- rs1=x0 选任意级 PTE；非 x0 选对应 VA 映射的叶 PTE。rs2=x0 包含所有 ASID 与全局映射，非 x0 排除全局映射。
语义检查
- x0 寄存器特例不同于普通寄存器中的零；ASID 高位按 ASIDMAX/ASIDLEN 忽略。
- 仅排序本 hart 已可见的先前存储与后续特定隐式引用，并使对应转换缓存条目失效；实现可 over-fence。
- V=0 时 U-mode 或 S-mode/TVM=1 非法；合法执行且非 x0 的 rs1 保存无效 VA 时无效果、无异常。H/VTVM 另适用。
容易混淆 / 常见误区
U-mode 执行触发非法指令异常；在 S-mode 下 mstatus.TVM=1 也触发非法指令异常。
仅影响本 hart；多 hart 系统需要让其它 hart 执行相应同步。
rs1=x0 表示所有虚拟地址；rs2=x0 表示所有 ASID 并包含 global mappings，rs2 非 x0 时不要求排序 global mappings。
实现允许 over-fence；不要从软件可见语义推断具体 TLB 结构或逐项失效过程。
它同步地址转换缓存/隐式转换观察，不刷新指令缓存；代码修改后仍需单独保证取指同步，例如适用环境中的 FENCE.I。
常见问题
rs1 和 rs2 在 SFENCE.VMA 中表示什么？
rs1 选择虚拟地址范围，x0 表示所有虚拟地址；rs2 选择 ASID 范围，x0 表示所有 ASID 并包含 global mappings，非 x0 时不要求排序 global mappings。