On LLVM’s GC Infrastructure (2013)

https://eschew.wordpress.com/2013/10/28/on-llvms-gc-infrastructure/

by luu • 12 years ago

40 5 12 years ago

eschew.wordpress.com

rayiner• 12 years ago

The proposed new implementation: http://www.philipreames.com/Blog/2014/10/13/statepoint-chang....

hga2• 12 years ago

Which I've been watching. If I remember correctly, Philip Reames stated that LLVM's precise GC support was just plain broken, although I don't remember the correspondence of what this essay talks about vs. what Reames discovered (not worth remembering something that's broken and in the process of being fixed). It's in earlier posts to his blog.

freyrs3• 12 years ago

There were some interesting attempts trying to adapt LLVM's precise GC to Haskell's GC model and the difficulties with this approach: http://lhc-compiler.blogspot.com/2009/01/why-llvm-probably-w...

eschew• 12 years ago

He essentially retracted his original assertion eight months after it was published, see the first few "Update" sections of

http://www.philipreames.com/Blog/2014/02/21/why-not-use-gcro...

and also

http://www.philipreames.com/Blog/2014/10/21/statepoints-vs-g...

"To explicitly state this again since I screwed this up once before, both statepoints and gc.roots can correctly represent relocation semantics in the IR. In fact, the underlying reasoning about their correctness are rather similar."

On LLVM’s GC Infrastructure (2013)

Related Stories