Publications

Click on the titles to view and download the abtracts.

Limits of Parallel Marking Garbage Collection

Published/Presented at: 
ISMM'08 - International Symposium on Memory Management - Tucson, Arizona, USA
Author: 
Fridtjof Siebert

More and more, parallel multicore systems will be used even in low-end devices such as embedded controllers that require realtime guarantees. When garbage collection is used in these systems, parallel or concurrent garbage collection brings important performance advantages. In the context of realtime systems, it has to be shown that a parallel garbage collector implementation not only performs well in most cases, but guarantees on its performance in the worst case are required.

Implicit Ownership Types for Memory Management

Published/Presented at: 
Science of Computer Programming, vol. 71, no. 3, 2008
Author: 
Tian Zhao, Jason Baker, James J. Hunt, James Noble, and Jan Vitek

Abstract. The Real-time Specification for Java (RTSJ) introduced a range of language features for explicit memory management. While the RTSJ gives programmers fine control over memory use and allows linear allocation and constant-time deallocation, the RTSJ relies upon dynamic runtime checks for safety making it unsuitable for safety critical applications. We introduce ScopeJ, a staticallytyped, multi-threaded, object calculus in which scopes are first class constructs. Scopes reify allocation contexts and provide a safe alternative to automatic memory management.

Modelling Architecturally Neutral Realtime Systems

Published/Presented at: 
JTRES'07 - The 5th International Workshop on Java Technologies for Real-Time and Embedded Systems - Vienna, Austria
Author: 
James J. Hunt, Isabel Tonin, Michael Benkel, Mirko Seifert, Katja Siegemund, Niko Feiertag

The current trend in Model Driven Architecture is to use model transformation to refine a model from a platformindependent model to a platform-specific model, resulting in a linear development process.

Realtime Garbage Collection in the JamaicaVM 3.0

Published/Presented at: 
JTRES'07 - The 5th International Workshop on Java Technologies for Real-time and Embedded Systems - JTRES 2007 - Vienna, Austria
Author: 
James J. Hunt, Isabel Tonin, Michael Benkel, Mirko Seifert, Katja Siegemund, Niko Feiertag

This paper provides an overview of the realtime garbage collector used by the RTSJ Java Virtual Machine JamaicaVM. A particular emphasis will be made on the improvements made in with release 3.0 JamaicaVM.

Provably Correct Loops Bounds for Realtime Java Programs

Published/Presented at: 
JTRES'06 - The 4th International Workshop on Java Technologies for Real-time and Embedded Systems - Paris, France
Author: 
James J. Hunt, Fridtjof B. Siebert, Peter H. Schmitt, Isabel Tonin

Determining concrete bounds for loops is one of the more vexing problems of resource analysis of realtime programs. Current mechanisms are limited in scope and require considerable user input that can not be verified. The authors present a methodology for providingmore general loop bounds where the correctness can be demonstrated with formal techniques. The methodology combines data flow analysis and deductive formal verification to attain this goal.

Proving the Absence of RTSJ Related Runtime Errors through Data Flow Analysis

Published/Presented at: 
JTRES'06 - The 4th International Workshop on Java Technologies for Real-time and Embedded Systems - JTRES 2006 - Paris, France
Author: 
Fridtjof Siebert

The Real-Time Specification for Java (RTSJ) introduces region based memory management to avoid the need for garbage collection. This region based memory management, however, introduces new possible runtime errors. To ensure that an application developed with the Real-Time Specification for Java executes correctly, it has to be proven that no runtime errors occur.

Pages