一種基于符號執(zhí)行虛擬機(jī)的數(shù)據(jù)競爭檢測與重放方法

新一代信息技術(shù)

本發(fā)明公開了一種嵌入式環(huán)境下并行程序數(shù)據(jù)競爭檢測與重放

的方法，結(jié)合軟件調(diào)試與測試的需求，采用符號執(zhí)行虛擬機(jī)方案，動

態(tài)地監(jiān)測程序的運(yùn)行，收集程序的執(zhí)行信息，并分析數(shù)據(jù)競爭。并且

還能通過執(zhí)行信息對程序進(jìn)行確定性重放，使得程序的執(zhí)行軌跡能夠

重現(xiàn)。功能包括：基于符號執(zhí)行虛擬機(jī)的數(shù)據(jù)競爭檢測、基于符號執(zhí)

行虛擬機(jī)的數(shù)據(jù)競爭重放功能。本發(fā)明可以發(fā)掘隱藏在程序中的數(shù)據(jù)

競爭，防止多線程程序在運(yùn)行時發(fā)生錯誤。

未應(yīng)用