How to save core images ???

[stevens at uiucdcs.Uiuc.ARPA]

Does anyone have a method for writing out a core image of an executing
job running under BSD 4.2 and later restoring the job to the state of
execution prior to the save ?

I have a routine that will do almost that but does not work 100 % of
the time.  It looks like there are pointers from the data area pointing
into the system stack.. Does that make any sense? 

My solution appears to work fine if the core image is restored while
still executing the original job.  That is start a job.. do a save to
a data file then continue executing.. then at some point do a restore 
from the data file and arrive back to the previous state of execution.

The program in question which we would like to use this function on
is a large 70,000 line pascal theorem prover.  Currently the save/restore
code is in C.  Small test examples without dynamic memory allocation appear
to work.  

Any suggestions or knowledge that the task is impossible would be welcome.

Send replies via Arpanet to stevens at anl-mcs or simply reply to this notesfile.

--Rick

stevens at anl-mcs