一句话：提出一种动态方法，用系统化调度与前缀导向反馈检测中断驱动程序中的原子性违反，提升精度与效率。
中断驱动程序广泛用于航天、嵌入式等安全关键领域，但中断服务例程（ISR）的不可预测交错会引入并发缺陷，尤其是 ISR 抢占原子指令序列时产生的原子性违反。本文提出一种动态检测方法：通过系统化调度（systematic scheduling）系统地探索中断交错，并利用前缀导向反馈（prefix-directed feedback）指导后续调度，从而更精确、高效地暴露原子性违反。大量实验表明，该方法在精度与效率上均优于已有相关工作。
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.
DOI 原文 ·
@inproceedings{paperbot8389,
title = {Detecting Atomicity Violations for Interrupt-driven Programs via Systematic Scheduling and Prefix-directed Feedback},
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},
booktitle = {ASE},
year = {2024},
doi = {10.1145/3691620.3695325}
}