基于对称多处理机的指令Cache 验证策略研究.pdfVIP

第3O卷第 11期 计算机应用与软件 Vo1．30 No．11 2013年 11月 ComputerApplicationsandSoftware NOV．2013 基于对称多处理机的指令 Cache验证策略研究 谭 坚 李岱峰 王 俊 王丽一 (江南计算技术研究所 江苏无锡 214083) 摘 要 指令Cache作为高性能计算机系统 中指令代码的高速缓冲，在整个系统中占有重要地位，其正确性验证工作很有必要。 针对对称多处理机结构的一级和二级指令Cache验证提 出多种验证策略，对各种验证策略造成指令 Cache的颠簸效果进行实验和 分析，并且试图将各种验证策略综合成一个完备的验证系统，从而保证指令Cache设计的正确性。 关键词 指令Cache 验证策略 完备 中图分类号 TP306 文献标识码 A DOI：10．3969／j．issn1000—386x．2013．11．063 RESEARCH oN VEIUFICATIoN STRATEGIESoF SMP-BASED INSTRUCTIoN CACHE TanJian LiDaifeng WangJun WangLiyi (fiangnanInstituteofComputingTechnology，Wuxi214083，Jiangsu，China) Abstract TheverificationworkforthecorrectnessoftheinstructionCacheisnecessary，forasthecacheof insturctioncodeinwholehigh performancecomputersystem ，itplaysanimportantroleinthesystem．Inthispaperweproposeaseriesofverificationstrategiesaimingat verifyingtheL1andL2insturctionCacheinSMP(symmetricalmulti—processing)，andcarryouttheexperimentandanalysisonjolteffectsof insturctionCachecausedbyvariousverificationstrategies，andtrytointegratediverseverificationstrategiestoacompleteverificationsystem ， SOastoguaranteethecorrectnessofinsturctionCachedesign． Keywords InsturctionCache Verificationstrategy Completeness 每个处理器可以直接访问自己的存储单元 ，但是必须通过消息 0 引 言 机制等方式访问其他结点的存储空间。分布式共享存储器的多 处理机系统的典型特点是可扩展性好，很适合用于构建大规模 随着高性能计算市场竞争的 日益激烈，越来越多的计算机 的处理机系统。 研发机构投入大量 的人力和财力研制高性能计算机。指令 第二类是对称式共享存储器的多处理机系统。在这种结构 Cache作为高性能计算机系统中重要 的高速缓冲，对整个系统 的处理机系统中，整个系统只有_个存储器，存储器相对于各个 的性能和正确性都有着重要影响。由于指令 Cache是整个系统 处理器而言都是对称的，整个存储空间统一编址，该系统又称对 指令流的高速缓冲单元，指令流影响着系统程序流的执行方向， 称多处理机系统。系统中所有处理器通过高速数据传输网络以 因此必须对指令Cache进行正确