Tracing and Recording Interrupts in Embedded Software

TitleTracing and Recording Interrupts in Embedded Software
Publication TypeJournal Article
Year of Publication2012
AuthorsGracioli, G., and S. Fischmeister
JournalJournal of Systems Architecture
Volume58
Issue9
Pagination372-385
Date PublishedOct
ISSN1383-7621
Keywordsdebugging, embedded systems, record and replay, tracing
Abstract

During the system development, developers often must correct wrong behavior in the software–-an activity colloquially called program debugging. Debugging is a complex activity, especially in real-time embedded systems because such systems interact with the physical world and make heavy use of interrupts for timing and driving I/O devices. Debugging interrupts is difficult, because they cause non-linear control flow in programs which is hard to reproduce in software. Record/replay mechanisms have proven their use to debugging embedded systems, because they provide means to recreate control flows offline where they can be debugged. In this work, we present the data tracing part of the record/replay mechanism that is specifically targeted to record interrupt behavior. To tune our tracing mechanism, we use the observed principle of return address clustering and a formal model for quantitative reasoning about the tracing mechanism. The presented heuristic and mechanisms show surprisingly good results–-with higher fingerprint widths an 800 percent speedup on the selector function and a 300 percent reduction on duplicates for non-optimal selector functions–-considering the leanness of the approach. Using an equal portion for the fingerprint and for the return address lead to the best results in our experiments.

URLhttp://www.sciencedirect.com/science/article/pii/S1383762112000574
DOI10.1016/j.sysarc.2012.06.003
Refereed DesignationRefereed

Opportunities

Looking for motivated students (undergrads and grads) interested in working on embedded software and systems research. Mail Sebastian Fischmeister for further information.