![](/images/graphics-bg.png)
Verification of Data Races in Concurrent Interrupt Handlers
Joint Authors
Kim, Kyong Hoon
Tchamgoue, Guy Martin
Jun, Yong-Kee
Source
International Journal of Distributed Sensor Networks
Issue
Vol. 2013, Issue - (31 Dec. 2013), pp.1-14, 14 p.
Publisher
Hindawi Publishing Corporation
Publication Date
2013-11-21
Country of Publication
Egypt
No. of Pages
14
Main Subjects
Telecommunications Engineering
Information Technology and Computer Science
Abstract EN
Data races are common in interrupt-driven programs and have already led to well-known real-world problems.
Unfortunately, existing dynamic tools for reporting data races in interrupt-driven programs are not only unsound, but they also fail to verify the existence of data races in such programs.
This paper presents an efficient and scalable on-the-fly technique that precisely detects, without false positives, apparent data races in interrupt-driven programs.
The technique combines a tailored lightweight labeling scheme to maintain logical concurrency between the main program and every instance of its interrupt handlers with a precise detection protocol that analyzes conflicting shared memory accesses by storing at most two accesses for each shared variable.
We implemented a prototype of this technique, called iRace, on top of the Avrora simulation framework.
An empirical evaluation of iRace revealed the presence of data races in some existing TinyOS components and applications with a worst-case slowdown of only about 6 times on average and an increased average memory consumption of only about 20% in comparison with the original program execution.
The evaluation also proved that the labeling scheme alone generates an average runtime overhead of only about 0.4x while consuming only about 12% more memory than the original program execution.
American Psychological Association (APA)
Tchamgoue, Guy Martin& Kim, Kyong Hoon& Jun, Yong-Kee. 2013. Verification of Data Races in Concurrent Interrupt Handlers. International Journal of Distributed Sensor Networks،Vol. 2013, no. -, pp.1-14.
https://search.emarefa.net/detail/BIM-511066
Modern Language Association (MLA)
Tchamgoue, Guy Martin…[et al.]. Verification of Data Races in Concurrent Interrupt Handlers. International Journal of Distributed Sensor Networks Vol. 2013, pp.1-14.
https://search.emarefa.net/detail/BIM-511066
American Medical Association (AMA)
Tchamgoue, Guy Martin& Kim, Kyong Hoon& Jun, Yong-Kee. Verification of Data Races in Concurrent Interrupt Handlers. International Journal of Distributed Sensor Networks. 2013. Vol. 2013, no. -, pp.1-14.
https://search.emarefa.net/detail/BIM-511066
Data Type
Journal Articles
Language
English
Notes
Includes bibliographical references
Record ID
BIM-511066