【摘要】：隨著多核系統(tǒng)的不斷發(fā)展,處理器核數(shù)不斷增加,越來越多的軟件將通過并發(fā)來充分利用處理器性能。目前軟件系統(tǒng)實現(xiàn)并發(fā)的最主要方式是使用線程,線程之間使用鎖進行同步。然而基于線程和鎖的并發(fā)編程易于出錯,研究發(fā)現(xiàn)即使是成熟的開源軟件也存在不少并發(fā)相關(guān)錯誤,且這些錯誤難以調(diào)試和修復。如何重現(xiàn)這些錯誤具有重要的研究意義和實用價值。記錄和重放來自計算機系統(tǒng)自身和外部環(huán)境的不確定性是重現(xiàn)軟件執(zhí)行過程的一個重要技術(shù)。之前的研究工作對單核系統(tǒng)的記錄和重放已經(jīng)做了比較全面的研究,而對多核系統(tǒng)來說,不同處理器對共享內(nèi)存的訪問順序大大增加了系統(tǒng)的不確定性,我們需要使用確定性重放技術(shù)才能實現(xiàn)對系統(tǒng)執(zhí)行的忠實重現(xiàn)。記錄共享訪存的順序是高效實現(xiàn)確定性重放的一大挑戰(zhàn),有些研究工作修改硬件來記錄訪存順序,這些工作在現(xiàn)有的硬件上還不能使用；而基于現(xiàn)有硬件的工作其訪存順序的記錄存在可伸縮性問題,隨著處理器核數(shù)的增加,這些系統(tǒng)的性能反而可能下降。在充分分析之前研究工作的基礎上,本文提出了一種基于現(xiàn)有硬件的可伸縮的訪存順序記錄算法,并利用多核全系統(tǒng)模擬器COREMU和二進制翻譯工具DynamoRIO實現(xiàn)了全系統(tǒng)和應用程序的確定性重放。使用并行基準測試程序的性能評測表明,本文實現(xiàn)的確定性重放系統(tǒng)具有良好的可伸縮性。為進一步提升系統(tǒng)性能,本文還探索了使用硬件事務內(nèi)存來記錄訪存順序的方法。具體來說,本文做出了如下貢獻：1.分析之前工作提出的訪存順序記錄算法存在伸縮性問題的原因,提出了一種基于現(xiàn)有硬件的可伸縮的訪存順序記錄算法。該算法利用共享對象版本序列化所有的寫操作,并巧妙的記錄了處理器之間的讀后寫順序。算法記錄精確的訪存順序,在記錄順序時僅需每個處理器局部的信息和共享對象版本,需要原子性訪問的臨界區(qū)很短,這些特點使得算法具有良好的可伸縮性。2.首次在并行全系統(tǒng)模擬器上實現(xiàn)確定性重放工具ReEmu。我們對全系統(tǒng)模擬器不確定性的來源做了充分的分析,并針對本文使用的并行全系統(tǒng)模擬器COREMU的特點實現(xiàn)了全系統(tǒng)確定性重放。ReEmu使用類似seqlock的方法實現(xiàn)了本文提出的可伸縮的訪存順序記錄算法,并嘗試使用鎖聚集優(yōu)化來提高訪存順序記錄的性能。我們使用五個特性不同的PARSEC并行基準測試程序評測系統(tǒng)性能,在模擬16個虛擬核時ReEmu相比COREMU的平均開銷為68.9%(范圍51.8%--94.7%),模擬從1到16個虛擬核的運行時間體現(xiàn)了良好的可伸縮性。利用COREMU的跨體系結(jié)構(gòu)的支持,我們還實現(xiàn)了ARM系統(tǒng)的確定性重放。3.使用DynamoRIO實現(xiàn)了應用程序確定性重放工具Dr. Replay,該工具根據(jù)每個系統(tǒng)調(diào)用的不同語意單獨記錄和重放,為幫助調(diào)試應用程序,Dr.Replay記錄了系統(tǒng)調(diào)用的偏序。本文指出了操作系統(tǒng)與進程間除系統(tǒng)調(diào)用之外的隱式交互為實現(xiàn)應用程序確定性重放帶來的挑戰(zhàn)。我們使用1-16個線程記錄PARSEC基準測試程序的執(zhí)行,Dr. Replay同樣顯示了良好的可伸縮性。Dr. Replay記錄程序執(zhí)行的運行時間平均為原生執(zhí)行的14.8倍(最低11.6倍,最高19.8倍),比同樣使用二進制翻譯的應用程序確定性重放工具PinPlay有著更好的性能。4.首次嘗試使用硬件事務內(nèi)存記錄訪存順序,提出了基于事務提交順序的記錄算法。我們還分析了Intel Haswell微架構(gòu)處理器事務內(nèi)存擴展的適用范圍,通過實際測試指出簡單的對訪存順序記錄算法的實現(xiàn)使用HLE并不能提升性能。
【學位授予單位】：復旦大學
【學位級別】：博士
【學位授予年份】：2014
【分類號】：TP332

【相似文獻】

相關(guān)期刊論文 前10條

1 李暉;;略談日志在財務軟件中的作用[J];中國管理信息化(綜合版);2005年07期

2 王彥龍,李戰(zhàn)懷,董歡慶,林偉;設備復制系統(tǒng)的日志機制研究[J];計算機工程與應用;2005年05期

3 小老虎;;尋找問題的蛛絲馬跡 網(wǎng)管日志技巧曝光[J];電腦愛好者;2007年03期

4 陳麟;李煥洲;吳貞東;;防火墻通信日志處理技術(shù)研究[J];微計算機信息;2007年30期

5 謝羿;肖衛(wèi)東;徐坤;;一種處理復雜變更事務的過程變更日志清洗算法[J];計算機應用研究;2009年03期

6 鄭仕元;劉軍;;不可信環(huán)境下的客戶端日志保護機制[J];計算機工程;2011年23期

7 常學貴;陳偉;孟德超;車文毅;閆娜;談熙;閔昊;;用于溫度日志標簽的兩級喚醒單元[J];固體電子學研究與進展;2012年03期

8 張若箐;牛飛斐;;一種基于日志的U盤取證模型研究[J];北京電子科技學院學報;2013年02期

9 邱元杰,劉心松,楊峰;一種高效的分布式并行數(shù)據(jù)庫日志機制[J];計算機研究與發(fā)展;2004年11期

10 武波;王申康;;基于日志的閃存文件系統(tǒng)設計與實現(xiàn)[J];江南大學學報(自然科學版);2007年02期

相關(guān)會議論文 前9條

1 王洪俊;賴志國;施水才;肖詩斌;;基于查詢?nèi)罩镜牟樵兘ㄗh挖掘[A];NCIRCS2004第一屆全國信息檢索與內(nèi)容安全學術(shù)會議論文集[C];2004年

2 陶學軍;楊冬青;關(guān)濤;唐世渭;;COBASE的恢復技術(shù)[A];第十一屆全國數(shù)據(jù)庫學術(shù)會議論文集[C];1993年

3 石磊;韓偉;李興波;;建設某省通信公司用戶上網(wǎng)日志查詢系統(tǒng)[A];創(chuàng)新驅(qū)動，加快戰(zhàn)略性新興產(chǎn)業(yè)發(fā)展——吉林省第七屆科學技術(shù)學術(shù)年會論文集（下）[C];2012年

4 李金;唐成虹;黎強;;IEC61850日志功能的實現(xiàn)[A];2006中國電力系統(tǒng)保護與控制學術(shù)研討會論文集[C];2006年

5 劉兆慶;李愛青;;LXI儀器事件日志的開發(fā)[A];2011下一代自動測試系統(tǒng)學術(shù)研討會論文集[C];2011年

6 滕慶豐;;UNIX環(huán)境下日志自動存儲和管理方法[A];全國冶金自動化信息網(wǎng)2011年年會論文集[C];2011年

7 孟慶發(fā);謝豐;呂鐵強;周立德;;IDS日志統(tǒng)計分析方法研究與實現(xiàn)[A];第二屆全國信息檢索與內(nèi)容安全學術(shù)會議（NCIRCS-2005）論文集[C];2005年

8 羅匡;黃金濤;李起成;王衡;汪國平;;PCW:一個基于日志的流媒體同步合成系統(tǒng)[A];第三屆和諧人機環(huán)境聯(lián)合學術(shù)會議（HHME2007）論文集[C];2007年

9 陳足先;葉曉俊;;回滾段在PostgreSQL中的實現(xiàn)[A];第二十二屆中國數(shù)據(jù)庫學術(shù)會議論文集（技術(shù)報告篇）[C];2005年

相關(guān)重要報紙文章 前10條

1 本報記者 屠少萌　李川 祖先海;信息時代的法官日志[N];人民法院報;2011年

2 金龍生 肖新華;樂清推行工商日志[N];溫州日報;2010年

3 中科院計算所 李洋;使用日志系統(tǒng)保護Linux安全[N];計算機世界;2005年

4 郭應 軍戴 湘平 陳曉杰;日志電子化　查閱更方便[N];中國稅務報;2006年

5 安徽 孫成;“細心呵護”Windows日志[N];電腦報;2004年

6 葉子平;Web Services的常見故障診斷[N];計算機世界;2004年

7 范恩平邋趙中想;民警“寫博客” 網(wǎng)上“曬工作”[N];人民公安報;2007年

8 皖南;記錄服務器的點點滴滴[N];電腦報;2005年

9 狂風;網(wǎng)絡故障 對癥下藥[N];電腦報;2004年

10 舒潔;Guest止步[N];中國電腦教育報;2003年

相關(guān)博士學位論文 前2條

1 陳宇飛;可伸縮的確定性重放技術(shù)研究[D];復旦大學;2014年

2 向小巖;閃存數(shù)據(jù)庫若干關(guān)鍵問題研究[D];中國科學技術(shù)大學;2009年

相關(guān)碩士學位論文 前10條

1 郝光權(quán);Cloud Foundry平臺應用日志檢索服務設計與實現(xiàn)[D];浙江大學;2015年

2 何駿;基于臨床指南決策支持的醫(yī)療日志平臺研究[D];湖北工業(yè)大學;2013年

3 鄭大虎;分布式日志服務系統(tǒng)關(guān)鍵技術(shù)的研究[D];西安電子科技大學;2005年

4 周逸璇;基于日志抽象的流程挖掘方法研究[D];云南大學;2012年

5 周志杰;基于企業(yè)代理日志的Web使用挖掘研究[D];華南理工大學;2010年

6 商嬌;TTCN-3測試執(zhí)行日志的可視化研究與實現(xiàn)[D];內(nèi)蒙古大學;2011年

7 王廣立;基于日志的流程挖掘算法研究[D];山東大學;2008年

8 田萬豐;某中間件產(chǎn)品監(jiān)控系統(tǒng)的代理管理和代理日志模塊的設計與實現(xiàn)[D];北京郵電大學;2014年

9 武晉南;基于Web日志的測試集生成方法設計與研究[D];上海師范大學;2009年

10 沈宏;基于用例和日志的Web統(tǒng)計測試[D];上海師范大學;2004年

本文編號：2750219