存储一致性模型相关论文
MODV是一个通用的存储一致性模型动态验证工具,该工具实现了基于时间序的边界图算法,具有较低的时间复杂度.为了进一步提高MODV工......
提出了一种新的面向对象的存储一致性模型-OC.该模型基于位置一致性(Location Consistency)模型中所描述的偏序关系,从而打破了传......
分布式共享存储体系结构由于结合了较好的可扩展性和可编程性,已经成为目前并行计算机领域的主要发展方向.文章针对分布式共享存储......
由于缺乏可利用的额外观察条件,在芯片流片后阶段进行存储一致性模型验证较困难。为此,利用多核处理器系统中通用的性能计数器,通......
片上多核处理器和片上众核处理器已成为目前处理器结构的主流方向。在处理器从单核向多核(众核)演进过程中,多核处理器中的存储系......
随着集成电路工艺技术的发展,单个芯片上可集成的晶体管数目已达到10亿个,如何利用这些晶体管资源设计高性能处理器成为当前重要的......
本文研究了并行分布操作系统中共享存储管理及其优化技术，主要包括共享存储抽象层的设计与实现、线程一致性模型以及基于即态访问信......
在流编程模型下建立了一个新的存储一致性模型——流一致性模型，它比传统的释放一致性模型更加松弛。讨论了流一致性模型对程序设计......
共享存储系统中如何高效地实现高速缓存一致性是体系结构设计面临的一个关键问题和难点问题．已有的基于目录的协议存在难于实现、验......
Java存储模型是Java语言和Java虚拟机研究中的核心关键部分，目前Java语言规范中的存储模型不能保证Java技术所必需的语义特性，而且不......
人类对计算能力的需求、新体系结构和新工艺这三驾马车推动着作为现代高端计算机系统核心和引擎的高性能微处理器性能的不断提升。......
