内存一致性模型

内存一致性模型是一组规则，用于描述多线程对共享存储器的访问行为。通俗来说，内存一致性是指一个 CPU 核心上发生的内存修改操作（写操作），在何时何种情况下可以在其它 CPU 核心上反映出来（读操作）。

TODO

此处需要补充一些对内存一致性模型的介绍。

RISC-V 架构的 RVWMO 模型

RISC-V 使用一种叫做 RVWMO ^[1] （RISC-V Weak Memory Ordering）的内存一致性模型，其目的是便于 CPU 设计者更灵活地建立高性能的可扩展设计，同时支持一个易处理的编程模型。

TODO

此处需要补充一些对 RVWMO 内存一致性模型的介绍。