技術(shù)總結(jié)
本發(fā)明實(shí)施例提供一種并行程序的MHP分析方法和裝置，一種并行程序的MHP分析方法包括：從待分析并行程序的主線程開始，每次選擇一個(gè)線程，模擬待分析并行程序的執(zhí)行，其中，當(dāng)正在模擬執(zhí)行的線程無法繼續(xù)執(zhí)行時(shí)，跳轉(zhuǎn)至任一可繼續(xù)執(zhí)行的線程模擬執(zhí)行，直至待分析并行程序的所有線程模擬執(zhí)行完畢，其中，待分析并行程序包括至少兩個(gè)線程；根據(jù)對(duì)待分析并行程序進(jìn)行模擬執(zhí)行的結(jié)果，構(gòu)建與待分析并行程序?qū)?yīng)的多線程控制流圖；對(duì)多線程控制流圖進(jìn)行處理，得到保守正確的多線程控制流圖，保守正確的多線程控制流圖中的各節(jié)點(diǎn)的可能并發(fā)MHP結(jié)果不存在漏報(bào)；對(duì)保守正確的多線程控制流圖進(jìn)行MHP分析，得到待分析并行程序的MHP分析結(jié)果。

技術(shù)研發(fā)人員：周卿;李煉;馮曉兵
受保護(hù)的技術(shù)使用者：華為技術(shù)有限公司;中國科學(xué)院計(jì)算技術(shù)研究所
文檔號(hào)碼：201610527181
技術(shù)研發(fā)日：2016.07.06
技術(shù)公布日：2016.12.07