导读:本文包含了程序活跃变量分析论文开题报告文献综述及选题提纲参考文献，主要关键词:OpenMP程序,并行复算,活跃变量,检查点
程序活跃变量分析论文文献综述
刘洋,杨金民[1]（2016）在《OpenMP程序中基于活跃变量分析的检查点优化》一文中研究指出OpenMP程序通过做检查点来实现容错,现有检查点方法未考虑活跃变量的语义,通过原始值拷贝来保存活跃变量,存在检查点保存量过大的问题。对此提出数组活跃变量检查点优化算法。该算法基于程序分析,处理隐式定值和隐式引用,运用活跃变量分析法得出数组元素中的活跃变量,在适当的情况下采用由下标和数组首地址构成的表达式来表达数组元素,省略其原始值在检查点中的保存,从而减少检查点的数据保存量,达到降低检查点开销的目的。实验表明,该算法可以减少检查点的数据保存量,降低数组元素的数据保存量,达到降低检查点开销的目的,并且消除隐式定值和隐式引用带来的一些不良影响。(本文来源于《计算机工程与应用》期刊2016年04期）
刘洋[2]（2014）在《OpenMP程序中基于活跃变量分析的检查点优化》一文中研究指出软件中出现故障,是不可避免的,软件容错日益显得重要。OpenMP程序中的并行执行段出现故障,可以使用并行复算的方法去恢复。实现并行复算,须要在程序正常运行时做检查点,保存变量的计算状态。保存全部变量会引起保存量大,进而开销大的问题。省略不需要保存的变量,是减少检查点保存量的有效途径。本文研究基于活跃变量分析的检查点优化技术,主要工作如下:针对隐式定值和隐式引用间传播的值会变化,可能会引起错误的值被传播,进而可能导致活跃变量的值不正确这一问题,本文提出标记变量、分步执行、添加赋值操作等一列方法对其进行处理,排除隐式定值和隐式引用对活跃变量分析的不良影响,并通过实验验证了这些处理方法的有效性。研究检查点中数组数据的表达式存储方法。该方法针对现有检查点方法未考虑语义,通过原始值的拷贝来保存数组元素活跃变量的值,从而存在数据保存量大的问题,根据数组元素按下标和首地址顺序存储的特性,运用表达式来存储表示数组元素活跃变量的值,从而降低数据保存量,并且通过模拟分析验证了该方法的有效性。提出OpenMP程序检查点优化算法。综合运用活跃变量分析法、隐式定值和隐式引用处理方法,以及数组数据的表达式表达方法,减少OpenMP程序检查点数据量。该算法在活跃变量分析前,先识别隐式定值和隐式引用,进而排除隐式定值和隐式引用对活跃变量分析的不良影响。然后运用活跃变量分析法,得出在检查点处需要保存的活跃变量。对数组元素活跃变量,采用保存开销更小的表达式来表达数组元素活跃变量的值,以此降低数组元素值的数据保存量。应用NPB OMP3.2测试程序,通过数据分析和模拟分析,验证了算法在降低数组元素的保存开销上的有效性。(本文来源于《湖南大学》期刊2014-05-30）
程序活跃变量分析论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
软件中出现故障,是不可避免的,软件容错日益显得重要。OpenMP程序中的并行执行段出现故障,可以使用并行复算的方法去恢复。实现并行复算,须要在程序正常运行时做检查点,保存变量的计算状态。保存全部变量会引起保存量大,进而开销大的问题。省略不需要保存的变量,是减少检查点保存量的有效途径。本文研究基于活跃变量分析的检查点优化技术,主要工作如下:针对隐式定值和隐式引用间传播的值会变化,可能会引起错误的值被传播,进而可能导致活跃变量的值不正确这一问题,本文提出标记变量、分步执行、添加赋值操作等一列方法对其进行处理,排除隐式定值和隐式引用对活跃变量分析的不良影响,并通过实验验证了这些处理方法的有效性。研究检查点中数组数据的表达式存储方法。该方法针对现有检查点方法未考虑语义,通过原始值的拷贝来保存数组元素活跃变量的值,从而存在数据保存量大的问题,根据数组元素按下标和首地址顺序存储的特性,运用表达式来存储表示数组元素活跃变量的值,从而降低数据保存量,并且通过模拟分析验证了该方法的有效性。提出OpenMP程序检查点优化算法。综合运用活跃变量分析法、隐式定值和隐式引用处理方法,以及数组数据的表达式表达方法,减少OpenMP程序检查点数据量。该算法在活跃变量分析前,先识别隐式定值和隐式引用,进而排除隐式定值和隐式引用对活跃变量分析的不良影响。然后运用活跃变量分析法,得出在检查点处需要保存的活跃变量。对数组元素活跃变量,采用保存开销更小的表达式来表达数组元素活跃变量的值,以此降低数组元素值的数据保存量。应用NPB OMP3.2测试程序,通过数据分析和模拟分析,验证了算法在降低数组元素的保存开销上的有效性。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
程序活跃变量分析论文参考文献
[1].刘洋,杨金民.OpenMP程序中基于活跃变量分析的检查点优化[J].计算机工程与应用.2016
[2].刘洋.OpenMP程序中基于活跃变量分析的检查点优化[D].湖南大学.2014