research-article

An effective method to control interrupt handler for data race detection

Authors:

Makoto Higashi,

Tetsuo Yamamoto,

Yasuhiro Hayase,

Katsuro InoueAuthors Info & Claims

AST '10: Proceedings of the 5th Workshop on Automation of Software Test

Pages 79 - 86

https://doi.org/10.1145/1808266.1808278

Published: 03 May 2010 Publication History

Abstract

Embedded software frequently uses interrupts for timer or I/O processing. If a memory area is used by both an interrupt handler and other routines at the same time, the embedded system has the potential to fail because of unexpected data in the memory. To detect the race conditions of memory, this paper proposes a method of interrupt testing on a CPU emulator. The method consists of two features: one is interrupt generation at the instruction points that possibly causes race conditions; the other is replacing input value from external device to control interrupt handlers. An interrupt is generated just after the program reads or writes data on memory for the purpose of covering all possibility of sharing memory between the interrupt handler and other routines. Sequence of input value from the external device is prepared by hand before program execution. We have applied our method to testing for a race condition of uClinux. The experience of detecting race conditions has shown the mechanism causes interrupts at necessary and sufficient timing compared with random interrupt testing. Also, it is easy to substitute values in memory to detect race conditions.

References

[1]

Dwarf home. http://dwarfstd.org/.

[2]

Gdb: The GNU project debugger. http://www.gnu.org/software/gdb/.

[3]

SkyEye - open source simulator. http://www.skyeye.org/.

[4]

L. Albertsson. Entropy injection. SICS Technical Report, T2007(2), February 2007.

[5]

T. Ball, E. Bounimova, B. Cook, V. Levin, J. Lichtenberg, C. McGarvey, B. Ondrusek, S. K. Rajamani, and A. Ustuner. Thorough static analysis of device drivers. ACM SIGOPS Operating Systems Review, 44(4):73--85, October 2006.

Digital Library

[6]

J. Carreira, H. Madeira, and J. G. Silva. Xception: A technique for the experimental evaluation of dependability in modern computers. IEEE Transactions on Software Engineering, 24(2):125--136, February 1998.

Digital Library

[7]

F. M. David, E. M. Chan, J. C. Carlyle, and R. H. Campbell. Qinject: A virtual machine based fault injection framework. International Conference on Architectural Support for Programming Languages and Operating Systems (Poster Presentation), March 2008.

[8]

D. Engler and K. Ashcraft. Racerx: Effective, static detection of race conditions and deadlocks. ACM SIGOPS Operating Systems Review, 37(5):237--252, December 2003.

Digital Library

[9]

C. Flanagan and S. N. Freund. Fasttrack: efficient and precise dynamic race detection. In Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 121--133, June 2009.

Digital Library

[10]

M.-C. Hsueh, T. K. Tsai, and R. K. Iyer. Fault injection techniques and tools. IEEE Computer, 30(4):75--82, April 1997.

Digital Library

[11]

P. Joshi, C.-S. Park, K. Sen, and M. Naik. A randomized dynamic program analysis technique for detecting real deadlocks. In Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 110--120, June 2009.

Digital Library

[12]

N. G. Leveson. An investigation of the therac-25 accidents. IEEE Computer, 26(7):18--41, July 1993.

Digital Library

[13]

D. Marino, M. Musuvathi, and S. Narayanasamy. Literace: effective sampling for lightweight data-race detection. In Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 134--143, June 2009.

Digital Library

[14]

E. G. Mercer and M. D. Jones. Model checking machine code with the GNU debugger. In 12th International SPIN Workshop, pages 251--265, August 2005.

Digital Library

[15]

R. H. B. Netzer and B. P. Miller. What are race conditions?: Some issues and formalizations. ACM Letters on Programming Languages and Systems, 1(1):74--88, March 1992.

Digital Library

[16]

J. Regehr. Random testing of interrupt-driven software. In EMSOFT '05: Proceedings of the 5th ACM international conference on Embedded software, pages 290--298, September 2005.

Digital Library

[17]

J. Regehr and N. Cooprider. Interrupt verification via thread verification. Electronic Notes in Theoretical Computer Science, 174(9):139--150, June 2007.

Digital Library

Cited By

Zhang YQu LWu YWu LYu TChen RKong W(2024)Bounded Verification of Atomicity Violations for Interrupt-Driven Programs via Lazy SequentializationACM Transactions on Software Engineering and Methodology10.1145/370531134:3(1-33)Online publication date: 22-Nov-2024
https://dl.acm.org/doi/10.1145/3705311
Zhao JWu YDong J(2024)Efficient data race detection for interrupt-driven programs via path feasibility analysisThe Journal of Supercomputing10.1007/s11227-024-06189-480:15(21699-21725)Online publication date: 14-Jun-2024
https://doi.org/10.1007/s11227-024-06189-4
Yu TJia CChen RLi CWang BJiang Y(2023)Precise Dynamic Data Race Prediction for Interrupt-Driven Embedded Software2023 IEEE 34th International Symposium on Software Reliability Engineering Workshops (ISSREW)10.1109/ISSREW60843.2023.00049(69-74)Online publication date: 9-Oct-2023
https://doi.org/10.1109/ISSREW60843.2023.00049
Show More Cited By

Index Terms

An effective method to control interrupt handler for data race detection
1. Computer systems organization
  1. Embedded and cyber-physical systems
  2. Real-time systems
2. Software and its engineering
  1. Software creation and management
    1. Software verification and validation
      1. Software defect analysis
        Software testing and debugging

Recommendations

Automatic detection and validation of race conditions in interrupt-driven embedded software
ISSTA 2017: Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis

Interrupt-driven programs are widely deployed in safety-critical embedded systems to perform hardware and resource dependent data operation tasks. The frequent use of interrupts in these systems can cause race conditions to occur due to interactions ...
Random testing of interrupt-driven software
EMSOFT '05: Proceedings of the 5th ACM international conference on Embedded software

Interrupt-driven embedded software is hard to thoroughly test since it usually contains a very large number of executable paths. Developers can test more of these paths using random interrupt testing---firing random interrupt handlers at random times. ...
Static Data Race Detection for Interrupt-Driven Embedded Software
SSIRI-C '11: Proceedings of the 2011 Fifth International Conference on Secure Software Integration and Reliability Improvement - Companion

Interrupt mechanisms are widely used to process multiple concurrent tasks in the software without OS abstraction layer in various cyber physical systems (CPSs), such as space flight control systems. Data races caused by interrupt preemption frequently ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

AST '10: Proceedings of the 5th Workshop on Automation of Software Test

May 2010

154 pages

ISBN:9781605589701

DOI:10.1145/1808266

Conference Chair:
Hong Zhu
Oxford Brookes University, UK
,
Program Chairs:
W. K. Chan
City University of Hong Kong, China
,
Christof J. Budnik
Siemens Corporation, Corporate Research
,
Gregory M. Kapfhammer
Allegheny College

Copyright © 2010 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

SIGSOFT: ACM Special Interest Group on Software Engineering
IEEE-CS: Computer Society

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 03 May 2010

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Funding Sources

Conference

ICSE '10

Sponsor:

SIGSOFT
IEEE-CS

ICSE '10: 32nd International Conference on Software Engineering

May 3 - 4, 2010

Cape Town, South Africa

Upcoming Conference

ICSE 2025

2025 IEEE/ACM 46th International Conference on Software Engineering

April 26 - May 3, 2025

Ottawa , ON , Canada

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

23
Total Citations
View Citations
240
Total Downloads

Downloads (Last 12 months)8
Downloads (Last 6 weeks)1

Reflects downloads up to 08 Mar 2025

Other Metrics

View Author Metrics

Citations

Cited By

Zhang YQu LWu YWu LYu TChen RKong W(2024)Bounded Verification of Atomicity Violations for Interrupt-Driven Programs via Lazy SequentializationACM Transactions on Software Engineering and Methodology10.1145/370531134:3(1-33)Online publication date: 22-Nov-2024
https://dl.acm.org/doi/10.1145/3705311
Zhao JWu YDong J(2024)Efficient data race detection for interrupt-driven programs via path feasibility analysisThe Journal of Supercomputing10.1007/s11227-024-06189-480:15(21699-21725)Online publication date: 14-Jun-2024
https://doi.org/10.1007/s11227-024-06189-4
Yu TJia CChen RLi CWang BJiang Y(2023)Precise Dynamic Data Race Prediction for Interrupt-Driven Embedded Software2023 IEEE 34th International Symposium on Software Reliability Engineering Workshops (ISSREW)10.1109/ISSREW60843.2023.00049(69-74)Online publication date: 9-Oct-2023
https://doi.org/10.1109/ISSREW60843.2023.00049
Wang YGao FWang LYu TZhao JLi X(2022)Automatic Detection, Validation, and Repair of Race Conditions in Interrupt-Driven Embedded SoftwareIEEE Transactions on Software Engineering10.1109/TSE.2020.298917148:1(346-363)Online publication date: 1-Jan-2022
https://doi.org/10.1109/TSE.2020.2989171
Shen YPeng YChen JShi LDeng F(2022)Interruption-driven resource competition defect model and testing methodology2022 IEEE 6th Advanced Information Technology, Electronic and Automation Control Conference (IAEAC )10.1109/IAEAC54830.2022.9930087(602-616)Online publication date: 3-Oct-2022
https://doi.org/10.1109/IAEAC54830.2022.9930087
Majeed SRyu M(2018)Debugging Nondeterministic Failures in Linux Programs through Replay AnalysisScientific Programming10.1155/2018/89390272018Online publication date: 1-Jan-2018
https://dl.acm.org/doi/10.1155/2018/8939027
Yu TSrisa‐an WCohen MRothermel G(2018)A hybrid approach to testing for nonfunctional faults in embedded systems using genetic algorithmsSoftware Testing, Verification and Reliability10.1002/stvr.168628:7Online publication date: 16-Aug-2018
https://doi.org/10.1002/stvr.1686
Sung CKusano MWang CRosu GDi Penta MNguyen T(2017)Modular verification of interrupt-driven softwareProceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering10.5555/3155562.3155592(206-216)Online publication date: 30-Oct-2017
https://dl.acm.org/doi/10.5555/3155562.3155592
Wang YWang LYu TZhao JLi XBultan TSen K(2017)Automatic detection and validation of race conditions in interrupt-driven embedded softwareProceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis10.1145/3092703.3092724(113-124)Online publication date: 10-Jul-2017
https://dl.acm.org/doi/10.1145/3092703.3092724
Sung CKusano MWang C(2017)Modular verification of interrupt-driven software2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE)10.1109/ASE.2017.8115634(206-216)Online publication date: Oct-2017
https://doi.org/10.1109/ASE.2017.8115634
Show More Cited By

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Figures

Tables

Media

View Table of Conten