New User-Guided and ckpt-Based Checkpointing Libraries for Parallel MPI Applications