Linux下基于PIN的永久和瞬时故障注入方案及实现

故障注入作为一种重要的技术手段，被广泛运用在可信性基准程序构建、容错机制有效性验证、系统性能预测以及软件可靠性评估等诸多方面．该文提出了一套Linux下瞬时故障注入方案，它通过IntelPIN框架提供的API，实现了永久故障和瞬时故障的注入，工作负载选用嵌入式基准程序集Mibench，实验结果验证了所提出．的故障注入方案的有效性。

针对程序代码语句级能耗优化方法

本文主要通过插桩技术对程序的指令进行分析,寻找到程序代码中低效冗余的数据存取语句,对这些语句进行改进,在运行结果不变的前提下,使得在运行程序过程中对于计算机相关部件的使用更加合理和高效,降低机器运行该程序的能耗,起到对程序代码能耗优化的作用。本研究通过Intel Pin^([1])工具对于程序代码指令的分析发现,常见程序中存在一种低效冗余的数据存取代码,该代码对于数据多次写入后才读。对这种代码改进前后使用根据计算机部件级硬件性能计数器相关读数建立的模型^([2])对于程序能耗进行测量,结果显示对程序能耗降低起到了明显作用,可以作为程序代码能耗优化的一种有效方法,特别是对于运行时间长能耗高的科学计算程序。