Region Type Checking for Core-Java
Author(s)
Chin, Wei Ngan
Qin, Shengchao
Rinard, Martin C.
Date Issued
January 2004
Series/Report no.
Computer Science (CS);
Abstract
Region-based memory management offers several important advantages over garbage-collected heap, including real-time performance, better data locality and efficient use of limited memory. The concept of regions was first introduced for a call-by-value functional language by Tofte and Talpin, and has since been advocated for imperative and object-oriented languages. Scope memory, a lexical variant of regions, is now a core feature in a recent proposal on Real-Time Specification for Java (RTSJ). In this paper, we propose a region-based memory management system for a core subset of Java. Our region type analysis can completely prevent dangling references and thus is ready to cater for the no-dangling requirement in RTSJ. Our system also supports modular compilation, which is an important feature for Java, but was missing in recent related work.
Subjects
Core-Java
region type
type checking
Persistent DSpace Link
