On Friday, 18 April 2014 at 22:10:06 UTC, John Colvin wrote:
Which, if any, of the more sophisticated GC designs out there -
in your opinion - would work well with D? Perhaps more
importantly, which do you see as *not* working well with D.
I think you can improve GC by:
- supporting c++ owned/shared pointers at the language level and
marking them as no-scan.
- aligning scanned pointers in structs and classes to the same
cache line
- having scan metadata at an offset from the return address of
functions
- segmented collection
- whole program analysis to figure out what individual stacks can
contain
- meta level invariants specified by the programmer
