An Application-Level Checkpointing Based on Extended Data Flow Analysis for OpenMP Programs

As the wide application of multi-core processor architecture in the domain of high performance computing,fault tolerance for shared memory parallel programs becomes a hot spot of research.For years,checkpointing has been the dominant fault tolerance technology in this field.Recently,a few research works regarding checkpointing for OpenMP programs have been proposed.However,most of the approaches depend on special libraries or hardware platforms.This paper proposes a compiler-assisted application level checkpointing for OpenMP programs.It is a platform-independent scheme,and through the extended static data flow analysis,it automatically chooses those 'must-be-saved' variables to save in the checkpoint image,to reduce the overhead.It also maintains the global coherence of checkpoints by running a non-block protocol.In this paper,the key issues in the approach are discussed in detail,and the experimental result and the comparison with similar works show the proposed approach achieves promising performance.