导读:本文包含了高速缓存一致性协议论文开题报告文献综述、选题提纲参考文献及外文文献翻译，主要关键词:多核,高速缓存,协议,处理器,模型,系统,缓存。
高速缓存一致性协议论文文献综述
刘道福,陈天石,郭琦[1]（2015）在《一种无目录的共享高速缓存一致性协议》一文中研究指出针对使用目录记录各共享缓存块在各核心的私有备份信息的多核和众核并行系统共享高速缓存一致性协议因使用目录造成性能下降的问题进行了研究。研究发现,实际应用的多核和众核系统可以不存储共享缓存块的共享信息,因为多核和众核系统大都采用弱一致性协议,根据这种协议,某个核心的写操作不需要立即被其他核心观察到,可以延迟到下一个同步点观察到。基于这一发现,提出了一种不用记录共享信息的无目录的(DirectoryLess)共享高速缓存(Shared cache)一致性协议,简称DLS协议。该协议通过在同步点对不确定是否被其他核心更改的缓存块主动无效的方法,在不需要存储共享信息的目录的情况下来保证多核系统符合弱一致性。用并行程序测试集SPLASH-2对一个16核处理器进行了试验,试验结果表明,相比基于目录的MESI协议,DLS不仅可以完全消除目录及其电路面积,而且可平均提高11.08%的程序性能,减少28.83%的片上网络通讯,以及减少15.65%的功耗。而这一切,只需要改变处理器的设计,并不需要改变编程语言和编译器,因此,该协议无需更改或重新编译即可以兼容现有的代码。(本文来源于《高技术通讯》期刊2015年05期）
孙鲁明,周琰[2]（2014）在《RCC高速缓存一致性协议的带参验证》一文中研究指出Godson-T众核处理器的RCC高速缓存一致性协议是一种非常有特色的带参并发系统,对此协议的带参验证是一个很大的挑战.Cubicle是最近出现的基于SMT求解器的带参模型检测工具.我们使用了Cubicle带参模型检测工具,成功对RCC协议进行了建模和验证.实验结果表明,RCC协议在结点个数为任意规模时均满足协议的各种安全性质.(本文来源于《计算机系统应用》期刊2014年11期）
修思文,黄凯,余慜,谢天艺,葛海通[3]（2015）在《面向非写分配高速缓存的一致性协议及实现》一文中研究指出针对现有的高速缓存一致性协议应用在基于写回、非写分配缓存的多核处理器的缺点,提出一种新颖的基于写干涉的一致性协议,并加以硬件实现.采用写干涉协议,在处理器产生写缺失操作时,可以把数据直接写到系统中其他处理器有效的该高速缓存行中;支持"脏数据"的延迟回写和缓存间的数据拷贝;且系统中只要存在有效的被请求的缓存行就可以提供数据,避免不必要的共享存储器访问.实验结果表明,该文提出的写干涉协议与MOESI协议相比,显着减少了对共享存储器的访问,提高了整个系统性能,同时大幅降了低动态功耗.(本文来源于《浙江大学学报(工学版)》期刊2015年02期）
黄河,刘磊,宋风龙,马啸宇[4]（2009）在《硬件结构支持的基于同步的高速缓存一致性协议》一文中研究指出共享存储系统中如何高效地实现高速缓存一致性是体系结构设计面临的一个关键问题和难点问题.已有的基于目录的协议存在难于实现、验证复杂和存储空间开销大等问题.面向片上众核处理器,文中提出一种由硬件结构支持、基于同步的高速缓存一致性协议.该方案不使用目录,而是通过使用bloom-filter表示一致性信息,并在并行程序中的同步点维护高速缓存一致性.与现有的基于目录的高速缓存一致性协议相比,该方案可以降低目录协议的实现、验证复杂度.用SPLASH-2测试程序集评估表明,基于同步的协议可以获得与基于目录的协议相当的性能.(本文来源于《计算机学报》期刊2009年08期）
卢榕生,张先增[5]（2004）在《对基于目录的高速缓存一致性协议的改进》一文中研究指出在多处理嚣系统中,高速缓存的一致性协议是很重要的。一般有监听总线协议和基于目录的协议两种。而基于目录的 协议又可以分为叁类,各有一些缺点。本文提出了一个基于目录的高速缓存一致性协议的改进方案。(本文来源于《闽江学院学报》期刊2004年05期）
高速缓存一致性协议论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
Godson-T众核处理器的RCC高速缓存一致性协议是一种非常有特色的带参并发系统,对此协议的带参验证是一个很大的挑战.Cubicle是最近出现的基于SMT求解器的带参模型检测工具.我们使用了Cubicle带参模型检测工具,成功对RCC协议进行了建模和验证.实验结果表明,RCC协议在结点个数为任意规模时均满足协议的各种安全性质.
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
高速缓存一致性协议论文参考文献
[1].刘道福,陈天石,郭琦.一种无目录的共享高速缓存一致性协议[J].高技术通讯.2015
[2].孙鲁明,周琰.RCC高速缓存一致性协议的带参验证[J].计算机系统应用.2014
[3].修思文,黄凯,余慜,谢天艺,葛海通.面向非写分配高速缓存的一致性协议及实现[J].浙江大学学报(工学版).2015
[4].黄河,刘磊,宋风龙,马啸宇.硬件结构支持的基于同步的高速缓存一致性协议[J].计算机学报.2009
[5].卢榕生,张先增.对基于目录的高速缓存一致性协议的改进[J].闽江学院学报.2004
论文知识图
