dsimcha wrote:
2. Other than its abysmal interaction with the current GC and the lack of ability to iterate using ranges, the current AA implementation actually seems pretty good. One way to remedy a large portion of the GC issues without a massive overhaul of the GC would be to introduce a feature into the GC where a block of memory can be flagged as NO_INTERIOR.
Neat idea. Some GCs (like the Boehm GC) can be set NO_INTERIOR globally, but it never crossed my mind to do this per block. For certain data structures, this might be pretty useful.
