From: "Harrison, John R" <johnh@ichips.intel.com>
To: <caml-list@inria.fr>
Cc: "Harrison, John R" <johnh@ichips.intel.com>
Subject: RE: [Caml-list] Dumping the OCaml state
Date: Wed, 29 Sep 2004 16:56:53 -0700 [thread overview]
Message-ID: <012676D607FCF54E986746512C22CE7D0FE7AA@orsmsx407> (raw)
Bob Solovay wrote:
| There used to be a command in Common Lisp "dump" which would store
| an executable image to a file that could then be restarted. My
| question is: is there something like this in OCaml.
As Carl Witty pointed out to me recently, there are quite a few
checkpointing programs that can dump an arbitrary process so that
it can be restarted later in the same state. I've recently been
using "ckpt" to save an OCaml toplevel session with HOL Light
preloaded, and it works very well. Maybe other OCaml users would
find the same thing useful. See:
http://www.cs.wisc.edu/~zandy/ckpt/
The only drawback is that this program is Linux-specific. There's
a long list of alternatives at http://www.checkpointing.org, but I
haven't found a suitable one for Windows. If anybody knows of one
(even if it only works under Cygwin) I'd be very interested.
John.
-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
next reply other threads:[~2004-09-29 23:57 UTC|newest]
Thread overview: 6+ messages / expand[flat|nested] mbox.gz Atom feed top
2004-09-29 23:56 Harrison, John R [this message]
2004-09-30 0:14 ` Igor Pechtchanski
-- strict thread matches above, loose matches on Subject: below --
2004-08-31 19:51 Harrison, John R
2004-08-30 18:57 Robert M. Solovay
2004-08-31 9:03 ` Basile Starynkevitch [local]
2004-08-31 9:11 ` Robert M. Solovay
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=012676D607FCF54E986746512C22CE7D0FE7AA@orsmsx407 \
--to=johnh@ichips.intel.com \
--cc=caml-list@inria.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).