就是这些操作可能的执行顺序中哪些是正确的。
内存一致性模型的研究历史和分类.按照传统冯诺依曼体系结构的计算模型来看，读操作应当返回最近的写操作所写入的结果，但是这里“最近”的含义是比较模煳的。因此必须将概念严格化，于是产生了线性一致性（或称做严格一致性Strict consistency、原子一致性Atomic consistency）的概念。但是线性一致性太难实现了，因为这里需要一个全局同步的时钟，于是Leslie Lamport提出了顺序一致性（Sequential consi