并發(fā)Bugs是很難調(diào)試的和被發(fā)現(xiàn)的,也是傳統(tǒng)多線程編程語言中被最廣泛研究的Bugs類型。Go語言旨在提供一種簡單高效且安全的方法來構(gòu)建多線程軟件。Go的一個主要設(shè)計目標(biāo)是改進傳統(tǒng)的多線程編程語言,使并發(fā)編程更容易、更不容易出錯。了解Go的新并發(fā)原語和機制對于理解它們是如何影響并發(fā)Bugs是至關(guān)重要的,并發(fā)Bugs是很難調(diào)試的和被發(fā)現(xiàn)的,也是傳統(tǒng)多線程編程語言中被最廣泛研究的Bugs類型。因為以前沒有關(guān)于Go的并發(fā)Bugs的研究。所以,到目前為止,還不清楚Go的這些并發(fā)機制是否真的比傳統(tǒng)語言更容易適用于并發(fā)編程,更不容易出錯。本文在開源社區(qū)GitHub上選取了六個開源的并且用于實際生產(chǎn)環(huán)境中的Go應(yīng)用程序?qū)o語言中并發(fā)Bugs進行了實證性的研究,其中包括:Docker和Kubernetes,兩個數(shù)據(jù)中心容器系統(tǒng);etcd,一個分布式鍵值存儲系統(tǒng);gRPC-Go,一個RPC開源框架;CockroachDB和BoltDB,兩個數(shù)據(jù)庫系統(tǒng)。在上述的應(yīng)用程序中,本文共挖掘到了 171個Go的并發(fā)Bugs。論文對挖掘到的Bugs進行了重現(xiàn)、原因分析、修復(fù)策略分析和檢測器測試。本文對研究結(jié)果進行了... 

【文章來源】：北京郵電大學(xué)北京市211工程院校教育部直屬院校

【文章頁數(shù)】：127 頁

【學(xué)位級別】：博士

【部分圖文】：

圖２－丨多進程和多線程示意圖??

每千行代碼中共享內(nèi)存類原語使用變化趨勢

Kub}ne}s:每千行代碼中共享內(nèi)存類原語使用變化趨勢

【參考文獻】：
期刊論文
[1]基于符號執(zhí)行技術(shù)的C++程序靜態(tài)分析[J]. 孫文全,李兆鵬.  電子技術(shù). 2018(08)
[2]基于靜態(tài)分析的缺陷模式匹配研究[J]. 王建斌,劉臻,胡昌振,單純,鐘松延.  信息安全研究. 2018(04)
[3]Nuclear Deadlock[J]. Bai Shi.  Beijing Review. 2015(42)
[4]Deadlock Detection in FPGA Design: A Practical Approach[J]. Dexi Wang,Fei He,Yangdong Deng,Chao Su,Ming Gu,Jiaguang Sun.  Tsinghua Science and Technology. 2015(02)
[5]Seeking a Solution To Deadlock[J]. Miao Xiaoyang.  Beijing Review. 2014(13)
[6]Structure-Based Deadlock Checking of Asynchronous Circuits[J]. 任洪廣,王志英,Doug Edwards.  Journal of Computer Science & Technology. 2011(06)
[7]Natural Gas Prices Negotiations into Deadlock Between China and Russia[J]. Guo Yan.  China’s Foreign Trade. 2011(21)
[8]Deadlock in the Fight Against Terrorism[J]. Li Wei is Director of Institute of Security and Strategic Studies,CICIR.Si Guifeng.  Contemporary International Relations. 2010(S1)
[9]Steel Negotiation Deadlock[J]. LAN XINZHEN.  Beijing Review. 2010(15)
[10]Breaking Development Deadlock[J]. ZHAI KUN.  Beijing Review. 2009(11)

博士論文
[1]并行程序中bug檢測技術(shù)研究[D]. 吳振東.國防科學(xué)技術(shù)大學(xué) 2015

碩士論文
[1]基于LLVM的靜態(tài)程序切片方法研究[D]. 徐晨晨.南京郵電大學(xué) 2017
[2]基于LLVM-Clang的軟件靜態(tài)檢測工具研究與實現(xiàn)[D]. 李昊.西安理工大學(xué) 2017
[3]基于GOLANG語言的設(shè)備維修管理系統(tǒng)設(shè)計與實現(xiàn)[D]. 張金勇.南昌大學(xué) 2016
[4]基于Golang的廣告投放系統(tǒng)的設(shè)計與實現(xiàn)[D]. 肖霄.湖南大學(xué) 2016
[5]基于golang的分布式全文檢索系統(tǒng)研究與實現(xiàn)[D]. 唐忠誠.華南理工大學(xué) 2015
[6]一個自適應(yīng)的并發(fā)程序測試框架[D]. 吳熳娜.浙江大學(xué) 2010



本文編號：3624235