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 条
  • [1] An intuitive formal proof for deadline driven scheduler
    Zhan, NJ
    JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2001, 16 (02) : 146 - 158
  • [2] An intuitive formal proof for Deadline Driven Scheduler
    Naijun Zhan
    Journal of Computer Science and Technology, 2001, 16 : 146 - 158
  • [3] Another formal proof for deadline driven scheduler
    Zhan, NJ
    SEVENTH INTERNATIONAL CONFERENCE ON REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS, PROCEEDINGS, 2000, : 481 - 485
  • [4] A formal proof of the deadline driven scheduler in PPTL axiomatic system
    Zhang, Nan
    Duan, Zhenhua
    Tian, Cong
    Du, Dingzhu
    THEORETICAL COMPUTER SCIENCE, 2014, 554 : 229 - 253
  • [5] A Reinforcement Learning Based Network Scheduler For Deadline-Driven Data Transfers
    Ghosal, Dipak
    Shukla, Sambit
    Sim, Alex
    Thakur, Aditya V.
    Wu, Kesheng
    2019 IEEE GLOBAL COMMUNICATIONS CONFERENCE (GLOBECOM), 2019,
  • [6] A Deadline Scheduler for Jobs in Distributed Systems
    Perret, Quentin
    Charlemagne, Gabriel
    Sotiriadis, Stelios
    Bessis, Nik
    2013 IEEE 27TH INTERNATIONAL CONFERENCE ON ADVANCED INFORMATION NETWORKING AND APPLICATIONS WORKSHOPS (WAINA), 2013, : 757 - 764
  • [7] A Deep Deterministic Policy Gradient Based Network Scheduler For Deadline-Driven Data Transfers
    Ghosal, Gaurav R.
    Ghosal, Dipak
    Sim, Alex
    Thakur, Aditya, V
    Wu, Kesheng
    2020 IFIP NETWORKING CONFERENCE AND WORKSHOPS (NETWORKING), 2020, : 253 - 261
  • [8] A priority based packet scheduler with deadline considerations
    Dag, Tamer
    Gokgol, Oral
    CNSR 2006: COMMUNICATION NETWORKS AND SERVICES RESEARCH CONFERENCE, PROCEEDINGS, 2006, : 196 - +
  • [9] Dynamic Priority Packet Scheduler with Deadline Considerations (DPD)
    Dag, Tamer
    WMSCI 2010: 14TH WORLD MULTI-CONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL I, 2010, : 67 - 72
  • [10] Dynamic Deadline-constraint Scheduler for Hadoop YARN
    Hou, Xiaofei
    Kumar, Ashwin T. K.
    Thomas, Johnson P.
    Liu, Hong
    2017 IEEE SMARTWORLD, UBIQUITOUS INTELLIGENCE & COMPUTING, ADVANCED & TRUSTED COMPUTED, SCALABLE COMPUTING & COMMUNICATIONS, CLOUD & BIG DATA COMPUTING, INTERNET OF PEOPLE AND SMART CITY INNOVATION (SMARTWORLD/SCALCOM/UIC/ATC/CBDCOM/IOP/SCI), 2017,
12345