Checkpoint/Restore tool

DMTCP: Distributed MultiThreaded CheckPointing

A minimal working example of DMTCP checkpoint-restart inside a Singularity container.

Program running on server is checkpointed and closed and gives the task to client to restart it again on the client system. With the help of dmtcp.

Scripts for deploying HOL Light with Docker (and optional checkpointing)

Replaces the symbols in relocatable elf object files. (For DMTCP project https://github.com/dmtcp/dmtcp/tree/static-dmtcp)

DMTCP scripts to get Python scripts working with SLURM.