On Sun, Apr 15, 2012 at 4:36 PM, Sandro Magi <[email protected]>wrote:
A JIT would solve all of Jonathan's problems, except keeping the TCB > small and auditable. At the moment, the situation is very much: small > TCB, inlining, separate compilation, pick any two. > I have been thinking about this statement, and I do not entirely agree. I would say that a small runtime TCB precludes JIT, given the state of today's JIT systems. I think this really hangs on what we mean by separate compilation. There is nothing really preventing us from looking across the intermediate forms for inlining and optimization purposes in an AOT compiler* provided* that we have them on hand. The thing that's actually difficult here is run-time *specialization*.
_______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
