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)

DMTCP scripts to get Python scripts working with SLURM.

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