Detecting Atomicity Violations for Interrupt-driven Programs via Systematic Scheduling and Prefix-directed Feedback
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.
BibTeX
@inproceedings{Li-al:ASE24,
author = {Ruixue Li and
Bin Yu and
Xu Lu and
Lei Ke and
Jiawei Chen and
Zixuan Yuan and
Jingxian Wang and
Cong Tian and
Yansong Dong},
title = {Detecting Atomicity Violations for Interrupt-driven Programs via Systematic Scheduling and Prefix-directed Feedback},
booktitle = {ASE},
pages = {2454--2455},
publisher = {{ACM}},
year = {2024},
}