Paper Info
Title
Allowing Cycle References by Introducing Controlled Violations of the Assignment Rules in Real-Time Java
Abstract
The Real-time Specification for Java (RTSJ) extends the Java memory model through immortal and scoped memory regions to reduce the timing-indeterminism caused by garbage collection. Since scoped regions can be nested, RTSJ imposes strict assignment rules to avoid dangling pointers. These rules stabilise that an object shall not reference any object whose lifetime could be shorter than they own. Then references among two objects within different scoped regions are allowed only in one direction (i.e., from objects within region r1 to region r2, but never from r2 to r1). In order to support RTSJ component-based applications, we require controlled violations of the assignment rules to have bidirectional references among objects within two different scopes.
Year
DOI
Venue
2008
10.1109/ISORC.2008.48
ISORC
Keywords
Field
DocType
different scope,rules stabilise,assignment rules,java memory model,region r2,controlled violations,real-time java,scoped memory region,assignment rule,region r1,different scoped region,cycle references,rtsj component-based application,scoped region,memory management,distributed computing,formal specification,garbage collection,encapsulation,java,navigation,application software,dangling pointers,reflection,object oriented programming,real time java
Programming language,Java Memory Model,Object-oriented programming,Computer science,Real time Java,Scoped memory,Formal specification,Real-time computing,Dangling pointer,Garbage collection,Java,Distributed computing
Conference
Citations 
PageRank 
References 
2
0.37
5
Authors
1
Name
Order
Citations
PageRank
M. Teresa Higuera-Toledano113918.87