| 石剑君,计卫星,石峰.操作系统内核并发错误检测研究进展.软件学报,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部署应用工业互联网平台测试床 |
|
| 摘要点击次数: 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阅读器 |
