Analyzing the Memory Management Semantic and Requirements of the Real-time Specification of Java JSR-0000001 ∗

The RTSJ memory model proposes a mechanism based on a scope three containing all scope-stacks in the system and a reference-counter collector. In order to avoid refer-ence cycles among regions on the scope-stack, RTSJ defines the single parent rule. The given algorithms to maintain the scope-stack structure are not compliant with the defined parentage relation. More over, the suggested algorithms to maintain the single parent rule makes the application be-haviour non-deterministic. This paper provides an indepth analytical investigation of the RTSJ requirements effecting the RTSJ defined parentage relation, and propose alterna-tive approaches to avoid the indeterminism problem. 1