【摘 要】
：
内核安全维系着应用程序的正常运行,而内核错误却仍被周期性地发现,且多数错误是由模块加载机制将存在问题的设备驱动引入内核所致.基于UVM编译器基础架构,提出FPSFI驱动错误
【机 构】
：
清华大学计算机科学与技术系,西安电子科技大学计算机学院
【基金项目】
：
国家高技术研究发展计划(863计划);
论文部分内容阅读
内核安全维系着应用程序的正常运行,而内核错误却仍被周期性地发现,且多数错误是由模块加载机制将存在问题的设备驱动引入内核所致.基于UVM编译器基础架构,提出FPSFI驱动错误运行时隔离机制,使驱动错误隔离机制分解为涉敏函数注册、驱动错误定位与检测函数的插装等三个模块,有效地阻止了由内核API完整性缺失所导致的权限非法提升以及内存空间被多次释放等常见驱动错误.相比于之前的方法,FPSFI将错误分析与定位实现在编译器后端,减少了人工添加检测代码的工作量,而检测函数的单独实现与编译,使得隔离机制对内核接口的依赖程度有所降低.基于Linux平台的测试结果表明,FPSFI能够有效阻止两类典型的驱动错误；FPSFI对后端编译器改动所造成的时间开销比为18.7％；对网络模块的压力测试结果显示,FPSFI不会显著影响CPU利用率以及TCP吞吐量,UDP吞吐量下降17％.
其他文献
采用石英管真空封装高纯度的Sb和Te粉末,在800℃熔炼12h,炉冷后研磨制备Sb2Te3粉末,真空热压烧结(480℃,20MPa,保温1h),制备出Sb2Te3块体材料。用XRD、SEM和EDS对材料的物相
该文以房屋城市工业区为切入点,分析了对城市工业区影响的因素,和各种因素对工业区影响的大小,并举例分析了城市工业区的规模的确定以及确定办法,最后主张规划和管理工作者应
采用显微硬度与电导率测试、拉伸试验、晶间腐蚀及剥落腐蚀试验、金相(OM),研究了热处理制度对Al-7.5Zn-1.5Mg-l.4Cu-0.15Zr7085铝合金挤压材性能的影响.结果表明:常规固溶(4
我国教育对非文学的艺术教育比较忽略,学生的综合文艺素质薄弱,我们要充分利用文学的带头作用,多利用社会文艺资源培养兴趣,开阔视野;多开展课外文艺活动,培养兴趣;主动学习,
在Gleeble-3800热模拟试验机上对一种低碳CrNi3Si2MoV钢进行了热变形+Q&P和Q&P两种工艺处理,探讨热变形对Q&P钢微观组织和硬度的影响,用SEM和TEM进行微观组织表征,用X-Ray测
内核扩展的安全性对操作系统的稳定运行具有重要意义.内核扩展在为驱动开发提供了便捷的同时,但也带来了重大安全隐患.本文设计了一个新型内核扩展安全访问(Security Access
数据流编程作为一种编程模式已被广泛应用到各个领域.然而,多核体系结构的不同使得数据流程序在不同平台上移植困难.X10作为一种新型并行编程语言,为不同的多核体系结构提供
采用固体粉末渗硼法对45钢基体表面进行稀土催渗下的渗硼实验.通过金相和X射线衍射研究了渗硼后的物相组成和组织演变,讨论了渗硼过程中的硼化物形成动力学和稀土催渗硼机理.
托马斯·哈代(Thomas Hardy,1840-1928)的代表作(TES OF THE DURBERVILLES)历来倍受研究者重视,然而以往研究主要着眼于人物形象的分析、人物与环境的关系、道德意叉以及作者
随着海量存储系统的发展,双容错数据布局已不能满足系统对可靠性要求.在双容错行对角线奇偶码的基础上,只增加1冗余校验列,提出一种新的3容错最大距离可分阵列码.采用二元矩