期刊文献+

一种面向多核独享L2 Cache的缓存一致性设计实现

A Cache consistency design and implementation for multi-core private L2 Cache
下载PDF
导出
摘要 近年来,独享L2 Cache是实现高性能多核处理器的主流架构,但是该架构在维护Cache一致性上需要多次访存,增加了系统开销.为此,本文基于PowerPC指令架构实现了一种基于私有Cache状态机与片上总线监测机制相融合的多核缓存一致性设计,使处理器之间可以直接通过干涉接口交互数据.采用硬件描述语言Verilog HDL设计并实现了该多核缓存结构,仿真结果表明,在实现缓存一致性时,这种具有干涉路径的结构相比于传统访存方法最大能够节省87.06%的时间开销,有效地提升了多核处理器性能.最后经过实物芯片在板级上的测试,与仿真结果保持一致. In recent years,private L2 Cache is the mainstream architecture for high-performance multi-core processors,but it requires multiple memory accesses to maintain Cache consistency,which increases system overhead.Therefore,this paper proposes a multi-core Cache coherency design based on on PowerPC instruction architecture,which integrates private Cache state machine and on-chip bus monitoring mechanism,so that processors can directly exchange data through intervention interface.The multi-core Cache structure is designed and implemented by Verilog HDL,a hardware description language,and the simulation results show that when implementing Cache consistency,compared with the traditional memory access method,this structure with intervention path can save 87.06%time,and the performance of multi-core processor is effectively improved.Finally,the test results of real chip on board level are consistent with the simulation results.
作者 马良骥 杨靓 肖建青 娄冕 赵翠华 MA Liangji;YANG Liang;XIAO Jianqing;LOU Mian;ZHAO Cuihua(Xi'an Microelectronics Technology Institute,Xi’an 710054,Shaanxi,China)
出处 《微电子学与计算机》 2023年第10期102-109,共8页 Microelectronics & Computer
基金 总装某型谱项目(1905WJ0027_2)。
关键词 多核一致性 独享L2 Cache PLB总线 干涉接口 multicore consistency private L2 Cache PLB bus intervention interface
  • 相关文献

参考文献6

二级参考文献26

  • 1庞征斌,李琼,李永进,张峻,徐炜遐.CC-NUMA系统分布共享I/O的数据一致性维护[J].计算机研究与发展,2007,44(z1):226-232. 被引量:1
  • 2Leverich J.Comparing memory systems for chip muhiprocessors[C]// Proceedings of the 34th Annual International Symposium on Computer Architecture.San Diego,California,USA:ACM,2007.
  • 3Emerson E A,Kahlon V.Exact and efficient verification of parameterized cache coherence protocols[C]//CHARME 2003 :Proc of the 12th IFIP WG Conf on Correct Hardware Design and Verification Methods.[S.l.] : Springer, 2003.
  • 4Pnueli A,Ruah S,Zuck L D.Automatic deductive verification with invisible invariants[C]//TACAS 2001 :Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems.London,UK:Springer-Verlag,2001.
  • 5McMillan K.Parameterized verification of the FLASH Cache coherence protocol by compositional model checking[C]//CHARME 2001: Prec of the llth IFIP WG Conf on Correct Hardware Design and Verification Methods.[S.l.] : Springer, 2001.
  • 6Chou C T,Mannava P K,Park S.A simple method for parameterized verification of Cache coherence protocols[C]//FMCAD 2004:Proc of the 5th International Conf on Formal Methods in Computer-Aided Design.[S.l.]: Springer, 2004.
  • 7Chen X.Hierarchical Cache coherence protocol verification one level at a time through assume guarantee[C]//IEEE Int'l High Level Design Validation and Test Workshop,2007.
  • 8Talupur M.Parametric verification of industrial Cache protocols[C]// DCC 2008:Proceedings of Workshop on Design of Correct Circuits, 2008.
  • 9Cimatti A.NuSMV 2:An opensource tool for symbolic model checking[C]//Proceedings of International Conference on Computer Aided Verification, 2002.
  • 10Beers R H,Hum H H J,Goodman J R.Non-speculative distributed conflict resolution for a cache coherency protocol: US,US 6954829 B2[P].2005-10-11.

共引文献13

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部