progress

谷公子的藏经阁1 个月前
risc-v·atomicity·progress·load value·axiom
RISC-V笔记——内存模型公理在RISC-V中，只有当存在一个全局内存顺序(global memory order)符合preserved program order，并且满足load value axiom、atomicity axiom和progress axiom时，RISC-V程序的执行才遵循RVWMO内存一致性模型。今天主要讲下load value公理、atomicity公理和progress公理。