DSM系统中存储一致性模型的一种新框架——S^3C框架  

A New Framework of Memory Consistency Models in Distributed Shared-Memory System──S^3 C Framework

作　　者：戴华东[1] 杨学军[1] 

机构地区：[1]国防科学技术大学计算机学院,长沙410073

出　　处：《计算机学报》2002年第12期1387-1396,共10页Chinese Journal of Computers

基　　金：国家杰出青年科学基金 ( 6 982 5 10 4)资助

摘　　要：存储一致性模型对共享存储系统的正确性、性能以及程序的复杂性都有重要的影响 .该文立足于分布共享存储系统 ,提出了一种新的存储一致性模型框架—— S3 C框架 .该框架通过同步点的概念来描述不同模型中正确的存储访问事件顺序 ;通过一致性维护点的概念 ,对同一模型的不同实现方式也能够进行区别和比较 .结合 S3 C框架 ,该文提出了一种以操作系统为中心的线程一致性模型 ,并针对以顺序一致性模型为代表的存储一致性模型的正确实现进行了论述 .This paper proposes a new framework of memory consistency models named S 3 C Framework. S 3 C Framework is especially suitable to distributed shared-memory systems. In S 3 C Framework, the concept of synchronization points is defined, which aim to restrict correct event order of conflicting memory accesses. As a result, S 3 C Framework can be used to describe memory access behavior of different models precisely. Additionally, through the definition of consistency maintenance point, different implementations of the same model are easily to be described and compared.To explain the reasonability and effectiveness of S 3 C Framework, this paper also presents a formal description of several representative memory consistency models including SC, WO, RC and ScC. To show the instructiveness of S 3 C Framework, it presents a new operating system-centric memory consistency model, thread consistency model, which is designed under the instruction of S 3 C Framework. In thread consistency model, authors correspond the concepts of synchronization points in S 3 C Framework with the events of thread context switching in operating systems. Furthermore, the conditions of thread consistency model relaxed through different definitions of consistency maintenance point in S 3 C Framework, so as to decrease the message passing overhead in maintaining data consistency.Finally, with the help of S 3 C Framework, and using SC as an example, authors discuss about correct implementation of a consistency model in DSM systems.

关 键 词：DSM系统 存储 一致性 S^3C框架 分布共享存储系统 服务器 操作系统 

分 类 号：TP316[自动化与计算机技术—计算机软件与理论]