1、當(dāng)今社會(huì)微電子技術(shù)發(fā)展迅猛,隨之而來的是片上多核處理器的廣泛應(yīng)用。使得片上多核處理器充分發(fā)揮最大效能,目前最有效的編程方法就是多核編程。而由于多核程序執(zhí)行順序的不確定性,使多核編程和調(diào)試工面臨著巨大的挑戰(zhàn)。因而分析多核程序執(zhí)行的不確定性給多核系統(tǒng)帶來的影響,研究去除多核程序執(zhí)行不確定性的方法,研究高效、快速的確定性重演機(jī)制對(duì)多核系統(tǒng)的發(fā)展和應(yīng)用有著重大意義。
　　在最近幾十年中,多核程序執(zhí)行順序的不確定性這一研究領(lǐng)域吸引了很多國內(nèi)

2、外的高校和研究機(jī)構(gòu)的學(xué)者,對(duì)于這一領(lǐng)域的研究也獲得了豐碩成果?，F(xiàn)有的確定性解決方案主要體現(xiàn)在以下幾個(gè)層面:設(shè)計(jì)開發(fā)支持確定性的并行編程語言或?qū)σ延械拇姓Z言進(jìn)行擴(kuò)展;采用確定性重演策略,使得程序能夠重新回放;通過在編譯階段自動(dòng)的檢查對(duì)共享內(nèi)存的訪問,添加確定性約束,實(shí)現(xiàn)多核程序的確定性運(yùn)行;通過在處理器中增加額外硬件或修改原有的結(jié)構(gòu),從體系結(jié)構(gòu)級(jí)別實(shí)現(xiàn)多核程序執(zhí)行的確定性。本文致力于通過分析多核程序中導(dǎo)致執(zhí)行不確定性的主要原因——數(shù)據(jù)競(jìng)

3、爭(zhēng),從應(yīng)用程序級(jí)來解決多核程序不確定性。
　　本文利用多核程序的靜態(tài)競(jìng)爭(zhēng)檢測(cè)和確定性重演技術(shù),從多核程序編程和調(diào)試的角度著手,設(shè)計(jì)了一種基于Locksmith和PinPlay的多核程序編寫和調(diào)試機(jī)制,在編寫時(shí)利用靜態(tài)數(shù)據(jù)競(jìng)爭(zhēng)檢測(cè)方法檢查程序中可能存在數(shù)據(jù)競(jìng)爭(zhēng)的位置并提示出來,以便程序開發(fā)人員進(jìn)一步修改和完善程序;在調(diào)試程序時(shí)則利用動(dòng)態(tài)插樁方法,根據(jù)初次執(zhí)行時(shí)記錄的日志信息控制線程執(zhí)行順序,從而實(shí)現(xiàn)對(duì)多核程序的確定性重演。其中,本研

4、究使用的靜態(tài)數(shù)據(jù)競(jìng)爭(zhēng)檢測(cè)工具是Locksmith,使用的確定性重演工具是PinPlay。另外,本文在此基礎(chǔ)上還分析了多核程序的靜態(tài)數(shù)據(jù)競(jìng)爭(zhēng)檢測(cè)產(chǎn)生誤報(bào)的原因,對(duì)靜態(tài)競(jìng)爭(zhēng)檢測(cè)工具Locksmith提出了一種改進(jìn)方案,削減了由于偽共享造成的誤報(bào)。
　　最后,本文介紹了實(shí)驗(yàn)平臺(tái)的搭建,對(duì)Locksmith的改進(jìn)前和改進(jìn)后的方案進(jìn)行了測(cè)試,對(duì)比了實(shí)驗(yàn)結(jié)果,通過分析結(jié)果,驗(yàn)證了本文提出的改進(jìn)方案能使Locksmith在保證不漏報(bào)真正的數(shù)據(jù)競(jìng)

5、爭(zhēng)的前提下,在一定程度上減少數(shù)據(jù)競(jìng)爭(zhēng)誤報(bào),提高精確度。另外,本文還對(duì)PinPlay的記錄和重演過程進(jìn)行了仿真,通過實(shí)驗(yàn)數(shù)據(jù)發(fā)現(xiàn),Locksmith進(jìn)行靜態(tài)數(shù)據(jù)競(jìng)爭(zhēng)檢測(cè)的時(shí)間要遠(yuǎn)遠(yuǎn)小于PinPlay進(jìn)行記錄和確定性重演的時(shí)間,從而證明了在多核程序開發(fā)前期及時(shí)進(jìn)行數(shù)據(jù)競(jìng)爭(zhēng)檢測(cè)的重要性,這樣可以節(jié)省在程序調(diào)試時(shí)耗費(fèi)的時(shí)間,幫多核程序開發(fā)人員節(jié)省更多精力。實(shí)驗(yàn)證明,編程前期檢測(cè)數(shù)據(jù)競(jìng)爭(zhēng)能有效避免競(jìng)爭(zhēng)的發(fā)生,大大降低多核程序調(diào)試工作的難度,驗(yàn)證了