DSM系统中存储一致性模型的一种新框架——S3C框架

戴华东杨学军

中国人民解放军国防科技大学;

摘要：

存储一致性模型对共享存储系统的正确性、性能以及程序的复杂性都有重要的影响.该文立足于分布共享存储系统,提出了一种新的存储一致性模型框架--S3C框架.该框架通过同步点的概念来描述不同模型中正确的存储访问事件顺序;通过一致性维护点的概念,对同一模型的不同实现方式也能够进行区别和比较.结合S3C框架,该文提出了一种以操作系统为中心的线程一致性模型,并针对以顺序一致性模型为代表的存储一致性模型的正确实现进行了论述.

关键词：分布共享存储系统、存储一致性模型、S3框架、S3C框架

所属期刊栏目：25

分类号：TP316(计算技术、计算机技术)

资助基金：国家自然科学基金69825104

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共10页

页码：1387-1396