基于周期虚拟缩减的实时任务调度和分析方法
作者:
作者单位:

作者简介:

刘洪标(1995-), 男, 博士, 主要研究领域为嵌入式操作系统, 任务调度;乔磊(1982-), 男, 博士, 研究员, CC高级会员, 主要研究领域为操作系统模型设计, 存储管理, 文件系统;杨孟飞(1962-), 男, 博士, 研究员, 博士生导师, CCF高级会员, 主要研究领域为空间飞行器嵌入式系统, 控制系统, 总体技术;陈熙(1997-), 女, 硕士, 主要研究领域为嵌入式操作系统, 任务调度;马智(1994-), 男, 博士, 主要研究领域为嵌入式操作系统, 系统架构;李少峰(1992-), 男, 博士, 主要研究领域为嵌入式操作系统, 内存管理

通讯作者:

乔磊, E-mail: fly2mars@163.com

中图分类号:

TP316

基金项目:

国家自然科学基金(61632005, 62032004)


Real-time Task Scheduling and Analysis Method Based on Virtual Zoom Out Period
Author:
Affiliation:

Fund Project:

  • 摘要
  • |
  • 图/表
  • |
  • 访问统计
  • |
  • 参考文献
  • |
  • 相似文献
  • |
  • 引证文献
  • |
  • 资源附件
  • |
  • 文章评论
    摘要:

    针对航天器等安全关键系统中实时任务调度和可调度性分析的实际问题, 提出基于任务周期虚拟缩减的可调度性判定方法, 构建SHT (strong-hard task)任务模型对强硬实时任务进行精确描述, 并根据任务时间特性分配优先级. 虚拟化所有强实时任务为一个硬实时任务, 对此硬实时任务周期虚拟缩减并计算出其最差虚拟执行时间, 然后按RMS可调度性判定公式判定. 给出了判定方法的严格证明, 可对包含n个SHT任务的任务集进行快速可调度性判定, 此算法时间复杂度仅为O(n2). 在我国空间站计算机进行了对比验证, 实验表明判定效率优于现有可调度性判定方法, 平均运行时间开销降低了41.8%, 可调度率提高了5.7%.

    Abstract:

    Regarding the practical problems of the real-time task scheduling and analysis in safety-critical systems such as spacecraft, this study proposes a schedulability determination method based on virtual zoom out period, constructing a strong-hard task (SHT) model to accurately describe real-time tasks, and allocates priority based on task’s time characteristics. Virtualizing all strong real-time task as a hard real-time task, virtually reduces the period of the hard real-time task and calculates the worst virtual execution time, and then determines the schedulability according to the RMS schedulability judgment formula. This paper presents a rigorous proof of the method, which can make a fast schedulability determination on an SHT task set containing n tasks, and the time complexity of this algorithm is only O(n2). Comparative verification was carried out on the China space station computer, and the experiments show that the schedulability determination efficiency is better than the existing methods. The average running time overhead is reduced by 41.8%, and the schedulable ratio is increased by 5.7%.

    参考文献
    相似文献
    引证文献
引用本文

刘洪标,乔磊,杨孟飞,陈熙,马智,李少峰.基于周期虚拟缩减的实时任务调度和分析方法.软件学报,2022,33(9):3512-3528

复制
分享
文章指标
  • 点击次数:
  • 下载次数:
  • HTML阅读次数:
  • 引用次数:
历史
  • 收稿日期:2021-03-31
  • 最后修改日期:2021-06-07
  • 录用日期:
  • 在线发布日期: 2022-05-24
  • 出版日期: 2022-09-06
您是第位访问者
版权所有:中国科学院软件研究所 京ICP备05046678号-3
地址:北京市海淀区中关村南四街4号,邮政编码:100190
电话:010-62562563 传真:010-62562533 Email:jos@iscas.ac.cn
技术支持:北京勤云科技发展有限公司

京公网安备 11040202500063号