Commit [24ecee] Maximize Restore History

code/room: Completely rewrite MAP-ALLOCATED-OBJECTS.

* The old version of M-A-O consisted of bizaare toplevel logic,
a scheme for figuring out what each heap object was and its size
that did not parallel what the garbage collector used and may or
may not have been correct, and relied heavily on inlining to
reduce consing.

* This new version of M-A-O uses straightforward toplevel logic,
a scheme for figuring out what each heap object is and its size
that directly parallels what the garbage collector uses and is
verifiably correct, and relies heavily on the aligned unboxed
pointer to fixnum equivalence to reduce consing.

* The new interface to M-A-O no longer includes the optional
"careful" argument, as it gains us nothing once the underlying
mechanism is so obviously correct. sb-introspect has been updated
appropriately.

* The way the new implementation walks the heap and page table
requires direct access to a "static" global variable in gencgc.c,
so the "static" attribute has been removed.

* This implementation has been lightly tested on an x86-64 and
PPC, and it seems to work quite well, but there are still some
fairly obvious non-optimalities in terms of generated code (as
seen in the trace-file output from the cross compiler). It does
pass the two test cases that exhausted the heap on PPC with the
previous implementation.

Alastair Bridgewater Alastair Bridgewater 2013-04-30

changed contrib/sb-introspect/introspect.lisp
changed src/code/room.lisp
changed src/runtime/gencgc.c
changed NEWS
contrib/sb-introspect/introspect.lisp Diff Switch to side-by-side view
Loading...
src/code/room.lisp Diff Switch to side-by-side view
Loading...
src/runtime/gencgc.c Diff Switch to side-by-side view
Loading...
NEWS Diff Switch to side-by-side view
Loading...