> Raoul: A drop-in replacement for Boehm isn't just a matter of an API. There > are a whole bunch of issues that qualitatively change the mark phase, and > there are a lot of GC techniques you can use in safe languages that cannot > be used in C. People like Boehm because it's simple. Hans is really smart, > and he's done an excellent piece of work. But my experience has been that > Boehm works exceptionally badly on the kinds of codes where it would be > nicest to have: large server codes. It also works very badly as the > percentage of the heap virtual address space in use crosses about 20%. > Somewhere just below there the false aliasing effects become insurmountable, > and it becomes effectively impossible to collect anything.
i now have a day-dream where somebody with money hires lots of the good GC researchers and GC developers and gets them to use model-driven-design / some abstract higher level portable langauge, to implement all these different ideas such that they can be emitted through various back-ends. it just makes me sad that there's apparently so many different good ideas and experiences out there which could be used to advance the state of the art that much faster if there were focus. _______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
