An Intuitive Formal Prooffor Deadline Driven Scheduler

被引：0
|
作者：
詹乃军
机构：
来源：
JournalofComputerScienceandTechnology | 2001年 / 02期
关键词：
duration calculus; deadline driven scheduler; real-time;
D O I：
暂无
中图分类号：
TP319 [专用应用软件];
学科分类号：
摘要：
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 条
  • [21] A Formal Correctness Proof for an EDF Scheduler Implementation
    Vanhems, Florian
    Rusu, Vlad
    Nowak, David
    Grimaud, Gilles
    2022 IEEE 28TH REAL-TIME AND EMBEDDED TECHNOLOGY AND APPLICATIONS SYMPOSIUM (RTAS), 2022, : 281 - 292
  • [22] Generalized Exact Scheduling: A Minimal-Variance Distributed Deadline Scheduler
    Nakahira, Yorie
    Ferragut, Andres
    Wierman, Adam
    OPERATIONS RESEARCH, 2023, 71 (02) : 433 - 470
  • [23] An Energy and Deadline-Aware Scheduler with Hybrid Optimization in Virtualized Clouds
    Kumar, Kandasamy Senthil
    Anandamurugan, Selvaraj
    JOURNAL OF ELECTRICAL ENGINEERING & TECHNOLOGY, 2023, 18 (06) : 4415 - 4424
  • [24] CAPTURING INTUITIVE NOTIONS WITHIN FORMAL SYSTEMS
    TITIEV, RJ
    METAPHILOSOPHY, 1977, 8 (04) : 316 - 319
  • [25] Cultural preferences for formal versus intuitive reasoning
    Norenzayan, A
    Smith, EE
    Kim, BJ
    Nisbett, RE
    COGNITIVE SCIENCE, 2002, 26 (05) : 653 - 684
  • [26] CHRONUS: A Novel Deadline-aware Scheduler for Deep Learning Training Jobs
    Gao, Wei
    Ye, Zhisheng
    Sun, Peng
    Wen, Yonggang
    Zhang, Tianwei
    PROCEEDINGS OF THE 2021 ACM SYMPOSIUM ON CLOUD COMPUTING (SOCC '21), 2021, : 609 - 623
  • [27] Statistical analysis of delay bound violations at an earliest deadline first (EDF) scheduler
    Sivaraman, Vijay
    Chiussi, Fabio M.
    Performance Evaluation, 1999, 36-37 : 457 - 470
  • [28] An Online Cost-Efficient Scheduler for Requests with Deadline Constraint in Hybrid Clouds
    Wang, Yufei
    Xue, Guangtao
    Qian, Shiyou
    Li, Minglu
    PROCEEDINGS OF 2017 IEEE INTERNATIONAL CONFERENCE ON PROGRESS IN INFORMATICS AND COMPUTING (PIC 2017), 2017, : 318 - 322
  • [29] Scalable hardware earliest-deadline-first scheduler for ATM switching networks
    Kim, BK
    Shin, KG
    18TH IEEE REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS, 1997, : 210 - 218
  • [30] Deadline constrained Cost Effective Workflow Scheduler for Hadoop clusters in Cloud Datacenter
    Rashmi, S.
    Basu, Anirban
    2016 INTERNATIONAL CONFERENCE ON COMPUTATION SYSTEM AND INFORMATION TECHNOLOGY FOR SUSTAINABLE SOLUTIONS (CSITSS), 2016, : 409 - 415
12345