声明
严正声明：本站非期刊官网，非中介代理。
本站仅提供学术规范服务：快速预审、润色编辑服务、中英文查重、降重、去重服务、推荐合适的期刊投稿等学术规范服务。 如需提供学术规范服务请联系在线编辑。
国内刊号：11-2560/TP
国际刊号：1000-9825
发布日期:
作者：石剑君，计卫星，石峰
单位：石剑君，北京理工大学 计算机学院, 北京 10008111,计卫星，北京理工大学 计算机学院, 北京 10008102,石峰，北京理工大学 计算机学院, 北京 10008103
关键词：操作系统;多线程并行;并发错误;缺陷检测
基金：2018年工业互联网创新发展工程-工业微服务与工业APP部署应用工业互联网平台测试床
并发错误是程序设计语言和软件工程领域的研究热点之一.近年来，针对应用程序并发错误检测的研究已取得了很大进展.但是由于操作系统内核的并发和同步机制复杂、代码规模庞大，与应用程序级并发错误检测相比，操作系统内核的并发错误检测研究仍面临巨大的挑战.对此，国内外学者提出了各种用于操作系统内核并发错误检测的方法.首先介绍了并发错误的基本类型、检测方法和评价指标，讨论了现有的并发错误检测方法和工具的局限性；然后，从形式化验证、静态分析、动态分析和静态动态相结合4个方面，对现有的操作系统内核并发错误检测的研究工作进行了分类阐述，并作了系统总结和对比分析；最后，探讨了操作系统内核并发错误检测研究面临的挑战，并对该领域未来的研究趋势进行了展望.
来源：2021年第7期
《软件学报》期刊编辑部
严正声明：本站非期刊官网，非中介代理。
本站仅提供学术规范服务：快速预审、润色编辑服务、中英文查重、降重、去重服务、推荐合适的期刊投稿等学术规范服务。 如需提供学术规范服务请联系在线编辑。