13-Jan-2014 22:44, "Ola Fosheim Grøstad"
<[email protected]>" пишет:
On Monday, 13 January 2014 at 17:56:12 UTC, Dmitry Olshansky wrote:
Precisely. Since C space has no type information you have to
conservatively assume that everything can be a pointer.
I think we are misunderstanding each other? I don't think a Boehm style
GC can do compaction, since you cannot modify the "pointer", hence you
have to "pin down" the object it possibly points to (to prevent it from
moving)?
So what? It can't move it and as such there is nothing special about it,
it doesn't _cost_ anything to pin object.
--
Dmitry Olshansky
