Towards an analysis of race carrier conditions in real-time java

Authors:
M. T. Higuera-Toledano
Affiliations:
DACYA, Facultad de Informática, Universidad Complutense de Madrid, Madrid, Spain
Venue:
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
Year:
2006

Citing 5
Cited 0

Memory management with explicit regions

PLDI '98 Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation
An Implementation of Scoped Memory for Real-Time Java

EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
Efficient memory-reference checks for real-time java

Proceedings of the 2003 ACM SIGPLAN conference on Language, compiler, and tool for embedded systems
Memory Management for Real-Time Java: An Efficient Solution using Hardware Support

Real-Time Systems
Concurrent and Real-Time Programming in Java

Concurrent and Real-Time Programming in Java

Quantified Score

Hi-index	0.00

Visualization

Abstract

The RTSJ memory model propose a mechanism based on a scope three containing all region-stacks in the system and a reference-counter collector. In order to avoid reference cycles among regions on the region-stack, RTSJ defines the single parent rule. The given algorithms to maintain the region-stack structure are not compliant with the defined parentage relation. More over, the suggested algorithms to maintain the single parent rule introduces race carrier conditions on the application behaviour. This paper proposes alternative approaches in order to avoid this problem.