顺序同一性的充分条件 ·毎个进程按照程序执行序发出存储操作 ·发出写操作后,进程要等待写的完成,才能发 出它的下一个操作 发出读操作后,进程不仅要等待读的完成,还 要等待产生所读数据的那个写操作完成,才能 发出它的下个操作。即:如果该写操作对这个 处理器来说完成了,那么这个处理应该等待 该写操作对所有处理器都完成了。 第三个条件保证了写操作的原子性。即读操作 必须等待逻辑上先前的写操作变得全局可见 2021/2/11 计算机体系结构顺序同一性的充分条件 • 每个进程按照程序执行序发出存储操作 • 发出写操作后，进程要等待写的完成，才能发 出它的下一个操作 • 发出读操作后，进程不仅要等待读的完成，还 要等待产生所读数据的那个写操作完成，才能 发出它的下个操作。即：如果该写操作对这个 处理器来说完成了，那么这个处理器应该等待 该写操作对所有处理器都完成了。 • 第三个条件保证了写操作的原子性。即读操作 必须等待逻辑上先前的写操作变得全局可见 2021/2/11 计算机体系结构 5