University of York, Department of Computer Science
Real-Time Systems Research Group
News
Local info
The Group
Projects
Publications
Other

Towards a High-Integrity Real-Time Java Virtual Machine

H. Cai, A. J. Wellings

On the Move to Meaningfull Internet Systems 2003: Workshop on Java Technologies for Real-Time and Embedded Systems
2003

Abstract

This paper defines a run-time architecture for a Java Virtual Machine (JVM) that supports the Ravenscar-Java profile (RJVM). This architecture introduces an early class loading and verifying model that can facilitate the predictable efficient execution of Java applications, detect program errors at the initialization phase and prevent errors occurring during the mission phase. A pre-emptive fixed priority scheduler is provided which supports the immediate ceiling priority protocol to facilitate efficient resource usage. An economical predictable memory management model based on heap, immortal and linear time scoped memory (LTM) is presented. The integration of our proposed runtime architecture and the KVM is discussed.

Download

R:Cai:2003.pdf

Bibtex

@inproceedings{R:Cai:2003,
author = {H. Cai and A. J. Wellings},
title = {Towards a High-Integrity Real-Time Java Virtual Machine},
booktitle = {On the Move to Meaningfull Internet Systems 2003: Workshop on Java Technologies for Real-Time and Embedded Systems},
volume = {LNCS 2889},
pages = {319-334},
publisher = {Springer},
year = {2003},
abstract = {This paper defines a run-time architecture for a Java Virtual Machine (JVM) that supports the Ravenscar-Java profile (RJVM). This architecture introduces an early class loading and verifying model that can facilitate the predictable efficient execution of Java applications, detect program errors at the initialization phase and prevent errors occurring during the mission phase. A pre-emptive fixed priority scheduler is provided which supports the immediate ceiling priority protocol to facilitate efficient resource usage. An economical predictable memory management model based on heap, immortal and linear time scoped memory (LTM) is presented. The integration of our proposed runtime architecture and the KVM is discussed.},
}

[top]