Towards an understanding of the behavior of the single parent rule in the RTSJ scoped memory model

The memory model used in the real-time specification for Java (RTSJ) imposes strict assignment rules to or from memory areas preventing the creation of dangling pointers, and thus maintaining the pointer safety of Java. An implementation solution to ensure the checking of these rules before each assignment statement consists of performing it dynamically by using write barriers. This solution adversely affects both the performance and predictability of the RTSJ application. In this paper we present an efficient algorithm for managing scoped regions which requires some modifications in the current RTSJ specification.

[1]  M. Teresa Higuera-Toledano,et al.  Java embedded real-time systems: an overview of existing solutions , 2000, Proceedings Third IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2000) (Cat. No. PR00607).

[2]  M. Teresa Higuera-Toledano,et al.  Analyzing the performance of memory management in RTSJ , 2002, Proceedings Fifth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing. ISIRC 2002.

[3]  M. Teresa Higuera-Toledano.  Towards an analysis of race carrier conditions in real-time Java , 2006, Proceedings 20th IEEE International Parallel & Distributed Processing Symposium.

[4]  M. Teresa Higuera-Toledano.  Studying the Behaviour of the Single Parent Rule in Real-Time Java , 2004, OTM Workshops.

[5]  M. Teresa Higuera-Toledano,et al.  Region-based memory management for real-time Java , 2001, Fourth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing. ISORC 2001.

[6]  David Gay,et al.  Memory management with explicit regions , 1998, PLDI.

[7]  Martin C. Rinard,et al.  An Implementation of Scoped Memory for Real-Time Java , 2001, EMSOFT.

[8]  Norman H. Cohen.  Type-extension type test can be performed in constant time , 1991, TOPL.

[9]  Henry G. Baker,et al.  The treadmill: real-time garbage collection without motion sickness , 1992, SIGP.

[10]  Jan Vitek,et al.  Java Subtype Tests in Real-Time , 2003, ECOOP.

[11]  M. Teresa Higuera-Toledano,et al.  Memory Management for Real-Time Java: An Efficient Solution using Hardware Support* , 2004, Real-Time Systems.

[12]  Peter C. Dibble.  Real-Time Java Platform Programming , 2002 .

[13]  M. Teresa Higuera-Toledano,et al.  Dynamic detection of access errors and illegal references in RTSJ , 2002, Proceedings. Eighth IEEE Real-Time and Embedded Technology and Applications Symposium.

[14]  James Gosling,et al.  The Real-Time Specification for Java , 2000, Computer.