买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！

龙图腾网获悉西安电子科技大学申请的专利中断驱动程序的原子性违反缺陷的动态检测方法及装置获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN118606180B 。

龙图腾网通过国家知识产权局官网在2025-10-28发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202410690822.0，技术领域涉及：G06F11/3668；该发明授权中断驱动程序的原子性违反缺陷的动态检测方法及装置是由于斌;张又霏;李瑞雪;柯磊;陈家伟;袁子轩;陆旭;王文胜;马智;田聪设计研发完成，并于2024-05-30向国家知识产权局提交的专利申请。

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

本发明授权中断驱动程序的原子性违反缺陷的动态检测方法及装置在权利要求书中公布了：1.一种中断驱动程序的原子性违反缺陷的动态检测方法，其特征在于，所述中断驱动程序的原子性违反缺陷的动态检测方法包括： 步骤S1、根据预设规则，确定各共享变量对应语句的中断点、所述中断驱动程序的任务数、各任务的中断点数； 步骤S2、根据前缀、所述任务数、所述各任务的中断点数和周期数，生成中断调度序列； 步骤S3、按照所述中断调度序列，执行各周期中的中断点以及执行点，以收集中断点信息、所述中断调度序列和新路径对应的新中断点，所述执行点为所述中断驱动程序中除所述中断点对应语句外的语句，所述中断点信息包括所述各共享变量； 步骤S4、根据所述中断调度序列提取所述调度序列的前缀，将所述前缀和所述新中断点组成键值对存到列表中，并转到步骤S2，直到所述周期数大于预设值，停止循环； 步骤S5、根据所述中断点信息和不可串行化的交错模式，检测对应的所述各共享变量的原子性违反缺陷； 所述根据前缀、所述任务数、所述各任务的中断点数和周期数，生成中断调度序列，包括： 步骤S21、根据所述任务数和任务优先级，设置所述各任务的任务号，得到具有任务号的任务； 步骤S22、根据所述前缀提取出前缀骨架序列，并根据所述具有任务号的任务、所述周期数、所述前缀骨架序列和中断驱动程序的约束规则，生成初始骨架序列； 步骤S23、根据所述前缀提取出前缀任务中断点数，并根据所述初始骨架序列、所述各任务的中断点数与所述前缀任务中断点数生成第一调度序列，所述第一调度序列包括目标任务，所述目标任务为出现多次的任务； 步骤S24、在所述各任务的中断点数能改变的情况下，根据中断点分配规则，改变所述目标任务对应的中断点数，得到第二调度序列，所述中断点分配规则为所述前缀任务中断点数不变且所述目标任务对应的中断点数总和不变； 步骤S25、根据中断驱动程序的约束规则，改变所述骨架序列中除所述前缀骨架序列外的任务号，生成新的骨架序列，转到步骤S23，在不能根据中断驱动程序的约束规则，改变所述骨架序列中除所述前缀骨架序列外的任务号时，停止循环，将所述第一调度序列和所述第二调度序列确定为所述中断调度序列。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人西安电子科技大学，其通讯地址为：710071 陕西省西安市太白南路2号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

以上内容由龙图腾AI智能生成。