以操作系统为中心的存储一致性模型——线程一致性模型 被引量：5

1

作者 戴华东 杨学军 《计算机研究与发展》 EI CSCD 北大核心 2003年第2期351-359,共9页

分布共享存储系统为保证程序的正确执行 ,必须通过存储一致性模型对共享存储访问顺序加以限制 ,而现有模型在可扩展性和操作系统级实现方面存在不足 结合多线程的特点 ,提出了一种以操作系统为中心的线程一致性模型 ,通过并行程序执行... 分布共享存储系统为保证程序的正确执行 ,必须通过存储一致性模型对共享存储访问顺序加以限制 ,而现有模型在可扩展性和操作系统级实现方面存在不足 结合多线程的特点 ,提出了一种以操作系统为中心的线程一致性模型 ,通过并行程序执行过程中线程状态的变化来观察和限制存储访问事件的正确顺序 ,有利于系统的可扩展性、一致性维护信息获取的方便性和完备性以及操作系统本身的设计和实现 分别从模型的定义、正确性证明。 展开更多

关键词 操作系统 存储一致性模型 线程一致性模型 分布共享存储系统 内核

在线阅读 下载PDF 职称材料

面向对象的存储一致性模型OC 被引量：2

2

作者 吴俊敏 陈国良 吴敏 《小型微型计算机系统》 CSCD 北大核心 2005年第11期2040-2045,共6页

提出了一种新的面向对象的存储一致性模型—OC.该模型基于位置一致性(Location Consistency)模型中所描述的偏序关系,从而打破了传统的存储密致性(Memory Coherence)所要求的全局序的限制.该模型是较高的软件层次上的存储模型,结合了现... 提出了一种新的面向对象的存储一致性模型—OC.该模型基于位置一致性(Location Consistency)模型中所描述的偏序关系,从而打破了传统的存储密致性(Memory Coherence)所要求的全局序的限制.该模型是较高的软件层次上的存储模型,结合了现代程序设计中面向对象的特色,可广泛应用到共享存储的编程语言中.我们还论述了OC的主要特性,并将OC与其它存储模型进行了简单的比较.最后在仿真器上对它的行为进行了仿真验证. 展开更多

关键词 存储一致性模型 存储密致性 面向对象

在线阅读 下载PDF 职称材料

MOTEC:一个存储一致性模型验证工具 被引量：1

3

作者 吕正 陈昊 +1 位作者 陈峰 吕毅 《计算机工程》 CAS CSCD 2012年第11期242-246,共5页

由于缺乏可利用的额外观察条件,在芯片流片后阶段进行存储一致性模型验证较困难。为此,利用多核处理器系统中通用的性能计数器,通过定期扫描性能计数器以获得关键活动访存指令集合的信息,实现MOTEC工具。该工具由MOTEC随机指令发生模块... 由于缺乏可利用的额外观察条件,在芯片流片后阶段进行存储一致性模型验证较困难。为此,利用多核处理器系统中通用的性能计数器,通过定期扫描性能计数器以获得关键活动访存指令集合的信息,实现MOTEC工具。该工具由MOTEC随机指令发生模块、多核处理器性能计数器记录模块和MOTEC分析模块3个部分组成。对其核心算法的分析结果表明,MOTEC的时间复杂度仅为O(p 3n),在目前流片后阶段进行验证的工具中时间复杂度最低。 展开更多

关键词 多核处理器 存储一致性模型 形式验证 动态验证 存储系统 验证工具

在线阅读 下载PDF 职称材料

涵盖I/O的广义存储一致性模型 被引量：1

4

作者 李琼 邓明堂 杨学军 《国防科技大学学报》 EI CAS CSCD 北大核心 2010年第1期68-73,共6页

作为计算机体系结构核心问题之一的存储一致性研究主要是围绕CPU访存一致性问题展开的,I/O设备DMA操作引发的存储一致性问题则一直处于研究的边缘。从I/O与存储体系结构一体化设计理念出发,针对支持全局DMA访问的分布共享存储(DSM)系统... 作为计算机体系结构核心问题之一的存储一致性研究主要是围绕CPU访存一致性问题展开的,I/O设备DMA操作引发的存储一致性问题则一直处于研究的边缘。从I/O与存储体系结构一体化设计理念出发,针对支持全局DMA访问的分布共享存储(DSM)系统存储一致性问题,研究广义存储一致性,定义了涵盖I/O的广义程序概念,建立了广义域存储一致性模型,研究了基于广义域存储一致性模型的Cache-Memory-I/O一致性协议实现技术,对于DSM系统实现全局共享I/O具有指导意义和参考价值。 展开更多

关键词 I/O体系结构 广义存储一致性模型 全局共享I/O

在线阅读 下载PDF 职称材料

流编程模型下的存储一致性模型

5

作者 邓宇 杨学军 +1 位作者 戴华东 王勐 《国防科技大学学报》 EI CAS CSCD 北大核心 2008年第1期37-41,共5页

在流编程模型下建立了一个新的存储一致性模型——流一致性模型,它比传统的释放一致性模型更加松弛。讨论了流一致性模型对程序设计和系统设计的要求,给出了一个正确的系统实现,并且指出流一致性模型的编程和实现并不比现有的一致性模... 在流编程模型下建立了一个新的存储一致性模型——流一致性模型,它比传统的释放一致性模型更加松弛。讨论了流一致性模型对程序设计和系统设计的要求,给出了一个正确的系统实现,并且指出流一致性模型的编程和实现并不比现有的一致性模型复杂。 展开更多

关键词 流计算 流编程模型 存储一致性模型

在线阅读 下载PDF 职称材料

存储一致性模型研究 被引量：4

6

作者 胡曙 廖湘科 +2 位作者 罗军 唐晓东 张屹 《计算机应用研究》 CSCD 2000年第2期16-19,共4页

讨论了分布式共享存储系统（ＤＳＭ）的通用结构及页面管理机制，给出了各种存储一致性模型的正确性条件，并以互斥问题为例，说明了在分布式环境下编程的一些特点．最后，基于作者本人的工作，还讨论了如何提高ＤＳＭ系统性能的问题．

关键词 分布式共享存储 存储系统 存储一致性模型

在线阅读 下载PDF 职称材料

片上多核处理器存储一致性验证 被引量：13

7

作者 王朋宇 陈云霁 +2 位作者 沈海华 陈天石 张珩 《软件学报》 EI CSCD 北大核心 2010年第4期863-874,共12页

存储一致性验证是片上多核处理器功能验证的重要部分.由于验证并行程序的执行结果是否符合存储一致性模型理论上是NP难问题,现有的验证方法中只能采用一些时间复杂度大于O(n3)的不完全方法.发现在支持写原子性的多处理器系统中,两条执... 存储一致性验证是片上多核处理器功能验证的重要部分.由于验证并行程序的执行结果是否符合存储一致性模型理论上是NP难问题,现有的验证方法中只能采用一些时间复杂度大于O(n3)的不完全方法.发现在支持写原子性的多处理器系统中,两条执行时间不重叠的操作之间存在确定的时间序.通过引入时间序的概念,设计并实现了一种线性时间复杂度的存储一致性验证工具LCHECK.LCHECK利用时间序将验证局部化,使得在表示程序执行结果的有向图中,序关系边的推导和正确性检测都被限定在有限范围内.与现有其他方法相比,LCHECK时间复杂度低,对程序长度和访存地址数没有限制,因此验证效率更高.作为国产片上多核处理器龙芯3号的重要验证工具,LCHECK发现了一些存储系统的设计错误. 展开更多

关键词 存储一致性模型 验证 时间序 片上多核处理器 缓存一致性

在线阅读 下载PDF 职称材料

硬件结构支持的基于同步的高速缓存一致性协议 被引量：7

8

作者 黄河 刘磊 +1 位作者 宋风龙 马啸宇 《计算机学报》 EI CSCD 北大核心 2009年第8期1618-1630,共13页

共享存储系统中如何高效地实现高速缓存一致性是体系结构设计面临的一个关键问题和难点问题.已有的基于目录的协议存在难于实现、验证复杂和存储空间开销大等问题.面向片上众核处理器,文中提出一种由硬件结构支持、基于同步的高速缓存... 共享存储系统中如何高效地实现高速缓存一致性是体系结构设计面临的一个关键问题和难点问题.已有的基于目录的协议存在难于实现、验证复杂和存储空间开销大等问题.面向片上众核处理器,文中提出一种由硬件结构支持、基于同步的高速缓存一致性协议.该方案不使用目录,而是通过使用bloom-filter表示一致性信息,并在并行程序中的同步点维护高速缓存一致性.与现有的基于目录的高速缓存一致性协议相比,该方案可以降低目录协议的实现、验证复杂度.用SPLASH-2测试程序集评估表明,基于同步的协议可以获得与基于目录的协议相当的性能. 展开更多

关键词 高速缓存一致性 存储一致性模型 多核处理器 共享存储系统

在线阅读 下载PDF 职称材料

存储模型仿真器的设计与实现 被引量：2

9

作者 吴俊敏 杨超 +2 位作者 陈国良 张淼辉 门珂 《计算机研究与发展》 EI CSCD 北大核心 2005年第3期394-403,共10页

存储一致性问题和高速缓存一致性问题是共享存储并行计算机中两个最关键的问题,通过仿真器对它们进行了量化研究,设计并实现了一个存储模型仿真器MMS.基于MMS仿真了不同并行机结构模型下多种存储一致性模型的行为;针对不同类型的计算问... 存储一致性问题和高速缓存一致性问题是共享存储并行计算机中两个最关键的问题,通过仿真器对它们进行了量化研究,设计并实现了一个存储模型仿真器MMS.基于MMS仿真了不同并行机结构模型下多种存储一致性模型的行为;针对不同类型的计算问题比较了不同的存储一致性模型,并对实验结果进行了分析;实现了几个不同的高速缓存一致性协议,并比较了它们的性能. 展开更多

关键词 存储一致性模型 共享存储仿真器 高速缓存一致性

在线阅读 下载PDF 职称材料

一种新的Java存储模型L-JMM 被引量：2

10

作者 吴俊敏 陈国良 《计算机研究与发展》 EI CSCD 北大核心 2006年第4期738-743,共6页

Java存储模型是Java语言和Java虚拟机研究中的核心关键部分,目前Java语言规范中的存储模型不能保证Java技术所必需的语义特性,而且不利于Java虚拟机的性能优化.提出了一种新的Java存储模型,该模型取消了规范中Java存储模型中对存储密致... Java存储模型是Java语言和Java虚拟机研究中的核心关键部分,目前Java语言规范中的存储模型不能保证Java技术所必需的语义特性,而且不利于Java虚拟机的性能优化.提出了一种新的Java存储模型,该模型取消了规范中Java存储模型中对存储密致性的要求,保证了Location一致性;同时根据Java语义的要求,对Java语言中不同类型的变量详细规定了多线程存储操作的行为规则.该模型不仅能保证Java程序的正确性,同时能有效提高Java程序的运行效率.最后通过仿真实验验证了该存储模型的关键特性. 展开更多

关键词 存储一致性模型 Java存储模型 仿真

在线阅读 下载PDF 职称材料

分布式共享存储系统中的存储管理及优化技术 被引量：4

11

作者 戴华东 夏军 杨学军 《计算机工程》 CAS CSCD 北大核心 2003年第5期13-15,共3页

分布式共享存储体系结构由于结合了较好的可扩展性和可编程性，已经成为目前并行计算机领域的主要发展方向。文章针对分布式共享存储系统中存储管理的两个关键问题——存储一致性模型和数据局部性优化技术进行了探讨。

关键词 分布式共享存储系统 存储管理 优化技术 操作系统 计算机 存储一致性模型 页迁移

在线阅读 下载PDF 职称材料