Just a thought, but it would it make sense for garbage collection to be some sort of minimal debug information for potentially optimized code. Store just enough debug information to reconstruct call stacks and know where gc-roots are. Perhaps an approach like this could minimize the work required as it is shared between gc-support and debug information support. From what I understand, DWARF exception handling is similar in that it makes use of similar information to understand where things are during unwinding.<br>
<br><div class="gmail_quote">On Fri, Apr 13, 2012 at 3:05 PM, Talin <span dir="ltr"><<a href="mailto:viridia@gmail.com">viridia@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
I realize that this was written in a hurry, and may not have been entirely clear. If there are any questions, critiques, etc., I'd be happy to respond to them. I'd really like it if LLVM's garbage collection support didn't continue to languish...<div class="HOEnZb">
<div class="h5"><br>
<br><div class="gmail_quote">On Fri, Apr 6, 2012 at 12:43 PM, Talin <span dir="ltr"><<a href="mailto:viridia@gmail.com" target="_blank">viridia@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Sorting through all of the discussions would be difficult, as the ideas have morphed over the years. Also, some of the discussion took place offline at various LLVM dev conferences.<div><br></div><div>I can summarize the main points here:</div>
<div><br></div><div>The biggest improvement in GC would be to allow SSA values to be declared as GC roots - currently only alloca values, that is, values in memory, can be GC roots. This means that frontends need to copy traceable values to memory before calling any function that might trigger a collection. This makes the resulting IR complex and inefficient.</div>
<div><br></div><div>Chris's proposal is that we add metadata to the Pointer type (perhaps using the address space field) to indicate that a pointer is a GC root. Note that this would not be a replacement for the existing llvm.gcroot intrinsic, but rather an addition to it - that is, you could choose to use either the Pointer attribute or the llvm.gcroot intrinsic. The reason for this is that for some languages, there are non-pointer GC roots (my language has discriminated unions that sometimes contains pointers and sometimes not.) These frontends would need to continue to use the existing intrinsics, but fortunately such cases are fairly rare and this is not a terrible burden. For most languages, the Pointer attribute would be a much easier way to deal with roots, since the "root-ness" of a value is simply a property of it's type, and so gets carried along with the value automatically.</div>
<div><br></div><div>Thus, in this new scheme, Pointer types which were marked as roots could be traced regardless of whether they lived within a memory location or a register. These could be used to generate either stack maps or register maps. Note that these maps are language-specific and are implemented via a language-specific plugin, so you would need to update the current API to deal with items in registers. (An alternative plan is to allow the frontend to request via a flag that roots be copied to local variables at each safe point, so that register maps would not be needed. This alternate plan might be a good first step, and then move on to the more difficult problem of register maps if the first step is successful.)</div>
<div><br></div><div>The reason why this is difficult is that the presence of garbage collection roots has a major impact on the optimizer and backend code generators - certain optimizations can cause the stack map to be incorrect, so these optimizations must be prevented or compensated for. However, an advantage is that variables which are optimized away no longer need to be included in stack maps - something that is not possible with the current approach.</div>
<div><br></div><div>One other limitation of the Pointer approach over the existing llvm.gcroot system, is that the latter allows complex metadata to be associated with each root. This is useful in languages that don't use tagged objects, that is, the type of every object it known at compile time. However, creating a metadata pointer for every Pointer type would be expensive, so the Pointer roots would only be used for languages which use tagged objects - which is fortunately most languages that use GC.</div>
<div><br></div><div>An even more ambitious plan would be to allow structs in SSA values to be declared as roots, which would be useful for languages like mine. We wouldn't use register maps for these, since a struct might get "sliced" into multiple registers. Instead, the code generator would automatically spill the struct value to memory during a safe point, and otherwise treat the struct like the existing llvm.gcroot() intrinsic does. Note that this is a much harder problem, and would not be needed for languages like Java or Python where objects are always passed by reference. I wouldn't expect an initial implementation to attempt to tackle this harder problem.</div>
<div><br></div><div>That would be the biggest improvement that I can think of. There are a few other minor improvements that I would also like to see:</div><div><br></div><div>One would be a set of intrinsics that would allow efficient iteration of stack frames in an efficient manner. The existing LLVM stack frame intrinsics are inefficient and cannot be relied upon in many cases. Basically you'd want 3 intrinsics, which would work on all supported platforms: The first would return an opaque reference to the current stack frame; The second would take a stack frame as it's argument and return a pointer to it's parent stack frame; And the third would take a stack frame argument and return a base address for the local variables of that frame. The lanuguage specific runtime would then use this base address, along with the generated stack maps, to access all of the stack roots for that frame.</div>
<div><br></div><div>An example of how this stack walking is done can be seen here: <a href="http://code.google.com/p/tart/source/browse/trunk/runtime/lib/gc_common.cpp#155" target="_blank">http://code.google.com/p/tart/source/browse/trunk/runtime/lib/gc_common.cpp#155</a> However, this code only works on x86 - the intrinsics that I envision would work on a much wider set of backend targets.</div>
<div><br></div><div>Note that these items are just a tiny part of a complete collector, however, the design of LLVM is that each language is supposed to implement its own collector, and LLVM only supplies the parts that need to be integrated into the code generator.</div>
<div><br></div><div>I can also suggest ways to test the new features without having to build a complete garbage collector. For example, one can create a trivial stack walker that merely counts the number of non-null root pointers, and write various unit tests that verify that the results are as expected.</div>
<div><div><div></div><div><br><div class="gmail_quote">On Fri, Apr 6, 2012 at 6:33 AM, Michael Thorpe <span dir="ltr"><<a href="mailto:mthorpe@netcraft.com" target="_blank">mthorpe@netcraft.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Hi,<br>
<br>
I'm currently working for the next 6 months, but I would be very interested in looking into this. Are there any discussions in this mailing list that would be useful in finding out more information?<br>
<br>
Regards<br>
<font color="#888888"><br>
Michael Thorpe<br>
Internet Services Developer<br>
Netcraft Ltd<br>
</font><div><div></div><div><br>
<br>
-----Original Message-----<br>
From: <a href="mailto:llvmdev-bounces@cs.uiuc.edu" target="_blank">llvmdev-bounces@cs.uiuc.edu</a> [mailto:<a href="mailto:llvmdev-bounces@cs.uiuc.edu" target="_blank">llvmdev-bounces@cs.uiuc.edu</a>] On Behalf Of Yiannis Tsiouris<br>
Sent: 06 April 2012 09:25<br>
To: <a href="mailto:llvmdev@cs.uiuc.edu" target="_blank">llvmdev@cs.uiuc.edu</a><br>
Subject: Re: [LLVMdev] Potential Google Summer of Code Applicant<br>
<br>
On 4/6/12 2:21 AM, Talin wrote:<br>
> I would really like to see someone work on LLVM's garbage collection<br>
> support - it hasn't been updated in 4 years, and while there's been a<br>
> lot of talk about ways that it could be improved, there's been no action.<br>
That is *sooo* true! :-) I'm one of the authors of an LLVM backend for Erlang (ErLLVM [1]); we have tested and measured our backend and noticed that with the current GC infrastructure we see 20-40% performance degradation (because of the loads/stores on the stack for all gcroots). It is clear to me and the rest of the team that with this infrastructure the LLVM might not be suitable for languages with explicit garbage collection, like Erlang. I've also studied the way the Vmkit project handles GC and they seem to face the same deficiency too.<br>
<br>
offtopic: I am working on an email (more like an RFC) with all the details and patches to the LLVM project in order to support our Erlang backend. I hope I will be able to send it by next week. Note, that we have already talked with the Ericsson/OTP team about integrating our work in a future release of Erlang/OTP (as a new HiPE backend).<br>
<br>
Yiannis<br>
<br>
[1]: <a href="http://erllvm.softlab.ntua.gr" target="_blank">http://erllvm.softlab.ntua.gr</a><br>
<br>
--<br>
Yiannis Tsiouris<br>
Ph.D. student,<br>
Software Engineering Laboratory,<br>
National Technical University of Athens<br>
WWW: <a href="http://www.softlab.ntua.gr/~gtsiour" target="_blank">http://www.softlab.ntua.gr/~gtsiour</a><br>
<br>
_______________________________________________<br>
LLVM Developers mailing list<br>
<a href="mailto:LLVMdev@cs.uiuc.edu" target="_blank">LLVMdev@cs.uiuc.edu</a> <a href="http://llvm.cs.uiuc.edu" target="_blank">http://llvm.cs.uiuc.edu</a><br>
<a href="http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev" target="_blank">http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev</a><br>
<br>
_______________________________________________<br>
LLVM Developers mailing list<br>
<a href="mailto:LLVMdev@cs.uiuc.edu" target="_blank">LLVMdev@cs.uiuc.edu</a> <a href="http://llvm.cs.uiuc.edu" target="_blank">http://llvm.cs.uiuc.edu</a><br>
<a href="http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev" target="_blank">http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev</a><br>
</div></div></blockquote></div><br><br clear="all"><div><br></div></div></div><font color="#888888">-- <br>-- Talin<br>
</font></div>
</blockquote></div><br><br clear="all"><div><br></div></div></div><span class="HOEnZb"><font color="#888888">-- <br>-- Talin<br>
</font></span><br>_______________________________________________<br>
LLVM Developers mailing list<br>
<a href="mailto:LLVMdev@cs.uiuc.edu">LLVMdev@cs.uiuc.edu</a> <a href="http://llvm.cs.uiuc.edu" target="_blank">http://llvm.cs.uiuc.edu</a><br>
<a href="http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev" target="_blank">http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev</a><br>
<br></blockquote></div><br>