DocumentCode
3011637
Title
Illegal references in a real-time Java concurrent environment
Author
Higuera-Toledano, M. Teresa
Author_Institution
Fac. Informatica, Univ. Complutense de Madrid
fYear
2004
fDate
14-14 May 2004
Firstpage
321
Lastpage
324
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Object-Oriented Real-Time Distributed Computing, 2004. Proceedings. Seventh IEEE International Symposium on
Conference_Location
Vienna
Print_ISBN
0-7695-2124-X
Type
conf
DOI
10.1109/ISORC.2004.1300395
Filename
1300395
Link To Document