Le 22/10/2012 22:44, Andrei Alexandrescu a écrit :
On 10/22/12 3:16 PM, Jacob Carlborg wrote:
On 2012-10-22 19:44, Sean Kelly wrote:
Blocks flagged as shared would be completely ignored by the
thread-local GC collection. Since shared data may never reference
unshared data, that should avoid anything being collected that's still
referenced. I hadn't thought about "immutable" though, which may turn
out to be a problem.
Funny thing, immutable was supposed to make it easier to do concurrency
programming.
But not garbage collection.
OCmal's GC is one of the fastest GC ever made. And it is the case
because it uses immutability to great benefice.
As immutable data can only refers to immutable data, I don't see a
single problem here.
When collection shared and TL, you get a set of root pointer to
immutable. All immutable can be collected from such set. All object
allocated during the collection is supposed to be live.
