[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[no subject]
- To: GSB at MIT-MC
- From: JONL at MIT-MC (Jon L White)
- Date: Wed, 20 Feb 80 13:05:00 GMT
- Cc: (BUG LISP) at MIT-MC, WJL at MIT-ML
- Original-date: 20 FEB 1980 0805-EST
From: GSB@MIT-ML
Date: Fri, 16 Feb 80 00:08:18 GMT
Original-Date: 02/15/80 20:08:18 EDT
Subject: Re: wjl's "reader bug"
If the garbage collector is called by a conser, and it runs
the gc-daemon, and the gc-daemon uses EXACTLY the number of
cells of that type that were freed, things lose big because
when AGC returns the conser assumes that its freelist is non-0.
In this example, AGC was called from ACONS, and when it returned
FFS was 0, so the EXCH A,@FFS clobbers NIL, etc.
VERY good analysis, here! I've just put in some code into GCBIB
(the midas source file for lisp with the GC in it) to run the
"panic" error if, after GC-DAEMONing, some space has a null freelist.
This will be testible in LISP 1941 (and > versions), which should
be XLISP today.