On Mon, Oct 28, 2013 at 7:45 PM, Ben Kloosterman <[email protected]> wrote:
> On Tue, Oct 29, 2013 at 1:33 AM, Jonathan S. Shapiro <[email protected]>wrote: > >> >> Remember that Bartok is a whole-program compiler, so it can do >> interprocedural analysis of this kind. >> > > Whole progamming with a modern type system or whole program with loose > team control ? > Whole program as in: there are no libraries at all, and the entire set of assemblies for a given application must be presented to the compiler at once. In the original Bartok design, there were no shared libraries at all. > ... Linux kernel is whole program and very few apps will reach that scale. > Linux is not compiled whole program. It is compiled one source unit at a time. > Should regions push objects into the stack if it can or always push them >> into a heap allocated region ? >> > There's no simple answer to that. It's basically a question of how long you are willing to pause for the root scan. shap
_______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
