Here is a summary list of the many acronyms relevant to C/R that are used in this topic. Refer to it as needed.

It can also be viewed as a list of examples of the different kinds of checkpointing solutions.

C/R acronyms
BLCR Berkeley Lab Checkpoint/Restart An older hybrid kernel/user implementation of checkpoint/restart. It is no longer updated.
CAF C++ Actor Framework An Open Source Implementation of the Actor Model in C++.
CRIU Checkpoint/Restore In Userspace A project to implement checkpoint/restore functionality for Linux in userspace.
DMTCP Distributed MultiThreaded Checkpointing A tool to transparently checkpoint the state of multiple simultaneous applications, including multi-threaded and distributed applications, without needing any kernel modules or modifications.
HDF Hierarchical Data Format A set of file formats (HDF4, HDF5) designed to store and organize large amounts of data.
JSON JavaScript Object Notation A lightweight data-interchange format.
KVM Kernel-based Virtual Machine A virtualization infrastructure for the Linux kernel that turns it into a hypervisor.
LXC/LXD Linux Containers An operating-system-level virtualization solution for running isolated Linux systems (containers) using a single Linux kernel. LXD includes tools for managing LXC.
MANA MPI-Agnostic Network-Agnostic checkpointing tool Implementation of transparent checkpointing for MPI, based on DMTCP.
NetCDF Network Common Data Form A set of software libraries (now built on HDF5) and self-describing, machine-independent data formats that support the creation, access, and sharing of array-oriented scientific data.
XML Extensible Markup Language A markup language that defines a set of rules for encoding documents in a format that is both human-readable and machine-readable.
 
©  |   Cornell University    |   Center for Advanced Computing    |   Copyright Statement    |   Inclusivity Statement