软件学报

作者：石剑君，计卫星，石峰

单位：石剑君，北京理工大学 计算机学院, 北京 10008111,计卫星，北京理工大学 计算机学院, 北京 10008102,石峰，北京理工大学 计算机学院, 北京 10008103

关键词：操作系统;多线程并行;并发错误;缺陷检测

基金：2018年工业互联网创新发展工程-工业微服务与工业APP部署应用工业互联网平台测试床

并发错误是程序设计语言和软件工程领域的研究热点之一.近年来，针对应用程序并发错误检测的研究已取得了很大进展.但是由于操作系统内核的并发和同步机制复杂、代码规模庞大，与应用程序级并发错误检测相比，操作系统内核的并发错误检测研究仍面临巨大的挑战.对此，国内外学者提出了各种用于操作系统内核并发错误检测的方法.首先介绍了并发错误的基本类型、检测方法和评价指标，讨论了现有的并发错误检测方法和工具的局限性；然后，从形式化验证、静态分析、动态分析和静态动态相结合4个方面，对现有的操作系统内核并发错误检测的研究工作进行了分类阐述，并作了系统总结和对比分析；最后，探讨了操作系统内核并发错误检测研究面临的挑战，并对该领域未来的研究趋势进行了展望.

来源：2021年第7期

《软件学报》期刊编辑部

查看软件学报杂志2021年第7期