Sciweavers

APLAS
2001
ACM

An Effect System Combining Alias and Liveness for Explicit Memory Reuse

13 years 7 months ago
An Effect System Combining Alias and Liveness for Explicit Memory Reuse
The garbage collection is a safe and efficient method for managing the heap. However it is not efficient for temporary storages that are allocated often and deallocated quickly. Reusing temporary storages without collecting garbages can be a remedy for such inefficiency. We present an effect system for checking whether every explicit memory reuse We abstract the heap by using symbolic locations, kinds of cells, and two-level domains. Based on this abstraction, we perform both alias and liveness analyses. The combined result precisely tells us whether every memory reuse is safe.
Oukseh Lee
Added 23 Aug 2010
Updated 23 Aug 2010
Type Conference
Year 2001
Where APLAS
Authors Oukseh Lee
Comments (0)