Execution time limitation of interrupt handlers in a Java operating system

Authors:
Meik Felser;Michael Golm;Christian Wawersich;Jürgen Kleinöder
Affiliations:
University of Erlangen-Nürnberg, Erlangen, Germany;University of Erlangen-Nürnberg, Erlangen, Germany;University of Erlangen-Nürnberg, Erlangen, Germany;University of Erlangen-Nürnberg, Erlangen, Germany
Venue:
EW 10 Proceedings of the 10th workshop on ACM SIGOPS European workshop
Year:
2002

Citing 10
Cited 0

Reasoning About Time in Higher-Level Language Software

IEEE Transactions on Software Engineering
Calculating the maximum, execution time of real-time programs

Real-Time Systems
Predicting program execution times by analyzing static and dynamic program paths

Real-Time Systems - Special issue: Real-time languages and language-level timing tools and analysis
Discrete loops and worst case performance

Computer Languages
An empirical study of operating systems errors

SOSP '01 Proceedings of the eighteenth ACM symposium on Operating systems principles
Java Virtual Machine Specification

Java Virtual Machine Specification
The JX Operating System

ATEC '02 Proceedings of the General Track of the annual conference on USENIX Annual Technical Conference
WCET Analysis of Reusable Portable Code

ECRTS '01 Proceedings of the 13th Euromicro Conference on Real-Time Systems
Beyond Address Spaces -Flexibility, Performance, Protection, and Resource Management in the Type-Safe JX Operating System

HOTOS '01 Proceedings of the Eighth Workshop on Hot Topics in Operating Systems
Modeling complex flows for worst-case execution time analysis

RTSS'10 Proceedings of the 21st IEEE conference on Real-time systems symposium

Quantified Score

Hi-index	0.00

Visualization

Abstract

Device drivers are a very critical part of every operating system. They often contain code that is executed in interrupt handlers. During the execution of interrupt handlers, the processing of some other interrupts is usually disabled. Thus errors in that code can compromise the whole system.This paper describes an approach to ensure that an interrupt handler is not allowed to use more than a specified amount of time. Our approach is based on a Java operating system and consists of a combination of verification at compilation time and run-time checks.