(国防科技大学计算机学院 长沙 410073) (heximing15@nudt.edu.cn)
出版日期:
2019-04-01基金资助:
国家自然科学基金项目(61520106005,61761136014);国家重点研发计划项目(2017YFB1010000)A Simple and Efficient Cache Coherence Protocol Based on Self-Updating
He Ximing, Ma Sheng, Huang Libo, Chen Wei, Wang Zhiying(College of Computer, National University of Defense Technology, Changsha 410073)
Online:
2019-04-01摘要/Abstract
摘要: 随着片上多处理器系统核数的增加,当前一致性协议上存在的许多问题使共享存储系统复杂而低效.目前一些一致性协议极其复杂,例如MESI(modified exclusive shared or invalid)协议,存在众多的中间状态和竞争.并且这些协议还会导致额外失效通信,以及大量记录共享信息的目录存储开销(目录协议)或广播消息的网络开销(监听协议).对数据无竞争的程序实现了一种简单高效一致性协议VISU(valid/invalid states based on self-updating),这种协议基于自更新操作(self-updating)、只包含2个稳定状态(valid/invalid).所设计的两状态VISU协议消除了目录和间接事务.首先基于并行编程的数据无竞争(data race free, DRF)模型,采用在同步点进行自更新共享数据来保证正确性.其次利用动态识别私有和共享数据的技术,提出了对私有数据进行写回、对共享数据进行写直达的方案.对于私有数据,简单的写回策略能够简化不必要的片上通信.在L1 cache中,对于共享数据的写直达方式能确保LLC(last level cache)中数据最新从而消除了几乎所有的一致性状态.实现的VISU协议开销低、不需要目录、没有间接传输和众多的一致性状态,且更加容易验证,同时获得了与MESI目录协议几乎相当甚至更优的性能.
参考文献
相关文章 10
[1] | 周恩强,张伟,卢宇彤,侯红军,董勇. 一种面向大规模数据密集计算的缓存方法[J]. 计算机研究与发展, 2015, 52(7): 1522-1530. |
[2] | 郑亚松,王达,叶笑春,崔慧敏,徐远超,范东睿. MALK:一种高效处理大规模键值的MapReduce框架[J]. 计算机研究与发展, 2014, 51(12): 2711-2723. |
[3] | 荀长庆 杨乾明 伍 楠 文 梅 张春元. 共享存储可重构计算机软硬件通信的优化实现[J]. , 2013, 50(8): 1637-1646. |
[4] | 王炜, 乔林, 杨广文, 汤志忠,. 二维片上网络局部均匀随机通信性能分析[J]. , 2010, 47(3): 532-540. |
[5] | 彭 林 谢伦国 张小强. 事务存储系统[J]. , 2009, 46(8): 1386-1398. |
[6] | 王 炜 乔 林 杨广文 汤志忠. 片上二维网络互连性能分析[J]. , 2009, 46(10): 1601-1611. |
[7] | 肖俊华, 冯子军, 章隆兵,. 片上多处理器中延迟和容量权衡的cache结构[J]. , 2009, 46(1): 167-175. |
[8] | 章宏灿 薛 巍 舒继武. 一种可扩展分布式RAID存储集群系统[J]. , 2008, 45(4): 741-746. |
[9] | 宋美娜 宋俊德 战晓苏. 高速路由器中一种有效的组播交换排队机制[J]. , 2005, 42(5): 810-817. |
[10] | 吴俊敏 杨 超 陈国良 张淼辉 门 珂. 存储模型仿真器的设计与实现[J]. , 2005, 42(3): -. |
PDF全文下载地址:
https://crad.ict.ac.cn/CN/article/downloadArticleFile.do?attachType=PDF&id=3902