From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id RAA02198 for caml-red; Tue, 21 Nov 2000 17:31:48 +0100 (MET) 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 PAA09905 for ; Tue, 21 Nov 2000 15:28:44 +0100 (MET) Received: from cs.Technion.AC.IL (csa.cs.technion.ac.il [132.68.32.1]) by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id eALESh505906 for ; Tue, 21 Nov 2000 15:28:44 +0100 (MET) Received: from localhost (roy@localhost) by cs.Technion.AC.IL (8.9.3+Sun/8.9.0) with SMTP id QAA07405; Tue, 21 Nov 2000 16:29:33 +0200 (IST) Date: Tue, 21 Nov 2000 16:29:33 +0200 (IST) From: Friedman Roy To: caml-list@inria.fr cc: Adnan Agbaria Subject: Platform Independent Checkpoint/Restart Using OCaml Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Sender: weis@pauillac.inria.fr I am pleased to announce the development of a platform independent mechanism for OCaml based on its virtual machine. That is, the ability to checkpoint an application on any platform (hardware and OS) for which the OCaml byterun run-time exists, and then restart it in a possibly different platform. We have built this capability into OCaml 2.02. It required a few minor modifications to the OCaml virtual machine, but it should be very easy to upgrade to OCaml 3.x. We hope that the OCaml development team would consider adding this as a standard feature in the official distribution, since it can be another good argument for using OCaml. A technical report describing our work is available from http://www.cs.technion.ac.il/users/wwwb/cgi-bin/tr-info.cgi?2000/CS/CS-2000-11. We are eager to receive comments and/or suggestions and will be happy to provide the source to anyone who asks for. An official (free) distribution will be made available in the (hopefully) near future. Adnan and Roy