多核并行程序建模及仿真

《多核并行程序建模及仿真》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、西安电子科技大学学位论文独创性(或创新性)声明秉承学校严谨的学风和优良的科学道德，本人声明所呈交的论文是我个人在导师指导下进行的研究工作及取得的研究成果。尽我所知，除了文中特别加以标注和致谢中所罗列的内容以外，论文中不包含其他人已经发表或撰写过的研究成果；也不包含为获得西安电子科技大学或其它教育机构的学位或证书而使用过的材料。与我一同工作的同志对本研究所做的任何贡献均已在论文中做了明确的说明并表示了谢意。申请学位论文与资料若有不实之处，本人承担一切相关责任。本人签名：日期西安电子科技大学关于论文使用授权的说

2、明本人完全了解西安电子科技大学有关保留和使用学位论文的规定，即：研究生在校攻读学位期间论文工作的知识产权单位属西安电子科技大学。本人保证毕业离校后，发表论文或使用论文工作成果时署名单位仍然为西安电子科技大学。学校有权保留送交论文的复印件，允许查阅和借阅论文；学校可以公布论文的全部或部分内容，可以允许采用影印、缩印或其它复制手段摘要保存论文。(保密的论文在解密后遵守此规定)本学位论文属于保密，在年解密后适用本授权书。本人签名：日期导师签名：日期摘要摘要多核并行计算在提高系统计算能力和吞吐量的同时，对系统测试也

3、提出了更加严格的要求，如何保障系统正确性已成为计算机领域的前沿课题之一。作为投影时序逻辑的一个可执行子集，MSVL能够对计算机软硬件系统进行建模、仿真和验证，保障系统的可靠性。但是，目前MSVL对多核并行系统的描述还不够简便。本文在MSVL解释器中实现了一种描述多核并行系统的抽象语义模型，使解释器能够更加方便地支持多核并行系统的仿真和建模。首先，介绍了投影时序逻辑和MSVL的语法和语义，并说明了MSVL解释器的实现原理和基本功能；接着，引入了基于投影时序逻辑的柱面计算模型，它可以对共享内存的多核并行系统进行

4、描述和建模；然后，基于CCM的语法和操作语义，在MSVL解释器中增加了CCM相关的词法分析，语法分析以及进程状态化简等模块，实现了多核并行程序在MSVL解释器中的仿真与建模；最后，通过双偶数幻方和去除进位依赖的乘法器两个用例，说明引入CCM后，解释器对多核并行系统仿真、建模与验证的适用性及实用性。关键词：投影时序逻辑MSVLCCM多核并行程序建模仿真AbstractAbstractAlthoughmulti-coreparallelcomputinghasimprovedthesystemcomputati

5、onabilityandthroughput,italsoraisesmorerigorousrequirementsforsystemtesting.Howtoensurethecorrectnessofsystemshasbecomeoneofthetopicsattheforefrontofresearchfields.AsanexecutablesubsetofProjectionTemporalLogic,MSVLcanmodel,simulateandverifybothsoftwareandh

6、ardwaresystemstoguaranteethereliabilityofsystems.However,MSVLisnotconvenientenoughtodescribemulti-coreparallelsystemsatpresent.Thisthesismainlydiscussestheimplementationofanabstractsemanticmodelformemory-sharedmulti-coreparallelsystemsinMSVLinterpreter.Fir

7、stly,thesyntaxandsemanticsofPTLandMSVLarepresented.Moreover,thearchitectureandfunctionsofMSVLinterpreterareintroducedbriefly.Afterthat,CylinderComputingModel,whichcanmodelandverifymemory-sharedmulti-coresystemsinamanageableway,isdescribedindetails.Thenbase

8、donthesyntaxandoperationalsemanticsofCCM,somemodulesrelatedtoCCMareimplementedinMSVLinterpreter,includinglexicalanalysis,syntacticanalysis,andthestatereductionofprocess,sothattheinterpretercansimulateandmodel