摘要:并发错误是程序设计语言和软件工程领域的研究热点之一.近年来，针对应用程序并发错误检测的研究已取得了很大进展.但是由于操作系统内核的并发和同步机制复杂、代码规模庞大，与应用程序级并发错误检测相比，操作系统内核的并发错误检测研究仍面临巨大的挑战.对此，国内外****提出了各种用于操作系统内核并发错误检测的方法.首先介绍了并发错误的基本类型、检测方法和评价指标，讨论了现有的并发错误检测方法和工具的局限性；然后，从形式化验证、静态分析、动态分析和静态动态相结合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.
PDF全文下载地址:
http://jos.org.cn/jos/article/pdf/6265
删除或更新信息，请邮件至freekaoyan#163.com(#换成@)
操作系统内核并发错误检测研究进展
本站小编 Free考研考试/2022-01-02
相关话题/操作系统 系统 软件工程 介绍 代码
领限时大额优惠券,享本站正版考研考试资料!
优惠券领取后72小时内有效，10万种最新考研考试考证类电子打印资料任你选。涵盖全国500余所院校考研专业课、200多种职业资格考试、1100多种经典教材，产品类型包含电子书、题库、全套资料以及视频，无论您是考研复习、考证刷题，还是考前冲刺等，不同类型的产品可满足您学习上的不同需求。 ...考试优惠券 本站小编 Free壹佰分学习网 2022-09-19自动驾驶智能系统测试研究综述
摘要:随着人工智能技术的深入发展，自动驾驶已成为人工智能技术的典型应用，近十年来得到了长足的发展，作为一类非确定性系统，自动驾驶车辆的质量和安全性得到越来越多的关注.对自动驾驶系统，特别是自动驾驶智能系统（如感知模块、决策模块、综合功能及整车）的测试技术得到了业界和学界的深入研究.调研了56篇相关领 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02代码注释自动生成方法综述
摘要:在软件的开发和维护过程中，与代码对应的注释经常存在缺失、不足或者与代码实际内容不匹配等问题，但手工编写代码注释对开发人员来说费时费力，且注释质量难以保证，因此亟需研究人员提出有效的代码注释自动生成方法.代码注释自动生成问题是当前程序理解研究领域的一个研究热点，对该问题进行了系统综述.主要将已有 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02基于指针生成网络的代码注释自动生成模型
摘要:代码注释在软件质量保障中发挥着重要的作用，它可以提升代码的可读性，使代码更易理解、重用和维护.但是出于各种各样的原因，有时开发者并没有添加必要的注释，使得在软件维护的过程中，往往需要花费大量的时间来理解代码，大大降低了软件维护的效率.近年来，多项工作利用机器学习技术自动生成代码注释，这些方法从 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02针对复杂用户评论的代码质量属性判断
摘要:随着开发者社区和代码托管平台成为程序员获取代码的主要途径，针对代码的用户评论数量急剧增加.用户在使用代码后给出的评论中包含多种静态和动态的代码质量属性信息，但是由于用户评论多为复杂句，使得评论中包含的代码质量属性难以判断.针对复杂用户评论的代码质量属性判断将有助于分析用户评论中的代码质量信息， ...中科院软件研究所 本站小编 Free考研考试 2022-01-02面向代码相似性检测的相似哈希改进方法
摘要:代码相似性检测（codesimilaritydetection）是软件工程领域的基本任务之一，其在剽窃检测、许可证违反检测、软件复用分析以及漏洞发现等方向均起着重要作用.随着软件开源化的普及以及开源代码量的高速增长，开源代码在各个领域的应用日益频繁，给传统的代码相似性检测方法带来了新的挑战.现 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02基于代码自然性的切片粒度缺陷预测方法
摘要:软件缺陷预测是软件质量保障领域的一个活跃话题，它可以帮助开发人员发现潜在的缺陷并更好地利用资源.如何为预测系统设计更具判别力的度量元，并兼顾性能与可解释性，一直是人们致力于研究的方向.针对这一挑战，提出了一种基于代码自然性特征的缺陷预测方法——CNDePor.该方法通过正逆双向度量代码并利用质 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02区块链系统中身份管理技术研究综述
摘要:区块链技术是一种通过块链式结构、共识算法和智能合约来生成、存储、操作和验证数据的新型分布式基础架构和计算范式，其所构建的新型信任机制有助于推动互联网技术由信息互联网向价值互联网的转化.由于区块链中的账本数据采用公开交易记录、多节点共识确认的方式进行存储和验证，因此对系统中的身份管理及隐私保护提 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02C2P:基于Pi演算的协议C代码形式化抽象方法和工具
摘要:形式化方法为安全协议分析提供了理论工具，但经过形式化验证过的协议标准在转换为具体程序实现时，可能无法满足相应的安全属性.为此，提出了一种检测安全协议代码语义逻辑错误的形式化验证方法.通过将协议C源码自动化抽象为Pi演算模型，基于Pi演算模型对协议安全属性形式化验证.最后给出了方案转换的正确性证 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02基于分支标记的数据流模型的代码生成方法
摘要:模型驱动开发以其低错误率、易仿真、易验证的特点，在嵌入式软件开发中被广泛应用.近年来，基于模型的嵌入式软件开发方法及相应工具也在逐渐发展和完善.数据流模型是各种建模工具中使用最为频繁的语义模型，然而，各种工具对于数据流模型的代码生成能力却参差不齐，特别是对于数据分支组件的支持，当前主流的建模工 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02面向SPARC处理器架构的操作系统异常管理验证
摘要:航天器等安全关键系统是典型的嵌入式系统，具有多任务并发、中断频发等特点.操作系统是其最基础的软件，构建一个正确的操作系统是保障航天器系统高可信运行的关键.异常管理作为操作系统最底层的功能，负责引导系统控制流的突变来响应处理器状态中的某些变化，异常管理的正确性是整个操作系统正确性的基础.提出一种 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02
