On Saturday, 6 February 2016 at 15:14:06 UTC, Kagamin wrote:
On Saturday, 6 February 2016 at 08:07:42 UTC, NX wrote:
What language semantics prevent precise
Lack of resources. Precise GC needs to know which fields are
pointers. Somebody must generate that map. AFAIK there was an
experiment on that.
That information has already been present for a couple of releases
(http://dlang.org/spec/traits.html#getPointerBitmap), however
currently the precise GC is slower than the conservative one,
because of the overhead the the extra metadata has. For more
info, you can read the comments on these two PRs:
https://github.com/D-Programming-Language/druntime/pull/1022
https://github.com/D-Programming-Language/druntime/pull/1057
