Linux设备驱动程序自动更新及辅助工具
作者:

Automatic Updating and Auxiliary Tools of Linux Device Drivers
Author:
  • 摘要
  • | |
  • 访问统计
  • |
  • 参考文献 [15]
  • |
  • 相似文献 [20]
  • | | |
  • 文章评论
    摘要:

    研究了Linux设备驱动程序的自动更新方法,建立了基于源码的Linux设备驱动辅助更新模型,设计并实现了一组相应的自动更新支撑工具,包括Linux设备驱动程序对内核依赖接口的分析工具、内核依赖接口差异性分析工具以及设备驱动更新辅助信息的生成工具.相关原型经测试验证表明,可以有效改善设备驱动开发和维护工作.另外,还提出了用于评估设备驱动辅助更新工作的量化指标即关于辅助更新提示信息的误报率和漏报率的概念及计算方法.

    Abstract:

    The automatic updating method of Linux device drivers is studied and the corresponding assisted updating model based on source codes is built while a set of tools to support automatic updating of drivers are designed and implemented. This set of tools includes a tool to extract kernel-dependent interfaces for the Linux device drivers, a tool to analyze differences between kernel-dependent interfaces for two versions of kernels, and a tool to generate helpful information for updating of device drivers. Related prototypes have been tested and the results show that it can effectively improve the development and maintenance of device drivers. In addition, the concepts and calculation methods for the rate of false reporting and the rate of missing reporting about helpful information for updating are put forward, which are to be used for the quantitative indicators to evaluate assisted updating for device drivers.

    参考文献
    [1] Padioleau Y, Lawall JL, Muller G. Understanding collateral evolution in Linux device drivers. Proceedings of the 1st ACM SIGOPS/EuroSys European Conference on Computer Systems. Leuven, Belgium. 2006. 59-71.
    [2] 颜世勋. 内核源代码差异分析与展示[硕士学位论文]. 北京:北京理工大学, 2015.
    [3] 武祥晋. 基于语法树的源码差异分析工具gccdiff. https://github.com/taccoraw/gccdiff.
    [4] 李雪. 基于语法树的源码差异分析软件[简称:ast-diff] V1.0. 计算机软件著作权登记号:2015SR284101, 2015
    [5] Rodriguez LR, Lawall J. Increasing automation in the backporting of linux drivers using coccinelle. Proceedings of the 11th European Dependable Computing Conference. Paris, France. 2016. 132-143.
    [6] Padioleau Y, Lawall JL, Muller G, et al. SmPL:A domain-specific language for specifying collateral evolutions in Linux device drivers. Electronic Notes in Theoretical Computer Science, 2007, 166:47-62.[doi:10.1016/j.entcs.2006.07.022]
    [7] Padioleau Y, Lawall JL, Hansen RR, et al. Documenting and automating collateral evolutions in Linux device drivers. ACM SIGOPS Operating Systems Review, 2008, 42(4):247-260.[doi:10.1145/1357010]
    [8] Padioleau Y, Hansen RR, Lawall JL, et al. Semantic patches for documenting and automating collateral evolutions in Linux device drivers. Proceedings of the 3rd Workshop on Programming Languages and Operating Systems:Linguistic Support for Modern Operating Systems. San Jose, CA, USA. 2006. 10.
    [9] Lawall J. Coccinelle:Reducing the barriers to modularization in a large C code base. Proceedings of the Companion Publication of the 13th International Conference on Modularity. Lugano, Switzerland. 2014. 5-6.
    [10] ABI Compliance Checker. https://lvc.github.io/abi-compliance-checker.
    [11] GCC WiKi:Plugins. https://gcc.gnu.org/wiki/plugins.
    [12] Exuberant Ctags. http://ctags.sourceforge.net.
    [13] Falleri JR, Morandat F, Blanc X, et al. Fine-grained and accurate source code differencing. Proceedings of the 29th ACM/IEEE International Conference on Automated Software Engineering. Vasteras, Sweden. 2014. 313-324.
    [14] 王欢. Linux内核错误追溯系统的研究与设计[硕士学位论文]. 北京:北京工业大学, 2016.
    [15] 谭茁, 翟高寿. 设备驱动非内核化通信架构的研究与实现. 信息网络安全, 2016, (11):57-65.[doi:10.3969/j.issn.1671-1122.2016.11.010]
    引证文献
    网友评论
    网友评论
    分享到微博
    发 布
引用本文

任艳艳,翟高寿,张俊红. Linux设备驱动程序自动更新及辅助工具.计算机系统应用,2018,27(7):211-218

复制
分享
文章指标
  • 点击次数:1975
  • 下载次数: 2180
  • HTML阅读次数: 4031
  • 引用次数: 0
历史
  • 收稿日期:2017-10-26
  • 最后修改日期:2017-11-14
  • 在线发布日期: 2018-06-27
文章二维码
您是第11349355位访问者
版权所有:中国科学院软件研究所 京ICP备05046678号-3
地址:北京海淀区中关村南四街4号 中科院软件园区 7号楼305房间,邮政编码:100190
电话:010-62661041 传真: Email:csa (a) iscas.ac.cn
技术支持:北京勤云科技发展有限公司

京公网安备 11040202500063号