多核环境下基于图模型的实时规则调度方法

• 作者: 乔颖 熊金泉 王娟娟 王宏安
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 多核 安全攸关 实时推理 规则推理 规则调度
• 年，卷（期）: 2019,（2）
• 所属期刊栏目: 操作系统
• 页码范围: 481-494
• 页数: 14页
• 分类号: TP316
• 字数: 9653字
• 语种: 中文
• DOI: 10.13328/j.cnki.jos.005312

摘要

安全攸关反应式系统的核心要求是:必须在指定时间期限内完成对外部事件的检测和目标事件的响应,否则会产生灾难性的后果.随着安全攸关反应式系统对智能化需求的日益增加,将规则推理应用于这类系统成为必然趋势.规则调度是保证规则推理硬实时约束的关键.为此,提出了一种基于图模型的实时规则调度方法(graph-based real-time rule scheduling,简称GBRRS).该方法对基于事件图的实时规则推理过程进行建模,提出了基于图的端到端推理任务模型,并给出了端到端推理任务的调度算法,保证了规则调度的安全性.采用模拟实验对GBRRS方法进行了验证,实验结果表明,与DM-EDF方法(通过直接映射把规则上的推理操作转成推理任务后,用全局EDF算法对其进行调度的方法)相比,GBRRS方法在规则调度成功率上平均高出13％～15％,且在规则集的平均负载较高时,仍保持着80％以上的调度成功率.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	乔颖	中国科学院软件研究所	12	414	7.0	12.0
2	王宏安	中国科学院软件研究所	78	1606	21.0	37.0
3	王娟娟	中国科学院软件研究所	9	46	5.0	6.0
7	熊金泉	南昌师范学院数学与计算机科学系	9	21	3.0	4.0