Precise GC state

[Ola Fosheim Grostad]

On Monday, 27 November 2017 at 05:47:49 UTC, Dmitry Olshansky 
wrote:
> likely via RAII. Not to mention cheap (thread-local) Ref 
> Counting, C++ and many other language have to use atomics which 
> makes RC costly.

No, you dont. Nobody in their right mind would do so in C++ as a 
general solution. Seems there is trend in doing D-advocacy based 
on the assumption that programmers using other languages are 
crazy these days.

In C++ sync is manual, which is the only efficient way to do it. 
Proving correctness for an efficient general solution is an 
unsolved theoretical problem. You can do it for high level 
mechanisms, but not low level atm.

Rust and Pony claims to have solutions, but they are not general. 
D most certainly does not have it and never will.

When threading is a libray type then you cannot achieve more in D 
than you can achieve in C++, i.e. Shared is not going to do more 
than a C++ library type with a separate static analysis tool.