Article

Efficient memory-reference checks for real-time java

Authors:

Angelo Corsaro,

Ron K. CytronAuthors Info & Claims

LCTES '03: Proceedings of the 2003 ACM SIGPLAN conference on Language, compiler, and tool for embedded systems

Pages 51 - 58

https://doi.org/10.1145/780732.780740

Published: 11 June 2003 Publication History

Get Access

Abstract

The scoped-memory feature is central to the Real-Time Specification for Java. It allows greater control over memory management, in particular the deallocation of objects without the use of a garbage collector. To preserve the safety of storage references associated with Java since its inception, the use of scoped memory is constrained by a set of rules in the specification. While a program's adherence to the rules can be partially checked at compile-time, undecidability issues imply that some---perhaps, many---checks may be required at run-time. Poor implementations of those run-time checks could adversely affect overall performance and predictability, the latter being a founding principle of the specification.In this paper we present efficient algorithms for managing scoped memories and the checks they impose on programs. Implementations and results published to date require time linear in the depth of scope nesting; our algorithms operate in constant time. We describe our approach and present experiments quantifying the gains in efficiency.

References

[1]

K. Arnold, J. Gosling, and D. Holmes. The Java Programming Language. Addison-Wesley, Boston, 2000.

Digital Library

Google Scholar

[2]

D. F. Bacon, P. Cheng, and V. T. Rajan. A real-time garbage collector with low overhead and consistent utilization. In Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pages 285--298. ACM Press, 2003.

Digital Library

Google Scholar

[3]

W. S. Beebee and M. Rinard. An implementation of scoped memory for real-time Java. Lecture Notes in Computer Science, 2211, 2001.

Digital Library

Google Scholar

[4]

Bollella, Gosling, Brosgol, Dibble, Furr, Hardin, and Turnbull. The Real-Time Specification for Java. Addison-Wesley, 2000.

Digital Library

Google Scholar

[5]

P. Cheng and G. Belloch. A parallel, real-time garbage collector. ACM SIGPLAN Notices, 36(5):125--136, May 2001.

Digital Library

Google Scholar

[6]

I. Coorporation. Using the RDTSC Instruction for Performance Monitoring. Technical report, Intel Coorporation, 1997.

Google Scholar

[7]

A. Corsaro and D. C. Schmidt. Evaluating Real-Time Java Features and Performance for Real-time Embedded Systems. In Proceedings of the $8^th$ IEEE Real-Time Technology and Applications Symposium, San Jose, Sept. 2002. IEEE.

Digital Library

Google Scholar

[8]

A. Corsaro and D. C. Schmidt. The Design and Performance of the jRate Real-Time Java Implementation. In R. Meersman and Z. Tari, editors, On the Move to Meaningful Internet Systems 2002: CoopIS, DOA, and ODBASE, pages 900--921, Berlin, 2002. Lecture Notes in Computer Science 2519, Springer Verlag.

Digital Library

Google Scholar

[9]

GNU is Not Unix. GCJ: The GNU Complier for Java. http://gcc.gnu.org/java, 2002.

Google Scholar

[10]

R. Jones and R. Lins. Garbage Collection Algorithms for Automatic Dynamic Memory Management. Wiley & Sons, New York, 1996.

Digital Library

Google Scholar

[11]

M. A. d. M.-C. M. Teresa Higuera-Toledano. Dynamic Detection of Access Errors and Illegal References in RTSJ. In Proceedings of the 8th IEEE Real-Time Technology and Applications Symposium, San Jose, Sept. 2002. IEEE.

Digital Library

Google Scholar

[12]

Norman H. Cohen. Type-Extension Type Tests Can Be Performend In Constant Time. ACM Transactions on Programming Languages and Systems (TOPLAS), 1991.

Digital Library

Google Scholar

[13]

M. Tofte and J.-P. Talpin. Region-based memory management. Information and Computation, 132(2):109--176, Feb. 1997.

Digital Library

Google Scholar

[14]

J. Whaley and M. Rinard. Compositional pointer and escape analysis for Java programs. ACM SIGPLAN Notices, 34(10):187--206, 1999.

Digital Library

Google Scholar

Cited By

View all

Feng WShi XWang W(2018)Eliminating object reference checks by escape analysis on real-time Java virtual machineCluster Computing10.1007/s10586-018-2145-8Online publication date: 27-Feb-2018
https://doi.org/10.1007/s10586-018-2145-8
Cunei AGuerraoui RSpring JPrivat JVitek J(2009)High-Performance Transactional Event ProcessingProceedings of the 11th International Conference on Coordination Models and Languages10.1007/978-3-642-02053-7_2(27-46)Online publication date: 11-Jun-2009
https://dl.acm.org/doi/10.1007/978-3-642-02053-7_2
Higuera-Toledano MBollella GLocke D(2008)Making stronger and flexible the single parent rule in the real-time specification of JavaProceedings of the 6th international workshop on Java technologies for real-time and embedded systems10.1145/1434790.1434794(19-28)Online publication date: 24-Sep-2008
https://dl.acm.org/doi/10.1145/1434790.1434794
Show More Cited By

Index Terms

Recommendations

Efficient memory-reference checks for real-time java
Special Issue: Proceedings of the 2003 ACM SIGPLAN conference on Language, compiler, and tool support for embedded systems (San Diego, CA).

The scoped-memory feature is central to the Real-Time Specification for Java. It allows greater control over memory management, in particular the deallocation of objects without the use of a garbage collector. To preserve the safety of storage ...
On the connection between functional programming languages and real-time Java scoped memory
JTRES '07: Proceedings of the 5th international workshop on Java technologies for real-time and embedded systems

Java has recently joined C and C++ as a relatively high-level language suitable for developing real-time applications. Java's garbage collection, while generally a useful feature, can be problematic for real-time applications if collection occurs with ...
Region-Based RTSJ Memory Management: State of the art

Developing a real-time system in Java requires awareness of memory behaviour in addition to software functional requirements. The Real-Time Specification for Java (RTSJ) introduces a scoped memory model to avoid garbage collection delays in critical ...

Comments

Information & Contributors

Information

Published In

LCTES '03: Proceedings of the 2003 ACM SIGPLAN conference on Language, compiler, and tool for embedded systems

June 2003

304 pages

ISBN:1581136471

DOI:10.1145/780732

General Chair:
Frank Mueller
North Carolina State University
,
Publications Chair:
Uli Kremer
Rutgers University

ACM SIGPLAN Notices Volume 38, Issue 7
Special Issue: Proceedings of the 2003 ACM SIGPLAN conference on Language, compiler, and tool support for embedded systems (San Diego, CA).
July 2003
293 pages
ISSN:0362-1340
EISSN:1558-1160
DOI:10.1145/780731
Issue’s Table of Contents

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 11 June 2003

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Conference

LCTES03

Sponsor:

LCTES03: ACM SIGPLAN Symposium on Languages, Compilers, and Tools for Embedded Systems

June 11 - 13, 2003

California, San Diego, USA

Acceptance Rates

LCTES '03 Paper Acceptance Rate 29 of 128 submissions, 23%;

Overall Acceptance Rate 116 of 438 submissions, 26%

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

25
Total Citations
View Citations
591
Total Downloads

Downloads (Last 12 months)4
Downloads (Last 6 weeks)0

Reflects downloads up to 03 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Feng WShi XWang W(2018)Eliminating object reference checks by escape analysis on real-time Java virtual machineCluster Computing10.1007/s10586-018-2145-8Online publication date: 27-Feb-2018
https://doi.org/10.1007/s10586-018-2145-8
Cunei AGuerraoui RSpring JPrivat JVitek J(2009)High-Performance Transactional Event ProcessingProceedings of the 11th International Conference on Coordination Models and Languages10.1007/978-3-642-02053-7_2(27-46)Online publication date: 11-Jun-2009
https://dl.acm.org/doi/10.1007/978-3-642-02053-7_2
Higuera-Toledano MBollella GLocke D(2008)Making stronger and flexible the single parent rule in the real-time specification of JavaProceedings of the 6th international workshop on Java technologies for real-time and embedded systems10.1145/1434790.1434794(19-28)Online publication date: 24-Sep-2008
https://dl.acm.org/doi/10.1145/1434790.1434794
Auerbach JBacon DGuerraoui RSpring JVitek J(2008)Flexible task graphsACM SIGPLAN Notices10.1145/1379023.137565943:7(1-11)Online publication date: 12-Jun-2008
https://dl.acm.org/doi/10.1145/1379023.1375659
Auerbach JBacon DGuerraoui RSpring JVitek JFlautner KRegehr J(2008)Flexible task graphsProceedings of the 2008 ACM SIGPLAN-SIGBED conference on Languages, compilers, and tools for embedded systems10.1145/1375657.1375659(1-11)Online publication date: 12-Jun-2008
https://dl.acm.org/doi/10.1145/1375657.1375659
Pizlo FVitek J(2008)Memory Management for Real-Time JavaProceedings of the 2008 11th IEEE Symposium on Object Oriented Real-Time Distributed Computing10.1109/ISORC.2008.40(248-254)Online publication date: 5-May-2008
https://dl.acm.org/doi/10.1109/ISORC.2008.40
Armbruster ABaker JCunei AFlack CHolmes DPizlo FPla EProchazka MVitek J(2007)A real-time Java virtual machine with applications in avionicsACM Transactions on Embedded Computing Systems10.1145/1324969.13249747:1(1-49)Online publication date: 12-Dec-2007
https://dl.acm.org/doi/10.1145/1324969.1324974
Spring JPizlo FGuerraoui RVitek JKrintz CHand STarditi D(2007)ReflexesProceedings of the 3rd international conference on Virtual execution environments10.1145/1254810.1254837(191-201)Online publication date: 13-Jun-2007
https://dl.acm.org/doi/10.1145/1254810.1254837
Curcio CMidonnet S(2007)Resource reclamation using meta-events in a real time java systemProceedings of the 13th International Conference on Parallel and Distributed Systems - Volume 0210.1109/ICPADS.2007.4447833(1-6)Online publication date: 5-Dec-2007
https://dl.acm.org/doi/10.1109/ICPADS.2007.4447833
Higuera-Toledano M(2006)Towards an analysis of race carrier conditions in real-time javaProceedings of the 20th international conference on Parallel and distributed processing10.5555/1898953.1899103(172-172)Online publication date: 25-Apr-2006
https://dl.acm.org/doi/10.5555/1898953.1899103
Show More Cited By

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

Efficient memory-reference checks for real-time java

On the connection between functional programming languages and real-time Java scoped memory

Region-Based RTSJ Memory Management: State of the art