Title :
Illegal references in a real-time Java concurrent environment
Author :
Higuera-Toledano, M. Teresa
Author_Institution :
Fac. Informatica, Univ. Complutense de Madrid
Abstract :
We consider the concurrent execution of several applications within a single JVM. In order to have a different GC per application, we introduce and define application-specific memory, building upon the real-time specification for Java (RTSJ) from the real-time Java expert group. The RTSJ memory model imposes strict assignment rules to or from memory areas preventing the creation of dangling pointers. An implementation solution to ensure the pointer safety of Java consists to check the imposed rules before executing each assignment statement by using write barriers
Keywords :
Java; concurrency control; formal specification; real-time systems; storage management; Java concurrent environment; memory model; pointer; real-time Java expert group; real-time specification; Distributed computing; Java; Memory management; Object oriented modeling; Protection; Real time systems; Safety; Yarn;
Conference_Titel :
Object-Oriented Real-Time Distributed Computing, 2004. Proceedings. Seventh IEEE International Symposium on
Conference_Location :
Vienna
Print_ISBN :
0-7695-2124-X
DOI :
10.1109/ISORC.2004.1300395