Pinpointing Interrupts in Embedded Real-Time Systems Using Hashed Execution Contexts

作     者：Sundmark, Daniel Ermedahl, Andreas Starner, Johan 

作者机构：Malardalen Univ Sch Innovat Design & Engn S-77246 Vasteras Sweden 

出 版 物：《IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS》 (IEEE Trans. Ind. Inf.)

年 卷 期：2009年第5卷第3期

页      面：257-266页

核心收录：

学科分类：1201[管理学-管理科学与工程(可授管理学、工学学位)] 0808[工学-电气工程] 08[工学] 0811[工学-控制科学与工程] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

基　　金：Strategic Research Centre PROGRESS, (TII-08-12-0221) Stiftelsen för Strategisk Forskning, SSF VINNOVA Stiftelsen för Kunskaps- och Kompetensutveckling, KKS, (2005/0271) Seventh Framework Programme, FP7, (2215068) 

主　　题：Debugging aids real-time systems and embedded systems 

摘      要：Cyclic debugging is the process of iteratively re-executing a failed execution in order to determine the cause of the failure, i.e., the bug. In this process, being able to correctly reproduce the faulty execution is an absolute necessity. In sequential, deterministic, non-real-time software, this reproducibility is inherent. However, when the execution is preempted by interrupts, this has severe effects on program reproducibility, since, during the reproduction, it is required for interrupts to occur at the exact same instructions. Previously, this problem has been solved using instruction counters, that induce large execution-time perturbations, or by special hardware solutions which impose a risk of inexact results. In this paper, we propose an alternative method for pinpointing interrupts using hashed values of selected parts of the program execution context. Although our method in some cases can be ambiguous, we show that it serves as a pragmatic method for pinpointing and reproducing interrupts in embedded real-time systems. Moreover, our method does not rely on special hardware or compilers, is simple to implement and use, and requires little execution-time and memory.