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

作     者：袁挺 陆杰 李炼 YUAN Ting;LU Jie;LI Lian

作者机构：中国科学院计算技术研究所计算机体系结构国家重点实验室北京100190 中国科学院大学北京100190 

基　　金：国家重点研发计划(2016YFB1000402)资助项目 

出 版 物：《高技术通讯》 (Chinese High Technology Letters)

年 卷 期：2023年第33卷第4期

页      码：360-369页

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

主 题 词：Go语言 并发缺陷 并发原语 软件测试 

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

D　O　I：10.3772/j.issn.1002-0470.2023.04.003

馆 藏 号：203122313...