From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id CAA16095; Thu, 30 Sep 2004 02:14:06 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id CAA15630 for ; Thu, 30 Sep 2004 02:14:05 +0200 (MET DST) Received: from slinky.cs.nyu.edu (SLINKY.CS.NYU.EDU [128.122.20.14]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id i8U0E4nJ027761 for ; Thu, 30 Sep 2004 02:14:05 +0200 Received: from localhost (localhost [127.0.0.1]) by slinky.cs.nyu.edu (8.12.10+Sun/8.12.10) with ESMTP id i8U0E1oQ015849; Wed, 29 Sep 2004 20:14:01 -0400 (EDT) Date: Wed, 29 Sep 2004 20:14:01 -0400 (EDT) From: Igor Pechtchanski Reply-To: caml-list@inria.fr To: "Harrison, John R" cc: caml-list@inria.fr Subject: RE: [Caml-list] Dumping the OCaml state In-Reply-To: <012676D607FCF54E986746512C22CE7D0FE7AA@orsmsx407> Message-ID: References: <012676D607FCF54E986746512C22CE7D0FE7AA@orsmsx407> Importance: Normal MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-Scanned-By: MIMEDefang 2.39 X-Miltered: at concorde with ID 415B4FCC.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; nyu:99 caml-list:01 restarted:01 carl:99 restarted:01 cygwin:01 cygwin's:01 nyu:99 ,,,:99 bin:01 ocaml:01 ocaml:01 lisp:01 command:98 toplevel:01 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk 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