顺序一致共享存储系统中的乱序执行技术──基本理论  

OUT-OF-ORDER EXECUTION IN SEQUENTIALLY CONSISTENT SHARED MEMORY SYSTEMS: PRINCIPLES

作　　者：胡伟武[1] 夏培肃[1] 

机构地区：[1]中国科学院计算技术研究所

出　　处：《计算机学报》1997年第6期481-490,共10页Chinese Journal of Computers

摘　　要：本文首先研究了共享存储系统中的访存事件及其发生次序，从访存事件次序的角度建立了顺序一致共享存储系统的执行正确性模型，然后在执行正确性模型的基础上，提出并证明了一种乱序执行的方案．根据这个方案，只要满足一定条件，取数操作就可以越过它前面的访存操作执行而不影响系统的正确性．Typical implementation of sequential consistency in shared-memory systems requires each access to be delayed until the previous access in the same process completes. This paper proposes a way of out-of-order execution in sequentially consistent shared-memory systems. It first builds an execution model of shared-memory systems, studies the event ordering condition for correct executions in write atomic and write nonatomic systems, and then proposes and proves that out-of-order execution does not influence the correctness of an execution providing certain condition is met.

关 键 词：共享存储系统 顺序一致性 乱序执行 正确性 

分 类 号：TP301[自动化与计算机技术—计算机系统结构]