[bitc-dev] Region-based Memory Management?
Jonathan S. Shapiro
shap at eros-os.org
Sun Jan 30 22:39:15 EST 2005
On Sat, 2005-01-29 at 20:54 +0100, Jørgen Hermanrud Fjeld wrote:
> I wondered about the relevance of region based memory managment  to
> BitC, as in the work on memory regions in Cyclone .
> Cyclone is an extension of C that provides memory region
> annotations and memory region inference such that one can avoid
> dangling pointers.
> If you must provide pointers, how would you then prevent dangling
> pointers, if not by some mechanism such as memory regions?
>  http://www.research.att.com/projects/cyclone/papers/cyclone-regions.pdf
>  http://www.research.att.com/projects/cyclone/
I am familiar with Cyclone, and have actually tried to write some non-
trivial code in it. Speaking as a developer, my experience with region
based memory management was *horrible*.
The best answer to your question is (a) verification, or (b) garbage
More information about the bitc-dev