搜索到6338篇“ 存储一致性模型“的相关文章
- MODV存储一致性模型验证工具的性能优化
- 2015年
- MODV是一个通用的存储一致性模型动态验证工具,该工具实现了基于时间序的边界图算法,具有较低的时间复杂度.为了进一步提高MODV工具的性能,我们采用了多种方法对算法进行了性能优化,使得MODV工具能够有效验证更大规模的并发访存操作.实验结果表明,和基准算法相比,我们的改进算法在性能方面有较大的提升.
- 赵晓凯孙鲁明
- 关键词：存储一致性模型
- MOTEC:一个存储一致性模型验证工具被引量：1
- 2012年
- 由于缺乏可利用的额外观察条件,在芯片流片后阶段进行存储一致性模型验证较困难。为此,利用多核处理器系统中通用的性能计数器,通过定期扫描性能计数器以获得关键活动访存指令集合的信息,实现MOTEC工具。该工具由MOTEC随机指令发生模块、多核处理器性能计数器记录模块和MOTEC分析模块3个部分组成。对其核心算法的分析结果表明,MOTEC的时间复杂度仅为O(p 3n),在目前流片后阶段进行验证的工具中时间复杂度最低。
- 吕正陈昊陈峰吕毅
- 关键词：多核处理器存储一致性模型
- 放松的存储一致性模型
- 2010年
- 讨论了在分布共享存储系统中对严格一致性模型在不同程度上进了行放松的各种存储一致性模型,并介绍了实现一致性模型的Cache一致性协议.
- 王晓霞
- 关键词：分布共享存储系统存储一致性模型CACHE一致性协议
- 涵盖I/O的广义存储一致性模型被引量：2
- 2010年
- 作为计算机体系结构核心问题之一的存储一致性研究主要是围绕CPU访存一致性问题展开的,I/O设备DMA操作引发的存储一致性问题则一直处于研究的边缘。从I/O与存储体系结构一体化设计理念出发,针对支持全局DMA访问的分布共享存储(DSM)系统存储一致性问题,研究广义存储一致性,定义了涵盖I/O的广义程序概念,建立了广义域存储一致性模型,研究了基于广义域存储一致性模型的Cache-Memory-I/O一致性协议实现技术,对于DSM系统实现全局共享I/O具有指导意义和参考价值。
- 李琼邓明堂杨学军
- 流编程模型下的存储一致性模型
- 2008年
- 在流编程模型下建立了一个新的存储一致性模型——流一致性模型,它比传统的释放一致性模型更加松弛。讨论了流一致性模型对程序设计和系统设计的要求,给出了一个正确的系统实现,并且指出流一致性模型的编程和实现并不比现有的一致性模型复杂。
- 邓宇杨学军戴华东王勐
- 关键词：流计算流编程模型存储一致性模型
- X处理器存储一致性模型的研究与实现
- 现代科学计算正在向并行计算、分布式运算等方向发展,而多核处理器在这些方面有着单核处理器无法比拟的优势,这就决定了多核处理器在未来微处理器领域的主导地位。但在多处理器系统中,由于多个处理器可能对同一数据块进行读操作,当某个...
- 黄冕
- 关键词：存储一致性模型多核处理器
- 文献传递
- 面向对象的存储一致性模型OC被引量：2
- 2005年
- 提出了一种新的面向对象的存储一致性模型—OC.该模型基于位置一致性(Location Consistency)模型中所描述的偏序关系,从而打破了传统的存储密致性(Memory Coherence)所要求的全局序的限制.该模型是较高的软件层次上的存储模型,结合了现代程序设计中面向对象的特色,可广泛应用到共享存储的编程语言中.我们还论述了OC的主要特性,并将OC与其它存储模型进行了简单的比较.最后在仿真器上对它的行为进行了仿真验证.
- 吴俊敏陈国良吴敏
- 关键词：存储一致性模型面向对象
- 存储一致性模型研究
- 本文结合仿真器对存储一致性模型进行系统全面的研究。 本文通过仿真器来对存储一致性模型进行量化研究，具体包括：设计并实现了一个灵活实用的存储一致性模型仿真器MMS;基于该仿真器仿真了不同并行机结构模型下多种存储一致性模型的...
- 吴俊敏
- 关键词：共享存储仿真
- 文献传递
- 以操作系统为中心的存储一致性模型——线程一致性模型被引量：6
- 2003年
- 分布共享存储系统为保证程序的正确执行 ,必须通过存储一致性模型对共享存储访问顺序加以限制 ,而现有模型在可扩展性和操作系统级实现方面存在不足 结合多线程的特点 ,提出了一种以操作系统为中心的线程一致性模型 ,通过并行程序执行过程中线程状态的变化来观察和限制存储访问事件的正确顺序 ,有利于系统的可扩展性、一致性维护信息获取的方便性和完备性以及操作系统本身的设计和实现 分别从模型的定义、正确性证明。
- 戴华东杨学军
- 关键词：操作系统存储一致性模型分布共享存储系统内核
- DSM系统中存储一致性模型的一种新框架——S^3C框架被引量：2
- 2002年
- 存储一致性模型对共享存储系统的正确性、性能以及程序的复杂性都有重要的影响 .该文立足于分布共享存储系统 ,提出了一种新的存储一致性模型框架—— S3 C框架 .该框架通过同步点的概念来描述不同模型中正确的存储访问事件顺序 ;通过一致性维护点的概念 ,对同一模型的不同实现方式也能够进行区别和比较 .结合 S3 C框架 ,该文提出了一种以操作系统为中心的线程一致性模型 ,并针对以顺序一致性模型为代表的存储一致性模型的正确实现进行了论述 .
- 戴华东杨学军
- 关键词：DSM系统一致性分布共享存储系统服务器操作系统
相关作者
- 戴华东
- 作品数：159被引量：191H指数：7
- 供职机构：国防科学技术大学
- 研究主题：虚拟机 操作系统 虚拟机监控器 飞腾 开销
- 杨学军
- 作品数：288被引量：636H指数：14
- 供职机构：国防科学技术大学计算机学院
- 研究主题：操作系统 流处理器 低功耗 OPENMP 微处理器
- 陈国良
- 作品数：300被引量：3,006H指数：27
- 供职机构：深圳大学
- 研究主题：计算机 英文 神经网络 并行计算机 并行计算
- 吴俊敏
- 作品数：76被引量：178H指数：7
- 供职机构：中国科学技术大学
- 研究主题：虚拟化 无线传感器网络 负载平衡 同时多线程 CORBA
- 黄河
- 作品数：17被引量：22H指数：3
- 供职机构：中国科学院计算技术研究所
- 研究主题：虚拟现实 运动捕获 虚拟人 语义WEB 虚拟环境
