|
|
|
|
【英文篇名】 |
A Method to Mine Sequence Dependent Rules and Detect Violations for Kernel Extension Interfaces |
|
【下载频次】 |
★★★ |
|
【作者】 |
刘虎球;
白家驹;
王瑀屏; |
|
【英文作者】 |
LIU Hu-Qiu;
BAI Jia-Ju;
WANG Yu-Ping;
Department of Computer Science and Technology;
Tsinghua University; |
|
【作者单位】 |
清华大学计算机科学与技术系; |
|
【文献出处】 |
计算机学报
, Chinese Journal of Computers, 编辑部邮箱
2015年 05期
期刊荣誉：中文核心期刊要目总览 ASPT来源刊 中国期刊方阵 CJFD收录刊 |
|
【中文关键词】 |
内核扩展函数;
规则挖掘;
违例检测;
顺序依赖规则; |
|
【英文关键词】 |
kernel extension functions;
rules mining;
violation detection;
sequence dependent rules; |
|
【摘要】 |
内核扩展函数以接口的形式提供给驱动,用于管理设备和申请相关的资源.这些接口中存在大量的顺序依赖规则,如自旋锁必须经过初始化才能加锁,然后才能解锁;驱动在加载时申请的内存,卸载时必须予以释放等.然而,驱动开发者常常不熟悉或疏忽内核接口的使用规则,导致驱动中存在大量的接口使用违例,影响驱动及系统的可靠运行.文中提出了一种面向内核接口的顺序依赖规则挖掘与违例检测方法(SD-Miner).该方法结合驱动源码的结构特征,对驱动代码使用的内核接口进行统计分析,挖掘并提取内核接口的顺序依赖规则,并利用提取的规则检测现有的驱动源码中的使用违例.SD-Miner对Linux 3.10.10和2.6.38的驱动源码分别进行了规则挖掘和违例检测.对比检测结果发现,在2.6.38中检测出的错误中,有64处在3.10.10中得到了修正.SD-Miner检测和分析Linux 3.10.10的3781款驱动的过程仅耗费5min,共计提取出了220个顺序依赖相关的接口使用规则,并检测到了756个使用违例,作者将其中50个提交给了开发者,累计有25个回复者对20个使用违例进行了确认.实验结果表明,SD-Miner能够有效地挖掘出内核接口的顺序... |
|
【英文摘要】 |
Kernel extension functions are provided to drivers in the form of interfaces,to manage devices and resources.There are many sequence dependent rules in these interfaces,like the spin lock must be initialized before being locked,and then unlocked;the memory allocated for probing the device should be released when removing the device.However,due to driver developers' ignorance or unawareness of using these rules of the interfaces,a lot of violations may occur,which harms the reliability of drivers.This paper ... |
|
【基金】 |
国家“八六三”高技术研究发展计划重大课题项目以支撑公众与企业服务为主的网络操作系统研制(2011AA01A203)资助~~ |
|
【更新日期】 |
2015-06-17 |
|
【分类号】 |
TP311.13 |
|
【正文快照】 |
业服务为主的网络操作系统研制(2011AA01A203)资助.刘虎球,男,1989年生,博士研究生,中国计算机学会(CCF)学生会员,主要研究方向为操作系统、内核扩展可靠性与安全性、驱动可靠性与安全性.E-mail:liuhq11@mails.tsinghua.edu.cn.白家驹,男,1990年生,硕士,中国计算机学会(CCF)学? |
|
| 【相似文献】 |
 |
中国期刊全文数据库 |
 |
|
|
中国优秀硕士学位论文全文数据库 |
|
|
|
中国博士学位论文全文数据库 |
|
|
|
中国重要会议论文全文数据库 |
|
|
|
中国重要报纸全文数据库 |
|
|
|
中国学术期刊网络出版总库 |
|
|
|
|
点击下列相关研究机构和相关文献作者，可以直接查到这些机构和作者被《中国知识资源总库》收录的其它文献，使您全面了解该机构和该作者的研究动态和历史。
|
|
【文献分类导航】从导航的最底层可以看到与本文研究领域相同的文献，从上层导航可以浏览更多相关领域的文献。
|
|
|
| 
推荐 
