公开(公告)号：CN118606180A

公开(公告)日：2024-09-06

申请号：CN202410690822.0

申请日：2024-05-30

Applicant: 西安电子科技大学

Inventor： 于斌 ,  张又霏 ,  李瑞雪 ,  柯磊 ,  陈家伟 ,  袁子轩 ,  陆旭 ,  王文胜 ,  马智 ,  田聪

IPC: G06F11/36 ,  G06F9/48

Abstract: 本发明提供中断驱动程序的原子性违反缺陷的动态检测方法及装置，涉及计算机技术领域。此方法包括：根据预设规则，确定各共享变量对应语句的中断点、任务数、各任务的中断点数，根据前缀、任务数、各任务的中断点数和周期数，生成中断调度序列，按照中断调度序列执行各周期中的中断点以及执行点，以收集中断点信息、中断调度序列和新路径对应的新中断点，根据中断调度序列提取调度序列的前缀，将前缀和新中断点组成键值对存到列表中，并转到生成中断调度序列的操作，根据中断点信息和不可串行化的交错模式，检测对应的各共享变量的原子性违反缺陷。实现动态检测以提高原子性违反缺陷检测的准确性，减少调度空间以提高原子性违反缺陷检测的效率。