@inproceedings{f180b20dd8d5420cb462c26f8492a55d,
title = "Dynamic race detection techniques for interrupt-driven programs",
abstract = "Data races are notorious concurrency bugs that are difficult to be reproduced and may lead programs into unintended nondeterministic executions. Asynchronous interrupts introduce fine-grained parallelism into interrupt-driven programs making them prone to data races and hard to be thoroughly tested and debugged. Unfortunately, only few tools and techniques have been proposed for dynamic data race detection in interrupt-driven programs that are however widely used in embedded systems. This paper surveys the existing dynamic race detection techniques for interrupt-driven programs, analyzes them to circumscribes the problems they face in reporting data races, and finally highlights the challenges that a dynamic race detection for interrupt-driven program needs to overcome.",
keywords = "Data races, dynamic race detection, interrupt, interrupt handlers",
author = "Tchamgoue, {Guy Martin} and Kim, {Kyong Hoon} and Jun, {Yong Kee}",
year = "2012",
doi = "10.1007/978-3-642-35585-1_20",
language = "English",
isbn = "9783642355844",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
pages = "148--153",
booktitle = "Future Generation Information Technology - 4th International Conference, FGIT 2012, Proceedings",
note = "4th International Conference on Future Generation Information Technology, FGIT 2012 ; Conference date: 16-12-2012 Through 19-12-2012",
}