操作系统内核并发错误检测研究进展
作者:
作者单位:

作者简介:

石剑君(1991-),女,博士,CCF学生会员,主要研究领域为计算机体系结构,程序分析与优化.
石峰(1961-),男,博士,教授,博士生导师,主要研究领域为计算机体系结构.
计卫星(1980-),男,博士,副教授,主要研究领域为计算机体系结构,并行和高性能计算,程序分析与优化.

通讯作者:

计卫星,E-mail:jwx@bit.edu.cn

基金项目:

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


Recent Progress of Concurrency Bug Detection in Operating System Kernels
Author:
Affiliation:

Fund Project:

2018 Industrial Internet Innovation and Development Project-The Project of Industrial Internet Platform Test Bed for Industrial Microservice and Application Deployment

  • 摘要
  • |
  • 图/表
  • |
  • 访问统计
  • |
  • 参考文献
  • |
  • 相似文献
  • |
  • 引证文献
  • |
  • 资源附件
    摘要:

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

    Abstract:

    Concurrency bug detection is a hot research topic in the area of programming language and software engineering. In recent years, researchers have made great progress in concurrency bug detection of applications. However, as operating system (OS) kernels always have high concurrency, complex synchronization mechanisms, and large scale of source codes, researches on concurrency bug detection of OS kernels are more challenging than applications. To address this issue, researchers have proposed various approaches to detect concurrency bugs in OS kernels. This study first introduces the basic types, detection techniques, and evaluation indicators of concurrency bug detection, and the limitations of existing concurrency bug detection tools in OS kernels are discussed. Then, researches on concurrency bug detection in OS kernels are described from four aspects:Formal verification, static analysis, dynamic analysis, and combination of both static and dynamic analysis. Some typical approaches are comprehensively compared. Finally, the challenges of concurrency bug detection in OS kernels are discussed, and the future research trends in this field are prospected.

    参考文献
    相似文献
    引证文献
引用本文

石剑君,计卫星,石峰.操作系统内核并发错误检测研究进展.软件学报,2021,32(7):2016-2038

复制
分享
文章指标
  • 点击次数:
  • 下载次数:
历史
  • 收稿日期:2020-09-14
  • 最后修改日期:2020-10-26
  • 录用日期:
  • 在线发布日期: 2021-01-22
您是第位访问者
版权所有:中国科学院软件研究所 京ICP备05046678号-3
地址:北京市海淀区中关村南四街4号,邮政编码:100190
电话:010-62562563 传真:010-62562533 Email:jos@iscas.ac.cn
技术支持:北京勤云科技发展有限公司

京公网安备 11040202500063号