期刊文献+

多核处理器验证中存储数据错误快速定位机制 被引量:2

A fast location mechanism on memory data error for multi-core processors verification
下载PDF
导出
摘要 提出并实现的一种数据错误快速定位机制(Fast Fault Location Mechanism,FFLM)面向多核处理器存储系统的功能验证,FFLM基于硬件仿真器构建多端口存储器黄金模型,通过在仿真过程中实时监控存储系统与处理器核之间的访存报文,在线比较被测系统访问真实存储器的数据与黄金模型中的对应数据是否一致,在错误数据从存储系统送入处理器核的时刻就能够发现数据错误。与传统方法相比,FFLM具有仿真速度快、硬件资源代价低以及定位错误时间短的优点。对自主设计的CMP-16多核处理器进行仿真时的统计数据表明:使用FFLM后定位数据错误的速度能够比未使用FFLM时平均提高6.5倍。 A fast fault location mechanism on memory data error, which is called FFLM for a self-made CMP-16 multi-core processor' s functional validation, is proposed and realized. FFLM builds a multi-port golden memory model based on the hardware emulation accelerator. It monitors the packages of memory access between memory system and processor cores during the emulation, real-time compares the data from real memory system being tested and the data from golden memory model, judges whether they are consistent, and finds the errors once any wrong data is sent to processor core from memory system. Compared with traditional ways, FFLM has the advantages of fast emulation speed, low hardware cost and low fault Location time cost. Statistical results from the emulation for a self-made CMP-16 multi-processor show that FFLM improves the speed of date fault location in memory system by 6.5 times averagely.
出处 《国防科技大学学报》 EI CAS CSCD 北大核心 2012年第6期1-6,共6页 Journal of National University of Defense Technology
基金 国家"核高基"重大专项资助项目(2009ZX01028-002-002) 国家自然科学基金资助项目(61103011 61170045)
关键词 多核处理器 验证 存储数据错误 定位机制 multi-core processor verification memory data error location mechanism
  • 相关文献

参考文献6

  • 1Schubert K D, Roesner W, et al. Functional verification of the IBM POWER7 microprocessor and POWER7 multiproeessor systems [ J ]. IBM Journal of Research and Development, 2011, 55(3) :1 - 17.
  • 2Krygowski C A, Almog E, et al. Key advances in the presilicon functional verification of the IBM zEnterprise microprocessor and storage hierarchy [ J ]. IBM Journal of Research and Development, 2011,56( 1 ) :1 - 16.
  • 3屈婉霞,郭阳,庞征斌,杨晓东.基于伪临界值的Cache一致性协议验证方法[J].国防科技大学学报,2008,30(6):47-52. 被引量:3
  • 4郭阳,李暾,李思昆.微处理器功能验证方法研究[J].计算机工程与应用,2003,39(5):35-37. 被引量:12
  • 5张珩,沈海华.龙芯2号微处理器的功能验证[J].计算机研究与发展,2006,43(6):974-979. 被引量:26
  • 6陈迅,梁斌,陈跃跃,等.全定制微处理器的FPGA原型验证方法[C]//2005年全国计算机工程工艺技术年会论文集.济南:山东大学计算机学院,2005:379-381.

二级参考文献24

  • 1Pong F, Dubois M. Verification Techniques for Cache Coherence Protocols[J]. ACM Computing Surveys, 1997, 29(1) : 82 - 126.
  • 2Adir A, Shurek A G. Generating Concurrent Test-programs with Collisions for Multiprocessor Verification[C]//Washington DC, USA: IEEE Computer Society, 2002.
  • 3Sorin D J, Hill M D, Wood A D A. Dynamic Verification of End-to-end Multiprocessor Invariants[ C]//International Conference on Dependable Systems and Networks (DSN'03), San Francisco, CA, USA, 2003.
  • 4Chert X F, Gopalakrishnan G. A General Compositional Approach to Verifying Hierarchical Cache Coherence Protocols[R]. Salt Lake City: University of Utah, 2006.
  • 5Chen X F, Yang Y, Gopalakrishnan G, et al. Reducing Verification Complexity of a Multicore Coherence Protocol Using Assume/Guarantee[C]// Formal Methods in Computer Aided Design (FMCAD2006), San Jose, IEEE Computer Society, 2006.
  • 6Martin M M K. Formal Verification and lts Impact on the Snooping Versus Directory Protocol Debate[ C]//Proceedings of the 23^rd International Conference on Computer Design (ICCD'05), San Jose, CA, USA, IEEE Computer Society, 2005.
  • 7Plakal M, Sorin D J, Anne E, et al. Lamport Clocks: Verifying a Directory Cache-coherence Protocol[C]//The 10^th Annual ACM Symposium on Parallel Algorithms and Architectures (SPAA), Puerto Vallarta, Mexico, 1998.
  • 8Emerson E A, Kahlon V. Exact and Efficient Verification of Parameterized Cache Coherence Protocols[J]. Lecture Notes in Computer Science, 2003, 2860: 247-262.
  • 9Mcmillan K L. Parameterized Verification of the FLASH Cache Coherence Protocol by Compositional Model Checking[ C ]//Proceedings of the 11^th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods, London, UK, 2001.
  • 10Gupta A, Weber W D. Cache Invalidation Patterns in Shared-memory Multiprocessors[J]. IEEE Trans. Comput., 1992, 41 (7) : 794 - 810.

共引文献38

同被引文献17

引证文献2

二级引证文献3

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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