驱动的可靠运行对于操作系统至关重要,驱动的长久稳定运行依赖于正确的驱动配置.由于硬件本身存在大量约束条件,对系统进行修改,或者对驱动、内核升级,或者对设备更新换代时容易发生驱动配置错误,而该类错误尚无法通过现有的方法直接进行定位和解决.文中设计并实现了AiLsDc(Automatically inserting Log system for Driver configuration)自动日志插入辅助检错系统,能够根据参数配置规范文档中的规则进行驱动配置检查.AiLsDc首先按照定义的驱动配置规范规格XML文档对驱动源码进行插装和修改,运行时动态检查驱动的配置是否满足配置规范文档的要求.当出现参数违例时,日志记录模块将会自动记录可能引起该违例的错误原因和错误位置.通过对比和检查日志,能够在出错时快速定位从而辅助纠错,提高开发效率.实用性评测表明,系统能够捕获配置异常,而性能评测结果表明,AiLsDc系统在提高驱动的可靠性的同时,带来的开销很小.
内核扩展的安全性对操作系统的稳定运行具有重要意义.内核扩展在为驱动开发提供了便捷的同时,但也带来了重大安全隐患.本文设计了一个新型内核扩展安全访问(Security Access to Kernel Extension,SAKE)模型系统,该系统通过对驱动模块的控制范围进行约束,对关键内核扩展函数接口进行审查,来实现安全的内核扩展访问.文中所述研究在Linux操作系统上对SAKE模型系统进行了实现,并结合多款驱动进行了评测.安全性评测结果表明SAKE能够提供安全内核扩展访问功能,并且性能评测表明该系统带来的开销很小.
