From: Dave Mason <dmason@sarg.Ryerson.CA>
To: caml-list@inria.fr
Subject: Re: Saving the state of the program ?
Date: Mon, 22 Nov 1999 08:45:18 -0500 [thread overview]
Message-ID: <199911221345.IAA08967@sarg.Ryerson.CA> (raw)
In-Reply-To: Your message of "Sun, 21 Nov 1999 14:47:56 +0100." <Pine.GSO.4.02.9911211316360.16713-100000@pascal.enst.fr>
>>>>> On Sun, 21 Nov 1999 14:47:56 +0100 (MET), Benoit de Boursetty <debourse@email.enst.fr> said:
> On Fri, 19 Nov 1999, Dave Mason wrote:
>> > Hi, Does anyone know how to core-dump a running program, reboot,
>> > and then restart the program from where it was ?
>>
>> Emacs does that. Basically they do a core dump and then have a
>> (somewhat system dependent) unexec routine that turns the core file
>> into an executable.
>>
>> The scm scheme system uses this, too. That's probably the best
>> place to look.
> Thanks for the info. However, my question was about executables in
> the general case...
That's what I was trying to point you to. In scm you can say something like:
(if (dump "new-executable")
(begin
(display "\"new-executable\" successfully made\n")
(exit 0)))
...rest of the program...
It wouldn't be too hard to pull the code out of scm and add it to the
ocaml library. But it would rewuire some C coding experience.
../Dave
prev parent reply other threads:[~1999-11-22 17:33 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
1999-11-18 22:28 Benoit de Boursetty
1999-11-19 14:01 ` Dave Mason
1999-11-21 13:47 ` Benoit de Boursetty
1999-11-22 13:45 ` Dave Mason [this message]
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=199911221345.IAA08967@sarg.Ryerson.CA \
--to=dmason@sarg.ryerson.ca \
--cc=caml-list@inria.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).