home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #19 / NN_1992_19.iso / spool / sci / math / symbolic / 2290 < prev    next >
Encoding:
Internet Message Format  |  1992-08-31  |  1.4 KB
  1. Path: sparky!uunet!mitech!gjc
  2. From: gjc@mitech.com (George J. Carrette)
  3. Newsgroups: sci.math.symbolic
  4. Subject: Re: long symbolic runs
  5. Message-ID: <2529@mitech.com>
  6. Date: 31 Aug 92 10:12:02 GMT
  7. References: <JAFFER.92Aug29231912@camelot.ai.mit.edu>
  8. Organization: Mitech Corporation, Concord MA
  9. Lines: 28
  10.  
  11. In article <JAFFER.92Aug29231912@camelot.ai.mit.edu>, jaffer@zurich.ai.mit.edu (Aubrey Jaffer) writes:
  12. > Has anyone run SYMBOLIC mathematical compatuations which, using the
  13. > best commands for the job, took days to complete and yet produced
  14. > answers small enough to be useful?
  15.  
  16. Yes. I know someone who runs computations for days and days on lispmachines.
  17.  
  18. > If this is a common occurence then it would seem to be a good
  19. > idea for symbolic math systems to dump their core images every few
  20. > hours so that large computations will not be lost.  Do any systems
  21. > offer this feature?
  22.  
  23. If I recall correctly, this was possible to do in Multics Macsyma.
  24. Where data segments were forced to be organized into specific "file-backed"
  25. areas of virtual memory. 
  26.  
  27. It was also possible to do this on a lispmachine, although you had to
  28. go to some extra effort to make sure that your control stack was preserved
  29. across a "disk-save" operation.
  30.  
  31. The "control stack" management is always your biggest problem, especially
  32. when you mix things up in the way that SCM/SIOD or most compiled-lisp
  33. implementations would tend to do.
  34.  
  35. -gjc
  36.  
  37.  
  38.  
  39.