Transparent checkpointing over RDMA-based networks