主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公编辑办公English
2019-2020年专刊出版计划 微信服务介绍 最新一期:2019年第1期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
王娟娟,乔颖,熊金泉,王宏安.多核环境下基于图模型的实时规则调度方法研究.软件学报,0,(0):0
多核环境下基于图模型的实时规则调度方法研究
Research on Multi-core Graph-based Rule Scheduling with Hard Deadlines
投稿时间:2017-01-21  修订日期:2017-05-02
DOI:10.13328/j.cnki.jos.005312
中文关键词:  多核  安全攸关  实时推理  规则推理  规则调度
英文关键词:multi-core  safety-critical  real-time reasoning  rule reasoning  rule scheduling
基金项目:国家自然科学基金(61562063)
作者单位E-mail
王娟娟 中国科学院软件研究所, 北京 100190
中国科学院大学, 北京 100049 
wjuanj89@126.com 
乔颖 中国科学院软件研究所, 北京 100190  
熊金泉 南昌师范学院数学与计算机科学系, 南昌 330032  
王宏安 中国科学院软件研究所, 北京 100190  
摘要点击次数: 1047
全文下载次数: 614
中文摘要:
      安全攸关反应式系统的核心要求是必须在指定时间期限内完成对外部事件的检测和目标事件的响应,否则会产生灾难性的后果.随着安全攸关反应式系统对智能化需求的日益增加,将规则推理应用于这类系统便成为了必然趋势.而规则调度是保证规则推理硬实时约束的关键.为此,本文首次提出了一种基于图模型的规则调度方法(GBRS).该方法对基于事件图的实时规则推理过程进行建模,提出了基于图的端到端推理任务模型,并给出了端到端推理任务的调度算法,保证了规则调度的安全性.本文采用模拟实验对GBRS方法进行了验证.实验结果表明,GBRS方法比DM-EDF方法(通过直接映射把规则上的推理操作转成推理任务后用全局EDF算法对其进行调度的方法)在规则调度成功率上平均高出13%-15%,且在规则集的平均负载较高时仍保持着80%以上的调度成功率.
英文摘要:
      Safety-critical systems detect external events, match the targeted event patterns and give timely responding actions; otherwise catastrophic results will be incurred. With the increasing demand for intelligence in the safety-critical systems, applying rule-based reasoning to these systems has become an inevitable trend. Besides, rule scheduling is the key to assure hard real-time constraints within rule-based reasoning solutions. In this paper, a solution to the multi-core rule scheduling problem, named GBRS, has been proposed. With the real-time rule reasoning process analyzed, we first described how rules in safety-critical systems can be modeled as tasks using the graph mapping and proposed the graph-based end-to-end reasoning task model, E2ERTG. We then presented a multi-core scheduling algorithm, GBRS, to guarantee each rule's deadline via the control of the reasoning task's deadline. We have conducted simulation-based experiments to evaluate the performance of GBRS. The result shows that GBRS remains a rule success ratio above 80% even with relatively high workload of the rule set and is superior to DM-EDF by average 13%-15% in terms of rule success ratio.
HTML  下载PDF全文  查看/发表评论  下载PDF阅读器
 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利