存储一致性模型

作品数：13被引量：37H指数：4
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：戴华东杨学军吴俊敏陈国良王朋宇更多>>
相关机构：国防科学技术大学中国科学院中国科学技术大学中国科学院大学更多>>
相关期刊：《计算机系统应用》《计算机应用研究》《小型微型计算机系统》《计算机学报》更多>>
相关基金：国家自然科学基金国家杰出青年科学基金国家重点基础研究发展计划国家高技术研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
MODV存储一致性模型验证工具的性能优化
《计算机系统应用》2015年第11期146-151,共6页赵晓凯 孙鲁明 
MODV是一个通用的存储一致性模型动态验证工具,该工具实现了基于时间序的边界图算法,具有较低的时间复杂度.为了进一步提高MODV工具的性能,我们采用了多种方法对算法进行了性能优化,使得MODV工具能够有效验证更大规模的并发访存操作.实...
关键词：存储一致性模型 动态验证工具 边界图算法 时间序 性能优化 
MOTEC:一个存储一致性模型验证工具被引量：1
《计算机工程》2012年第11期242-246,共5页吕正 陈昊 陈峰 吕毅 
国家"863"计划基金资助项目(2007AA01Z147)
由于缺乏可利用的额外观察条件,在芯片流片后阶段进行存储一致性模型验证较困难。为此,利用多核处理器系统中通用的性能计数器,通过定期扫描性能计数器以获得关键活动访存指令集合的信息,实现MOTEC工具。该工具由MOTEC随机指令发生模块...
关键词：多核处理器 存储一致性模型 形式验证 动态验证 存储系统 验证工具 
放松的存储一致性模型
《数学教学研究》2010年第12期50-52,共3页王晓霞 
讨论了在分布共享存储系统中对严格一致性模型在不同程度上进了行放松的各种存储一致性模型,并介绍了实现一致性模型的Cache一致性协议.
关键词：分布共享存储系统 存储一致性模型 CACHE一致性协议 
片上多核处理器存储一致性验证被引量：13
《软件学报》2010年第4期863-874,共12页王朋宇 陈云霁 沈海华 陈天石 张珩 
国家自然科学基金Nos.60603049;60673146;60736012;60721061;国家高技术研究发展计划(863)Nos.2007AA01Z112;2008AA110901;2007AA01Z114;国家重点基础研究发展计划(973)No.2005CB321600~~
存储一致性验证是片上多核处理器功能验证的重要部分.由于验证并行程序的执行结果是否符合存储一致性模型理论上是NP难问题,现有的验证方法中只能采用一些时间复杂度大于O(n3)的不完全方法.发现在支持写原子性的多处理器系统中,两条执...
关键词：存储一致性模型 验证 时间序 片上多核处理器 缓存一致性 
硬件结构支持的基于同步的高速缓存一致性协议被引量：7
《计算机学报》2009年第8期1618-1630,共13页黄河 刘磊 宋风龙 马啸宇 
国家自然科学基金重点项目(60736012);国家"九七三"重点基础研究发展规划项目基金(2005CB321600)资助~~
共享存储系统中如何高效地实现高速缓存一致性是体系结构设计面临的一个关键问题和难点问题.已有的基于目录的协议存在难于实现、验证复杂和存储空间开销大等问题.面向片上众核处理器,文中提出一种由硬件结构支持、基于同步的高速缓存...
关键词：高速缓存一致性 存储一致性模型 多核处理器 共享存储系统 
流编程模型下的存储一致性模型
《国防科技大学学报》2008年第1期37-41,共5页邓宇 杨学军 戴华东 王勐 
国家自然科学基金资助项目(60621003;60633050)
在流编程模型下建立了一个新的存储一致性模型——流一致性模型,它比传统的释放一致性模型更加松弛。讨论了流一致性模型对程序设计和系统设计的要求,给出了一个正确的系统实现,并且指出流一致性模型的编程和实现并不比现有的一致性模...
关键词：流计算 流编程模型 存储一致性模型 
一种新的Java存储模型L-JMM被引量：2
《计算机研究与发展》2006年第4期738-743,共6页吴俊敏 陈国良 
中国科学技术大学青年基金项目(KA1125);中国科学院高水平大学建设基金项目(KY2706)
Java存储模型是Java语言和Java虚拟机研究中的核心关键部分,目前Java语言规范中的存储模型不能保证Java技术所必需的语义特性,而且不利于Java虚拟机的性能优化.提出了一种新的Java存储模型,该模型取消了规范中Java存储模型中对存储密致...
关键词：存储一致性模型 Java存储模型 仿真 
面向对象的存储一致性模型OC被引量：2
《小型微型计算机系统》2005年第11期2040-2045,共6页吴俊敏 陈国良 吴敏 
中国科技大学青年基金(KA1125)资助;中国科学院高水平大学建设项目(KY2706)资助
提出了一种新的面向对象的存储一致性模型—OC.该模型基于位置一致性(Location Consistency)模型中所描述的偏序关系,从而打破了传统的存储密致性(Memory Coherence)所要求的全局序的限制.该模型是较高的软件层次上的存储模型,结合了现...
关键词：存储一致性模型 存储密致性 面向对象 
存储模型仿真器的设计与实现被引量：2
《计算机研究与发展》2005年第3期394-403,共10页吴俊敏 杨超 陈国良 张淼辉 门珂 
中国科学技术大学青年基金项目(KA1125)中国科学院高水平大学建设基金项目(KY2706)
存储一致性问题和高速缓存一致性问题是共享存储并行计算机中两个最关键的问题,通过仿真器对它们进行了量化研究,设计并实现了一个存储模型仿真器MMS.基于MMS仿真了不同并行机结构模型下多种存储一致性模型的行为;针对不同类型的计算问...
关键词：存储一致性模型 共享存储仿真器 高速缓存一致性 
分布式共享存储系统中的存储管理及优化技术被引量：4
《计算机工程》2003年第5期13-15,共3页戴华东 夏军 杨学军 
国家杰出青年科学基金资助项目(69825104)
分布式共享存储体系结构由于结合了较好的可扩展性和可编程性，已经成为目前并行计算机领域的主要发展方向。文章针对分布式共享存储系统中存储管理的两个关键问题——存储一致性模型和数据局部性优化技术进行了探讨。
关键词：分布式共享存储系统 存储管理 优化技术 操作系统 计算机 存储一致性模型 页迁移 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部