论文部分内容阅读
在太空环境中,宇宙射线辐射导致的软错误是航天计算领域内面临的最重要挑战之一,同时随着集成电路制造工艺的持续进步,现代处理器的计算可信性也越来越容易受到软错误的严重威胁。因此,对现在处理器进行针对宇宙射线辐射的软防护是非常必要的。为了便于有针对性的对电子系统施加防护及降低防护代价,本文提出了模块划分的设计思想,从软件角度并根据一定的划分规则对电子系统中的DSP软件代码进行静态的模块划分,以便于后续评价各个模块的可靠性和对可靠性较差的模块重点考虑防护。同时考虑到实施系统的软防护会带来额外的资源开销,因此辨识防护前后模块的资源代价对防护方法的选择有重要的意义。最后结合每个模块的可靠性和对应的模块代价进行系统综合优化,从而使得系统可靠性尽可能高,防护成本尽可能低。本文基于TI TMS320C6713 DSP系统,按照项目需要设计完成了XXX工具中的部分功能任务。本文工作主要包括:1)对DSP器件的工程代码进行静态分析确定模块划分准则及辨识模块之间拓扑关系的方法,从而得到划分的各个模块及其拓扑关系,其基本思想为:首先对DSP工程代码编译得到的out文件进行反汇编操作获得反汇编文件,然后分析反汇编文件并结合TI DSP汇编指令集特点,同时借鉴编译原理中基本块的概念确定模块划分的具体准则及算法,最后在模块划分结果信息基础上确定辨识模块之间拓扑关系的方法;2)静态分析每个模块对应的汇编代码,结合DSP汇编代码的特点和汇编指令的相关知识确定每个模块代价的估算方法。根据项目需要,本文估算的代价包括模块代码大小、模块数据大小和模块执行时间,其中,根据模块的范围得到模块代码大小;通过计算模块代码中寄存器的使用量并结合指令类型确定模块数据大小;从概率角度出发,采用分布函数的方法,并借鉴“计划评审技术”(PERT)思想确定分布函数的相关参数,进而估算得到模块执行时间的大小;3)在Ubuntu12.04下编程实现了模块的划分、模块之间拓扑关系的获得和模块代价的估算。通过实验测试证明本文方法能较好的对DSP工程代码进行模块划分并获得正确的模块拓扑关系,满足需要。同时,本文代价估算方法在一定程度上满足需要,但模块执行时间的估算方法还需进一步改进,以提高估算精度。