资源描述:
《DSP汇编程序基本块划分与优化及其软件实现》由会员上传分享,免费在线阅读,更多相关内容在学术论文-天天文库。
1、■■■■■■■■■■文章编号:2095-1248(2016)02-0052-07■■信■息■科■学■与■工程■■■DSP汇编程序基本块划分与优化及其软件实现1111232周国昌,巨艇,赖晓玲,朱启,王向涛,于登云,郭阳明(1.中国空间技术研究院西安分院,西安710100;2.西北工业大学计算机学院,西安710072;3.中国航天科技集团公司科技委,北京100048)摘要:针对空间环境中DSP软错误检测的需求,研究一种DSP汇编程序基本块划分与优化方法,并对其进行了软件实现。该方法首先将汇编程序精简为只含指令和标号的“伪汇编”程序;再对“伪汇编”代码进行基本块划分;
2、然后经过3种优化得到优化后的基本块。最后根据优化前后的基本块信息,分别绘制优化前后的跳转流程图。利用该软件可以将程序划分为基本块的集合,并提取每个基本块的结构信息,可有效支撑基于完整性检查的程序流错误检测。软件代码精简、稳定性好、空间复杂度小,对DSP单粒子效应故障检测有着重要的应用价值。关键词:基本块划分;基本块优化;汇编程序;DSP中图分类号:TP319文献标志码:Adoi:10.3969/j.issn.2095-1248.2016.02.010BasicblocksdivisionoptimizationwithDSPassemblerandit’ssoft
3、wareimplementation111123ZHOUGuo-chang,JUTing,LAIXiao-ling,ZHUQi,WANGXiang-tao,YUDeng-yun,2GUOYang-ming(1.AcademyofSpaceTechnology(Xi’an),Xi’an710100,China;2.SchoolofComputerScienceandTechnology,NorthwesternPolytechnicalUniversity,Xi’an710072,China;3.TheScienceandTechnologyCommittee,Ch
4、inaAerospaceScienceandTechnologyCorp.,Beijing100048,China)Abstract:InordertomeettheneedsofDSPsofterrordetectioninspaceenvironment,theDSPassemblerbasicblockdivisionandoptimizationmethodispresented,andasoftwaretoolbasedontheproposedmethodisdesignedandimplemented.Withthemethod,theassembl
5、ycodesarefirstlysimplifiedtopseudo-codeson-lycontaininginstructionsandtheirlabels.Afterwards,thebasicblocksaresegmentedwiththepseudoassem-blycodes.Finally,theoptimizedbasicblocksareachievedwiththreetimesoptimization.Moreover,withtheinformationofbasicblocks,theflowjumpchartsbeforeandaf
6、teroptimizationaredrawnrespectively.Acer-tainDSPassemblercanbedividedintoacollectionofbasicblockswiththetoolofthesoftware,andthestructureinformationofeachbasicblockareextractedsimultaneously.Theapplicationshowsthesoftwarehassomemerits,suchasconcisecode,goodstability,smallspacecomplexi
7、ty,etc.ItwillbeveryvaluableinapplicationforDSPsofterrordetection.Keywords:basicblockdivision;optimization;assembler;DSP收稿日期:2015-03-27基金项目:国家自然科学基金(项目编号:61371024)、航空科学基金(项目编号:2013ZD53051)、国防"973"项目、总装预研基金、航天支撑技术基金、中航产学研项目(项目编号:cxy2013XGD14)。作者简介:周国昌(1978-),男,辽宁抚顺人,高级工程师,博士,主要研究方向:计算机体
8、系统结构、