[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
array garbage collection.
- To: RWK at MIT-MC
- Subject: array garbage collection.
- From: George J. Carrette <GJC at MIT-MC>
- Date: Sun, 14 Jun 81 15:12:00 GMT
- Cc: BUG-LISP at MIT-MC
- Original-date: 14 June 1981 11:12-EDT
It is very easy to illustrate the bug, I put a file which did in
L;GCBIB BUG. Somebody deleted it though. Here it is:
(ARRAY K NIL 10) ; a NON-GC array for looking at things.
(DO ((A (*ARRAY NIL T 10)))
(STORE (ARRAYCALL T A 0) A) ; array points to itself.
(STORE (K 0) A)
(PROGN (STORE (K 1) (*ARRAY NIL T 10)) ())
(K 0) ; ok.
(K 1) ;
()()() ; Clear the value of *
(K 1) => dead array. ; ok.
(K 0) => live array. ; the sucker didn't get GC'd.
If you look at the code for GC-marking of the ARRAY datatype
you will see that it can't possibly garbage collect the array in (K 0).
No matter how many times you GC.
Anyway, the body of a HUNK is marked correctly, I don't really see why
the body of an ARRAY could be that much more difficult to handle.
I'll admit the GC code is a bit "tight" as far as register-saving
conventions, etc., so it will take a bit of effort to figure out how to
change the code. But with all the work being put into maclisp lately
it is a shame to see fundamental and fixable bugs simply ignored.
p.s. This bug should be mentioned in the documentation for *ARRAY.