The SPARC architecture manual: version 8
The SPARC architecture manual: version 8
Response to a note on structured interrupts
ACM SIGOPS Operating Systems Review
A note on structured interrupts
ACM SIGOPS Operating Systems Review
Object-oriented programming for embedded systems
ACM SIGPLAN Notices
Interrupt Verification via Thread Verification
Electronic Notes in Theoretical Computer Science (ENTCS)
Integrated Task and Interrupt Management for Real-Time Systems
ACM Transactions on Embedded Computing Systems (TECS)
Investigating time properties of interrupt-driven programs
SBMF'12 Proceedings of the 15th Brazilian conference on Formal Methods: foundations and applications
Hi-index | 0.00 |
In this paper I refine the concept of interrupt to define a more structured mechanism with straightforward semantics. Some commonly implemented interrupt mechanisms are reviewed; their semantics are deduced and analyzed. I show how a different understanding of interrupts resolves the deficiencies of existing interrupt mechanisms and provides the programmer with powerful tools for addressing real-time and multiprocessing problems. On this basis a recommendation is made for architectural and operating system support of the improved interrupt mechanism.