科研之友
微信
新浪微博
Facebook
分享链接
摘要
复杂系统的任务调度对于提升系统性能至关重要,很多应用场景引入可重构调度模型来处理复杂系统中的并发、互斥和非同步任务。由于系统中的任务时间具有模糊特性,导致现有研究逻辑控制的效果不佳,为此提出了基于信号解释Petri网的可重构调度模型。考虑到Petri网擅长描述并发、互斥,以及非同步任务,设计了一种扩展Petri网,将重构系统时的影响因素,定义为包含七个变量的集合,并对资源变迁的过程和规则做了相应分析。根据任务执行对时间的要求,将其分成固定时间调度、周期调度,以及触发调度三种模式,并依次进行模型的分析优化。为了部署逻辑芯片,资源即为库所,操作即为变迁规则,资源与操作的联系即为信号解释,最终基于FPGA实现了信号解释Petri网的可重构调度模型。通过仿真验证了信号解释Petri网的可重构调度模型能够对复杂的系统任务进行良好的静态与动态重构,重构准确率和任务执行效率均得到显著提升。
-
单位贵州大学; 贵州商学院
