OpenMP程序中基于活跃变量分析的检查点优化

摘要：

OpenMP程序通过做检查点来实现容错,现有检查点方法未考虑活跃变量的语义,通过原始值拷贝来保存活跃变量,存在检查点保存量过大的问题.对此提出数组活跃变量检查点优化算法.该算法基于程序分析,处理隐式定值和隐式引用,运用活跃变量分析法得出数组元素中的活跃变量,在适当的情况下采用由下标和数组首地址构成的表达式来表达数组元素,省略其原始值在检查点中的保存,从而减少检查点的数据保存量,达到降低检查点开销的目的.实验表明,该算法可以减少检查点的数据保存量,降低数组元素的数据保存量,达到降低检查点开销的目的,并且消除隐式定值和隐式引用带来的一些不良影响.

关键词：OpenMP程序、并行复算、活跃变量、检查点

所属期刊栏目：52

分类号：TP302.8(计算技术、计算机技术)

资助基金：国家自然科学基金61272401,61173167;湖南省科技计划重点项目2013GK2003

在线出版日期：2016-06-07（万方平台首次上网日期，不代表论文的发表时间）

页数：共12页

页码：31-41,45