【摘 要】
：
内核扩展函数以接口的形式提供给驱动,用于管理设备和申请相关的资源.这些接口中存在大量的顺序依赖规则,如自旋锁必须经过初始化才能加锁,然后才能解锁;驱动在加载时申请的
【基金项目】
：
国家“八六三”高技术研究发展计划重大课题项目以支撑公众与企业服务为主的网络操作系统研制(2011AA01A203)资助~~
论文部分内容阅读
内核扩展函数以接口的形式提供给驱动,用于管理设备和申请相关的资源.这些接口中存在大量的顺序依赖规则,如自旋锁必须经过初始化才能加锁,然后才能解锁;驱动在加载时申请的内存,卸载时必须予以释放等.然而,驱动开发者常常不熟悉或疏忽内核接口的使用规则,导致驱动中存在大量的接口使用违例,影响驱动及系统的可靠运行.文中提出了一种面向内核接口的顺序依赖规则挖掘与违例检测方法（SD-Miner）.该方法结合驱动源码的结构特征,对驱动代码使用的内核接口进行统计分析,挖掘并提取内核接口的顺序依赖规则,并利用提取的规则检测现有
其他文献
目的明确SEPS1基因对糖尿病大鼠视网膜细胞增殖与侵袭的影响,探讨其在糖尿病视网膜病变中的调控作用及可能分子机制。方法采用高糖高脂喂养联合链脲酶素注射法构建糖尿病大鼠
肝细胞癌(HCC)是世界上最常见的恶性肿瘤之一,传统的手术及化疗效果局限。多酶抑制剂索拉非尼在HCC的Ⅲ期临床试验中证明对晚期肝癌有效,开创了肝癌治疗新领域。近年来,索拉
每一时代的音乐创作都具有与其他时代迥异的鲜明特征，因为这种音乐创作都与该时代的社会发展、宗教、地域及作者的个性密不可分。意大利著名作曲家、羽管键琴演奏家——多梅尼
研究目的：通过抽样调查，了解驻福州陆军训练伤发生规律与影响因素，为预防训练伤发生，提高训练质量，减少非战斗减员，并为军队管理部门制定相应政策措施提供依据。研究方法：通过文献了
<正>在通常情况下,医师的一般权利常服从于患者的权利,这是实现患者自由、自治的基本要求,但在极其特定的情况下,医生需要限制患者的自主权利,实现医生自己的意志,以达到完成
本文主要以伯明翰大学当代文化研究中(The Center for Contemporary CulturalStudies,简称CCCS)的文化研究传统为背景,以斯图亚特·霍尔（Stuart Hall）提出的“文化的循环”（the
在园林中,园林的边缘空间是指将相邻异质空间之间具有一定宽度而直接受到边缘效应的边缘过渡地带。边缘空间并不是非空间单元的结束,而是显现相邻异质空间交互特性与相互间作
研究了接种于盒装豆腐中致病菌(Listeria innocua L83和Salmonella enteritidis 50041)的辐照效应和盒装豆腐的辐照杀菌效果,以及辐照对包装豆腐的营养品质和感官品质的影响
大容量、高参数的的超（超）临界机组由于具有煤电效率高、污染物排放低等优势，成为国内外燃煤发电机组主流发展方向。W火焰燃烧方式的结构设计有助于贫煤和无烟煤的稳定燃烧，因此
自从20世纪60年代少数研究者对掺Ho激光器进行介绍之后，Ho3+离子因其特殊的光谱特性，如长的激光上能级寿命、可以获得人眼安全和大气高透过率的2.1μm激光等，使它成为产生激光的