×

兹马思-数学第一资源

基于静态跟踪的同步mini-go死锁分析。(英语) Zbl 06667489号
Igarashi,Atsushi(编辑),编程语言和系统。第14届亚洲研讨会,APLAS 2016,越南河内,2016年11月21-23日。诉讼程序。查姆:斯普林格。选择。笔记计算。科学。10017,116-136(2016年)。
摘要:我们考虑了使用同步信道通信的go编程语言中程序的静态死锁检测问题。在我们的分析中,用fork运算符扩展的正则表达式捕捉程序的通信行为。从描述无死锁程序轨迹的简单标准开始,我们开发了基于自动机的方法来检查死锁自由度。通过一系列实例对该方法进行了实现和评价。
整个系列请参见[Zbl 1347.68009].
理学硕士:
68牛顿 软件理论
PDF格式 BibTeX公司 XML 引用
全文: 内政部
参考文献:
[1] Boyapati,C.,Lee,R.,Rinard,M.C.:安全编程的所有权类型:防止数据竞争和死锁。In:OOPSLA 2002年会议录,第211-230页。ACM(2002年)
[2] Brzozowski,J.A.:正则表达式的导数。J、 ACM 11(4),481–494(1964年)·中银0225.94044
[3] Christakis,M.,Sagonas,K.:使用静态分析检测异步消息传递错误。In:Rocha,R.,Launchbury,J.(编辑),PADL 2011。LNCS,第6539卷,第5-18页。斯普林格,海德堡(2011)。doi:10.1007/978-3-642-18378-2_3·Zbl 05867247
[4] 分析并发程序的通信拓扑。摘自:《1995年PEPM会议录》,第202-213页。ACM(1995)
[5] 恩格勒,D.R.,阿什克拉夫特,K.:RacerX:有效的,静态检测比赛条件和死锁。In:2003年SOSP程序,第237-252页。ACM(2003)
[6] 围棋程序设计语言。https://golang.org/
[7] Oracle:一个回答go源代码问题的工具。https://godoc.org/golang.org/x/tools/cmd/oracle
[8] Gopherlyzer:mini-go中基于跟踪的死锁检测。kaiphergogitsta.com/
[9] Hoare,C.A.R.:通信顺序过程。公社。ACM 21(8),666–677(1978年)·Zbl 0383.68028
[10] Huang,S.T.:一种适用于类CSP通信的分布式死锁检测算法。ACM传输。程序。语言系统。12(1),102–122(1990年)
[11] Kobayashi,N.:典型的:用于Pi演算的基于类型的静态分析器。http://www-kb.is.s.u-tokyo.ac.jp/koba/典型/
[12] 小林,N.:pi演算中基于类型的信息流分析。Acta Inf.42(4-5),291-347(2005年)·Zbl 1081.68061
[13] 小林:一种新的无死锁进程系统。在:Baier,C.,Hermanns,H.(编辑),CONCUR 2006年。LNCS,第4137卷,第233-247页。斯普林格,海德堡(2006)。内政部:10.1007/11817949_16·Zbl 1151.68537
[14] Ladkin,P.B.,Simons,B.B.:CSP类型通信的静态死锁分析。In:Fussell,D.S.,Malek,M.(编辑),《响应式计算机系统:迈向容错实时系统的步骤》,第89-102页。斯普林格,波士顿(1995)
[15] Martel,M.,Gengler,M.:并发程序的通信拓扑分析。In:Havelund,K.,Penix,J.,Visser,W.(编辑),《2000年自旋》杂志。LNCS,第1885卷,第265-286页。斯普林格,海德堡(2000年)。doi:10.1007/10722468_16·Zbl 0976.68041
[16] Mercouroff,N:一种分析通信过程的算法。In:Brookes,S.,Main,M.,Melton,A.,Mislove,M.,Schmidt,D.(编辑)MFPS 1991。LNCS,第598卷,第312-325页。斯普林格,海德堡(1992年)。doi:10.1007/3-540-55511-0_16
[17] Milner,R.:通信和移动系统:The\[\圆周率\]-微积分。剑桥大学出版社,纽约(1999)·Zbl 0942.68002
[18] Ng,N.,Yoshida,N.:并发GOBY全局会话图综合的静态死锁检测。在:2016年CC会议记录,第174-184页。ACM(2016)
[19] Nielson,H.R.,Nielson,F.:具有有限通信拓扑的高阶并发程序。摘自:《1994年POPL会议录》,第84-97页。ACM出版社,1994年1月
[20] Reppy,J.H.:ML中的并行程序设计,剑桥大学出版社,纽约(1999)·Zbl 0900.68214
[21] Sulzmann,M.,Thiemann,P.:可分叉正则表达式。在:Dediu,A.-H.,Janoušek,J.,Martín-Vide,C.,Truthe,B.(编辑),LATA 2016年。LNCS,第9618卷,第194-206页。斯普林格,海德堡(2016)。doi:10.1007/978-3-319-30000-9_15·Zbl 1443.68097
[22] Williams,A.,Thies,W.,Ernst,M.D.:Java库的静态死锁检测。In:Black,A.P.(编辑)ECOOP 2005。LNCS,第3586卷,第602-629页。斯普林格,海德堡(2005年)。doi:10.1007/11531142_26
此参考列表基于出版商或数字数学图书馆提供的信息。它的项被试探性地匹配到zbMATH标识符,并且可能包含数据转换错误。它试图尽可能准确地反映原始论文中列出的参考文献,而不要求匹配的完整性或精确性。