Detecting Atomicity Violations for Interrupt-driven Programs via Systematic Scheduling and Prefix-directed Feedback
Authors: 
Ruixue Li, Bin Yu, Xu Lu, Lei Ke, Jiawei Chen, Zixuan Yuan, Jingxian Wang, Cong Tian, Yansong DongAuthors Info & Claims
Abstract
Interrupt-driven programs are widely used in safety-critical fields like aerospace and embedded systems. However, the unpredictable interleaving of Interrupt Service Routines (ISRs) can lead to concurrency bugs, particularly atomicity violations when ISRs preempt atomic sequences of instructions. To address this, we propose a dynamic approach for detecting atomicity violations in interrupt-driven programs. Extensive experiments demonstrate that our method is more precise and efficient than related approaches.
References
[1]
J. Regehr, "Random testing of interrupt-driven software," in Proceedings of the 5th ACM International Conference on Embedded Software (EMSOFT), 2005, pp. 290--298.
[2]
J. Wang, W. Dou, Y. Gao, C. Gao, F. Qin, K. Yin, and J. Wei, "A comprehensive study on real world concurrency bugs in Node.js," in Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE), 2017, pp. 520--531.
[3]
M. Yang, B. Gu, Z. Duan, Z. Jin, N. Zhan, Y. Dong, C. Tian, G. Li, and X. Dong, "Intelligent program synthesis framework and key scientific problems for embedded software," Chinese Space Science and Technology, vol. 42, no. 4, pp. 1--6, 2022.
[4]
D. Beyer and M. E. Keremoglu, "CPAchecker: A tool for configurable software verification," in Proceedings of the 23rd International Conference on Computer Aided Verification (CAV), 2011, pp. 184--190.
[5]
X. Du, L. Yin, H. Feng, and W. Dong, "Program verification enhanced precise analysis of interrupt-driven program vulnerabilities," in Proceedings of the 28th Asia-Pacific Software Engineering Conference (APSEC), 2021, pp. 253--263.
[6]
H. Feng, L. Yin, W. Lin, X. Zhao, and W. Dong, "Rchecker: A CBMC-based data race detector for interrupt-driven programs," in Proceedings of the 20th International Conference on Software Quality, Reliability and Security Companion (QRS-C), 2020, pp. 465--471.
[7]
B. Yu, C. Tian, H. Xing, Z. Yang, J. Su, X. Lu, J. Yang, L. Zhao, X. Li, and Z. Duan, "Detecting atomicity violations in interrupt-driven programs via interruption points selecting and delayed ISR-triggering," in Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE), 2023, pp. 1153--1164.
[8]
C. Li, R. Chen, B. Wang, T. Yu, D. Gao, and M. Yang, "Precise and efficient atomicity violation detection for interrupt-driven programs via staged path pruning," in Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA), 2022, pp. 506--518.
Index Terms
- Detecting Atomicity Violations for Interrupt-driven Programs via Systematic Scheduling and Prefix-directed Feedback
Index terms have been assigned to the content through auto-classification.
Recommendations
Bounded Verification of Atomicity Violations for Interrupt-Driven Programs via Lazy Sequentialization
Detecting atomicity violations effectively in interrupt-driven programs is difficult due to the asymmetric concurrency interleaving of interrupts. Current approaches face two main challenges: (1) A large number of false positives are generated by ...
Detecting Atomicity Violations in Interrupt-Driven Programs via Interruption Points Selecting and Delayed ISR-Triggering
ESEC/FSE 2023: Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software EngineeringInterrupt-driven programs have been widely used in safety-critical areas such as aerospace and embedded systems. However, uncertain interleaving execution of interrupt service routines (ISRs) usually causes concurrency bugs. Specifically, when one or ...
Precise and efficient atomicity violation detection for interrupt-driven programs via staged path pruning
ISSTA 2022: Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and AnalysisInterrupt-driven programs are widely used in aerospace and other safety-critical areas. However, uncertain interleaving execution of interrupts may cause concurrency bugs, which could result in serious safety problems. Most of the previous researches ...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
October 2024
2587 pages
ISBN:9798400712487
DOI:10.1145/3691620
- General Chair:
- Vladimir Filkov,
- Program Co-chairs:
- Baishakhi Ray,
- Minghui Zhou
Copyright © 2024 Copyright is held by the owner/author(s). Publication rights licensed to 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 the author(s) 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
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 27 October 2024
Check for updates
Qualifiers
- Research-article
Conference
ASE '24: 39th IEEE/ACM International Conference on Automated Software Engineering
October 27 - November 1, 2024
CA, Sacramento, USA
Acceptance Rates
Overall Acceptance Rate 82 of 337 submissions, 24%
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 50Total Downloads
- Downloads (Last 12 months)50
- Downloads (Last 6 weeks)5
Reflects downloads up to 16 Feb 2025
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in