计算机与数字工程2018，Vol.46Issue(3)：424-428,5.DOI:10.3969/j.issn.1672-9722.2018.03.002
基于SMT求解器的嵌入式多线程程序数据竞态条件分析
Data Race Condition Analysis of Embedded Multi Thread Program Based on SMT Solver
摘要
Abstract
In view of the data race conditions in embedded multithreaded programs,a method for detecting and analyzing race race condition based on SMT solver is proposed in this paper. Through analyzing the execution path and source program of multi thread program,the corresponding constraint condition is constructed,and the SMT solver is used to verify whether the data compe?tition condition is satisfied.Through experiments,the method of analyzing and detecting the data race condition of embedded multi?threaded programs is more satisfactory.关键词
嵌入式多线程程序/数据竞态条件/竞态条件分析Key words
embedded multi thread program/data race condition/race condition analysis分类
信息技术与安全科学引用本文复制引用
容会,潘有顺,王艳玲,周祖坤,王晓亮..基于SMT求解器的嵌入式多线程程序数据竞态条件分析[J].计算机与数字工程,2018,46(3):424-428,5.基金项目
国家自然科学基金项目(编号:61662088) （编号:61662088）
云南省应用基础研究项目(编号:2013FZ107) （编号:2013FZ107）
昆明冶金高等专科学校科研基金项目(编号:14B004)资助. （编号:14B004）
