Publication Type |
Journal Article |
School or College |
College of Engineering |
Department |
Computing, School of |
Creator |
Regehr, John |
Title |
Thread verification vs. interrupt verification |
Date |
2006-01-01 |
Description |
Interrupts are superficially similar to threads, but there are subtle semantic differences between the two abstractions. This paper compares and contrasts threads and interrupts from the point of view of verifying the absence of race conditions. We identify a small set of extensions that permit thread verification tools to also verify interrupt-driven software, and we present examples of source-to-source transformations that turn interrupt-driven code into semantically equivalent thread-based code that can be checked by a thread verifier. |
Type |
Text |
Publisher |
University of Utah |
Dissertation Institution |
University of Utah |
Language |
eng |
Bibliographic Citation |
Regehr, J. (2006). Thread verification vs. interrupt verification. In Proceedings of the Workshop on Multithreading in Hardware and Software: Formal Approaches to Design and Verification (TV06). August. |
Rights Management |
(c)University of Utah |
Format Medium |
application/pdf |
Format Extent |
81,461 bytes |
Identifier |
uspace,17486 |
ARK |
ark:/87278/s6mk6xpc |
Setname |
ir_uspace |
ID |
708009 |
Reference URL |
https://collections.lib.utah.edu/ark:/87278/s6mk6xpc |