【摘 要】
：
现代操作系统的驱动程序和文件系统都以内核模块形式出现,而内核模块的操作大多使用指针,因此内核模块中指针使用的可靠性直接决定着操作系统能否长久稳定运行.设计了一种内
【机 构】
：
清华大学计算机科学与技术系,北京,100084
论文部分内容阅读
现代操作系统的驱动程序和文件系统都以内核模块形式出现,而内核模块的操作大多使用指针,因此内核模块中指针使用的可靠性直接决定着操作系统能否长久稳定运行.设计了一种内核模块的指针错误隔离方法(PFI)来有效地阻止指针相关的错误运行,并且不用修改系统内核,该方法基于LLVM编译架构进行实现,分为变量标记和数据检测两个工作阶段.变量标记是指在程序编译时根据代码上下文语义找到确定错误,从而大大降低程序运行时带来额外的开销;数据检测通过在潜在错误前面插装对敏感数据的检查代码,并在运行时进行动态检测,从而准确地发现数据动态变化时产生的错误.文中所述的PFI方法在Linux操作系统中进行了实现,并结合网卡驱动进行了评测,实验结果表明通过使用动静结合的方式,PFI能够有效地对模块中的错误进行隔离,并且不会带来显著的性能影响.
其他文献
如东小棚养虾是国内极具代表性的一种养虾模式，但地下水源的差异化和养殖集约化导致的水质下降增加了管理难度。海大集团经过多轮验证试验表明发酵料可显著改善养殖效果。
博物馆暖通空调系统对博物馆正常运行的意义重大.本文简单总结了在博物馆暖通空调系统设计时参数的选择以及空调系统设计时的需要注意的问题,并提出了相关的处理办法.
随着社会的发展,人类已经进入了信息时代,因此对办公方式以及办公环境有了更高的要求.本文将石油企业移动办公系统作为研究依据,剖析了移动办公技术在石油企业中的主要作用以
随着人们生活水平的不断提高,对建筑各方面的质量要求也越来越高,机电作为其中重要的设施之一,必须确保机电安装时各个环节符合工程的质量标准,并加强对相关工作人员的培训教
施工技术资料是建筑工程施工的原始凭证,亦是确保工程施工顺利进行的重要文件,做好施工技术资料管理对于建筑工程施工具有着非常重要的意义.因此,本文就如何做好建筑工程施工
全网热点分类汇总与趋势研判始终是互联网舆情监控工作关注的重点,基于传统搜索引擎的元搜索技术在网络热点融合方面优势突出。鉴于此,提出了利用网络浏览器模拟技术构建元搜索引擎的技术方案。选择JSSh(JavaScript Shell Server)作为浏览器模拟技术的核心,方案相对于早期元搜索实现具备归一性与普适性强的优势。最后还初步探讨了元搜索引擎结果整合方法,提出基于用户自定义权重的结果整合方案。
室内设计专业的产生,源自于人类对生活环境品质的追求.随着时代的进步,以及世界经济的不断发展.人们对生活品质的追求促使着室内设计行业快速的发展着.但是日益增加的客户需
机械工程的出现,不仅实现了劳动力的解放,而且还能够代替人们高质高效地完成多项作业.由此可见,机械工程走向智能化的发展趋势必将成为必然.基于此,文章在概述机械智能化相关
现阶段国内机电工程施工管理仍处于起步阶段,同时经济高速发展造成的建设需求日益多样化、复杂化,机电工程施工管理的有效性需要在实践中不断探索.文章笔者根据工作实践经验