Precise GC

[Alex Rønne Petersen]

On 08-04-2012 11:42, Manu wrote:
> On 8 April 2012 11:56, Timon Gehr <timon.gehr at gmx.ch
> <mailto:timon.gehr at gmx.ch>> wrote:
>
>     On 04/08/2012 10:45 AM, Timon Gehr wrote:
>
>         That actually sounds like a pretty awesome idea.
>
>
>     Make sure that the compiler does not actually rely on the fact that
>     the template generates a function. The design should include the
>     possibility of just generating tables. It all should be completely
>     transparent to the compiler, if that is possible.
>
>
> This sounds important to me. If it is also possible to do the work with
> generated tables, and not calling thousands of indirect functions in
> someone's implementation, it would be nice to reserve that possibility.
> Indirect function calls in hot loops make me very nervous for non-x86
> machines.

Yes, I agree here. The last thing we need is a huge amount of 
kinda-sorta-virtual function calls on ARM, MIPS, etc. It may work fine 
on x86, but anywhere else, it's really not what you want in a GC.

-- 
- Alex