Out-of-Order Execution in Sequentially Consistent Shared-Memory Systems:Theory and Experiments  

作　　者：胡伟武 water.chpc.ict.ac.cn 夏培肃 water.chpc.ict.ac.cn 

出　　处：《Journal of Computer Science & Technology》1998年第2期125-140,共16页计算机科学技术学报（英文版）

摘　　要：Thaditional implementation of sequential consistency in shared-memory systems requires memory accesses to be globally performed in program order. Based on an event ordering model for correct executions in shared-memory systems, this paper proposes and proves that out-of-order execution does not influence the correctness of an execution providing certain condition is met. Simulation results show that out-of-order execution proposed in this paper is an effective way to improve the performance of a sequentially consistent shared-memory system.Thaditional implementation of sequential consistency in shared-memory systems requires memory accesses to be globally performed in program order. Based on an event ordering model for correct executions in shared-memory systems, this paper proposes and proves that out-of-order execution does not influence the correctness of an execution providing certain condition is met. Simulation results show that out-of-order execution proposed in this paper is an effective way to improve the performance of a sequentially consistent shared-memory system.

关 键 词：Shared memory sequential consistency event ordering write atomic out-of-order execution simulation 

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