Version française
Home     About     Download     Resources     Contact us    
Browse thread
RE: [Caml-list] Dumping the OCaml state
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Igor Pechtchanski <pechtcha@c...>
Subject: RE: [Caml-list] Dumping the OCaml state
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