软件中出现故障,是不可避免的,软件容错日益显得重要。OpenMP程序中的并行执行段出现故障,可以使用并行复算的方法去恢复。实现并行复算,须要在程序正常运行时做检查点,保存变量的计算状态。保存全部变量会引起保存量大,进而开销大的问题。省略不需要保存的变量,是减少检查点保存量的有效途径。本文研究基于活跃变量分析的检查点优化技术,主要工作如下:针对隐式定值和隐式引用间传播的值会变化,可能会引起错误的值被传播,进而可能导致活跃变量的值不正确这一问题,本文提出标记变量、分步执行、添加赋值操作等一列方法对其进行处理,排除隐式定值和隐式引用对活跃变量分析的不良影响,并通过实验验证了这些处理方法的有效性。研究检查点中数组数据的表达式存储方法。该方法针对现有检查点方法未考虑语义,通过原始值的拷贝来保存数组元素活跃变量的值,从而存在数据保存量大的问题,根据数组元素按下标和首地址顺序存储的特性,运用表达式来存储表示数组元素活跃变量的值,从而降低数据保存量,并且通过模拟分析验证了该方法的有效性。提出OpenMP程序检查点优化算法。综合运用活跃变量分析法、隐式定值和隐式引用处理方法,以及数组数据的表达式表达方法,减少OpenMP程序检查点数据量。该算法在活跃变量分析前,先识别隐式定值和隐式引用,进而排除隐式定值和隐式引用对活跃变量分析的不良影响。然后运用活跃变量分析法,得出在检查点处需要保存的活跃变量。对数组元素活跃变量,采用保存开销更小的表达式来表达数组元素活跃变量的值,以此降低数组元素值的数据保存量。应用NPB OMP3.2测试程序,通过数据分析和模拟分析,验证了算法在降低数组元素的保存开销上的有效性。