主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公English
2022年专刊出版计划 微信服务介绍 最新一期:2021年第2期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
石剑君,计卫星,石峰.操作系统内核并发错误检测研究进展.软件学报,2021,32(7):20-0
操作系统内核并发错误检测研究进展
Recent Progress of Concurrency Bug Detection in Operating System Kernels
投稿时间:2020-09-14  修订日期:2020-10-26
DOI:10.13328/j.cnki.jos.006265
中文关键词:  操作系统  多线程并行  并发错误  缺陷检测
英文关键词:operating system  multithreading parallel  concurrency bug  defect detection
基金项目:2018年工业互联网创新发展工程-工业微服务与工业APP部署应用工业互联网平台测试床
作者单位E-mail
石剑君 北京理工大学 计算机学院, 北京 100081  
计卫星 北京理工大学 计算机学院, 北京 100081 jwx@bit.edu.cn 
石峰 北京理工大学 计算机学院, 北京 100081  
摘要点击次数: 234
全文下载次数: 100
中文摘要:
      并发错误是程序设计语言和软件工程领域的研究热点之一.近年来,针对应用程序并发错误检测的研究已取得了很大进展.但由于操作系统内核的并发和同步机制复杂、代码规模庞大,与应用程序级并发错误检测相比,操作系统内核的并发错误检测研究仍面临巨大挑战.对此,国内外学者提出了各种用于操作系统内核并发错误检测的方法.首先介绍了并发错误的基本类型、检测方法和评价指标,讨论了现有的并发错误检测方法和工具的局限性;接着,从形式化验证、静态分析、动态分析和静态动态相结合四个方面,对现有的操作系统内核并发错误检测的研究工作进行了分类阐述,并作了系统总结和对比分析;最后,探讨了操作系统内核并发错误检测研究面临的挑战,并对该领域未来的研究趋势进行了展望.
英文摘要:
      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 code, researches on concurrency bug detection of OS kernels are more challengeful than applications. To address this problem, domestic and foreign researchers have proposed various approaches to detect concurrency bugs in OS kernels. In this paper, we first introduce the basic types, detection techniques and evaluation indicators of concurrency bug detection, and the limitations of existing concurrecny bug detection tools in OS kernels are discussed. Then, researches on concurrent bug detection in OS kernels are classified and described from four aspects:formal verification, static analysis, dynamic analysis, combination of both static and dynamic analysis. Some typical researches are systematically organized and compared. Finally, the challenges of concurrency bug detection in OS kernel are discussed, and the future research trends in this field are prospected.
HTML  下载PDF全文  查看/发表评论  下载PDF阅读器
 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会 京ICP备05046678号-4
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利