Tesis doctoral de Gabriel Rodriguez Alvarez
With the evolution of high performance computing towards heterogeneous, massively parallel systems, parallel applications have developed new checkpoint and restart necessities. Whether due to a failure in the execution or to a migration of the processes to different machines, checkpointing tools must be able to operate in heterogeneous environments. However, some of the data manipulated by a parallel application are not truly portable. Examples of these include opaque state (e.G. Data structures for communications support) or diversity of interfaces for a single feature (e.G. Communications, i/o). directly manipulating the underlying ad-hoc representations renders checkpointing tools incapable of working on different environments. Portable checkpointers usually work around portability issues at the cost of transparency: the user must provide information such as what data needs to be stored, where to store it, or where to checkpoint. Cppc (compiler for portable checkpointing) is a checkpointing tool designed to feature both portability and transparency, while preserving the scalability of the executed applications. It is made up of a library and a compiler. The cppc library contains routines for variable level checkpointing, using portable code and protocols. The cppc compiler achieves transparency by relieving the user from time-consuming tasks, such as performing code analyses and adding instrumentation code.
Datos académicos de la tesis doctoral «Compiler-assisted checkpointing of message-passing applications in heterogeneous environments«
- Título de la tesis: Compiler-assisted checkpointing of message-passing applications in heterogeneous environments
- Autor: Gabriel Rodriguez Alvarez
- Universidad: A coruña
- Fecha de lectura de la tesis: 16/12/2008
Dirección y tribunal
- Director de la tesis
- María José Martín Santamaría
- Tribunal
- Presidente del tribunal: emilio Luque fadon
- ignacio Martín llorente (vocal)
- dolores isabel Rexachs del rosario (vocal)
- Andrés Gómez tato (vocal)