技术栈
重叠地址排序
谷公子的藏经阁
1 个月前
risc-v
·
order
·
重叠地址排序
·
rvwmo
·
overlapping
RISC-V笔记——重叠地址排序
RISC-V的RVWMO模型主要包含了preserved program order、load value axiom、atomicity axiom、progress axiom和I/O Ordering。今天主要记录下preserved program order(保留程序顺序)中的Overlapping-Address Orderings(重叠地址排序)。