基于DSPN的多处理机实时容错任务调度建模研究.pdfVIP

建 筑 与 预 算 月 刊 第2期 总第214期 2014年 基于DSPN的多处理机实时容错任务调度建模研究 王 勋，周 悦，刘春光 (沈阳建筑大学信息科学与控制工程学院，辽宁 沈阳 110168) 摘要：目的 利用确定与随机Petri网DSPN来研究多处理机容错实时任务调度过程的建模。方法 采用 DSPN对多处理机故障产生与修复、多处理机任务之间的容错和分布式多处理机混合任务实时容错调 度过程进行建模与分析。结果 基于DSPN的多处理机容错实时任务调度模型可以实现对多处理机容错 实时任务调度的分析。结论 基于DSPN的多处理机调度建模为多处理机系统中容错实时任务调度分析 提供了一种有效的分析方法，为实际应用打下基础。 关键词：多处理机；实时；容错；确定与随机Petri网DSPN 中图分类号：TP301 文献标志码：B 文章编号：1673—0402(2014)02—0038—04 性任务和非周期性任务实时容错需要，难以满 O引言 足实际作业需求，针对以上问题，本文采用确 随着分布式系统的发展，目前已有大量对 定 与 随 机 Petri网 (Deterministic and 分布式实时容错调度的研究。文献 提出一种 Stochastic PetriNet，DSPN)建立多处理机 基于Petri网的多处理机实时任务调度，任务通 实时任务调度模型，特别是描述了多处理机故 过设置静态优先级实施抢 占；文献 ¨。介绍了 障产生与修复和副版本任务容错过程。 支持混合任务抢 占调度的时间Petri网；但它们 1任务模型 均未考虑调度过程中处理机出现错误进而实现 任务容错的情况。文献 采用非相似余度技术 1．1 任务模型 来避免多通道故障，从而提高系统可靠性，但 在分布式实时系统中，处理机可以根据当 系统成本过高。文献b将多版本技术与时间空 前任务集不同，将实时任务集Task分为两 间冗余技术相结合，同时采用EDF算法为任务 类 ，Task={Tp， }，任意任务r．，丁∈Task其中： 分配动态优先级 。文献 口采用非精确计算模 ： 表示具有容错需求的周期任务集 ， 型对任务进行容错。但以上算法均未考虑周期 = {丁}，r∈{1,L }， 为具有容错需求的周 收稿 日期：2013—12—22 基金项目：辽宁省 自然科学基金项 目 i))；辽宁省教育厅项 目 (L2011093)。 作者简介：王勋 (1988一)，男，在读研究生，主要从事网络化控制研究工作。 E—mail：389244484@qq．con 2014年第2期 总第214期 期任务的数量； 态。 ： 表示具有容错需求 的非周期任务 (3)处理机忙碌时产生故障机理：此时故 集 ， =f7I)， ∈{1,L／a／pt}， 为具有容错需 障发生在任务正在执行的过程 ，当故障产生 求的非周期任务的数量。 时，处理机中断该任务的执行过程，并将任务 1．2 调度机理 移送至副版本所在的处理机等待执行；若副版 在分布式实时容错系统中，假设系统有N 本所在的处理机处于空闲状态，则任务副版本 台处理机，所有处理机的性能和结构均相同， 直接占用处理机资源执行副版本程序；若副版 即为同构处理机，且其拓