[bitc-dev] Relevant information
Jonathan S. Shapiro
shap at eros-os.org
Mon Apr 18 12:15:01 EDT 2005
On Sat, 2005-04-16 at 08:59 -0400, Sandro Magi wrote:
> Eliminating runtime checks before memory operations and the need for
> GC is a potentially significant boost in performance, even if only for
> a subset of programs ("embedded C programs" in the paper).
I agree, but this is a relatively small fraction of what BitC is trying
The basis of their work is automated region inference. Region inference
isn't going to work for the applications we are really concerned about,
because the inference engine will conclude (correctly) that the region
remains live nearly everywhere that we might call free().
So: this is definitely a useful auxiliary technique for BitC, but it
doesn't address the core issues of memory (de)allocation that we need to
More information about the bitc-dev