From: Igor Pechtchanski <pechtcha@cs.nyu.edu>
To: "Harrison, John R" <johnh@ichips.intel.com>
Cc: caml-list@inria.fr
Subject: RE: [Caml-list] Dumping the OCaml state
Date: Wed, 29 Sep 2004 20:14:01 -0400 (EDT) [thread overview]
Message-ID: <Pine.GSO.4.61.0409292013140.3947@slinky.cs.nyu.edu> (raw)
In-Reply-To: <012676D607FCF54E986746512C22CE7D0FE7AA@orsmsx407>
On Wed, 29 Sep 2004, Harrison, John R wrote:
> 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.
Have you tried Cygwin's /bin/dumper.exe?
Igor
--
http://cs.nyu.edu/~pechtcha/
|\ _,,,---,,_ pechtcha@cs.nyu.edu
ZZZzz /,`.-'`' -. ;-;;,_ igor@watson.ibm.com
|,4- ) )-,_. ,\ ( `'-' Igor Pechtchanski, Ph.D.
'---''(_/--' `-'\_) fL a.k.a JaguaR-R-R-r-r-r-.-.-. Meow!
"Happiness lies in being privileged to work hard for long hours in doing
whatever you think is worth doing." -- Dr. Jubal Harshaw
-------------------
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 prev parent reply other threads:[~2004-09-30 0:14 UTC|newest]
Thread overview: 6+ messages / expand[flat|nested] mbox.gz Atom feed top
2004-09-29 23:56 Harrison, John R
2004-09-30 0:14 ` Igor Pechtchanski [this message]
-- 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=Pine.GSO.4.61.0409292013140.3947@slinky.cs.nyu.edu \
--to=pechtcha@cs.nyu.edu \
--cc=caml-list@inria.fr \
--cc=johnh@ichips.intel.com \
/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).