CBO.FLUSH 是否等价于 fence？
不是。CMO/预取有各自的缓存块语义，不提供通用内存排序替代。
CBO.FLUSH
RISC-V CBO.FLUSH 指令详解
指令手册CBO MISC-MEM fixed fields缓存块 flush（Zicbom）。
指令语法
cbo.flush offset(base)
base 选择整数 x0–x31；x0 给出地址 0。显式 offset 必须为 0，也可省略；无目标寄存器写回。
32 位 MISC-MEM：operation=000000000010，rs1=base，funct3=010，rd=00000，opcode=0001111。
RV32/RV64 Zicbom；CBCFE 与特权/虚拟化状态控制可执行性；可能发生 illegal、virtual 或存储类访问/页/guest-page fault。CMO 没有地址未对齐异常。
flush 原子地 clean 后 invalidate。地址经翻译后选择物理缓存块；块大小由执行环境发现。管理操作遵守 store PPO 并先于后续重叠地址 load，FENCE 分类为 W/O。
Zicbom缓存与同步
指令行为说明
CBO.FLUSH 是 Zicbom 缓存块管理指令，对 rs1 指定地址所在的缓存块执行 flush 操作，即原子地 clean 后 invalidate。rs1 不要求按缓存块大小对齐；发生故障时故障虚拟地址按 rs1 的值报告。缓存块大小由执行环境发现机制给出，不固定为 64 字节；offset 可省略，若写出必须为 0。
CBO.FLUSH 指令解析与缓存块动画
展示官方 CMO/prefetch 编码、offset(base) 操作数、有效地址到缓存块的选择，以及 ISA 可见效果。
offset
base
cbo.flush()
执行环境
31..20
19..15
14..12
11..7
6..0
000000000010
cbo op
01011
rs1
010
funct3=CBO
00000
rd=x0
0001111
MISC-MEM
缓存块数据路径
instruction
0x0025A00F
opcode
0001111 -> MISC-MEM
operation
000000000010 -> CBO.FLUSH
funct3
010 -> CBO
offset/base
0(x11)
effective addr
0x0000000000001018 + 0x0000000000000000 = 0x0000000000001018
cache block
0x0000000000001000..0x000000000000103F
operation
原子地 clean 后 invalidate 目标缓存块
complete
缓存块管理语义完成
当前步骤
拿到 CBO.FLUSH 的 32-bit 编码
CBO.FLUSH 使用 32-bit 编码；动画先展示官方字段切分。
encoding: 0x0025A00F
syntax : cbo.flush 0(x11)
effect : 原子地 clean 后 invalidate 目标缓存块
缓存块选择视图
base
0x0000000000001018
EA
0x0000000000001018
目标缓存块
0x0000000000001000..0x000000000000103F
示例缓存块大小为 64 字节，仅用于说明地址如何选择缓存块；实际大小由执行环境发现，不固定为 64 字节。 本演示假定所选地址的虚拟地址与物理地址相同；x0 作为 base 时地址为 0。
该动画只展示 RISC-V CMO 扩展定义的架构语义：有效地址经翻译后选择缓存块，CBO 操作可能受执行环境控制，预取是可忽略的 HINT；不模拟具体 cache 状态、物理映射、cache line 大小、总线事务、时序或性能。
快速理解与检索要点
CBO.FLUSH 是 CMO 系列缓存块操作；它以有效地址定位缓存块，但语义不是普通 load/store。
cbo.* 的 offset 若出现必须为 0，目标块由 rs1 地址所在缓存块确定。
CBO.INVAL/CLEAN/FLUSH 的具体可执行性受环境配置控制。
常见使用场景
非一致性代理间的数据可见性
cbo.flush 0(a1)。预置示例源值并启用所需扩展与相关状态。假定访问允许、虚实地址相同且缓存块大小为 64 字节。
使用前检查清单
语法检查
- base 选择整数 x0–x31；x0 给出地址 0。显式 offset 必须为 0，也可省略；无目标寄存器写回。
- 32 位 MISC-MEM：operation=000000000010，rs1=base，funct3=010，rd=00000，opcode=0001111。
语义检查
- RV32/RV64 Zicbom；CBCFE 与特权/虚拟化状态控制可执行性；可能发生 illegal、virtual 或存储类访问/页/guest-page fault。CMO 没有地址未对齐异常。
- flush 原子地 clean 后 invalidate。地址经翻译后选择物理缓存块；块大小由执行环境发现。管理操作遵守 store PPO 并先于后续重叠地址 load，FENCE 分类为 W/O。
容易混淆 / 常见误区
汇编 offset 操作数可以省略；若写出 offset，表达式必须求值为 0。
rs1 不要求按缓存块大小对齐；异常报告的虚拟地址按 rs1 值处理。
执行权限受 xenvcfg 相关字段和特权/虚拟化环境控制。
常见问题
CBO.FLUSH 的地址必须缓存块对齐吗？
CBO 指令的 rs1 不要求按缓存块大小对齐。