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

来源：软件学报杂志2019年第2期北京时间：

作者：王娟娟,乔颖,熊金泉,王宏安

单位：王娟娟，中国科学院 软件研究所, 北京 100190;中国科学院大学, 北京 10004911,乔颖，中国科学院 软件研究所, 北京 10019002,熊金泉，南昌师范学院 数学与计算机科学系, 江西 南昌 33003203,王宏安，中国科学院 软件研究所, 北京 10019004

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

关键词：多核;安全攸关;实时推理;规则推理;规则调度

基金资助：国家自然科学基金（61562063）