Nonblocking checkpointing for optimistic parallel simulation: description and an implementation · Study