On Saturday, 22 July 2017 at 15:13:12 UTC, Ali wrote:
On Saturday, 22 July 2017 at 14:39:17 UTC, Moritz Maxeiner
wrote:
On Saturday, 22 July 2017 at 13:27:03 UTC, aedt wrote:
Unless some miracle happens and makes the GC better by
preventing stop-the-world
I have yet to see a (working, correct) non-STW GC that doesn't
make other trade offs not acceptable for D (extra thread(s),
memory barriers for all writes, etc.).
There's room for improvement of the current GC, but I
sincerely doubt we will see one that's not STW.
or gets rid of the GC
And remove one of the primary reasons why one doesn't have to
prototype in some script language (e.g. python)? No thanks.
Ocaml comes to mind, it is being used bu jane street for high
frequency trading
and they dont complain
I think the key point it, is that if stw fast enough, it is
good enough for most uses
I think a very fast GC should be next on the list for D
Ocaml's GC is stop-the-world for both its minor and major heap
[1], so if someone wants to write another GC implementation for
D, that's a good place to draw inspiration from, yes.
[1]
https://realworldocaml.org/v1/en/html/understanding-the-garbage-collector.html
