Accession Number : ADA292238
Title : Abstract Models of Memory Management.
Corporate Author : CARNEGIE-MELLON UNIV PITTSBURGH PA DEPT OF COMPUTER SCIENCE
Personal Author(s) : Morrisett, Greg ; Felleisen, Mattias ; Harper, Robert
PDF Url : ADA292238
Report Date : JAN 1995
Pagination or Media Count : 37
Abstract : Most specifications of garbage collectors concentrate on the low-level algorithmic details of how to find and preserve accessible objects. Often, they focus on bit-level manipulations such as 'scanning stack frames,' 'marking objects,' 'tagging data,' etc. While these details are important in some contexts, they often obscure the more fundamental aspects of memory management: what objects are garbage and why? We develop a series of calculi that are just low-level enough that we can express allocation and garbage collection, yet are sufficiently abstract that we may formally prove the correctness of various memory management strategies. By making the heap of a program syntactically apparent, we can specify memory actions as rewriting rules that allocate values on the heap and automatically dereference pointers to such objects when needed. This formulation permits the specification of garbage collection as a relation that removes portions of the heap without affecting the outcome of the evaluation.
Descriptors : *DATA MANAGEMENT, *COMPUTER PROGRAMMING, *INFORMATION RETRIEVAL, *GARBAGE, SCANNING, STRATEGY, MODELS, SPECIFICATIONS, SEMANTICS, ABSTRACTS, MEMORY DEVICES, MARKERS, ACCUMULATORS, CALCULI, COLLECTION, STACKING, SYNTAX, POLYMORPHISM.
Subject Categories : Computer Programming and Software
Distribution Statement : APPROVED FOR PUBLIC RELEASE