一种面向内核接口的顺序依赖规则挖掘与违例检测方法

内核扩展函数以接口的形式提供给驱动,用于管理设备和申请相关的资源.这些接口中存在大量的顺序依赖规则,如自旋锁必须经过初始化才能加锁,然后才能解锁;驱动在加载时申请的内存,卸载时必须予以释放等.然而,驱动开发者常常不熟悉或疏忽内核接口的使用规则,导致驱动中存在大量的接口使用违例,影响驱动及系统的可靠运行.文中提出了一种面向内核接口的顺序依赖规则挖掘与违例检测方法(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能够有效地挖掘出内核接口的顺序依赖规则,并检测出使用违例,进而辅助开发人员对驱动进行修正来提高驱动可靠性.此外,规则的挖掘是基于驱动的结构信息和统计信息,不需要开发者在源码中提供额外的注释及标注.

跳远违例检测器的原理与应用

在跳远比赛中运动员是否违例一般是由裁判员采用传统的痕迹检测方法来判定,该办法存在诸多弊端。经过研究设计出一种由低功率激光发射器、激光接收器组成的检测系统并配合声光报警器构成的新型跳远违例检测器,并将该检测器用于学生运动会跳远比赛中检测运动员是否违例,取得良好效果。该设计已经取得实用新型专利。

云计算中的SLA管理技术研究

云计算环境中,用户的需求动态变化,云供应商不能掌控用户需求变化,但必须提供用户满意的服务质量,因此,QoS保证是云计算技术未来持续发展的关键。QoS保证通过SLA实现。本文综述了云计算SLA管理中的SLA指标分类、资源监测、SLA违例管理以及SLA参数映射技术的研究现状,最后指出了云计算中基于SLA的资源管理是未来的研究方向。