【技术实现步骤摘要】
本专利技术涉及计算机，尤其涉及一种中断驱动程序的原子性违反缺陷的动态检测方法及装置。
技术介绍
1、在航空航天系统和汽车电子等关键安全领域中，使用中断服务例程(interruptservice routines，isr)编程的中断驱动程序，在与硬件进行交互并迅速响应外部刺激方面发挥了至关重要的作用。然而，中断服务例程固有的非确定性抢占性质给软件开发人员带来了重大挑战，即难以全面理解与预测中断驱动程序的行为。逻辑缺陷或系统崩溃等严重的安全问题，可能由中断服务例程的不可预测交错执行导致，这常被归类为一种并发错误。虽然通常在部署之前进行严格的测试程序，但因中断服务例程对执行交错非常敏感，与其相关的并发错误仍然是最为严重的软件漏洞之一。
2、在中断驱动程序中，原子性违反是一类重要的并发错误，可能带来潜在的危险。在中断驱动程序中，具有较高优先级的中断服务例程可能会破坏指令序列的原子性。当理想情况下期望以原子方式执行的指令序列被一个或多个中断服务例程试图抢占时，就会发生此违反。例如，考虑这样一个情景：在一个指令序列中，主任务与中断服务例...
【技术保护点】
1.一种中断驱动程序的原子性违反缺陷的动态检测方法，其特征在于，所述中断驱动程序的原子性违反缺陷的动态检测方法包括：
2.根据权利要求1所述的中断驱动程序的原子性违反缺陷的动态检测方法，其特征在于，所述根据预设规则，确定各共享变量对应语句的中断点、所述中断驱动程序的任务数、各任务的中断点数，包括：
3.根据权利要求2所述的中断驱动程序的原子性违反缺陷的动态检测方法，其特征在于，在根据预设规则，确定各共享变量对应语句的中断点、所述中断驱动程序的任务数、各任务的中断点数之后，所述中断驱动程序的原子性违反缺陷的动态检测方法还包括：
4.根...
【技术特征摘要】
1.一种中断驱动程序的原子性违反缺陷的动态检测方法，其特征在于，所述中断驱动程序的原子性违反缺陷的动态检测方法包括：
2.根据权利要求1所述的中断驱动程序的原子性违反缺陷的动态检测方法，其特征在于，所述根据预设规则，确定各共享变量对应语句的中断点、所述中断驱动程序的任务数、各任务的中断点数，包括：
3.根据权利要求2所述的中断驱动程序的原子性违反缺陷的动态检测方法，其特征在于，在根据预设规则，确定各共享变量对应语句的中断点、所述中断驱动程序的任务数、各任务的中断点数之后，所述中断驱动程序的原子性违反缺陷的动态检测方法还包括：
4.根据权利要求1所述的中断驱动程序的原子性违反缺陷的动态检测方法，其特征在于，所述根据前缀、所述任务数、所述各任务的中断点数和周期数，生成中断调度序列，包括：
5.根据权利要求4所述的中断驱动程序的原子性违反缺陷的动态检测方法，其特征在于，所述根据所述前缀提取出前缀骨架序列，并根据所述具有任务号的任务、所述周期数、所述前缀骨架序列和中断驱动程序的约束规则，生成初始骨架序列，包括：
【专利技术属性】
技术研发人员：于斌，张又霏，李瑞雪，柯磊，陈家伟，袁子轩，陆旭，王文胜，马智，田聪，
申请(专利权)人：西安电子科技大学，
类型：发明
国别省市：
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。