Depending on your perspective, good or bad news.
I have been working or trying to duplicate the core dump while purify'ing problem
outside of our application and I think I have succeeded.
After seeing the backtrace, it looked to me like the problem might be related
to depth/breadth/size of structures that purify was traversing. I modified my
previous experiments to more closely mimic the complexity of how our AST's
(the dominant data structure in our application) are hooked together. The
simulated application now dumps core when you call purify. The backtrace
looks similar to the backtrace in the real application.
The simulated application is attached along with a transcript. Directions are
included in the transcript.
-bill-
-- Attached file included as plaintext by Listar --
-- File: 2004_04_23-pseudo-oatw-session.text
;;; Directions
1. Start lisp
2. Load the simulated application
(load (compile-file "xxxxxx/pseudo-OATW.lisp"))
3. "Run" the simulated application
(parse-programs 32 1500 1000)
Depending on available memory, takes 30 seconds to a couple minutes.
4. Call purify
(ext::purify)
5. Wait for the core dump.
Depending on available memory, takes 10 seconds to a minute.
;;; Transcript
;;;----------------------------------------------------------------------
;;; start a "recent" cmucl -- the 4/23/04 snapshot
otwb-dev bbrew 198> /org/develop/reasoning/lisp/cmucl/ss2004-04-23/bin/lisp
CMU Common Lisp CVS Head 2004-04-23 20:30:44, running on otwb-dev
With core:
/net/dlsun3004/private/projects/org/develop/CMUCL/ss2004_04_23/lib/cmucl/lib/lisp.core
Dumped on: Fri, 2004-04-23 17:48:28-07:00 on moria.users.earthlink.net
See <http://www.cons.org/cmucl/> for support information.
Loaded subsystems:
Python 1.1, target UltraSparc/Solaris 7
CLOS based on Gerd's PCL 2004/04/14 03:32:47
;;;----------------------------------------------------------------------
;;; this loads the simulated "application"
* (load (compile-file "/org/develop/reasoning/porting/pseudo-oatw/pseudo-OATW.lisp"))
; Python version 1.1, VM version UltraSparc/Solaris 7 on 27 APR 04 11:53:11 am.
; Compiling: /projects/org/develop/reasoning/porting/pseudo-oatw/pseudo-OATW.lisp 27
APR 04 11:51:17 am
; Byte Compiling Top-Level Form:
; Converted CREATE-KBNODE.
; Compiling DEFSTRUCT KBNODE:
; Byte Compiling Top-Level Form:
; Byte Compiling Top-Level Form:
; Byte Compiling Top-Level Form:
; Byte Compiling Top-Level Form:
; Byte Compiling Top-Level Form:
; Byte Compiling Top-Level Form:
; Converted DB-PUT.
; Compiling DEFUN DB-PUT:
; Converted DB-GET.
; Compiling DEFUN DB-GET:
; Converted DB-PUSH.
; Compiling DEFUN DB-PUSH:
; Converted MOLT-KBNODE.
; Compiling DEFUN MOLT-KBNODE:
; Converted MAKE-OBJECT-IN-CLASS.
; Compiling DEFUN MAKE-OBJECT-IN-CLASS:
; Byte Compiling Top-Level Form:
; Byte Compiling Top-Level Form:
; Byte Compiling Top-Level Form:
; Byte Compiling Top-Level Form:
; Byte Compiling Top-Level Form:
; Byte Compiling Top-Level Form:
; Converted CREATE-STREAM-SEQUENCE.
; Compiling DEFSTRUCT STREAM-SEQUENCE:
; Converted READ-A-CHARACTER.
; Compiling DEFUN READ-A-CHARACTER:
; Converted CHURN-FOR-N-CHARS.
; Compiling DEFUN CHURN-FOR-N-CHARS:
; Converted CHURN1.
; Compiling DEFUN CHURN1:
; Converted MAKE-REF-LEAF.
; Compiling DEFUN MAKE-REF-LEAF:
; Converted MAKE-LITERAL-LEAF.
; Compiling DEFUN MAKE-LITERAL-LEAF:
; Converted MAKE-NODE-WITH-N-CHARACTERS.
; Compiling DEFUN MAKE-NODE-WITH-N-CHARACTERS:
; Converted PARSE-PROGRAMS.
; Compiling DEFUN PARSE-PROGRAMS:
; Converted RELEASE-PROGRAMS.
; Compiling DEFUN RELEASE-PROGRAMS:
; Byte Compiling Top-Level Form:
; Converted MAKE-DEF-TABLE.
; Compiling DEFUN MAKE-DEF-TABLE:
; Converted ADD-DEF-NODE.
; Compiling DEFUN ADD-DEF-NODE:
; Converted LINK-REF-TO-DEF.
; Compiling DEFUN LINK-REF-TO-DEF:
; Converted CLEANUP.
; Compiling DEFUN CLEANUP:
; Byte Compiling Top-Level Form:
; /org/develop/reasoning/porting/pseudo-oatw/pseudo-OATW.sparcf written.
; Compilation finished in 0:00:04.
; Loading #p"/projects/org/develop/reasoning/porting/pseudo-oatw/pseudo-OATW.sparcf".
T
;;;----------------------------------------------------------------------
;;; this step takes about 30 seconds on a machine with lots of memory, several
;;; minutes on lesser machines.
* (parse-programs 32 1500 1000)
Simulating parse of 32 programs of 1,500 lines each
48,000 lines 45,000 characters) 1,000 vars.
Estimated defs: 4800, Def table size: 1440
Dynamic Space Usage: 9,704,136 bytes (out of 256 MB).
Read-Only Space Usage: 22,851,032 bytes (out of 256 MB).
Static Space Usage: 2,670,704 bytes (out of 256 MB).
Control Stack Usage: 608 bytes (out of 128 MB).
Binding Stack Usage: 128 bytes (out of 128 MB).
The current dynamic space is 0.
Garbage collection is currently enabled.
; [GC threshold exceeded with 12,361,664 bytes in use. Commencing GC.]
; [GC completed with 226,920 bytes retained and 12,134,744 bytes freed.]
; [GC will next occur when at least 12,226,920 bytes are in use.]
Breakdown for dynamic space:
3,920,192 bytes for 89,016 instance objects.
3,781,080 bytes for 472,635 cons objects.
555,112 bytes for 1,979 simple-vector-type objects.
1,460,040 bytes for 82,257 other objects.
9,716,424 bytes for 645,887 dynamic objects (space total.)
------------------------------------------------------------
Starting program 1 ...
; [GC threshold exceeded with 12,349,264 bytes in use. Commencing GC.]
; [GC completed with 2,072,160 bytes retained and 10,277,104 bytes freed.]
; [GC will next occur when at least 14,072,160 bytes are in use.]
500 defs entered into table (filling)
Created 19,531 nodes so far
------------------------------------------------------------
Starting program 2 ...
5000 refs linked
; [GC threshold exceeded with 14,194,656 bytes in use. Commencing GC.]
; [GC completed with 3,885,728 bytes retained and 10,308,928 bytes freed.]
; [GC will next occur when at least 15,885,728 bytes are in use.]
1000 defs entered into table (filling)
; [GC threshold exceeded with 16,008,248 bytes in use. Commencing GC.]
; [GC completed with 5,696,080 bytes retained and 10,312,168 bytes freed.]
; [GC will next occur when at least 17,696,080 bytes are in use.]
Created 39,062 nodes so far
------------------------------------------------------------
Starting program 3 ...
10000 refs linked
1500 defs entered into table (filled)
; [GC threshold exceeded with 17,818,816 bytes in use. Commencing GC.]
; [GC completed with 7,509,160 bytes retained and 10,309,656 bytes freed.]
; [GC will next occur when at least 19,509,160 bytes are in use.]
Created 58,593 nodes so far
------------------------------------------------------------
Starting program 4 ...
15000 refs linked
; [GC threshold exceeded with 19,631,872 bytes in use. Commencing GC.]
; [GC completed with 8,232,904 bytes retained and 11,398,968 bytes freed.]
; [GC will next occur when at least 20,232,904 bytes are in use.]
2000 defs entered into table (filled)
; [GC threshold exceeded with 20,355,592 bytes in use. Commencing GC.]
; [GC completed with 10,046,832 bytes retained and 10,308,760 bytes freed.]
; [GC will next occur when at least 22,046,832 bytes are in use.]
Created 78,124 nodes so far
------------------------------------------------------------
Starting program 5 ...
20000 refs linked
2500 defs entered into table (filled)
; [GC threshold exceeded with 22,169,480 bytes in use. Commencing GC.]
; [GC completed with 11,856,904 bytes retained and 10,312,576 bytes freed.]
; [GC will next occur when at least 23,856,904 bytes are in use.]
3000 defs entered into table (filled)
Created 97,655 nodes so far
------------------------------------------------------------
Starting program 6 ...
25000 refs linked
; [GC threshold exceeded with 23,979,536 bytes in use. Commencing GC.]
; [GC completed with 13,670,016 bytes retained and 10,309,520 bytes freed.]
; [GC will next occur when at least 25,670,016 bytes are in use.]
3500 defs entered into table (filled)
; [GC threshold exceeded with 25,792,240 bytes in use. Commencing GC.]
; [GC completed with 14,754,896 bytes retained and 11,037,344 bytes freed.]
; [GC will next occur when at least 26,754,896 bytes are in use.]
Created 117,186 nodes so far
------------------------------------------------------------
Starting program 7 ...
30000 refs linked
; [GC threshold exceeded with 26,877,536 bytes in use. Commencing GC.]
; [GC completed with 16,568,448 bytes retained and 10,309,088 bytes freed.]
; [GC will next occur when at least 28,568,448 bytes are in use.]
4000 defs entered into table (filled)
Created 136,717 nodes so far
------------------------------------------------------------
Starting program 8 ...
; [GC threshold exceeded with 28,690,992 bytes in use. Commencing GC.]
; [GC completed with 18,016,592 bytes retained and 10,674,400 bytes freed.]
; [GC will next occur when at least 30,016,592 bytes are in use.]
35000 refs linked
4500 defs entered into table (filled)
; [GC threshold exceeded with 30,139,144 bytes in use. Commencing GC.]
; [GC completed with 19,830,408 bytes retained and 10,308,736 bytes freed.]
; [GC will next occur when at least 31,830,408 bytes are in use.]
Created 156,248 nodes so far
------------------------------------------------------------
Starting program 9 ...
5000 defs entered into table (filled)
40000 refs linked
; [GC threshold exceeded with 31,952,808 bytes in use. Commencing GC.]
; [GC completed with 21,638,880 bytes retained and 10,313,928 bytes freed.]
; [GC will next occur when at least 33,638,880 bytes are in use.]
5500 defs entered into table (filled)
Created 175,779 nodes so far
------------------------------------------------------------
Starting program 10 ...
; [GC threshold exceeded with 33,761,656 bytes in use. Commencing GC.]
; [GC completed with 23,451,080 bytes retained and 10,310,576 bytes freed.]
; [GC will next occur when at least 35,451,080 bytes are in use.]
45000 refs linked
6000 defs entered into table (filled)
; [GC threshold exceeded with 35,573,696 bytes in use. Commencing GC.]
; [GC completed with 24,534,984 bytes retained and 11,038,712 bytes freed.]
; [GC will next occur when at least 36,534,984 bytes are in use.]
Created 195,310 nodes so far
------------------------------------------------------------
Starting program 11 ...
50000 refs linked
; [GC threshold exceeded with 36,657,560 bytes in use. Commencing GC.]
; [GC completed with 26,348,856 bytes retained and 10,308,704 bytes freed.]
; [GC will next occur when at least 38,348,856 bytes are in use.]
6500 defs entered into table (filled)
Created 214,841 nodes so far
------------------------------------------------------------
Starting program 12 ...
; [GC threshold exceeded with 38,471,464 bytes in use. Commencing GC.]
; [GC completed with 27,799,432 bytes retained and 10,672,032 bytes freed.]
; [GC will next occur when at least 39,799,432 bytes are in use.]
7000 defs entered into table (filled)
55000 refs linked
; [GC threshold exceeded with 39,922,032 bytes in use. Commencing GC.]
; [GC completed with 29,611,464 bytes retained and 10,310,568 bytes freed.]
; [GC will next occur when at least 41,611,464 bytes are in use.]
Created 234,372 nodes so far
------------------------------------------------------------
Starting program 13 ...
7500 defs entered into table (filled)
; [GC threshold exceeded with 41,734,032 bytes in use. Commencing GC.]
; [GC completed with 30,693,752 bytes retained and 11,040,280 bytes freed.]
; [GC will next occur when at least 42,693,752 bytes are in use.]
60000 refs linked
8000 defs entered into table (filled)
; [GC threshold exceeded with 42,783,688 bytes in use. Commencing GC.]
; [GC completed with 32,502,768 bytes retained and 10,280,920 bytes freed.]
; [GC will next occur when at least 44,502,768 bytes are in use.]
Created 253,903 nodes so far
------------------------------------------------------------
Starting program 14 ...
65000 refs linked
; [GC threshold exceeded with 44,592,616 bytes in use. Commencing GC.]
; [GC completed with 34,308,440 bytes retained and 10,284,176 bytes freed.]
; [GC will next occur when at least 46,308,440 bytes are in use.]
8500 defs entered into table (filled)
Created 273,434 nodes so far
------------------------------------------------------------
Starting program 15 ...
; [GC threshold exceeded with 46,398,344 bytes in use. Commencing GC.]
; [GC completed with 36,117,184 bytes retained and 10,281,160 bytes freed.]
; [GC will next occur when at least 48,117,184 bytes are in use.]
70000 refs linked
9000 defs entered into table (filled)
; [GC threshold exceeded with 48,206,952 bytes in use. Commencing GC.]
; [GC completed with 37,922,144 bytes retained and 10,284,808 bytes freed.]
; [GC will next occur when at least 49,922,144 bytes are in use.]
Created 292,965 nodes so far
------------------------------------------------------------
Starting program 16 ...
9500 defs entered into table (filled)
75000 refs linked
; [GC threshold exceeded with 50,012,184 bytes in use. Commencing GC.]
; [GC completed with 39,730,936 bytes retained and 10,281,248 bytes freed.]
; [GC will next occur when at least 51,730,936 bytes are in use.]
10000 defs entered into table (filled)
Created 312,496 nodes so far
------------------------------------------------------------
Starting program 17 ...
; [GC threshold exceeded with 51,820,864 bytes in use. Commencing GC.]
; [GC completed with 40,448,928 bytes retained and 11,371,936 bytes freed.]
; [GC will next occur when at least 52,448,928 bytes are in use.]
80000 refs linked
10500 defs entered into table (filled)
; [GC threshold exceeded with 52,539,024 bytes in use. Commencing GC.]
; [GC completed with 42,256,144 bytes retained and 10,282,880 bytes freed.]
; [GC will next occur when at least 54,256,144 bytes are in use.]
Created 332,027 nodes so far
------------------------------------------------------------
Starting program 18 ...
; [GC threshold exceeded with 54,346,168 bytes in use. Commencing GC.]
; [GC completed with 44,063,520 bytes retained and 10,282,648 bytes freed.]
; [GC will next occur when at least 56,063,520 bytes are in use.]
11000 defs entered into table (filled)
85000 refs linked
Created 351,558 nodes so far
------------------------------------------------------------
Starting program 19 ...
; [GC threshold exceeded with 56,153,416 bytes in use. Commencing GC.]
; [GC completed with 45,871,976 bytes retained and 10,281,440 bytes freed.]
; [GC will next occur when at least 57,871,976 bytes are in use.]
11500 defs entered into table (filled)
90000 refs linked
; [GC threshold exceeded with 57,961,840 bytes in use. Commencing GC.]
; [GC completed with 46,220,384 bytes retained and 11,741,456 bytes freed.]
; [GC will next occur when at least 58,220,384 bytes are in use.]
Created 371,089 nodes so far
------------------------------------------------------------
Starting program 20 ...
12000 defs entered into table (filled)
; [GC threshold exceeded with 58,342,864 bytes in use. Commencing GC.]
; [GC completed with 48,035,112 bytes retained and 10,307,752 bytes freed.]
; [GC will next occur when at least 60,035,112 bytes are in use.]
95000 refs linked
12500 defs entered into table (filled)
Created 390,620 nodes so far
------------------------------------------------------------
Starting program 21 ...
; [GC threshold exceeded with 60,157,416 bytes in use. Commencing GC.]
; [GC completed with 49,484,600 bytes retained and 10,672,816 bytes freed.]
; [GC will next occur when at least 61,484,600 bytes are in use.]
100000 refs linked
; [GC threshold exceeded with 61,606,880 bytes in use. Commencing GC.]
; [GC completed with 51,298,552 bytes retained and 10,308,328 bytes freed.]
; [GC will next occur when at least 63,298,552 bytes are in use.]
13000 defs entered into table (filled)
Created 410,151 nodes so far
------------------------------------------------------------
Starting program 22 ...
; [GC threshold exceeded with 63,421,008 bytes in use. Commencing GC.]
; [GC completed with 53,109,432 bytes retained and 10,311,576 bytes freed.]
; [GC will next occur when at least 65,109,432 bytes are in use.]
13500 defs entered into table (filled)
105000 refs linked
Created 429,682 nodes so far
------------------------------------------------------------
Starting program 23 ...
; [GC threshold exceeded with 65,232,280 bytes in use. Commencing GC.]
; [GC completed with 54,922,160 bytes retained and 10,310,120 bytes freed.]
; [GC will next occur when at least 66,922,160 bytes are in use.]
14000 defs entered into table (filled)
; [GC threshold exceeded with 67,044,896 bytes in use. Commencing GC.]
; [GC completed with 56,003,600 bytes retained and 11,041,296 bytes freed.]
; [GC will next occur when at least 68,003,600 bytes are in use.]
110000 refs linked
Created 449,213 nodes so far
------------------------------------------------------------
Starting program 24 ...
; [GC threshold exceeded with 68,126,080 bytes in use. Commencing GC.]
; [GC completed with 57,815,464 bytes retained and 10,310,616 bytes freed.]
; [GC will next occur when at least 69,815,464 bytes are in use.]
14500 defs entered into table (filled)
115000 refs linked
; [GC threshold exceeded with 69,937,784 bytes in use. Commencing GC.]
; [GC completed with 59,627,664 bytes retained and 10,310,120 bytes freed.]
; [GC will next occur when at least 71,627,664 bytes are in use.]
Created 468,744 nodes so far
------------------------------------------------------------
Starting program 25 ...
15000 defs entered into table (filled)
; [GC threshold exceeded with 71,750,160 bytes in use. Commencing GC.]
; [GC completed with 61,441,336 bytes retained and 10,308,824 bytes freed.]
; [GC will next occur when at least 73,441,336 bytes are in use.]
120000 refs linked
15500 defs entered into table (filled)
Created 488,275 nodes so far
------------------------------------------------------------
Starting program 26 ...
; [GC threshold exceeded with 73,564,064 bytes in use. Commencing GC.]
; [GC completed with 62,165,752 bytes retained and 11,398,312 bytes freed.]
; [GC will next occur when at least 74,165,752 bytes are in use.]
16000 defs entered into table (filled)
125000 refs linked
; [GC threshold exceeded with 74,255,792 bytes in use. Commencing GC.]
; [GC completed with 63,973,768 bytes retained and 10,282,024 bytes freed.]
; [GC will next occur when at least 75,973,768 bytes are in use.]
Created 507,806 nodes so far
------------------------------------------------------------
Starting program 27 ...
16500 defs entered into table (filled)
; [GC threshold exceeded with 76,063,488 bytes in use. Commencing GC.]
; [GC completed with 65,777,872 bytes retained and 10,285,616 bytes freed.]
; [GC will next occur when at least 77,777,872 bytes are in use.]
130000 refs linked
Created 527,337 nodes so far
------------------------------------------------------------
Starting program 28 ...
; [GC threshold exceeded with 77,867,856 bytes in use. Commencing GC.]
; [GC completed with 67,585,928 bytes retained and 10,281,928 bytes freed.]
; [GC will next occur when at least 79,585,928 bytes are in use.]
17000 defs entered into table (filled)
; [GC threshold exceeded with 79,675,424 bytes in use. Commencing GC.]
; [GC completed with 69,391,488 bytes retained and 10,283,936 bytes freed.]
; [GC will next occur when at least 81,391,488 bytes are in use.]
135000 refs linked
Created 546,868 nodes so far
------------------------------------------------------------
Starting program 29 ...
17500 defs entered into table (filled)
; [GC threshold exceeded with 81,481,272 bytes in use. Commencing GC.]
; [GC completed with 71,200,672 bytes retained and 10,280,600 bytes freed.]
; [GC will next occur when at least 83,200,672 bytes are in use.]
140000 refs linked
Created 566,399 nodes so far
------------------------------------------------------------
Starting program 30 ...
18000 defs entered into table (filled)
; [GC threshold exceeded with 83,290,760 bytes in use. Commencing GC.]
; [GC completed with 71,918,952 bytes retained and 11,371,808 bytes freed.]
; [GC will next occur when at least 83,918,952 bytes are in use.]
; [GC threshold exceeded with 84,008,648 bytes in use. Commencing GC.]
; [GC completed with 73,726,976 bytes retained and 10,281,672 bytes freed.]
; [GC will next occur when at least 85,726,976 bytes are in use.]
18500 defs entered into table (filled)
Created 585,930 nodes so far
------------------------------------------------------------
Starting program 31 ...
145000 refs linked
; [GC threshold exceeded with 85,816,920 bytes in use. Commencing GC.]
; [GC completed with 75,531,616 bytes retained and 10,285,304 bytes freed.]
; [GC will next occur when at least 87,531,616 bytes are in use.]
19000 defs entered into table (filled)
Created 605,461 nodes so far
------------------------------------------------------------
Starting program 32 ...
150000 refs linked
; [GC threshold exceeded with 87,621,576 bytes in use. Commencing GC.]
; [GC completed with 77,339,080 bytes retained and 10,282,496 bytes freed.]
; [GC will next occur when at least 89,339,080 bytes are in use.]
19500 defs entered into table (filled)
; [GC threshold exceeded with 89,429,064 bytes in use. Commencing GC.]
; [GC completed with 77,691,944 bytes retained and 11,737,120 bytes freed.]
; [GC will next occur when at least 89,691,944 bytes are in use.]
Created 624,992 nodes so far
Dynamic Space Usage: 82,411,096 bytes (out of 256 MB).
Read-Only Space Usage: 22,851,032 bytes (out of 256 MB).
Static Space Usage: 2,670,704 bytes (out of 256 MB).
Control Stack Usage: 608 bytes (out of 128 MB).
Binding Stack Usage: 128 bytes (out of 128 MB).
The current dynamic space is 0.
Garbage collection is currently enabled.
Breakdown for dynamic space:
2,046,592 bytes for 22,986 simple-string-type objects.
965,536 bytes for 20,765 instance objects.
473,280 bytes for 59,160 single-float objects.
462,176 bytes for 57,772 cons objects.
378,704 bytes for 47,338 bignum objects.
370,664 bytes for 9,860 simple-vector-type objects.
33,968 bytes for 3,986 other objects.
4,730,920 bytes for 221,867 dynamic objects (space total.)
NIL
;;;----------------------------------------------------------------------
;;; Call purify
* (ext::purify)
[Doing purification: Segmentation Fault (core dumped)
;;;----------------------------------------------------------------------
-- Attached file included as plaintext by Listar --
-- File: pseudo-OATW.lisp
;;; Directions
1. Start lisp
2. Load the simulated application
(load (compile-file "xxxxxx/pseudo-OATW.lisp"))
3. "Run" the simulated application
(parse-programs 32 1500 1000)
Depending on available memory, takes 30 seconds to a couple minutes.
4. Call purify
(ext::purify)
5. Wait for the core dump.
Depending on available memory, takes 10 seconds to a minute.
;;; Transcript
;;;----------------------------------------------------------------------
;;; start a "recent" cmucl -- the 4/23/04 snapshot
otwb-dev bbrew 198> /org/develop/reasoning/lisp/cmucl/ss2004-04-23/bin/lisp
CMU Common Lisp CVS Head 2004-04-23 20:30:44, running on otwb-dev
With core:
/net/dlsun3004/private/projects/org/develop/CMUCL/ss2004_04_23/lib/cmucl/lib/lisp.core
Dumped on: Fri, 2004-04-23 17:48:28-07:00 on moria.users.earthlink.net
See <http://www.cons.org/cmucl/> for support information.
Loaded subsystems:
Python 1.1, target UltraSparc/Solaris 7
CLOS based on Gerd's PCL 2004/04/14 03:32:47
;;;----------------------------------------------------------------------
;;; this loads the simulated "application"
* (load (compile-file "/org/develop/reasoning/porting/pseudo-oatw/pseudo-OATW.lisp"))
; Python version 1.1, VM version UltraSparc/Solaris 7 on 27 APR 04 11:53:11 am.
; Compiling: /projects/org/develop/reasoning/porting/pseudo-oatw/pseudo-OATW.lisp 27
APR 04 11:51:17 am
; Byte Compiling Top-Level Form:
; Converted CREATE-KBNODE.
; Compiling DEFSTRUCT KBNODE:
; Byte Compiling Top-Level Form:
; Byte Compiling Top-Level Form:
; Byte Compiling Top-Level Form:
; Byte Compiling Top-Level Form:
; Byte Compiling Top-Level Form:
; Byte Compiling Top-Level Form:
; Converted DB-PUT.
; Compiling DEFUN DB-PUT:
; Converted DB-GET.
; Compiling DEFUN DB-GET:
; Converted DB-PUSH.
; Compiling DEFUN DB-PUSH:
; Converted MOLT-KBNODE.
; Compiling DEFUN MOLT-KBNODE:
; Converted MAKE-OBJECT-IN-CLASS.
; Compiling DEFUN MAKE-OBJECT-IN-CLASS:
; Byte Compiling Top-Level Form:
; Byte Compiling Top-Level Form:
; Byte Compiling Top-Level Form:
; Byte Compiling Top-Level Form:
; Byte Compiling Top-Level Form:
; Byte Compiling Top-Level Form:
; Converted CREATE-STREAM-SEQUENCE.
; Compiling DEFSTRUCT STREAM-SEQUENCE:
; Converted READ-A-CHARACTER.
; Compiling DEFUN READ-A-CHARACTER:
; Converted CHURN-FOR-N-CHARS.
; Compiling DEFUN CHURN-FOR-N-CHARS:
; Converted CHURN1.
; Compiling DEFUN CHURN1:
; Converted MAKE-REF-LEAF.
; Compiling DEFUN MAKE-REF-LEAF:
; Converted MAKE-LITERAL-LEAF.
; Compiling DEFUN MAKE-LITERAL-LEAF:
; Converted MAKE-NODE-WITH-N-CHARACTERS.
; Compiling DEFUN MAKE-NODE-WITH-N-CHARACTERS:
; Converted PARSE-PROGRAMS.
; Compiling DEFUN PARSE-PROGRAMS:
; Converted RELEASE-PROGRAMS.
; Compiling DEFUN RELEASE-PROGRAMS:
; Byte Compiling Top-Level Form:
; Converted MAKE-DEF-TABLE.
; Compiling DEFUN MAKE-DEF-TABLE:
; Converted ADD-DEF-NODE.
; Compiling DEFUN ADD-DEF-NODE:
; Converted LINK-REF-TO-DEF.
; Compiling DEFUN LINK-REF-TO-DEF:
; Converted CLEANUP.
; Compiling DEFUN CLEANUP:
; Byte Compiling Top-Level Form:
; /org/develop/reasoning/porting/pseudo-oatw/pseudo-OATW.sparcf written.
; Compilation finished in 0:00:04.
; Loading #p"/projects/org/develop/reasoning/porting/pseudo-oatw/pseudo-OATW.sparcf".
T
;;;----------------------------------------------------------------------
;;; this step takes about 30 seconds on a machine with lots of memory, several
;;; minutes on lesser machines.
* (parse-programs 32 1500 1000)
Simulating parse of 32 programs of 1,500 lines each
48,000 lines 45,000 characters) 1,000 vars.
Estimated defs: 4800, Def table size: 1440
Dynamic Space Usage: 9,704,136 bytes (out of 256 MB).
Read-Only Space Usage: 22,851,032 bytes (out of 256 MB).
Static Space Usage: 2,670,704 bytes (out of 256 MB).
Control Stack Usage: 608 bytes (out of 128 MB).
Binding Stack Usage: 128 bytes (out of 128 MB).
The current dynamic space is 0.
Garbage collection is currently enabled.
; [GC threshold exceeded with 12,361,664 bytes in use. Commencing GC.]
; [GC completed with 226,920 bytes retained and 12,134,744 bytes freed.]
; [GC will next occur when at least 12,226,920 bytes are in use.]
Breakdown for dynamic space:
3,920,192 bytes for 89,016 instance objects.
3,781,080 bytes for 472,635 cons objects.
555,112 bytes for 1,979 simple-vector-type objects.
1,460,040 bytes for 82,257 other objects.
9,716,424 bytes for 645,887 dynamic objects (space total.)
------------------------------------------------------------
Starting program 1 ...
; [GC threshold exceeded with 12,349,264 bytes in use. Commencing GC.]
; [GC completed with 2,072,160 bytes retained and 10,277,104 bytes freed.]
; [GC will next occur when at least 14,072,160 bytes are in use.]
500 defs entered into table (filling)
Created 19,531 nodes so far
------------------------------------------------------------
Starting program 2 ...
5000 refs linked
; [GC threshold exceeded with 14,194,656 bytes in use. Commencing GC.]
; [GC completed with 3,885,728 bytes retained and 10,308,928 bytes freed.]
; [GC will next occur when at least 15,885,728 bytes are in use.]
1000 defs entered into table (filling)
; [GC threshold exceeded with 16,008,248 bytes in use. Commencing GC.]
; [GC completed with 5,696,080 bytes retained and 10,312,168 bytes freed.]
; [GC will next occur when at least 17,696,080 bytes are in use.]
Created 39,062 nodes so far
------------------------------------------------------------
Starting program 3 ...
10000 refs linked
1500 defs entered into table (filled)
; [GC threshold exceeded with 17,818,816 bytes in use. Commencing GC.]
; [GC completed with 7,509,160 bytes retained and 10,309,656 bytes freed.]
; [GC will next occur when at least 19,509,160 bytes are in use.]
Created 58,593 nodes so far
------------------------------------------------------------
Starting program 4 ...
15000 refs linked
; [GC threshold exceeded with 19,631,872 bytes in use. Commencing GC.]
; [GC completed with 8,232,904 bytes retained and 11,398,968 bytes freed.]
; [GC will next occur when at least 20,232,904 bytes are in use.]
2000 defs entered into table (filled)
; [GC threshold exceeded with 20,355,592 bytes in use. Commencing GC.]
; [GC completed with 10,046,832 bytes retained and 10,308,760 bytes freed.]
; [GC will next occur when at least 22,046,832 bytes are in use.]
Created 78,124 nodes so far
------------------------------------------------------------
Starting program 5 ...
20000 refs linked
2500 defs entered into table (filled)
; [GC threshold exceeded with 22,169,480 bytes in use. Commencing GC.]
; [GC completed with 11,856,904 bytes retained and 10,312,576 bytes freed.]
; [GC will next occur when at least 23,856,904 bytes are in use.]
3000 defs entered into table (filled)
Created 97,655 nodes so far
------------------------------------------------------------
Starting program 6 ...
25000 refs linked
; [GC threshold exceeded with 23,979,536 bytes in use. Commencing GC.]
; [GC completed with 13,670,016 bytes retained and 10,309,520 bytes freed.]
; [GC will next occur when at least 25,670,016 bytes are in use.]
3500 defs entered into table (filled)
; [GC threshold exceeded with 25,792,240 bytes in use. Commencing GC.]
; [GC completed with 14,754,896 bytes retained and 11,037,344 bytes freed.]
; [GC will next occur when at least 26,754,896 bytes are in use.]
Created 117,186 nodes so far
------------------------------------------------------------
Starting program 7 ...
30000 refs linked
; [GC threshold exceeded with 26,877,536 bytes in use. Commencing GC.]
; [GC completed with 16,568,448 bytes retained and 10,309,088 bytes freed.]
; [GC will next occur when at least 28,568,448 bytes are in use.]
4000 defs entered into table (filled)
Created 136,717 nodes so far
------------------------------------------------------------
Starting program 8 ...
; [GC threshold exceeded with 28,690,992 bytes in use. Commencing GC.]
; [GC completed with 18,016,592 bytes retained and 10,674,400 bytes freed.]
; [GC will next occur when at least 30,016,592 bytes are in use.]
35000 refs linked
4500 defs entered into table (filled)
; [GC threshold exceeded with 30,139,144 bytes in use. Commencing GC.]
; [GC completed with 19,830,408 bytes retained and 10,308,736 bytes freed.]
; [GC will next occur when at least 31,830,408 bytes are in use.]
Created 156,248 nodes so far
------------------------------------------------------------
Starting program 9 ...
5000 defs entered into table (filled)
40000 refs linked
; [GC threshold exceeded with 31,952,808 bytes in use. Commencing GC.]
; [GC completed with 21,638,880 bytes retained and 10,313,928 bytes freed.]
; [GC will next occur when at least 33,638,880 bytes are in use.]
5500 defs entered into table (filled)
Created 175,779 nodes so far
------------------------------------------------------------
Starting program 10 ...
; [GC threshold exceeded with 33,761,656 bytes in use. Commencing GC.]
; [GC completed with 23,451,080 bytes retained and 10,310,576 bytes freed.]
; [GC will next occur when at least 35,451,080 bytes are in use.]
45000 refs linked
6000 defs entered into table (filled)
; [GC threshold exceeded with 35,573,696 bytes in use. Commencing GC.]
; [GC completed with 24,534,984 bytes retained and 11,038,712 bytes freed.]
; [GC will next occur when at least 36,534,984 bytes are in use.]
Created 195,310 nodes so far
------------------------------------------------------------
Starting program 11 ...
50000 refs linked
; [GC threshold exceeded with 36,657,560 bytes in use. Commencing GC.]
; [GC completed with 26,348,856 bytes retained and 10,308,704 bytes freed.]
; [GC will next occur when at least 38,348,856 bytes are in use.]
6500 defs entered into table (filled)
Created 214,841 nodes so far
------------------------------------------------------------
Starting program 12 ...
; [GC threshold exceeded with 38,471,464 bytes in use. Commencing GC.]
; [GC completed with 27,799,432 bytes retained and 10,672,032 bytes freed.]
; [GC will next occur when at least 39,799,432 bytes are in use.]
7000 defs entered into table (filled)
55000 refs linked
; [GC threshold exceeded with 39,922,032 bytes in use. Commencing GC.]
; [GC completed with 29,611,464 bytes retained and 10,310,568 bytes freed.]
; [GC will next occur when at least 41,611,464 bytes are in use.]
Created 234,372 nodes so far
------------------------------------------------------------
Starting program 13 ...
7500 defs entered into table (filled)
; [GC threshold exceeded with 41,734,032 bytes in use. Commencing GC.]
; [GC completed with 30,693,752 bytes retained and 11,040,280 bytes freed.]
; [GC will next occur when at least 42,693,752 bytes are in use.]
60000 refs linked
8000 defs entered into table (filled)
; [GC threshold exceeded with 42,783,688 bytes in use. Commencing GC.]
; [GC completed with 32,502,768 bytes retained and 10,280,920 bytes freed.]
; [GC will next occur when at least 44,502,768 bytes are in use.]
Created 253,903 nodes so far
------------------------------------------------------------
Starting program 14 ...
65000 refs linked
; [GC threshold exceeded with 44,592,616 bytes in use. Commencing GC.]
; [GC completed with 34,308,440 bytes retained and 10,284,176 bytes freed.]
; [GC will next occur when at least 46,308,440 bytes are in use.]
8500 defs entered into table (filled)
Created 273,434 nodes so far
------------------------------------------------------------
Starting program 15 ...
; [GC threshold exceeded with 46,398,344 bytes in use. Commencing GC.]
; [GC completed with 36,117,184 bytes retained and 10,281,160 bytes freed.]
; [GC will next occur when at least 48,117,184 bytes are in use.]
70000 refs linked
9000 defs entered into table (filled)
; [GC threshold exceeded with 48,206,952 bytes in use. Commencing GC.]
; [GC completed with 37,922,144 bytes retained and 10,284,808 bytes freed.]
; [GC will next occur when at least 49,922,144 bytes are in use.]
Created 292,965 nodes so far
------------------------------------------------------------
Starting program 16 ...
9500 defs entered into table (filled)
75000 refs linked
; [GC threshold exceeded with 50,012,184 bytes in use. Commencing GC.]
; [GC completed with 39,730,936 bytes retained and 10,281,248 bytes freed.]
; [GC will next occur when at least 51,730,936 bytes are in use.]
10000 defs entered into table (filled)
Created 312,496 nodes so far
------------------------------------------------------------
Starting program 17 ...
; [GC threshold exceeded with 51,820,864 bytes in use. Commencing GC.]
; [GC completed with 40,448,928 bytes retained and 11,371,936 bytes freed.]
; [GC will next occur when at least 52,448,928 bytes are in use.]
80000 refs linked
10500 defs entered into table (filled)
; [GC threshold exceeded with 52,539,024 bytes in use. Commencing GC.]
; [GC completed with 42,256,144 bytes retained and 10,282,880 bytes freed.]
; [GC will next occur when at least 54,256,144 bytes are in use.]
Created 332,027 nodes so far
------------------------------------------------------------
Starting program 18 ...
; [GC threshold exceeded with 54,346,168 bytes in use. Commencing GC.]
; [GC completed with 44,063,520 bytes retained and 10,282,648 bytes freed.]
; [GC will next occur when at least 56,063,520 bytes are in use.]
11000 defs entered into table (filled)
85000 refs linked
Created 351,558 nodes so far
------------------------------------------------------------
Starting program 19 ...
; [GC threshold exceeded with 56,153,416 bytes in use. Commencing GC.]
; [GC completed with 45,871,976 bytes retained and 10,281,440 bytes freed.]
; [GC will next occur when at least 57,871,976 bytes are in use.]
11500 defs entered into table (filled)
90000 refs linked
; [GC threshold exceeded with 57,961,840 bytes in use. Commencing GC.]
; [GC completed with 46,220,384 bytes retained and 11,741,456 bytes freed.]
; [GC will next occur when at least 58,220,384 bytes are in use.]
Created 371,089 nodes so far
------------------------------------------------------------
Starting program 20 ...
12000 defs entered into table (filled)
; [GC threshold exceeded with 58,342,864 bytes in use. Commencing GC.]
; [GC completed with 48,035,112 bytes retained and 10,307,752 bytes freed.]
; [GC will next occur when at least 60,035,112 bytes are in use.]
95000 refs linked
12500 defs entered into table (filled)
Created 390,620 nodes so far
------------------------------------------------------------
Starting program 21 ...
; [GC threshold exceeded with 60,157,416 bytes in use. Commencing GC.]
; [GC completed with 49,484,600 bytes retained and 10,672,816 bytes freed.]
; [GC will next occur when at least 61,484,600 bytes are in use.]
100000 refs linked
; [GC threshold exceeded with 61,606,880 bytes in use. Commencing GC.]
; [GC completed with 51,298,552 bytes retained and 10,308,328 bytes freed.]
; [GC will next occur when at least 63,298,552 bytes are in use.]
13000 defs entered into table (filled)
Created 410,151 nodes so far
------------------------------------------------------------
Starting program 22 ...
; [GC threshold exceeded with 63,421,008 bytes in use. Commencing GC.]
; [GC completed with 53,109,432 bytes retained and 10,311,576 bytes freed.]
; [GC will next occur when at least 65,109,432 bytes are in use.]
13500 defs entered into table (filled)
105000 refs linked
Created 429,682 nodes so far
------------------------------------------------------------
Starting program 23 ...
; [GC threshold exceeded with 65,232,280 bytes in use. Commencing GC.]
; [GC completed with 54,922,160 bytes retained and 10,310,120 bytes freed.]
; [GC will next occur when at least 66,922,160 bytes are in use.]
14000 defs entered into table (filled)
; [GC threshold exceeded with 67,044,896 bytes in use. Commencing GC.]
; [GC completed with 56,003,600 bytes retained and 11,041,296 bytes freed.]
; [GC will next occur when at least 68,003,600 bytes are in use.]
110000 refs linked
Created 449,213 nodes so far
------------------------------------------------------------
Starting program 24 ...
; [GC threshold exceeded with 68,126,080 bytes in use. Commencing GC.]
; [GC completed with 57,815,464 bytes retained and 10,310,616 bytes freed.]
; [GC will next occur when at least 69,815,464 bytes are in use.]
14500 defs entered into table (filled)
115000 refs linked
; [GC threshold exceeded with 69,937,784 bytes in use. Commencing GC.]
; [GC completed with 59,627,664 bytes retained and 10,310,120 bytes freed.]
; [GC will next occur when at least 71,627,664 bytes are in use.]
Created 468,744 nodes so far
------------------------------------------------------------
Starting program 25 ...
15000 defs entered into table (filled)
; [GC threshold exceeded with 71,750,160 bytes in use. Commencing GC.]
; [GC completed with 61,441,336 bytes retained and 10,308,824 bytes freed.]
; [GC will next occur when at least 73,441,336 bytes are in use.]
120000 refs linked
15500 defs entered into table (filled)
Created 488,275 nodes so far
------------------------------------------------------------
Starting program 26 ...
; [GC threshold exceeded with 73,564,064 bytes in use. Commencing GC.]
; [GC completed with 62,165,752 bytes retained and 11,398,312 bytes freed.]
; [GC will next occur when at least 74,165,752 bytes are in use.]
16000 defs entered into table (filled)
125000 refs linked
; [GC threshold exceeded with 74,255,792 bytes in use. Commencing GC.]
; [GC completed with 63,973,768 bytes retained and 10,282,024 bytes freed.]
; [GC will next occur when at least 75,973,768 bytes are in use.]
Created 507,806 nodes so far
------------------------------------------------------------
Starting program 27 ...
16500 defs entered into table (filled)
; [GC threshold exceeded with 76,063,488 bytes in use. Commencing GC.]
; [GC completed with 65,777,872 bytes retained and 10,285,616 bytes freed.]
; [GC will next occur when at least 77,777,872 bytes are in use.]
130000 refs linked
Created 527,337 nodes so far
------------------------------------------------------------
Starting program 28 ...
; [GC threshold exceeded with 77,867,856 bytes in use. Commencing GC.]
; [GC completed with 67,585,928 bytes retained and 10,281,928 bytes freed.]
; [GC will next occur when at least 79,585,928 bytes are in use.]
17000 defs entered into table (filled)
; [GC threshold exceeded with 79,675,424 bytes in use. Commencing GC.]
; [GC completed with 69,391,488 bytes retained and 10,283,936 bytes freed.]
; [GC will next occur when at least 81,391,488 bytes are in use.]
135000 refs linked
Created 546,868 nodes so far
------------------------------------------------------------
Starting program 29 ...
17500 defs entered into table (filled)
; [GC threshold exceeded with 81,481,272 bytes in use. Commencing GC.]
; [GC completed with 71,200,672 bytes retained and 10,280,600 bytes freed.]
; [GC will next occur when at least 83,200,672 bytes are in use.]
140000 refs linked
Created 566,399 nodes so far
------------------------------------------------------------
Starting program 30 ...
18000 defs entered into table (filled)
; [GC threshold exceeded with 83,290,760 bytes in use. Commencing GC.]
; [GC completed with 71,918,952 bytes retained and 11,371,808 bytes freed.]
; [GC will next occur when at least 83,918,952 bytes are in use.]
; [GC threshold exceeded with 84,008,648 bytes in use. Commencing GC.]
; [GC completed with 73,726,976 bytes retained and 10,281,672 bytes freed.]
; [GC will next occur when at least 85,726,976 bytes are in use.]
18500 defs entered into table (filled)
Created 585,930 nodes so far
------------------------------------------------------------
Starting program 31 ...
145000 refs linked
; [GC threshold exceeded with 85,816,920 bytes in use. Commencing GC.]
; [GC completed with 75,531,616 bytes retained and 10,285,304 bytes freed.]
; [GC will next occur when at least 87,531,616 bytes are in use.]
19000 defs entered into table (filled)
Created 605,461 nodes so far
------------------------------------------------------------
Starting program 32 ...
150000 refs linked
; [GC threshold exceeded with 87,621,576 bytes in use. Commencing GC.]
; [GC completed with 77,339,080 bytes retained and 10,282,496 bytes freed.]
; [GC will next occur when at least 89,339,080 bytes are in use.]
19500 defs entered into table (filled)
; [GC threshold exceeded with 89,429,064 bytes in use. Commencing GC.]
; [GC completed with 77,691,944 bytes retained and 11,737,120 bytes freed.]
; [GC will next occur when at least 89,691,944 bytes are in use.]
Created 624,992 nodes so far
Dynamic Space Usage: 82,411,096 bytes (out of 256 MB).
Read-Only Space Usage: 22,851,032 bytes (out of 256 MB).
Static Space Usage: 2,670,704 bytes (out of 256 MB).
Control Stack Usage: 608 bytes (out of 128 MB).
Binding Stack Usage: 128 bytes (out of 128 MB).
The current dynamic space is 0.
Garbage collection is currently enabled.
Breakdown for dynamic space:
2,046,592 bytes for 22,986 simple-string-type objects.
965,536 bytes for 20,765 instance objects.
473,280 bytes for 59,160 single-float objects.
462,176 bytes for 57,772 cons objects.
378,704 bytes for 47,338 bignum objects.
370,664 bytes for 9,860 simple-vector-type objects.
33,968 bytes for 3,986 other objects.
4,730,920 bytes for 221,867 dynamic objects (space total.)
NIL
;;;----------------------------------------------------------------------
;;; Call purify
* (ext::purify)
[Doing purification: Segmentation Fault (core dumped)
;;;----------------------------------------------------------------------
