A Retrospective on Region-Based Memory Management
نویسندگان
چکیده
منابع مشابه
A Retrospective on Region-Based Memory Management
We report on our experience with designing, implementing, proving correct, and evaluating a regionbased memory management system.
متن کاملRegion-based Memory Management
This paper describes a memory management discipline for programs that perform dynamic memory allocation and de-allocation. At runtime, all values are put into regions. The store consists of a stack of regions. All points of region allocation and de-allocation are inferred automatically, using a type and effect based program analysis. The scheme does not assume the presence of a garbage collecto...
متن کاملRegion - Based Memory Management in Prolog
This thesis investigates whether region-based memory management can successfully be applied to Prolog programs. The answer is affirmative. It is shown how region-based memory management can be extended to work with backtracking and logical variables. Experiments with a prototype region-based Prolog implementation show that the time efficiency of the extended region-based model compares favorabl...
متن کاملTitle: Region-based Memory Management 1
This paper describes a memory management discipline for programs that perform dynamic memory allocation and de-allocation. At runtime, all values are put into regions. The store consists of a stack of regions. All points of region allocation and deallocation are inferred automatically, using a type and e ect based program analysis. The scheme does not assume the presence of a garbage collector....
متن کاملRegion-based memory management for Mercury programs
Region-based memory management (RBMM) is a form of compile time memory management, well-known from the functional programming world. In this paper we describe our work on implementing RBMM for the logic programming language Mercury. One interesting point about Mercury is that it is designed with strong type, mode, and determinism systems. These systems not only provide Mercury programmers with ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Higher-Order and Symbolic Computation (formerly LISP and Symbolic Computation)
سال: 2004
ISSN: 1388-3690
DOI: 10.1023/b:lisp.0000029446.78563.a4