Reference objects for RTSJ memory areas

A Borg; A J Wellings

Reference objects for RTSJ memory areas

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract

The RTSJ introduces a memory model that includes immortal and scoped memory areas that are not subject to garbage collection. Associated with scoped memory areas are rules that restrict reference assignments to guarantee dangling pointers can not occur. Java includes special references which have different semantics than regular references. Encapsulated by reference objects, these references are treated uniquely way by the garbage collector. In particular, they do not stop their referents from being marked for finalization, finalized and reclaimed.

This paper makes four contributions. We first propose semantics for reference objects used in the RTSJ. We then propose a new scoped reference object that allows access to objects where this would be disallowed by the RTSJ scoping rules. Next, we show how reference object reachability changes can be processed using RTSJ asynchronous events. Finally, we show how thread groups, unavailable to RTSJ RealtimeThreads can be implemented safely using scoped reference objects.

Original language	English
Title of host publication	ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS 2003: OTM 2003 WORKSHOPS
Editors	R Meersman, Z Tari
Place of Publication	BERLIN
Publisher	Springer
Pages	397-410
Number of pages	14
ISBN (Print)	3-540-20494-6
Publication status	Published - 2003
Event	OTM Confederated International Woprkshops HCT-SWWA/IPW/JTRES/WORM/WMS and WRSM 2003 - CATANIA Duration: 3 Nov 2003 → 7 Nov 2003

Conference

Conference	OTM Confederated International Woprkshops HCT-SWWA/IPW/JTRES/WORM/WMS and WRSM 2003
City	CATANIA
Period	3/11/03 → 7/11/03

Cite this

@inproceedings{2f113881857c458595b56b4b2b7e32bd,

title = "Reference objects for RTSJ memory areas",

abstract = "The RTSJ introduces a memory model that includes immortal and scoped memory areas that are not subject to garbage collection. Associated with scoped memory areas are rules that restrict reference assignments to guarantee dangling pointers can not occur. Java includes special references which have different semantics than regular references. Encapsulated by reference objects, these references are treated uniquely way by the garbage collector. In particular, they do not stop their referents from being marked for finalization, finalized and reclaimed.This paper makes four contributions. We first propose semantics for reference objects used in the RTSJ. We then propose a new scoped reference object that allows access to objects where this would be disallowed by the RTSJ scoping rules. Next, we show how reference object reachability changes can be processed using RTSJ asynchronous events. Finally, we show how thread groups, unavailable to RTSJ RealtimeThreads can be implemented safely using scoped reference objects.",

author = "A Borg and Wellings, {A J}",

year = "2003",

language = "English",

isbn = "3-540-20494-6",

pages = "397--410",

editor = "R Meersman and Z Tari",

booktitle = "ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS 2003: OTM 2003 WORKSHOPS",

publisher = "Springer",

address = "Germany",

note = "OTM Confederated International Woprkshops HCT-SWWA/IPW/JTRES/WORM/WMS and WRSM 2003 ; Conference date: 03-11-2003 Through 07-11-2003",

}

TY - GEN

T1 - Reference objects for RTSJ memory areas

AU - Borg, A

AU - Wellings, A J

PY - 2003

Y1 - 2003

N2 - The RTSJ introduces a memory model that includes immortal and scoped memory areas that are not subject to garbage collection. Associated with scoped memory areas are rules that restrict reference assignments to guarantee dangling pointers can not occur. Java includes special references which have different semantics than regular references. Encapsulated by reference objects, these references are treated uniquely way by the garbage collector. In particular, they do not stop their referents from being marked for finalization, finalized and reclaimed.This paper makes four contributions. We first propose semantics for reference objects used in the RTSJ. We then propose a new scoped reference object that allows access to objects where this would be disallowed by the RTSJ scoping rules. Next, we show how reference object reachability changes can be processed using RTSJ asynchronous events. Finally, we show how thread groups, unavailable to RTSJ RealtimeThreads can be implemented safely using scoped reference objects.

AB - The RTSJ introduces a memory model that includes immortal and scoped memory areas that are not subject to garbage collection. Associated with scoped memory areas are rules that restrict reference assignments to guarantee dangling pointers can not occur. Java includes special references which have different semantics than regular references. Encapsulated by reference objects, these references are treated uniquely way by the garbage collector. In particular, they do not stop their referents from being marked for finalization, finalized and reclaimed.This paper makes four contributions. We first propose semantics for reference objects used in the RTSJ. We then propose a new scoped reference object that allows access to objects where this would be disallowed by the RTSJ scoping rules. Next, we show how reference object reachability changes can be processed using RTSJ asynchronous events. Finally, we show how thread groups, unavailable to RTSJ RealtimeThreads can be implemented safely using scoped reference objects.

M3 - Conference contribution

SN - 3-540-20494-6

SP - 397

EP - 410

BT - ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS 2003: OTM 2003 WORKSHOPS

A2 - Meersman, R

A2 - Tari, Z

PB - Springer

CY - BERLIN

T2 - OTM Confederated International Woprkshops HCT-SWWA/IPW/JTRES/WORM/WMS and WRSM 2003

Y2 - 3 November 2003 through 7 November 2003

ER -