CVS: sml-dist HISTORY,1.440,1.441

Matthias Blume <[email protected]>
Newsgroups gmane.comp.lang.sml.smlnj.commits
Message-ID <[email protected]>
Update of /cvsroot/smlnj/sml-dist
In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv11295

Modified Files:
	HISTORY 
Log Message:
added mechanism for re-dumping heap image for interactive system

Index: HISTORY
===================================================================
RCS file: /cvsroot/smlnj/sml-dist/HISTORY,v
retrieving revision 1.440
retrieving revision 1.441
diff -C2 -d -r1.440 -r1.441
*** HISTORY	10 May 2005 02:56:53 -0000	1.440
--- HISTORY	17 May 2005 04:46:10 -0000	1.441
***************
*** 15,18 ****
--- 15,39 ----
  ----------------------------------------------------------------------
  Name: Matthias Blume (blume (at) tti - c (dot) org)
+ Date: 2005/05/16 23:50:00 CDT
+ Tag: blume-20050516-redump-heap
+ Description:
+ 
+ Added mechanism for re-creating a heap file for the interactive system
+ after configuration variables have been changed.
+ 
+    CM.redump_heap : string -> unit
+ 
+ This is much like SMLofNJ.exportML, but starting from the resulting
+ heap does not return to the caller of CM.redump_heap but 
+ restarts the interactive system from scratch.  The original call of
+ CM.redump_heap does not return but ends the interactive session.
+ Thus, CM.redump_heap is a lot like SMLofNJ.exportFn.
+ 
+ Internally, redump_heap winds the dynamic execution context back to
+ the point where the original heap image was created and re-executes
+ the heap image generation code in the boot code.
+ 
+ ----------------------------------------------------------------------
+ Name: Matthias Blume (blume (at) tti - c (dot) org)
  Date: 2005/05/09 21:55:00 CDT
  Tag: blume-20050509-word64



-------------------------------------------------------
This SF.Net email is sponsored by Oracle Space Sweepstakes
Want to be the first software developer in space?
Enter now for the Oracle Space Sweepstakes!
http://ads.osdn.com/?ad_id=7412&alloc_id=16344&op=click
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.