基于SMT求解器的嵌入式多线程程序数据竞态条件分析
计算机与数字工程(2018)
摘要
针对嵌入式多线程程序中出现的数据竞态条件,论文提出了一种基于SMT求解器数据竞态条件检测分析方法.通过对多线程程序执行路径与源程序分析,构建对应的约束条件,将其作为输入,SMT求解器验证是否满足数据竞态条件.通过实验,论文提出的嵌入式多线程程序数据竞态条件的分析与检测方法在检测效率上还是比较理想的.
更多查看译文
关键词
embedded multi thread program,data race condition,race condition analysis
AI 理解论文
溯源树
样例
![](https://originalfileserver.aminer.cn/sys/aminer/pubs/mrt_preview.jpeg)
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要