【摘 要】
：
驱动的可靠运行对于操作系统至关重要,驱动的长久稳定运行依赖于正确的驱动配置.由于硬件本身存在大量约束条件,对系统进行修改,或者对驱动、内核升级,或者对设备更新换代时
【机 构】
：
清华大学计算机科学与技术系 北京 100084
论文部分内容阅读
驱动的可靠运行对于操作系统至关重要,驱动的长久稳定运行依赖于正确的驱动配置.由于硬件本身存在大量约束条件,对系统进行修改,或者对驱动、内核升级,或者对设备更新换代时容易发生驱动配置错误,而该类错误尚无法通过现有的方法直接进行定位和解决.文中设计并实现了AiLsDc(Automatically inserting Log system for Driver configuration)自动日志插入辅助检错系统,能够根据参数配置规范文档中的规则进行驱动配置检查.AiLsDc首先按照定义的驱动配置规范规格XML文档对驱动源码进行插装和修改,运行时动态检查驱动的配置是否满足配置规范文档的要求.当出现参数违例时,日志记录模块将会自动记录可能引起该违例的错误原因和错误位置.通过对比和检查日志,能够在出错时快速定位从而辅助纠错,提高开发效率.实用性评测表明,系统能够捕获配置异常,而性能评测结果表明,AiLsDc系统在提高驱动的可靠性的同时,带来的开销很小.
其他文献
作者使用的Pariorix疫苗株为UrabeAm9株,平均滴度为10~4.7TCID_(50)17名无腮腺炎病史并经ELISA筛选腮腺炎抗体阴性的成人(20～30岁)为免疫对象。每人皮下注射疫苗0.5ml。用ELI
景宁县政府以“景宁香菇荣获九五中国农博会金奖”为契机,大力发展优质香菇生产。九六年发展袋栽香菇5000万袋,其中花菇3000万袋,预计鲜菇总产量可达3万多吨,其中花菇,优质
最大可满足性问题(MAXSAT)是经典的NP完全问题SAT的一个扩展问题.基于分支限界设计MAXSAT完备算法时,如何有效地提高下界是设计高效算法的关键和难点.基于优先找到规模小、结
@卜冬龄积I{48X68（。1994年。。。。。。x枷l删、圈③王冬龄听雨声48x68Cm1995年％lop4！＄（％A94hty444ti4vi:tlcb344fyti＃44w禽裂一以蛤货区,N,邯【阜却,q4tr7＄opAgh44,tAKap4一＆咖N冰江
围产期医学创始迄今已二十余年,初期是以产科与儿科为基础,随着科学的发展,其范围不断在扩大,目前在国外,它已从医学范畴扩展到社会学范畴,围产期保健也必然随之扩大内容。
我国气象局研究开发的数值天气预报系统GRAPES作为典型的高性能计算应用,在人民日常生活中有着极其重要的作用,如何提高GRAPES系统性能并控制其功耗以支持因增加系统分辨率而
品种来源由省农科院园艺所用郑州2号作母本，荆州202作父本杂交而成的一代种。原名“抗逆7号”。、1996年4月山西省农作物品种审定委员会第22次会议通过审定，定名“晋西瓜3号”
This paper focuses on the instantiation of random oracles in public key encryption schemes. A misunderstanding in the former instantiations is pointed out and a
被监测环境的状态可以使用无线传感器网络的有效感知.本文使用无线传感器网络巡航覆盖模型实现了建筑能效监测过程.为降低基于无线传感器网络巡航覆盖模型的数据采集系统构造
阿根廷的王牌潜艇“圣路易斯”号是联邦德国20世纪60年代末研制的攻击型常规潜艇.潜艇全长54米,水下排水量约1290吨,水下航速为21节,能够在水下260米潜航.该艇拥有8具533毫米