From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: weis Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id OAA00657 for caml-redistribution; Mon, 22 Nov 1999 14:02:09 +0100 (MET) 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 QAA30009 for ; Sun, 21 Nov 1999 16:08:01 +0100 (MET) Received: from cs.Technion.AC.IL (csa.cs.technion.ac.il [132.68.32.1]) by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id QAA10017 for ; Sun, 21 Nov 1999 16:08:00 +0100 (MET) Received: from csd.cs.technion.ac.il (csd.cs.technion.ac.il [132.68.32.8]) by cs.Technion.AC.IL (8.9.0/8.9.0) with ESMTP id RAA13222; Sun, 21 Nov 1999 17:10:24 +0200 (IST) Received: from cs.technion.ac.il (IDENT:adnan@ta245-ntw.cs.technion.ac.il [132.68.34.245]) by csd.cs.technion.ac.il (8.9.3/8.9.0) with ESMTP id RAA21262; Sun, 21 Nov 1999 17:10:23 +0200 (IST) Sender: weis Message-ID: <38380A59.35839AEB@cs.technion.ac.il> Date: Sun, 21 Nov 1999 17:06:01 +0200 From: Adnan Agbaria Organization: Technion - Israel Institue of Technology X-Mailer: Mozilla 4.07 [en] (X11; I; Linux 2.0.36 i686) MIME-Version: 1.0 To: debourse@email.enst.fr, Benoit.de-Boursetty@polytechnique.org CC: caml-list@inria.fr Subject: Re:Saving the state of the program ? Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Hi, we're working on a system that performs checkpoint/restart of a serial and parallel application called Starfish (see http://dsl.cs.technion.ac.il/Starfish). We are implementing Starfish using Ocaml language. We not yet release the source code of Starfish, but we can help you to perform you requirement of saving the process state and then restart it. Best Regards, Adnan -- <<<<<<<<<<<<<<<<<<<<<<>>>>>>>>>>>>>>>>>>>>>> Ph.D. Candidate Computer Science Department Technion - Israel Institute of Technology