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 BAA14804; Thu, 30 Sep 2004 01:57:59 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id BAA15457 for ; Thu, 30 Sep 2004 01:57:57 +0200 (MET DST) Received: from orsfmr001.jf.intel.com (fmr12.intel.com [134.134.136.15]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id i8TNvuu5026146 for ; Thu, 30 Sep 2004 01:57:57 +0200 Received: from petasus.jf.intel.com (petasus.jf.intel.com [10.7.209.6]) by orsfmr001.jf.intel.com (8.12.9-20030918-01/8.12.9/d: major-outer.mc,v 1.15 2004/01/30 18:16:28 root Exp $) with ESMTP id i8TNw7tW032498 for ; Wed, 29 Sep 2004 23:58:08 GMT Received: from orsmsxvs041.jf.intel.com (orsmsxvs041.jf.intel.com [192.168.65.54]) by petasus.jf.intel.com (8.12.9-20030918-01/8.12.9/d: major-inner.mc,v 1.11 2004/07/29 22:51:53 root Exp $) with SMTP id i8U00jQN019522 for ; Thu, 30 Sep 2004 00:01:07 GMT Received: from orsmsx331.amr.corp.intel.com ([192.168.65.56]) by orsmsxvs041.jf.intel.com (SAVSMTP 3.1.2.35) with SMTP id M2004092916572406952 for ; Wed, 29 Sep 2004 16:57:25 -0700 Received: from orsmsx407.amr.corp.intel.com ([192.168.65.50]) by orsmsx331.amr.corp.intel.com with Microsoft SMTPSVC(6.0.3790.0); Wed, 29 Sep 2004 16:56:54 -0700 X-MimeOLE: Produced By Microsoft Exchange V6.5.7226.0 Content-class: urn:content-classes:message MIME-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: quoted-printable Subject: RE: [Caml-list] Dumping the OCaml state Date: Wed, 29 Sep 2004 16:56:53 -0700 Message-ID: <012676D607FCF54E986746512C22CE7D0FE7AA@orsmsx407> Thread-Topic: [Caml-list] Dumping the OCaml state Thread-Index: AcSOw18ypMUS+GY/SFS7MjmaC1L//wXuojwA From: "Harrison, John R" To: Cc: "Harrison, John R" X-OriginalArrivalTime: 29 Sep 2004 23:56:54.0424 (UTC) FILETIME=[FF1B1980:01C4A67F] X-Scanned-By: MIMEDefang 2.31 (www . roaringpenguin . com / mimedefang) X-Miltered: at nez-perce with ID 415B4C04.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; caml-list:01 johnh:01 restarted:01 carl:99 restarted:01 cygwin:01 ocaml:01 ocaml:01 lisp:01 command:98 toplevel:01 dump:01 dump:01 arbitrary:02 executable:03 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk 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