孙友成;朱塞佩·利帕里 多处理器全局固定优先级调度中零星任务精确可调度性测试的预序关系。 （英语） Zbl 1357.68024号 实时系统。 52，编号323-355（2016）. 摘要：本文针对多处理器系统上由全局固定优先级完全抢占调度器调度的零星实时任务，提出了一种精确的可调度性测试方法。该分析包括将系统建模为线性混合自动机，并对表示截止期未完成情况的状态进行可达性分析。为了缓解状态空间爆炸的问题，我们对模型的符号状态提出了一种预序关系：其他人模拟的状态可以安全地从状态空间中消除。我们还针对多处理机上的一组有约束的前置零星任务，提出了可判定区间的概念。可判定时间间隔是一个有界的时间间隔，因此，如果时间表中发生了截止日期未命中，则有可能找到任务到达时间的配置，从而使截止日期未达标发生在有界的间隔内。反之亦然，如果到达时间的配置没有在限定的时间间隔内产生截止时间未命中，那么时间表中就不可能出现截止时间未达标。因此，我们证明了可调度性分析问题是可判定的，并给出了可判定区间的计算公式。据我们所知，这是首次针对运行在多处理器上的零星任务提出这样的时间间隔。提出的可调度性分析已在软件工具中实现。我们首次通过实验评估了最先进的近似可调度性测试的悲观情绪。此外，我们还表明，与文献中的其他精确算法相比，使用该模型可以分析具有更一般参数值的任务。然而，即使采用我们的方法，复杂性仍然太高，无法分析包含七个以上任务的实际任务集。 引用于4文件 MSC公司： 68平方米 计算机系统环境下的性能评估、排队和调度 关键词：多处理器;零星任务;固定优先级;线性混合自动机;精确可调度性测试 软件：堡垒;github PDF格式BibTeX公司 XML格式引用 \textit{Y.Sun}和\textit{G.Lipari}，实时系统。52，第3号，323--355（2016；Zbl 1357.68024） 全文： 内政部 哈尔 参考文献： [1] Alur R、Courcoubetis C、Henzinger TA、Ho PH（1993）《混合自动机：混合系统规范和验证的算法方法》。海德堡施普林格 [2] Alur R、Courcoubetis C、Halbwachs N、Henzinger TA、Ho PH、Nicollin X、Olivero A、Sifakis J、Yovine S（1995）《混合系统的算法分析》。计算机科学理论138（1）：3-34·Zbl 0823.68067号 ·文件编号：10.1016/0304-3975（94）00202-T [3] Baker T（2003）多处理器EDF和截止时间单调可调度性分析。收录：IEEE实时系统研讨会（RTSS）会议记录 [4] Baker T，Baruah SK（2009）《零星任务系统的可持续多处理器调度》。收录于：2009年第21届欧洲微电子IEEE实时系统会议。ECRTS’09，第141-150页 [5] Baker T，Cirinei M（2007）Brute强制确定零星硬截止日期任务集的多处理器可调度性。收录于：Tovar E、Tsigas P、Fouchal H（eds）《分布式系统原理》（计算机科学讲稿）第4878卷。柏林-海德堡施普林格，6275页·Zbl 1291.68062号 [6] Baruah S（2007）《多处理器全局可调度性分析技术》。2007年，第28届IEEE国际实时系统研讨会。RTSS 2007。第119-128页。doi:10.1109/RTSS.2007.35 [7] Bengtsson J，Yi W（2004）《时间自动机：语义、算法和工具》。柏林施普林格，第87-124页·Zbl 1088.68119号 [8] Bertogna M，Cirinei M（2007）全球调度对称多处理器平台的响应时间分析。2007年，第28届IEEE国际实时系统研讨会。RTSS 2007，第149-160页 [9] Bonifaci V，Marchetti-Paccamela A（2012）《零星实时多处理器任务系统的可行性分析》。算法63（4）：763-780·Zbl 1285.68019号 ·doi:10.1007/s00453-011-9505-6 [10] Brihaye T，Doyen L，Geeraerts G，Ouaknine J，Raskin JF，Worrell J（2011）关于有界时间上混合自动机的可达性。专业：自动化、语言和编程。柏林施普林格，第416-427页·Zbl 1300.68033号 [11] Bucci G、Fedeli A、Sassoli L、Vicario E（2004）实时抢占系统的时间状态空间分析。IEEE Trans Softw工程30（2）：97-111·doi:10.1109/TSE.2004.1265815 [12] Cassez F，Larsen K（2000）秒表令人印象深刻的力量。收录于：CONCUR 2000：并发理论，Springer，第138-152页·Zbl 0999.68112号 [13] Cucu L，Goossens J（2006）统一多处理器上固定优先级实时调度的可行性区间。摘自：IEEE新兴技术和工厂自动化会议，2006年。ETFA'06，第397-404页 [14] Cucu L，Goossens J（2007）任意截止期周期系统的多处理器固定优先级调度的可行性区间。摘自：欧洲设计、自动化和测试会议记录，EDA Consortium，第1635-1640页·Zbl 1291.68081号 [15] Cucu-Grosjean L，Goossens J（2011）《不相关多处理器平台上周期任务实时调度的精确可调度性测试》。《系统档案学杂志》57（5）：561-569·doi:10.1016/j.sysarc.2011.02.007 [16] Emberson P、Stafford R、Davis RI（2010）《多处理器任务集合成技术》。In:第一届嵌入式和实时系统（WATERS）分析工具和方法国际研讨会，第6-11页·Zbl 1285.68019号 [17] Geeraerts G，Goossens J，Lindstrm M（2013）任意期限零星任务的多处理器可调度性：复杂性和反链算法。实时系统49（2）：171-218。doi:10.1007/s11241-012-9172-y·Zbl 1291.68081号 ·doi:10.1007/s11241-012-9172-y [18] Geeraerts G、Goossens J、Stainer A（2014）《安全和可达性游戏中的简洁策略综合》。2014年9月22日至24日，英国牛津，第八届RP 2014国际研讨会，可及性问题。诉讼程序，第98-111页·Zbl 1393.68039号 [19] Grolleau E、Goossens J、Cucu-Grosjean L（2013）《关于相同多处理器平台上实时调度器的周期行为》。arXiv:1305.3849，预印本·Zbl 1392.68121号 [20] Guan N，Gu Z，Deng Q，Gao S，Yu G（2007）使用模型检查的静态优先级全局多处理器调度的精确可调度性分析。In:嵌入式和通用系统软件技术，Springer，第263-272页 [21] Guan N，Gu Z，Lv M，Deng Q，Yu G（2008）基于符号模型检验的全局固定优先级或EDF多处理机调度的可调度性分析。摘自：第11届IEEE面向对象实时分布式计算（ISORC）国际研讨会，2008年，第556-560页 [22] Guan N，Stigge M，Yi W，Yu G（2009）固定优先级多处理器调度的新响应时间界限。摘自：2009年第30届IEEE实时系统研讨会，RTSS 2009，第387-397页·Zbl 0265.68013号 [23] Halbwachs N，Proy YE，Roumanoff P（1997）使用线性关系分析验证实时系统。形式方法系统设计11（2）：157-185·doi:10.1023/A:1008678014487 [24] Liu C，Layland J（1973）硬实时环境下多道程序的调度算法。J Assoc计算马赫数20（1）：46-61·Zbl 0265.68013号 ·数字对象标识代码：10.1145/321738.321743 [25] MinéA（2001）基于差分-边界矩阵的新数值抽象域。摘自：第二届程序作为数据对象研讨会论文集。英国伦敦施普林格，PADO'01，第155-172页，网址：http://dl.acm.org/citation.cfm？id=645774.668110 ·Zbl 0984.68034号 [26] MinéA（2006）八角形抽象域。高阶符号计算19（1）：31-100。doi:10.1007/s10990-006-8609-1·Zbl 1105.68069号 ·doi:10.1007/s10990-006-8609-1 [27] Sun Y，Lipari G（2014a）《FOrmal实时调度器》（FORTS）。网页：https://github.com/glipari/forts网站 [28] Sun Y，Lipari G（2014b）使用线性混合自动机对全局固定优先级调度进行实时可调度性分析的弱模拟关系。收录：第22届实时网络与系统国际会议论文集，ACM，第35页 [29] Sun Y、Lipari G、AndréEi、Fribourg L（2014a）《面向实时组件的参数定时接口》。摘自：《连续参数合成第一届国际研讨会论文集》，SynCoP 2014，法国格勒诺布尔，2014年4月6日，第49-64页。doi:10.4204/EPTCS.145.6·Zbl 1464.68037号 [30] Sun Y，Lipari G，Guan N，Yi W（2014b）改进全局固定优先级多处理器调度的响应时间分析。在：IEEE第20届嵌入式和实时计算系统与应用国际会议（RTCSA），2014年，第1-9页 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。