首页/指令库/缓存块清零
CBO.ZERO

RISC-V CBO.ZERO 指令详解

指令手册CBO MISC-MEM fixed fields

缓存块清零(Zicboz)。

指令语法

cbo.zero offset(base)

base 选择整数 x0–x31;x0 给出地址 0。显式 offset 必须为 0,也可省略;无目标寄存器写回。

32 位 MISC-MEM:operation=000000000100,rs1=base,funct3=010,rd=00000,opcode=0001111。

RV32/RV64 Zicboz;CBZE 与特权/虚拟化状态控制可执行性;可能发生 illegal、virtual 或存储类访问/页/guest-page fault。CMO 没有地址未对齐异常。

对整块对应字节写零,不保证整块原子。地址经翻译后选择物理缓存块;块大小由执行环境发现。零值存储遵守 store 排序规则。

Zicboz缓存与同步

指令行为说明

CBO.ZERO 是 Zicboz 缓存块零化指令,对 rs1 指定地址所在缓存块对应的全部字节执行零值存储。rs1 不要求按缓存块大小对齐;实现可用任意顺序、粒度和原子性更新字节,不保证整块原子。缓存块大小由执行环境发现机制给出,不固定为 64 字节;offset 可省略,若写出必须为 0。

CBO.ZERO 指令解析与缓存块动画

展示官方 CMO/prefetch 编码、offset(base) 操作数、有效地址到缓存块的选择,以及 ISA 可见效果。

offset
base
cbo.zero
(
)
执行环境
31..20
19..15
14..12
11..7
6..0
000000000100
cbo op
01011
rs1
010
funct3=CBO
00000
rd=x0
0001111
MISC-MEM
缓存块数据路径
instruction
0x0045A00F
opcode
0001111 -> MISC-MEM
operation
000000000100 -> CBO.ZERO
funct3
010 -> CBO
offset/base
0(x11)
effective addr
0x0000000000001018 + 0x0000000000000000 = 0x0000000000001018
cache block
0x0000000000001000..0x000000000000103F
operation
对目标缓存块对应字节执行零值存储;不保证整块原子
complete
缓存块管理语义完成
当前步骤

拿到 CBO.ZERO 的 32-bit 编码

CBO.ZERO 使用 32-bit 编码;动画先展示官方字段切分。

encoding: 0x0045A00F
syntax : cbo.zero 0(x11)
effect : 对目标缓存块对应字节执行零值存储;不保证整块原子
缓存块选择视图
base
0x0000000000001018
EA
0x0000000000001018
目标缓存块
0x0000000000001000..0x000000000000103F

示例缓存块大小为 64 字节,仅用于说明地址如何选择缓存块;实际大小由执行环境发现,不固定为 64 字节。 本演示假定所选地址的虚拟地址与物理地址相同;x0 作为 base 时地址为 0。

该动画只展示 RISC-V CMO 扩展定义的架构语义:有效地址经翻译后选择缓存块,CBO 操作可能受执行环境控制,预取是可忽略的 HINT;不模拟具体 cache 状态、物理映射、cache line 大小、总线事务、时序或性能。

快速理解与检索要点

CBO.ZERO 对目标缓存块对应的全部字节执行零值存储;不是 clean 或 invalidate 操作。

cbo.* 的 offset 若出现必须为 0,目标块由 rs1 地址所在缓存块确定。
CBO.ZERO 可按实现选择的粒度写零,不保证整个块原子更新。

常见使用场景

缓存块对应内存字节清零

cbo.zero 0(a1)。预置示例源值并启用所需扩展与相关状态。假定访问允许、虚实地址相同且缓存块大小为 64 字节。

使用前检查清单

语法检查
  • base 选择整数 x0–x31;x0 给出地址 0。显式 offset 必须为 0,也可省略;无目标寄存器写回。
  • 32 位 MISC-MEM:operation=000000000100,rs1=base,funct3=010,rd=00000,opcode=0001111。
语义检查
  • RV32/RV64 Zicboz;CBZE 与特权/虚拟化状态控制可执行性;可能发生 illegal、virtual 或存储类访问/页/guest-page fault。CMO 没有地址未对齐异常。
  • 对整块对应字节写零,不保证整块原子。地址经翻译后选择物理缓存块;块大小由执行环境发现。零值存储遵守 store 排序规则。

容易混淆 / 常见误区

汇编 offset 操作数可以省略;若写出 offset,表达式必须求值为 0。
rs1 不要求按缓存块大小对齐;异常报告的虚拟地址按 rs1 值处理。
执行权限受 xenvcfg 相关字段和特权/虚拟化环境控制。

常见问题

CBO.ZERO 是否等价于 fence?

不等价。它产生零值存储,按 store 的排序规则处理;它本身不是内存屏障。

CBO.ZERO 的地址必须缓存块对齐吗?

CBO 指令的 rs1 不要求按缓存块大小对齐。