Scoped types for real-time Java

Scoped types for real-time Java (2004)

Cached

Download Links

[www.cs.purdue.edu]

Other Repositories/Bibliography

DBLP

by Tian Zhao

Venue:	In Proceedings of the 25th IEEE International Real-Time Systems Symposium (RTSS04
Citations:	29 - 11 self

Versions

Version History

Metadata Version 1

Datum	Value	Source
TITLE	Scoped types for real-time Java	INFERENCE
AUTHOR NAME	Tian Zhao	SVM HeaderParse 0.2
AUTHOR AFFIL	University of Wisconsin – Milwaukee	SVM HeaderParse 0.2
ABSTRACT	Abstract — A memory model based on scoped areas is one of the distinctive features of the Real-Time Specification for Java (RTSJ). Scoped Types ensure timely reclamation of memory and predictable performance. The price to pay for these benefits is an unfamiliar programming model that, at the same time, is complex, requires checking all memory accesses, and rewards design-time errors with run-time crashes. We investigate an alternative approach, referred to as Scoped Types, that simplifies the task of managing memory in real-time codes. The key feature of our proposal is that the run-time partition of memory imposed by scoped areas is straightforwardly mirrored in the program text. Thus cursory inspection of a program reveals which objects will inhabit the different scopes, significantly simplifying the task of understanding real-time Java programs. Moreover, we introduce a type system which ensures that no run-time errors due to memory access checks will occur. Thus a RTSJ-compliant virtual machine does not require memory access checks. The contributions of this paper are the concept of Scoped Types, and a proof soundness of the type system. Experimental results will be described in future work. I.	SVM HeaderParse 0.2
YEAR	2004	INFERENCE
VENUE	In Proceedings of the 25th IEEE International Real-Time Systems Symposium (RTSS04	INFERENCE
VENUE TYPE	CONFERENCE	INFERENCE
PAGES	241--251	INFERENCE
CITATIONS	23 found	ParsCit 1.0