期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

一种LINUX系统下隔离设备驱动故障的方法 被引量：1

A New Method to Isolate the Device Driver Based on LINUX
下载PDF
导出
摘要 设备驱动程序相对操作系统内核更容易产生错误,也是引发内核故障的主要原因。本文通过分析Linux操作系统的结构特点提出了一种实现对设备驱动程序中的错误进行隔离,使其不影响操作系统内核正常工作的方法。并讨论了其中内存保护,信息交互控制等功能的实现方式。 Failures are reported more often in device drivers than in the kernel. So device drivers remain a significant cause of system failures. In this article, we analyze the architecture of Linux OS and describe the mechanism of a new method to isolate the device driver from other kernel modules when failures are detected. In addition, we discuss the possible implements include virtual memory protection and flow control.
作者 严开元 欧中红
机构地区 武汉数字工程研究所
出处 《计算机与数字工程》 2008年第11期182-184,共3页 Computer & Digital Engineering
关键词 可用性 设备驱动 LINUX内核 内存保护 信息交互控制 availability, device driver, linux kernel, memory protection, transmission control
分类号 TP316 [自动化与计算机技术—计算机软件与理论]
  • 相关文献

参考文献7

  • 1SWIFT, M. M. , ANNAMALAI, M. , BERSHAD, B. AND LEVY, H. Recovering Device Drivers. ACM Trans. ComDut. Svst. 2005,12.
  • 2SWIFT, M. M.,MARTIN S.,LEVY H. M., AND EGGERS S. J. Nooks: An Architecture for Reliable Device Drivers [C]. The 10th workshop on Acm SIGOPS European workshop : Beyond the PC, 2002.
  • 3CHOU, A. , YANG, J. , CHEI.P, B. , HALLEM, S. , AND ENGLER, D. An Empirical Study of Operating Systems Errors[C]. In Proc. of the 18th ACM Symposium on Operating System Principles, 2001,10.
  • 4ENGLER, D. , CHELF, B. , CHOU, A. , AND HALLEM, S. Checking System Rules Using System-Spe cific, Programmer-Written Compiler Extensions [C]. In Proc. OSDI, 2000,9.
  • 5CHIUEH, T. , VENKITACHALAM, G. , PRADHAN,P. Integrating Segmentation and Paging Protection for Safe,Efficient and Transparent Software Extensions[C]. In Proc. 17th SOSP,Kiawah Island Resort, South Carolina, 1999,12.
  • 6WAHBE, R., LUCCO, S., ANDERSON, T., GRAHAM, S. Efficient Software-based Fault Isolation. ACM Operating Systems Review[J]. 1993,27(5) :2003-16.
  • 7CHASE,J. S. ,LEVY, H. M. ,FEELEY, M. J., LAZOWSKA,E. D. 1994 Sharing and protection in a single-address-space operating system [C]. ACM Trams. Comput. Syst. 1994,11:271-307.

同被引文献17

  • 1Michael M. Swift,Muthukaruppan Annamalai,Brian N. Bershad,Henry M. Levy.Recovering device drivers[J]. ACM Transactions on Computer Systems (TOCS) . 2006 (4)
  • 2Michael M. Swift,Brian N. Bershad,Henry M. Levy.Improving the reliability of commodity operating systems[J]. ACM Transactions on Computer Systems (TOCS) . 2005 (1)
  • 3S.R.Hanson,E.J.Radley.Testing device driver hardening. USPatent6,971,048 . 2005
  • 4L.Zhuang,S.Wang,K.Gao.Fault injection test harness. Pr oc.of the Ottawa Linux Symposium . 2003
  • 5Thomas Ball,and Sriram K Rajarnani.The SLAM Project: Debugging System Software via Static Analysis. POPL 2002 . 2002
  • 6S.Graham.Writing drivers for reliability,robustness and fault to lerant systems. http://www.microsoft.com/whdc/archive/FTdrv.mspx . 2004
  • 7Coverity.Anaylsis of the Linux kernel. http://www.coverity.com . 2004
  • 8H.Post,W.Kuchlin.Integrated static analysis for Linux devi ce driver verification. Proc.of the 6th International Confere nce on Integrated Formal Methods . 2007
  • 9Asim Kadav,Matthew J.Renzelmann,Michael M,Awift.Tolerating Hardware Device Fai lures in Software. .
  • 10Ball T,Bounimova E,Cook B,et al.Thorough static analysis of device drivers. 2006 EuroSys Conference . 2006

二级引证文献5

计算机与数字工程
2008年 第11期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部