The indeterministic behavior of scoped memory in Real-Time Java']Java

The memory model used in the Real-Time Specification for Java (RTSJ) includes both a heap within a traditional garbage collector, which collects the not used objects, and a new memory management feature based on scoped memory areas. The scoped memory areas model allows programmers to ensure constant-time reclamation thus to have predictable M order to maintain the pointer safety of Java, RTSJ imposes strict assignment rules to or from memory areas preventing the creation of dangling pointers, at the cost of an unfamiliar programming model. The guidelines given by RTSJ to implement the assignment rules also increase the program complexity: more over. makes indeterminist the program behavior. In order to solve these problems, we propose to redefine some RTSJ rules.