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/prefetch 编码、offset(base) 操作数、有效地址到缓存块的选择，以及 ISA 可见效果。
offset
base
cbo.inval()
执行环境
31..20
19..15
14..12
11..7
6..0
000000000000
cbo op
01011
rs1
010
funct3=CBO
00000
rd=x0
0001111
MISC-MEM
缓存块数据路径
instruction
0x0005A00F
opcode
0001111 -> MISC-MEM
operation
000000000000 -> CBO.INVAL
funct3
010 -> CBO
offset/base
0(a1(x11))
effective addr
0x0000000000001018 + 0x0000000000000000 = 0x0000000000001018
cache block
0x0000000000001000..0x000000000000103F
operation
使目标缓存块副本无效
complete
缓存块管理语义完成
当前步骤
拿到 CBO.INVAL 的 32-bit 编码
CBO.INVAL 使用 32-bit 编码；动画先展示官方字段切分。
encoding: 0x0005A00F
syntax : cbo.inval 0(a1(x11))
effect : 使目标缓存块副本无效
缓存块选择视图
base
0x0000000000001018
EA
0x0000000000001018
目标缓存块
0x0000000000001000..0x000000000000103F
示例缓存块大小为 64 字节，仅用于说明地址如何选择缓存块；实际大小由执行环境发现，不固定为 64 字节。
该动画只展示 RISC-V CMO 扩展定义的架构语义：有效地址选择缓存块、操作可能受执行环境控制、预取是可忽略的 HINT；不模拟具体 cache 状态、cache line 大小、总线事务、时序或性能。
快速理解与检索要点
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 不要求按缓存块大小对齐。