I've written compilers targeting both C and LLVM, and while LLVM does make some things easier, it also makes things like FFI harder (even with C), and like Rich says you give up a lot of portability.
Boehm is "something else than C". It's 100% filthy UB. But you can do GC in C. Just not on arbitrary C objects, rather higher-level object you implement in terms of C ones.
-
-
Failure to understand this for decades is the main reason browsers are such buggy, memleaky crap.
-
Hey now, Firefox/Gecko has fully precise hybrid GC/refcounting, with a cycle collector :) Took a mountain of engineering work (
@graydon_pub did a lot of it, in fact!) -
(Runner up is Chromium, which is not fully precise GC, but it does precise collections once the event loop is done and there’s no native code on the stack, which is usually good enough.)
-
My kernel does precise GC at process boundary
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.
Agreed that targeting C limits GC algorithms. Really it's Boehm or do something else than C