摘要

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