P.P.S. It would be great to be able to `call validateImage()` from within the debugger.
You can run the leak checker. You have to be careful because it scans stack frames, etc, and so needs to be called at a sensible point. Expsriencer shows what these points are, but generally around the invocation of a primitive is a good point, when the VM is polling for events, etc. Btu half way through building a frame is probably not a good idea, etc.
In any case here are the functions: runLeakCheckerForFreeSpace(sqInt gcModes) runLeakCheckerFor(sqInt gcModes) runLeakCheckerForexcludeUnmarkedObjsclassIndicesShouldBeValid(sqInt gcModes, sqInt excludeUnmarkedObjs, sqInt classIndicesShouldBeValid)
And the GC modes are in VMMaker, see GCModeFull, etc.
Aeolus.image$ finddefine GCMode ../spur64src/vm/gcc3x-cointerp.c #define GCModeBecome 8 #define GCModeFreeSpace 32 #define GCModeFull 1 #define GCModeImageSegment 16 #define GCModeIncremental 4 #define GCModeNewSpace 2