User guide

This guide tells how to checkpoint and restart MPI jobs with MANA. It assumes that you built MANA (see Install) and that you did the Quick start.

MANA builds on DMTCP. The MANA commands are wrappers of the DMTCP commands, and they accept the DMTCP options too. This guide covers only the topics that are specific to MANA. For the other topics, see the DMTCP documentation.

Page Contents
Checkpoint and restart The ways to checkpoint, the checkpoint files, and restart
Commands The options of mana_coordinator, mana_launch, mana_status and mana_restart
Clusters and Slurm Jobs on more than one node, srun, and notes for some clusters
Environment variables The variables that change how MANA runs
MPI support and limitations The MPI features that MANA supports, and its limitations
Debugging What to do when a checkpoint or a restart fails

Table of contents