sequential consistency：顺序一致性

在计算机中，顺序一致性（sequential consistency）的发明者Leslie Lamport对其给出了最好的定义，他认为，一个多线程系统具有顺序一致性，如果
　　
　　“任何执行结果相同，就如所有微处理器的操作按照某个顺序执行，各个微处理器的操作按照其程序指定的顺序进行。”　
　
　　这个定义是关于对称多处理（SMP）系统“正确”行为构成的第一个描述。　　

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

最近更新时间：2008-06-17 EN