顺序同一性的充分条件 多个进程可以交织执行,但顺序同一性模 型没有定义具体的交织方式,满足每个进 程程序序的总体执行序可能会很多。因此 有下列定义 顺序同一性的执行:如果程序的一次执行产生 的结果与前面定义的任意一种可能的总体序产 生的结果一致,那么程序的这次执行就称为是 顺序同一的 顺序同一性的系统:如果在一个系统上的任何 可能的执行都是顺序同一的,那么这个系统就 是顺序同一的 2021/2/11 计算机体系结构顺序同一性的充分条件 • 多个进程可以交织执行，但顺序同一性模 型没有定义具体的交织方式，满足每个进 程程序序的总体执行序可能会很多。因此 有下列定义： – 顺序同一性的执行：如果程序的一次执行产生 的结果与前面定义的任意一种可能的总体序产 生的结果一致，那么程序的这次执行就称为是 顺序同一的。 – 顺序同一性的系统：如果在一个系统上的任何 可能的执行都是顺序同一的，那么这个系统就 是顺序同一的 2021/2/11 计算机体系结构 4