An Intuitive Formal Prooffor Deadline Driven Scheduler

被引：0
|
作者：
詹乃军
机构：
来源：
Journal of Computer Science and Technology | 2001年 / 02期
关键词：
duration calculus; deadline driven scheduler; real-time;
D O I：
暂无
中图分类号：
TP319 [专用应用软件];
学科分类号：
081202 ; 0835 ;
摘要：
This paper presents another formal proof for the correctness of the Deadline Driven Scheduler (DDS). This proof is given in terms of Duration Calculus which provides abstraction for random preemption of processor. Compared with other approaches, this proof relies on many intuitive facts. Therefore this proof is more intuitive, while it is still formal.
引用
收藏
页码：146 / 158
页数：13
相关论文
共 50 条
  • [41] A Deadline Constrained Preemptive Scheduler Using Queuing Systems for Multi-tenancy Clouds
    Ru, Jia
    Yang, Yun
    Grundy, John
    Keung, Jacky
    Hao, Li
    2019 IEEE 12TH INTERNATIONAL CONFERENCE ON CLOUD COMPUTING (IEEE CLOUD 2019), 2019, : 63 - 67
  • [42] A Pseudo-Deadline Based O(1) Proportional Share Scheduler for Embedded Systems
    Ray, Swarnendu
    Sarkar, Arnab
    18TH INTERNATIONAL SYMPOSIUM ON VLSI DESIGN AND TEST, 2014,
  • [43] Non Preemptive Soft Real Time Scheduler: High Deadline Meeting Rate on Overload
    Khalib, Zahereel Ishwar Abdul
    Ahmad, R. Badlishah
    El-Shaikh, Mohamed
    INTERNATIONAL CONFERENCE ON MATHEMATICS, ENGINEERING AND INDUSTRIAL APPLICATIONS 2014 (ICOMEIA 2014), 2015, 1660
  • [44] Packet scheduler for meeting deadline in 4-4, 1-4 architecture
    Kumar, A. R. Ashok
    Anusha, K. L.
    Hegde, Shruti Ganapati
    2018 IEEE INTERNATIONAL CONFERENCE ON ADVANCED NETWORKS AND TELECOMMUNICATIONS SYSTEMS (ANTS), 2018,
  • [45] PED: Probabilistic Energy-efficient Deadline-aware scheduler for heterogeneous SoCs
    Chen, Xing
    Krishnakumar, Anish
    Ogras, Umit
    Chakrabarti, Chaitali
    JOURNAL OF SYSTEMS ARCHITECTURE, 2024, 147
  • [46] IP Deadline-Aware Bank Partition Scheme for Memory Scheduler in Mobile Platform
    Kim, Jin-Ku
    Lee, Hyuk-Jun
    2016 IEEE INTERNATIONAL CONFERENCE ON CONSUMER ELECTRONICS-ASIA (ICCE-ASIA), 2016,
  • [47] Deadline analysis of interrupt-driven software
    Brylow, D
    Palsberg, J
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2004, 30 (10) : 634 - 655
  • [48] Scheduling deadline driven packet flows in HyperAccess
    Holmberg, T
    Karlsson, JM
    EIGHTH IEEE INTERNATIONAL SYMPOSIUM ON COMPUTERS AND COMMUNICATION, VOLS I AND II, PROCEEDINGS, 2003, : 108 - 113
  • [49] Formal modeling for a real-time scheduler and schedulability analysis
    Kim, SJ
    Choi, JY
    PARALLEL COMPUTING TECHNOLOGIES, PROCEEDINGS, 2003, 2763 : 253 - 258
  • [50] Formal Analysis of TSN Scheduler for Real-Time Communications
    Lv, Jin
    Zhao, Yongxin
    Wu, Xi
    Li, Yongjian
    Wang, Qiang
    IEEE TRANSACTIONS ON RELIABILITY, 2021, 70 (03) : 1286 - 1294
12345