全局EDZL实时调度算法的可调度性判定.PDF

全局EDZL 实时调度算法的可调度性判定 作者 梁浩, 晏立, 沈项军 机构 江苏大学 研究生院；江苏大学 计算机科学与通信工程学院；江苏大学 计算机科学与通信工程 学院 发表期刊 《计算机应用研究》 预排期卷 2018 年第35 卷第8 期 访问地址 /article/02-2018-08-017.html 发布日期 2017-07-21 11:41:39 引用格式 梁浩, 晏立, 沈项军. 全局EDZL 实时调度算法的可调度性判定[J/OL]. [2017-07-21]. http://www. /article/02-2018-08-017.html. 摘要 可调度性判定就是离线验证实时系统中所有任务是否可调度。通过可调度性判定，能够更好地保 证实时系统的可靠性。分析在多处理器实时系统中全局EDZL 算法的任务需求，考虑到带入作业 和带出作业对处理器资源的需求。引入最大连续忙区间的概念，以确定带入作业的最大个数，得 到了多处理器实时系统中全局 EDZL 算法的可调度性判定算法。通过构造大量实时任务集，对不 同的判定方法进行了实验，检查通过可调度性判定的任务集数量。实验结果表明这种方法在多处 理器实时系统中是一种更为紧密的可调度性判断方法。 关键词 实时系统, 多处理器, 全局EDZL 算法, 可调度性判定, 最大连续忙区间 中图分类号 TP316.2 基金项目 国家自然科学基金资助项目 35 优先出版 计 算 机 应 用 研 究 第 卷 全局EDZL 实时调度算法的可调度性判定* a b c 梁 浩 ，晏 立 ，沈项军 ( a b c 212013) 江苏大学 ．研究生院； ．计算机科学与通信工程学院； ．计算机科学与通信工程学院，江苏 镇江 摘 要：可调度性判定就是离线验证实时系统中所有任务是否可调度。通过可调度性判定，能够更好地保证实时系统的 可靠性。分析在多处理器实时系统中全局EDZL 算法的任务需求，考虑到带入作业和带出作业对处理器资源的需求。引 入最大连续忙区间的概念，以确定带入作业的最大个数，得到了多处理器实时系统中全局EDZL 算法的可调度性判定算 法。通过构造大量实时任务集，对不同的判定方法进行了实验，检查通过可调度性判定的任务集数量。实验结果表明这 种方法在多处理器实时系统中是一种更为紧密的可调度性判断方法。 关键词：实时系统；多处理器；全局EDZL 算法；可调度性判定；最大连续忙区间 中图分类号：TP316.2 Schedulability Test of Global EDZL Real-time Scheduling Algorithm a b c