Update descriptions about checkpointing tools and other minor details #87
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
|
To @mpu : I just realized that probably I should have asked first before writing this patch. I found that selfie worked pretty well on my x86-64 machine; I recommended it as one of three options of checkpointing tools. Does it look good or is it better to mention the only two other tools in this document? |
mpu
reviewed
Jan 11, 2024
mpu
reviewed
Jan 11, 2024
|
|
||
| ./dmtcp_restart_script.sh | ||
| # #load "selfie.cma";; | ||
| # #use "selfie.ml";; |
There was a problem hiding this comment.
No need for this #use "selfie.ml";;, rather you just do Selfie.snap "output.img";; below.
There was a problem hiding this comment.
Umm, on my ocaml instance I am seeing this error message without #use "selfie.ml";;:
Camlp5 parsing version 7.10
# #load "selfie.cma";;
# Selfie.snap "test";;
File "help.ml" already loaded
Characters 0-11:
Selfie.snap "test";;
^^^^^^^^^^^
Error: Unbound module Selfie
Would it require additional settings?
|
@aqjune, no problem! I'm glad somebody else finds selfie useful. |
This patch updates README to explain three checkpointing tools that are working as of 2024: DMTCP, CRIU and selfie. Also, minor details of README are updated and a comment saying that ckpt does not work is added to Makefile.
jrh13
approved these changes
Jan 12, 2024
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
This patch updates README to explain three checkpointing tools that are working as of 2024: DMTCP, CRIU and selfie.
Also, minor details of README are updated and a comment saying that ckpt does not work is added to Makefile.