摘要

文档摘要

摘要许多现代计算机系统，包括同构架构（homogeneous architecture）和异构架构（heterogeneous architecture），在硬件上都支持共享内存（shared memory）。在共享内存系统中，每个处理器核心都能对一个共同的地址空间进行读写操作。内存一致性模型（memory consistency model）定义了在共享内存系统中，内存操作（如加载（load）和存储（store））的可见性与顺序规则，即规定了从任一处理器视角观察到的内存操作执行顺序应满足何种约束。