[LLVMdev] Improving Garbage Collection
nfries88 at yahoo.com
Thu Jul 7 12:36:07 PDT 2011
On 7/7/2011 4:50 AM, Sebastian Redl wrote:
> On 07.07.2011 08:31, Nate Fries wrote:
>> On 7/6/2011 6:24 PM, Talin wrote:
>>> The LLVM code generators and analysis passes have a much more
>>> thorough knowledge of SSA value lifetimes than frontends do, and
>>> therefore could avoid spilling and reloading of values when it
>>> wasn't needed.
>> Although this would indeed be nice, it is not done by similar
>> platforms in practice. I have investigated [very] briefly into
>> whether the CLR or JVM implement garbage collection in their IR, and
>> it does not seem that they do (meaning, the CLR/JVM implementation
>> itself is responsible for garbage collection, not the code generated
>> by the CLR/Java language compilers).
> I'm not sure this is a valid comparison. CLR and JVM IRs are typed,
> and by nature of those VMs, *all* pointers on the stack and in
> registers are automatically GC roots. Unlike LLVM, the JVM (and I
> think the CLR) doesn't even have a concept of a non-GC pointer.
> LLVM Developers mailing list
> LLVMdev at cs.uiuc.edu http://llvm.cs.uiuc.edu
Perhaps you are right to point that out. I can't claim to be an expert
in compiler/language/GC design here.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the llvm-dev