面向能耗优化的容错实时系统任务调度模型研究.pdfVIP

维普资讯 小 型 微 型 计 算 机 系 统 2007年 11月 第 11期 JournalofChineseComputerSystems V01．28 No．11 2007 面向能耗优化的容错实时系统任务调度模型研究 陈 艾，周学海，王 峰，李 曦 (中国科学技术大学 计算机科学技术系，安徽合肥 230027) E—mail：aiai@mail．ustc．edu．cn 摘 要：为了支持面向能耗优化的容错实时任务调度算法研究，提出一种频率相关的时间Petri网--FRTPN．FRTPN引入用 于动态电压调整的变迁频率设置空间以及和频率相关的静态引发时域，以支持调度算法的能耗评估及优化；同时它增加一类抑 制弧刻画容错故障恢复过程．通过对基于检查点的容错实时能耗优化任务调度进行建模证明了FRTPN的有效性． 关 键 词：时间Petri网；实时系统；任务调度；能耗优化；容错 中图分类号：TP301 文献标识码：A 文 章 编 号：1000—1220(2007)11—2056—06 StudyonEnergy-awareSchedulingM odelforFaultToleranceReal-timeSystems CHEN Ai，ZHOU Xue—hai，WANG Feng，LIXi (DepartmentofComputerScienceandTechnology，UniversityofScienceandTechnologyofChina，Hefei230027，China) Abstract：Tosupporttheresearchontheenergy—awareschedulingalgorithm withfaulttoleranceforreal—timetasks。anextend— edtimePetrinetmodel，FRTPN (FrequencyRelatedTimePetriNet)isproposed．FRTPN introducesthefrequencyspaceand frequencyrelatedfiringintervalofthetransition，which supporttheenergyevaluationanddynamicvoltagescalingtechnique forenergyoptimizationofschedulingalgorithms．ThispaperdefinesFRTPN withtheinhibitorarcsforfaultrecovery．More— over，formalsemanticsofFRTPN ispresentedandmethodsforenergyevaluationandteachabilityanalysisaregiven．Thefeasi— bilityoftheproposedapproachisprovedbythefaulttoleranceschedulinginreal—timesystemswithcheckpointscheme． Keywords：timePetrinet；real—timesystems；taskscheduling；energy—awaredesign；faulttolerance 1 引 言 (TimePetriNet，TPN)的实时任务调度模型，它们能有效地 对实时任务 问的互斥、同步、资源共享、优先关系等特征进行 近年来，处理器速度的提升，芯片温度升高引起的系统瞬 描述 ；同时，利用现有 的时间Petri网可达性分析技术 ，可 以对 时故障率不断提高．避免局部过热导致系统可靠性降低的手 所有可能的调度序列进行准确的模拟 ，并对任务调度算法进 段包括 ：