Is there a modern GC for D?

Robert Jacques sandford at jhu.edu
Wed Feb 10 02:14:32 PST 2010


On Wed, 10 Feb 2010 01:06:47 -0500, Andrei Alexandrescu  
<SeeWebsiteForEmail at erdani.org> wrote:

> Robert Jacques wrote:
>> Based on a thread on the DMD concurrency mailing list I've begun to get  
>> a sinking regarding the future of the garbage collector in D: most of  
>> the work in GC algorithms has gone into functional and (mostly) pure-OO  
>> languages, leaving a multi-paradigm systems programming language like D  
>> out in the cold. So far, I know mark-sweep and mark-region algorithms  
>> in either serial, parallel or thread-local forms should work. But based  
>> on Java we'd really like incremental, generational and/or concurrent  
>> options. So I'd like to ask people to help brainstorm some ideas.
>>  Some things I've run into:
>> -structs/pointers/slices/etc make finding memory meta information, like  
>> mark-bits or ref-counts, non-trivial.
>> -C function calls and assembler blocks make code instrumentation  
>> questionable.
>> -Getting concurrent GC code correct is very hard. Boehm's algorithm,  
>> for instance, looks extremely racy.
>>  Thanks!
>
> s/sinking/thinking/
>
> http://www.youtube.com/watch?v=gmOTpIVxji8
>
> :o)
>
>
> Andrei

:) actually it should be a sinking feeling. Thanks for the laughs.



More information about the Digitalmars-d mailing list