支持SRP协议的实时调度技术
作者:
基金项目:

国家自然科学基金(61379040,61272131);江苏省自然科学基金(SBK2012194)


Real-Time Scheduling Technique Under SRP Protocol
Author:
  • 摘要
  • | |
  • 访问统计
  • |
  • 参考文献 [11]
  • |
  • 相似文献 [20]
  • | | |
  • 文章评论
    摘要:

    实时操作系统对多任务资源访问控制提出了较高的要求.资源竞争常会引起优先级翻转问题导致任务阻塞,增加资源等待延迟时间.传统资源访问控制协议可以部分解决此问题,但是存在上下文切换次数高,任务调度效率低等不足.在结合SRP协议的提前阻塞特性和MiniCore实时调度器设计后,分析了协议中任务调度规则,指出了调度器支持SRP协议时效率低下的原因,并引入胜者树结构改进就绪队列,给出了新的任务搜索算法.理论分析与实验结果表明改进的调度器在任务集规模较大时,提高了调度效率,较好的支持了SRP协议.

    Abstract:

    Real-time operating systems lay claim to multitasking resource accessing control. Resources competition not only results in priority inversion and tasks blocking, but also prolongs timing delay caused by acquiring resources regularly. Although conventional resources accessing protocol works out priority inversion issues, there are still some defects such as frequent context switch, scheduling efficiency etc. With a research on the implement of MiniCore OS and SRP, this paper analyses the detailed criteria of scheduling and demonstrates the causation of low scheduling efficiency under SRP. To solve these issues above, we proposed and implemented a ready queue based on winner tree and a job selection mechanism with low timing overhead. Theoretical analyses and experiment results justify the better performance on large scale tasks scheduling under SRP protocol.

    参考文献
    1 Hahn S, Reineke J, Wilhelm R. Towards compositionality in execution time analysis-definition and challenges. 6th International Workshop on Compositional Theory and Technology for Real-Time Embedded Systems. 2013.
    2 Buttazzo GC. Hard real-time computing systems:predictable scheduling algorithms and applications. Springer Science & Business Media, 2011.
    3 Liu F, Narayanan A, Bai Q. Real-time systems. 2000.
    4 Chen MI, Lin KJ. Dynamic priority ceilings:A concurrency control protocol for real-time systems. Real-Time Systems, 1990, 2(4):325-346.
    5 Jeffay K. Scheduling sporadic tasks with shared resources in hard-real-time systems. Real-Time Systems Symposium, 1992. IEEE, 1992:89-99.
    6 Buttazzo GC, Stankovic JA. Adding robustness in dynamic preemptive scheduling. Responsive Computer Systems:Steps Toward Fault-Tolerant Real-Time Systems. Springer US, 1995:67-88.
    7 Baker TP. Stack-based scheduling of realtime processes. Real-Time Systems, 1991, 3(1):67-99.
    8 龚育昌,张晔,李曦,等.一种新型的构件化操作系统的内核设计.小型微型计算机系统,2009,30(1):1-7.
    9 龚育昌,陈香兰,李曦,等.基于服务体/执行流模型的操作系统,2007.
    10 Robert S. Left-Leaning Red-Black Trees. http://www.cs.princeton.edu/~rs/talks/LLRB/RedBlack.pdf
    11 Chao YH, Lin SS, Lin KJ. Schedulability issues for EDZL scheduling on real-time multiprocessor systems. Information Processing Letters, 2008, 107(5):158-164.
    引证文献
    网友评论
    网友评论
    分享到微博
    发 布
引用本文

马运南,陈香兰.支持SRP协议的实时调度技术.计算机系统应用,2016,25(2):1-8

复制
分享
文章指标
  • 点击次数:2007
  • 下载次数: 3784
  • HTML阅读次数: 0
  • 引用次数: 0
历史
  • 收稿日期:2015-05-08
  • 最后修改日期:2015-06-08
  • 在线发布日期: 2016-02-23
文章二维码
您是第11224376位访问者
版权所有:中国科学院软件研究所 京ICP备05046678号-3
地址:北京海淀区中关村南四街4号 中科院软件园区 7号楼305房间,邮政编码:100190
电话:010-62661041 传真: Email:csa (a) iscas.ac.cn
技术支持:北京勤云科技发展有限公司

京公网安备 11040202500063号