Dynamic race detection techniques for interrupt-driven programs

Authors:
Guy Martin Tchamgoue;Kyong Hoon Kim;Yong-Kee Jun
Affiliations:
Department of Informatics, Gyeongsang National University, Jinju, South Korea;Department of Informatics, Gyeongsang National University, Jinju, South Korea;Department of Informatics, Gyeongsang National University, Jinju, South Korea
Venue:
FGIT'12 Proceedings of the 4th international conference on Future Generation Information Technology
Year:
2012

Citing 8
Cited 0

What are race conditions?: Some issues and formalizations

ACM Letters on Programming Languages and Systems (LOPLAS)
An Investigation of the Therac-25 Accidents

Computer
System architecture directions for networked sensors

ASPLOS IX Proceedings of the ninth international conference on Architectural support for programming languages and operating systems
The nesC language: A holistic approach to networked embedded systems

PLDI '03 Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation
Random testing of interrupt-driven software

Proceedings of the 5th ACM international conference on Embedded software
A theory of data race detection

Proceedings of the 2006 workshop on Parallel and distributed systems: testing and debugging
An effective method to control interrupt handler for data race detection

Proceedings of the 5th Workshop on Automation of Software Test
Effective data-race detection for the kernel

OSDI'10 Proceedings of the 9th USENIX conference on Operating systems design and implementation

Quantified Score

Hi-index	0.00

Visualization

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.