Felser M, Golm M, Wawersich C, Kleinöder J (2002)
Publication Type: Conference contribution
Publication year: 2002
Edited Volumes: Proceedings of the 10th Workshop on ACM SIGOPS European Workshop, EW 10
Pages Range: 190 - 193
Conference Proceedings Title: Tenth ACM SIGOPS European Workshop
Event location: Saint-Emilion, France
URI: http://www4.informatik.uni-erlangen.de/Research/Projects/JX/publications.html
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.
APA:
Felser, M., Golm, M., Wawersich, C., & Kleinöder, J. (2002). Execution Time Limitation of Interrupt Handlers in a Java Operating System. In Tenth ACM SIGOPS European Workshop (pp. 190 - 193). Saint-Emilion, France, FR.
MLA:
Felser, Meik, et al. "Execution Time Limitation of Interrupt Handlers in a Java Operating System." Proceedings of the Tenth ACM SIGOPS European Workshop, Saint-Emilion, France 2002. 190 - 193.
BibTeX: Download