Go语言并发缺陷检测研究进展

An empirical study on Go concurrency bug detection

Go语言是Google公司专为并发编程设计的开源语言,自2009年发布以来就在工业界和学术界获得了广泛的关注和应用。为了在运行时更好地支持用户态线程,Go语言提供了丰富多样的并发原语,尽管它们带来了编程上的便利,但同时也引入了更多复杂的并发缺陷。为了帮助研究者和开发者深入了解Go语言并发缺陷,本文归纳和总结了它们的特征及其相关研究。同时为了分析最新静态和动态检测工具的原理和使用效果,本文使用开源基准测试集GoBench对它们进行了评估。实验表明,目前的检测工具的检测效果和实用性仍有不足,本文针对这些不足对未来Go语言并发缺陷研究提出了展望。

The Go language designed by Google is an open source language born for concurrent programming.Since its release in 2009,it has gained widespread attention and application worldwide.In order to better support user-space threads at runtime,Go provides a rich variety of concurrency primitives.Although they bring programming convenience,they also bring more complex concurrency bugs.To help researchers and developers conduct in-depth investigation,this paper summaries concurrency bugs in Go and the recent related detection technologies.In addition,this paper further evaluates the latest static and dynamic analysis tools that are not covered by the open source benchmark suite GoBench.Experiments show that the practicability of the current detection tools are still being challenging.This paper points out the shortcomings of these detection tools,and puts forward a prospect for the future research on the concurrency bugs of Go.