Data Race Condition Analysis of Embedded Multi Thread Program Based on SMT Solver
RONG Hui
PAN Youshun
WANG Yanling
ZHOU Zukun
WANG Xiaoliang
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.
Keywords：embedded multi thread programdata race conditionrace condition analysis
Publication Date：2018-01-01
Online Publishing Date：2025-08-15(First online date of this platform, not the publication date of the document)
Pages：5( 424-428 )