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

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