CBO.INVAL 是否等价于 fence？
不是。CMO/预取有各自的缓存块语义，不提供通用内存排序替代。
CBO.INVAL
RISC-V CBO.INVAL 指令详解
指令手册I-type缓存块 invalidate（Zicbom）。
指令语法
cbo.inval offset(base)
操作数说明
目标寄存器 rd：存放运算结果的通用寄存器。
源寄存器 rs1：第一个操作数所在的寄存器。
立即数 imm：12 位有符号立即数，符号扩展后与 rs1 进行运算。
Zicbom缓存与同步
指令行为说明
CBO.INVAL 是 Zicbom 缓存块管理指令，对 rs1 指定地址所在的缓存块执行 invalidate 操作；根据 CSR 编程，低特权执行时可陷入或被转换为 flush。rs1 不要求按缓存块大小对齐；发生故障时故障虚拟地址按 rs1 的值报告。缓存块大小由执行环境发现机制给出，不固定为 64 字节；offset 可省略，若写出必须为 0。
快速理解与检索要点
CBO.INVAL 是 CMO 系列缓存块操作；它以有效地址定位缓存块，但语义不是普通 load/store。
cbo.* 的 offset 若出现必须为 0，目标块由 rs1 地址所在缓存块确定。
CBO.INVAL/CLEAN/FLUSH 的具体可执行性受环境配置控制。
常见使用场景
操作系统接口
结合 «cbo.inval 0(a1)» 等实际代码理解该场景。
缓存与提示
结合 «cbo.inval 0(a1)» 等实际代码理解该场景。
设备与IO
结合 «cbo.inval 0(a1)» 等实际代码理解该场景。
使用前检查清单
语法检查
- 确认当前指令格式为 I-type。
- 确认操作数排列顺序与示例一致。
语义检查
- 确认目标寄存器用途和调用约定兼容。
- 确认该指令不是伪指令展开后的底层形式。
容易混淆 / 常见误区
汇编 offset 操作数可以省略；若写出 offset，表达式必须求值为 0。
rs1 不要求按缓存块大小对齐；异常报告的虚拟地址按 rs1 值处理。
执行权限受 xenvcfg 相关字段和特权/虚拟化环境控制。
常见问题
CBO.INVAL 的地址必须缓存块对齐吗？
CBO 指令的 rs1 不要求按缓存块大小对齐。