一種基于符號執(zhí)行虛擬機的數(shù)據(jù)競爭檢測與重放方法
本發(fā)明公開了一種嵌入式環(huán)境下并行程序數(shù)據(jù)競爭檢測與重放 的方法,結(jié)合軟件調(diào)試與測試的需求,采用符號執(zhí)行虛擬機方案,動 態(tài)地監(jiān)測程序的運行,收集程序的執(zhí)行信息,并分析數(shù)據(jù)競爭。并且 還能通過執(zhí)行信息對程序進行確定性重放,使得程序的執(zhí)行軌跡能夠 重現(xiàn)。功能包括:基于符號執(zhí)行虛擬機的數(shù)據(jù)競爭檢測、基于符號執(zhí) 行虛擬機的數(shù)據(jù)競爭重放功能。本發(fā)明可以發(fā)掘隱藏在程序中的數(shù)據(jù) 競爭,防止多線程程序在運行時發(fā)生錯誤。
華中科技大學(xué)
2021-04-14