一种识别多级中断下数据竞争点的方法

摘要

本发明公开了一种识别多级中断下数据竞争点的方法，包括步骤：S1，读取中断驱动程序并获得程序源码和配置文件；S2，通过对中断驱动程序进行词法语法分析后转换为抽象语法树；S3，在抽象语法树的基础上得到函数调用图以及函数调用图内每个函数的全局变量读写信息和函数控制流图；S4，根据函数控制流图和配置文件分析每个函数内全局变量读写点的中断状态；S5，根据配置文件信息、函数调用图、函数控制流图对中断任务的优先级排序进行两两组合，遍历对应函数内所有全局变量读写信息，进行数据竞争点分析识别；S6，输出数据竞争点分析报告。本发明分析的方法主要针对转换后的抽象语法树，避免对程序的模拟执行，大大提高分析效率，同时减小资源开销。