基于SMT求解器的嵌入式多线程程序数据竞态条件分析

RONG Hui, PAN Youshun,WANG Yanling,ZHOU Zukun,WANG Xiaoliang

计算机与数字工程（2018）

引用 0|浏览3

暂无评分

摘要

针对嵌入式多线程程序中出现的数据竞态条件,论文提出了一种基于SMT求解器数据竞态条件检测分析方法.通过对多线程程序执行路径与源程序分析,构建对应的约束条件,将其作为输入,SMT求解器验证是否满足数据竞态条件.通过实验,论文提出的嵌入式多线程程序数据竞态条件的分析与检测方法在检测效率上还是比较理想的.

查看译文

关键词

embedded multi thread program,data race condition,race condition analysis

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要