面向OpenMP的混合检查点机制  

A new hybrid mechanism for Checkpoint/Restart in OpenMP programs

作　　者：黄春[1] 刘勇鹏[1] 杨学军[1] 

机构地区：[1]国防科技大学计算机学院,长沙410073

出　　处：《计算机科学与探索》2007年第2期191-199,共9页Journal of Frontiers of Computer Science and Technology

基　　金：the National High-Tech Research and Development Plan of China under Grant No.2004AA1Z2210(国家高技术研究发展计划(863)).

摘　　要：检查点/续算是软件容错的重要途径之一。论文描述了一个系统级和应用级混合的OpenMP检查点机制,系统级支持不仅使检查点系统具有了好的透明性,并且使共享数据的保存不再由主线程单独完成,具有良好的数据局部性。应用级OpenMP协议将与OpenMP相关的协议处理独立出来,提高了系统的可移植性。NPB3.2-OMP测试结果表明,检查点和续算所需要的时间开销小,能够满足大规模程序的实际需求。Checkpoint/Restart is one of the important approaches for software fault-tolerance. In this paper, the system-level and application-level coordinated Checkpoint/Restart mechanisms for OpenMP programs are presented. The system-level support is introduced for transparency, and it makes shared data saved by all threads together. The semantics-related operations of OpenMP will be separated from and hence independent of low-level systems by the application-level OpenMP checkpoint protocol, which improves portability of the checkpoint system. Based on the presented mechanism, a CCRG OpenMP Checkpoint/Restart system has been implemented. The experiments, such as NPB3.2-OMP, show the overhead of checkpointing and restarting is so limited that the system can be used in large scale programs.

关 键 词：检查点系统 系统级 应用级 数据局部性 检查点机制 协议处理 时间开销 软件容错 可移植性 共享数据 测试结果 主线程 透明性 描述 论文 程序 保存 

分 类 号：TP[自动化与计算机技术]