Return-Path: Delivery-Date: Received: from ted.cs.uidaho.edu by swan.cl.cam.ac.uk with SMTP (PP-6.2); Sat, 26 Dec 1992 03:04:46 +0000 Received: by ted.cs.uidaho.edu (16.6/1.34) id AA11543; Fri, 25 Dec 92 18:53:04 -0800 Sender: info-hol-request@edu.uidaho.cs.ted Errors-To: info-hol-request@edu.uidaho.cs.ted Precedence: bulk Received: from Maui.CS.UCLA.EDU by ted.cs.uidaho.edu (16.6/1.34) id AA11532; Fri, 25 Dec 92 18:52:50 -0800 Received: from LocalHost.cs.ucla.edu by maui.cs.ucla.edu (Sendmail 5.61d+YP/3.21) id AA16759; Fri, 25 Dec 92 18:52:18 -0800 Message-Id: <9212260252.AA16759@maui.cs.ucla.edu> To: info-hol@edu.uidaho.cs.ted (INFO-HOL mailing list) Subject: AKCL questions Date: Fri, 25 Dec 92 18:52:16 PST From: chou@edu.ucla.cs Because of the problem I reported in the previous message, I'm trying to learn more about AKCL. The AKCL I'm using is AKCL-1-605 for NeXT. According to the porting package for NeXT (written by Noritake Yonezawa), the following restriction applies: * The process size of running AKCL is fixed, though I have no idea what this means. The shell command `ps` shows that: %----------------------------------------------------------------------------- USER PID %CPU %MEM VSIZE RSIZE TT STAT TIME COMMAND chou 1919 0.0 12.9 22.7M 2.59M p1 T 0:00 hol -----------------------------------------------------------------------------% At the start of a HOL session, the following holds: %----------------------------------------------------------------------------- #lisp `(room)` ;; 450/450 55.7% 13 CONS BIGNUM RATIO LONG-FLOAT COMPLEX STRUCTURE NIL 2/28 6.9% FIXNUM SHORT-FLOAT CHARACTER RANDOM-STATE READTABLE FAT-STRING 83/109 98.0% 3 SYMBOL STREAM 1/2 7.7% PACKAGE 1/36 15.8% ARRAY HASH-TABLE VECTOR BIT-VECTOR PATHNAME 40/40 42.8% 1 STRING CCLOSURE 14/16 94.2% CFUN 4/5 89.8% SFUN GFUN CFDATA SPICE NIL 469/499 3 contiguous (50 blocks) 128 hole 42 61.2% 51 relocatable 595 pages for cells 1234 total pages 2605 pages available 1113 pages in heap but not gc'd + pages needed for gc marking 4952 maximum pages () : void -----------------------------------------------------------------------------% My first question is: What do these numbers mean? Then I execute the Lisp code suggested in the contrib `AKCL-mods`: %----------------------------------------------------------------------------- #lisp `(progn () # (allocate 'cons 900) # (allocate 'string 100) # (system:allocate-relocatable-pages 100) # (system:set-hole-size 2048))` ;; () : void #lisp `(room)` ;; 450/900 57.1% 13 CONS BIGNUM RATIO LONG-FLOAT COMPLEX STRUCTURE NIL 2/28 15.2% FIXNUM SHORT-FLOAT CHARACTER RANDOM-STATE READTABLE FAT-STRING 83/109 98.1% 3 SYMBOL STREAM 1/2 7.7% PACKAGE 1/36 15.8% ARRAY HASH-TABLE VECTOR BIT-VECTOR PATHNAME 40/100 43.7% 1 STRING CCLOSURE 14/16 94.2% CFUN 4/5 89.8% SFUN GFUN CFDATA SPICE NIL 469/499 3 contiguous (50 blocks) 128 hole 100 26.1% 51 relocatable 595 pages for cells 1292 total pages 569 pages available 3091 pages in heap but not gc'd + pages needed for gc marking 4952 maximum pages () : void -----------------------------------------------------------------------------% My second question is: What does the code in `AKCL-mods` do? What is changed by it and why can it increase the speed of HOL? My third question is: Since the problem I had was: Error: The storage for STREAM is exhausted. Currently, 150 pages are allocated. Use ALLOCATE to expand the space. can I fix it by doing: %----------------------------------------------------------------------------- #lisp `(allocate 'symbol 200)` ;; () : void #lisp `(room)` ;; 450/900 58.1% 13 CONS BIGNUM RATIO LONG-FLOAT COMPLEX STRUCTURE NIL 2/28 23.4% FIXNUM SHORT-FLOAT CHARACTER RANDOM-STATE READTABLE FAT-STRING 83/200 98.3% 3 SYMBOL STREAM 1/2 7.7% PACKAGE 1/36 15.8% ARRAY HASH-TABLE VECTOR BIT-VECTOR PATHNAME 40/100 44.6% 1 STRING CCLOSURE 14/16 94.2% CFUN 4/5 89.8% SFUN GFUN CFDATA SPICE NIL 469/499 3 contiguous (50 blocks) 128 hole 100 26.3% 51 relocatable 595 pages for cells 1292 total pages 569 pages available 3091 pages in heap but not gc'd + pages needed for gc marking 4952 maximum pages () : void -----------------------------------------------------------------------------% Will it have adverse side-effects? Many, many thanks in advance!!! - Ching Tsun