On 10/6/2011 3:28 PM, Martin Nowak wrote:
More realistically, are there any rough ideas how to support moving collectors?
The idea I used long ago was to move objects for which the only references to them are unambiguous, which means those unambiguous refs can be updated to point to the new location.
Ambiguous refs (i.e. might or might not be an actual pointer) had the effect of "pinning" the object so it couldn't be moved.
Doing a moving collector requires type info emitted by the compiler that gives the offsets of the pointers embedded in every allocated type.
