Author :
Bollella, Greg ; Reinholtz, Kirk
fDate :
6/24/1905 12:00:00 AM
Abstract :
Scoped memory is perhaps the most novel contribution of the Real-Time Specification for Java (RTSJ) to the Java programming language. In this paper we show that scoped memory can be used to reduce the processor overhead of any possible garbage collection algorithm and to avoid all latency introduced by any garbage collection algorithm. These semantics make it easier to write correct real-time programs
Keywords :
Java; formal specification; object-oriented programming; real-time systems; storage management; Real-Time Specification for Java; correct real-time program writing; garbage collection algorithm; latency; processor overhead reduction; scoped memory; semantics; Automatic logic units; Automatic programming; Costs; Delay; Error correction; Java; Laboratories; Memory management; Programming profession; Safety;
Conference_Titel :
Object-Oriented Real-Time Distributed Computing, 2002. (ISORC 2002). Proceedings. Fifth IEEE International Symposium on
Conference_Location :
Washington, DC
Print_ISBN :
0-7695-1558-4
DOI :
10.1109/ISORC.2002.1003656
