一种基于扩展数据流分析的OpenMP程序应用级检查点机制

• 作者: 丁滟 宋伟 富弘毅 杨学军
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: 容错 共享存储 OpenMP 应用级检查点 数据流分析
• 年，卷（期）: 2010,（10）
• 页码范围: 1809-1822
• 分类号: TP302
• 字数: 12562字
• 语种: 中文
• DOI: 10.3724/SP.J.1016.2010.01809

摘要

随着多核处理器体系结构在高性能计算领域日益广泛的应用,面向共享存储并行程序的容错问题成为研究的热点.近年来,检查点技术已经成为该领域占主导地位的容错机制.目前已有一些针对OpenMP程序检查点技术的研究工作,但其中绝大多数解决方案都依赖于特殊的运行时库或硬件平台.该文提出一种编译辅助的OpenMP应用级检查点,它是一种平台无关的方案,通过面向OpenMP的扩展数据流分析选择那些"必需"的变量保存到检查点映像,从而降低容错的开销,同时通过运行一种非阻塞式的协议维护检查点的全局一致性.文章讨论了该机制的各个关键问题,并通过实验评测以及与同类工作的比较,表明了该文所提出的检查点机制在容错性能方面的优势.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	杨学军	国防科学技术大学计算机学院	85	786	15.0	23.0
2	富弘毅	国防科学技术大学并行与分布处理国家重点实验室	4	149	3.0	4.0
3	丁滟	国防科学技术大学计算机学院	10	171	5.0	10.0
4	宋伟	国防科学技术大学并行与分布处理国家重点实验室	3	34	3.0	3.0