https://github.com/fred-dbg/fred uses https://lobste.rs/s/2qqay4/dmtcp_distributed_multithreaded_checkpointing