面向DSP软加固循环代码的低功耗优化技术

摘要

近年来，随着科学技术的发展，以及人们对计算机更高的性能要求，采用商用器件来构建航天设备已经成为了国内外的发展趋势。相比于传统的航空航天级的芯片器件，商用器件具有性能超群、成本低廉、数量充裕等优势，能够满足航空航天设备日益增长的性能需求。但恶劣的太空环境会给星载计算机的可靠性带来十分严峻的问题，商用器件的缺陷在于抗辐照能力低，在恶劣的太空环境下，商用器件受高能粒子辐照极易发生故障。而软件容错技术让我们在不利用抗辐照专用芯片的条件下也可以取得可靠性保证。但是，软件容错技术的大量复算工作会大大提高系统的能量开销，如何削减能耗成为一个必须解决的问题。
　　本研究主要内的容包括：⑴深入研究了软件容错技术的数据流和控制流容错算法以及功耗优化技术，总结了DSP硬件平台的特点，设计了从软加固前至软加固算法再至软加固后的三阶段、全方位的针对软件容错进行性能和功耗优化的优化流程。⑵分析应用了基于C/C++语言和基于汇编语言的低功耗优化方法。面向C/C++语言，针对循环代码，总结了包括循环展开、循环合并、循环分块等低功耗优化方法。在汇编语言下，针对C6000系列 DSP独特的线性汇编，总结了内联、嵌入等低功耗优化方法。通过实验验证，在进行软件容错处理之前，使用以上方法进行优化，平均性能提升幅度为36.2％。⑶分析软加固算法的特点及流程，结合DSP的流水特点，面向DSP硬件平台，对软加固算法进行改进，提出了基于DSP线性汇编的循环优化算法SFLOA，以增加容错延迟为代价，在不降低错误检测率的同时，能更充分利用DSP的流水线，大幅降低程序运行周期数，降低系统总能量消耗。通过实验验证，在容错过程中，使用SFLOA算法对容错算法的改进，可以使平均功耗优化幅度达到79.995%，平均性能提升幅度为57.76%。⑷在软加固处理之后的优化阶段中，提出了基于软加固循环的动态电压调度算法LFDVS。该算法以容错后的循环为基本单位，对每个循环分配不同的处理器频率，结合对复杂循环的静态调度和对简单循环的动态调度，在保证检错率的前提下，能最大化利用CPU的空闲时间来进行降低电压和频率。通过实验数据可以看出该算法能显著地降低能量开销。

目录

封面

声明

目录

中文摘要

英文摘要

第一章 绪论

1.1 研究背景及意义

1.2 本文主要工作

1.3 本文实验验证所使用的目标算法

1.4 论文架构

第二章 研究现状与相关技术概述

2.1 软件容错技术综述

2.2 软件功耗优化技术概述

2.3 本章小结

第三章 基于DSP平台的循环代码优化

3.1 C6000系列DSP特点

3.2 基于DSP的优化过程

3.3 循环优化法

3.4 本章小结

第四章 基于线性汇编的容错循环优化算法

4.1 SFLOA算法思想

4.2 SFLOA算法描述

4.3 SFLOA实验验证

4.4 本章小结

第五章 基于软加固循环的动态电压调度算法

5.1 LFDVS算法思想

5.2 LFDVS算法描述

5.3 LFDVS实验验证

5.4 本章小结

结束语

致谢

参考文献

作者在学期间取得的学术成果