Carmack about static analysis

[Robert Jacques]

On Mon, 26 Dec 2011 07:43:46 -0800, Jacob Carlborg <doob at me.com> wrote:
> On 2011-12-26 15:52, Andrei Alexandrescu wrote:
>> On 12/26/11 6:53 AM, Jacob Carlborg wrote:
>>> What about the parallel/concurrent collector that has been linked a
>>> couple of times in this newsgroup. Would that be possible and a good
>>> idea to implement?
>>
>> A parallel collector would be, of course, a valuable addition.
>>
>> Andrei
>
> This is the collector I was referring to:
> http://www.artima.com/lejava/articles/azul_pauseless_gc.html

The C4 pause-less GC, while very cool, is its own operating system. It doesn't run on-top of Windows, Linux, Mac, etc. CDGC, on the other hand, is a concurrent collector that only runs on *nixes. Thread-local GCs are a form of mostly parallel/concurrent collectors which are a good match for D, but requires our memory model to support/include regions. There has also been some work recently in making fully precise collectors for C, which would be directly applicable to D.