sequential consistency

在计算机中，顺序一致性的发明者Leslie Lamport对其给出了最好的定义，他认为，一个多线程系统具有顺序一致性，如果　　

“任何执行结果相同，就如所有微处理器的操作按照某个顺序执行，各个微处理器的操作按照其程序指定的顺序进行”　　

这个定义是关于对称多处理（SMP）系统“正确”行为构成的第一个描述。　　

顺序一致性要求：　　

1、 所有指令按照顺序执行。　　

2、 整个系统的每个写操作变得瞬间可见的。　　

顺序一致性的定义表明SMP系统不是顺序一致的。机器是不是应该顺序一致？从几乎二十年以后的优点来说，答案是不一致的。有些人说“是”，认为机器应该隐藏执行复杂性以使得机器变得尽可能易于使用，其他人说“不是”，认为违背SC可允许机器大大增强性能却只给很小一部分程序员带来了麻烦。