Analyzing the memory management semantic and requirements of the real-time specification of Java JSR-0000001

Abstract

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 reference 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 behaviour non-deterministic. This paper provides an in-depth analytical investigation of the RTSJ requirements effecting the RTSJ defined parentage relation, and propose alternative approaches to avoid the indeterminism problem