Region Type Checking for Core-Java
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...
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | en_US |
| Published: |
2003
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/1721.1/3871 |
| _version_ | 1811088161757986816 |
|---|---|
| author | Chin, Wei Ngan Qin, Shengchao Rinard, Martin C. |
| author_facet | Chin, Wei Ngan Qin, Shengchao Rinard, Martin C. |
| author_sort | Chin, Wei Ngan |
| collection | MIT |
| description | 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. |
| first_indexed | 2024-09-23T13:57:14Z |
| format | Article |
| id | mit-1721.1/3871 |
| institution | Massachusetts Institute of Technology |
| language | en_US |
| last_indexed | 2024-09-23T13:57:14Z |
| publishDate | 2003 |
| record_format | dspace |
| spelling | mit-1721.1/38712019-04-12T08:07:32Z Region Type Checking for Core-Java Chin, Wei Ngan Qin, Shengchao Rinard, Martin C. Core-Java region type type checking 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. Singapore-MIT Alliance (SMA) 2003-12-13T20:15:13Z 2003-12-13T20:15:13Z 2004-01 Article http://hdl.handle.net/1721.1/3871 en_US Computer Science (CS); 115855 bytes application/pdf application/pdf |
| spellingShingle | Core-Java region type type checking Chin, Wei Ngan Qin, Shengchao Rinard, Martin C. Region Type Checking for Core-Java |
| title | Region Type Checking for Core-Java |
| title_full | Region Type Checking for Core-Java |
| title_fullStr | Region Type Checking for Core-Java |
| title_full_unstemmed | Region Type Checking for Core-Java |
| title_short | Region Type Checking for Core-Java |
| title_sort | region type checking for core java |
| topic | Core-Java region type type checking |
| url | http://hdl.handle.net/1721.1/3871 |
| work_keys_str_mv | AT chinweingan regiontypecheckingforcorejava AT qinshengchao regiontypecheckingforcorejava AT rinardmartinc regiontypecheckingforcorejava |