Why doesn't the D language have a fully concurrent, pause-free GC? Look at [SGCL](https://github.com/pebal/sgcl), experimental tracked pointers library for C++. I've developed this library and can share insights on how such a GC engine works.