面向驱动配置的自动日志插入方法研究  

Automatically Inserting Log System for Driver Configuration

作　　者：刘虎球[1] 马超[1] 白家驹[2] 

机构地区：[1]清华大学计算机科学与技术系,北京100084 [2]西安电子科技大学计算机学院,西安710126

出　　处：《计算机学报》2013年第10期1982-1992,共11页Chinese Journal of Computers

基　　金：国家"八六三"高技术研究发展计划项目"以支撑公众与企业服务为主的网络操作系统研制"(2011AA01A203)资助~~

摘　　要：驱动的可靠运行对于操作系统至关重要,驱动的长久稳定运行依赖于正确的驱动配置.由于硬件本身存在大量约束条件,对系统进行修改,或者对驱动、内核升级,或者对设备更新换代时容易发生驱动配置错误,而该类错误尚无法通过现有的方法直接进行定位和解决.文中设计并实现了AiLsDc(Automatically inserting Log system for Driver configuration)自动日志插入辅助检错系统,能够根据参数配置规范文档中的规则进行驱动配置检查.AiLsDc首先按照定义的驱动配置规范规格XML文档对驱动源码进行插装和修改,运行时动态检查驱动的配置是否满足配置规范文档的要求.当出现参数违例时,日志记录模块将会自动记录可能引起该违例的错误原因和错误位置.通过对比和检查日志,能够在出错时快速定位从而辅助纠错,提高开发效率.实用性评测表明,系统能够捕获配置异常,而性能评测结果表明,AiLsDc系统在提高驱动的可靠性的同时,带来的开销很小.Driver reliability is essential for the operating system, and the long-term stable operation of driver depends on the proper drive configuration. Because of the inherent constraints of hardware, it＇s quite easy to get wrong for the driver configuration when modifying the system and driver, upgrading kernel, or replacing equipments. And these errors couldn＇t be located and removed by existing methods directly. In this paper, we design and implement an automatically inserting log system for driver configuration （AiLsDc）, which can check the driver configuration parameter according to the specification document which is configured by the driver. Firstly, system checks and modifies the driver source code according to the specification document defined by AiLsDc. And it checks the parameter dynamically to guarantee the correctness. When finding some wrong parameters or violations, the logging module can record the possible reasons and their locations dynamically. By comparing and checking the log, it can quickly locate the error. The practicality evaluation and performance evaluation results show that AiLsDc system improves the driver reliability, and maintains good performance as well.

关 键 词：操作系统 可靠性 驱动配置错误检查 日志注入 

分 类 号：TP316[自动化与计算机技术—计算机软件与理论]