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 OAA06321 for caml-redistribution; Fri, 19 Nov 1999 14:34:07 +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 XAA30919 for ; Thu, 18 Nov 1999 23:28:27 +0100 (MET) Received: from enst.enst.fr (enst.enst.fr [137.194.2.16]) by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id XAA06591 for ; Thu, 18 Nov 1999 23:28:25 +0100 (MET) Received: from email.enst.fr (muse.enst.fr [137.194.2.33]) by enst.enst.fr (8.9.1a/8.9.1) with ESMTP id XAA10378 for ; Thu, 18 Nov 1999 23:28:25 +0100 (MET) Received: from pascal.enst.fr (pascal.enst.fr [137.194.34.103]) by email.enst.fr (8.9.3/8.9.3) with ESMTP id XAA07523 for ; Thu, 18 Nov 1999 23:28:25 +0100 (MET) Received: from localhost (debourse@localhost) by pascal.enst.fr (8.8.8+Sun/8.8.8) with SMTP id XAA04121 for ; Thu, 18 Nov 1999 23:28:24 +0100 (MET) Date: Thu, 18 Nov 1999 23:28:24 +0100 (MET) From: Benoit de Boursetty Reply-To: Benoit.de-Boursetty@polytechnique.org To: caml-list@inria.fr Subject: Saving the state of the program ? Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=iso-8859-1 Content-Transfer-Encoding: QUOTED-PRINTABLE Content-Transfer-Encoding: QUOTED-PRINTABLE Sender: weis Hi, Does anyone know how to core-dump a running program, reboot, and then restart the program from where it was ? I suppose it is impossible when the program has, like, opened files or so, but when it's just performing a computation with only stdin and stdout, shouldn't it be possible ? Thanks for your help Beno=EEt de Boursetty.