fixed priority schedulability of sporadic tasks on
play

Fixed-Priority Schedulability of Sporadic Tasks on Uniprocessors is - PowerPoint PPT Presentation

Oct 11, 2023 •42 likes •802 views

Fixed-Priority Schedulability of Sporadic Tasks on Uniprocessors is NP -hard Pontus Ekberg & Wang Yi Uppsala University RTSS 2017 Overview for coNP -complete Strongly Polynomial time utilization Arbitrary EDF c NP -hard coNP -complete

  1. Fixed-Priority Schedulability of Sporadic Tasks on Uniprocessors is NP -hard Pontus Ekberg & Wang Yi Uppsala University RTSS 2017

  2. Overview for coNP -complete Strongly Polynomial time utilization Arbitrary EDF c NP -hard coNP -complete Weakly time algorithm Exponential c for NP -complete Weakly c Strongly Utilization NP -hard c Pontus Ekberg Lehoczky, 1990 ( ) Liu and Layland, 1973 ( ) Joseph and Pandya, 1986 ( ) for bounded by coNP -complete Weakly c for coNP -complete Weakly Polynomial time a constant c for Weakly Implicit utilization Weakly NP -hard Weakly time algorithm Pseudo-poly. time algorithm Pseudo-poly. Arbitrary time algorithm FP ( d , p unrelated) deadlines Arbitrary deadlines Constrained deadlines NP -complete Weakly NP -hard Weakly Pseudo-poly. RM priorities and ln for c Polynomial time time algorithm Pseudo-poly. a constant c bounded by Utilization time algorithm Exponential NP -hard Weakly NP -complete 2 ( d = p ) ( d ⩽ p )

  3. Overview Weakly Polynomial time utilization Arbitrary EDF c for NP -hard time algorithm coNP -complete Exponential c for NP -complete Weakly c for NP -hard Strongly Strongly Implicit coNP -complete Pontus Ekberg Lehoczky, 1990 ( ) Liu and Layland, 1973 ( ) Joseph and Pandya, 1986 c for Weakly coNP -complete c for coNP -complete Weakly Polynomial time a constant c bounded by Utilization Weakly time algorithm Pseudo-poly. utilization NP -hard Weakly time algorithm Pseudo-poly. time algorithm Pseudo-poly. Arbitrary Weakly FP ( d , p unrelated) deadlines Arbitrary deadlines Constrained deadlines NP -complete Weakly NP -hard bounded by RM priorities and ln for c Polynomial time time algorithm Pseudo-poly. Weakly a constant c Utilization time algorithm Exponential NP -hard Weakly NP -complete 2 ( d = p ) ( d ⩽ p ) ∗ ∗ ∗ ∗ ( ∗ )

  4. Overview Weakly Polynomial time utilization Arbitrary EDF c for NP -hard time algorithm coNP -complete Exponential c for NP -complete Weakly c for NP -hard Strongly Strongly Implicit coNP -complete Pontus Ekberg Lehoczky, 1990 ( ) Liu and Layland, 1973 Joseph and Pandya, 1986 c for Weakly coNP -complete c for coNP -complete Weakly Polynomial time a constant c bounded by Utilization Weakly 2 time algorithm utilization Pseudo-poly. Weakly time algorithm Pseudo-poly. time algorithm Pseudo-poly. Arbitrary NP -complete FP ( d , p unrelated) deadlines Arbitrary deadlines Constrained deadlines Weakly NP -hard Weakly Utilization RM priorities Polynomial time time algorithm Pseudo-poly. NP -hard bounded by a constant c time algorithm Exponential NP -hard Weakly NP -complete Weakly ( d = p ) ( d ⩽ p ) ∗ ∗ ∗ † for c ⩽ ln 2 and ( ∗ ) ( † )

  5. Overview time algorithm utilization Arbitrary EDF c for NP -hard Weakly Exponential Strongly c for NP -complete Weakly c for NP -hard Weakly Polynomial time coNP -complete time algorithm Weakly Pontus Ekberg Lehoczky, 1990 Liu and Layland, 1973 Joseph and Pandya, 1986 c for coNP -complete c Strongly for coNP -complete Weakly Polynomial time a constant c bounded by Utilization coNP -complete Implicit 2 Pseudo-poly. utilization Weakly Weakly time algorithm Pseudo-poly. time algorithm Pseudo-poly. Arbitrary Weakly FP ( d , p unrelated) deadlines Arbitrary deadlines Constrained deadlines NP -complete NP -hard NP -hard time algorithm RM priorities Polynomial time time algorithm Pseudo-poly. a constant c Weakly Utilization bounded by Exponential NP -hard Weakly NP -complete ( d = p ) ( d ⩽ p ) ∗ ∗ ‡ ∗ † ‡ for c ⩽ ln 2 and ( ∗ ) ( † ) ( ‡ )

  6. Overview for coNP -complete Strongly Polynomial time utilization Arbitrary EDF c NP -hard coNP -complete Weakly time algorithm Exponential c for NP -complete Weakly Strongly Utilization for c Pontus Ekberg Lehoczky, 1990 ( ) Liu and Layland, 1973 ( ) Joseph and Pandya, 1986 ( ) for bounded by coNP -complete Weakly c for coNP -complete Weakly Polynomial time a constant c c NP -hard Implicit utilization NP -hard Weakly time algorithm Pseudo-poly. time algorithm Pseudo-poly. Arbitrary Weakly FP ( d , p unrelated) deadlines Arbitrary deadlines Constrained deadlines Weakly NP -complete Weakly NP -hard time algorithm Pseudo-poly. RM priorities Polynomial time time algorithm Pseudo-poly. a constant c bounded by Utilization time algorithm Exponential NP -hard Weakly NP -complete Weakly 2 ( d = p ) ( d ⩽ p ) for c ⩽ ln 2 and

  7. Overview Weakly utilization Arbitrary EDF c for NP -hard time algorithm Strongly Exponential c for NP -complete Weakly c for Polynomial time coNP -complete Implicit coNP -complete Pontus Ekberg Lehoczky, 1990 ( ) Liu and Layland, 1973 ( ) Joseph and Pandya, 1986 ( ) Weakly Strongly coNP -complete Weakly Polynomial time a constant c bounded by Utilization coNP -complete NP -hard Weakly time algorithm Arbitrary Weakly time algorithm Pseudo-poly. time algorithm Pseudo-poly. utilization FP Weakly ( d , p unrelated) deadlines Arbitrary deadlines Constrained deadlines Pseudo-poly. NP -hard NP -complete Utilization RM priorities Polynomial time time algorithm Pseudo-poly. a constant c Weakly bounded by time algorithm Exponential NP -hard Weakly NP -complete Weakly NP -hard 2 ( d = p ) ( d ⩽ p ) for c ⩽ ln 2 and for 0 < c < 1 for 0 < c < 1

  8. Overview Weakly utilization Arbitrary EDF c for NP -hard time algorithm Strongly Exponential c for NP -complete Weakly c for Polynomial time coNP -complete Implicit coNP -complete Pontus Ekberg Lehoczky, 1990 ( ) Liu and Layland, 1973 ( ) Joseph and Pandya, 1986 ( ) Weakly Strongly coNP -complete Weakly Polynomial time a constant c bounded by Utilization coNP -complete NP -hard Weakly time algorithm Arbitrary Weakly time algorithm Pseudo-poly. time algorithm Pseudo-poly. utilization FP Weakly ( d , p unrelated) deadlines Arbitrary deadlines Constrained deadlines Pseudo-poly. NP -hard NP -complete Utilization RM priorities Polynomial time time algorithm Pseudo-poly. a constant c Weakly bounded by time algorithm Exponential NP -hard Weakly NP -complete Weakly NP -hard 2 ( d = p ) ( d ⩽ p ) for c ⩽ ln 2 and for 0 < c < 1 for 0 < c < 1

  9. Overview Weakly utilization Arbitrary EDF c for NP -hard time algorithm Strongly Exponential c for NP -complete Weakly c for Polynomial time coNP -complete Implicit coNP -complete Pontus Ekberg Lehoczky, 1990 ( ) Liu and Layland, 1973 ( ) Joseph and Pandya, 1986 ( ) Weakly Strongly coNP -complete Weakly Polynomial time a constant c bounded by Utilization coNP -complete NP -hard Weakly time algorithm Arbitrary Weakly time algorithm Pseudo-poly. time algorithm Pseudo-poly. utilization FP Weakly ( d , p unrelated) deadlines Arbitrary deadlines Constrained deadlines Pseudo-poly. NP -hard NP -complete Utilization RM priorities Polynomial time time algorithm Pseudo-poly. a constant c Weakly bounded by time algorithm Exponential NP -hard Weakly NP -complete Weakly NP -hard 2 ( d = p ) ( d ⩽ p ) for c ⩽ ln 2 and for 0 < c < 1 for 0 < c < 1

  10. Overview Weakly utilization Arbitrary EDF c for NP -hard time algorithm Strongly Exponential c for NP -complete Weakly c for Polynomial time coNP -complete Implicit coNP -complete Pontus Ekberg Lehoczky, 1990 ( ) Liu and Layland, 1973 ( ) Joseph and Pandya, 1986 ( ) Weakly Strongly coNP -complete Weakly Polynomial time a constant c bounded by Utilization coNP -complete NP -hard Weakly time algorithm Arbitrary Weakly time algorithm Pseudo-poly. time algorithm Pseudo-poly. utilization FP Weakly ( d , p unrelated) deadlines Arbitrary deadlines Constrained deadlines Pseudo-poly. NP -hard NP -complete Utilization RM priorities Polynomial time time algorithm Pseudo-poly. a constant c Weakly bounded by time algorithm Exponential NP -hard Weakly NP -complete Weakly NP -hard 2 ( d = p ) ( d ⩽ p ) for c ⩽ ln 2 and for 0 < c < 1 for 0 < c < 1

  11. Overview Weakly utilization Arbitrary EDF c for NP -hard time algorithm Strongly Exponential c for NP -complete Weakly c for Polynomial time coNP -complete Implicit coNP -complete Pontus Ekberg Lehoczky, 1990 ( ) Liu and Layland, 1973 ( ) Joseph and Pandya, 1986 ( ) Weakly Strongly coNP -complete Weakly Polynomial time a constant c bounded by Utilization coNP -complete NP -hard Weakly time algorithm Arbitrary Weakly time algorithm Pseudo-poly. time algorithm Pseudo-poly. utilization FP Weakly ( d , p unrelated) deadlines Arbitrary deadlines Constrained deadlines Pseudo-poly. NP -hard NP -complete Utilization RM priorities Polynomial time time algorithm Pseudo-poly. a constant c Weakly bounded by time algorithm Exponential NP -hard Weakly NP -complete Weakly NP -hard 2 ( d = p ) ( d ⩽ p ) for c ⩽ ln 2 and for 0 < c < 1 for 0 < c < 1

Recommend

Push Forward: Global Fixed-Priority Scheduling of Arbitrary-Deadline Sporadic Task Systems

Push Forward: Global Fixed-Priority Scheduling of Arbitrary-Deadline Sporadic Task Systems

Push Forward: Global Fixed-Priority Scheduling of Arbitrary-Deadline Sporadic Task Systems Jian-Jia Chen, Georg von der Br uggen and Niklas Ueter TU Dortmund University, Germany 06.07.2018 at ECRTS Jian-Jia Chen et al. 1 / 23 Sporadic Task

707 views • 56 slides
Schedulability Analysis for Fixed Priority Real-Time Systems with Energy- Harvesting m 1 Younes

Schedulability Analysis for Fixed Priority Real-Time Systems with Energy- Harvesting m 1 Younes

Schedulability Analysis for Fixed Priority Real-Time Systems with Energy- Harvesting m 1 Younes Chandarli 1 , 2 Rob Davis 3 Damien Masson 1 Yasmina Abdedda ( 1 ) Universit e Paris-Est, LIGM UMR CNRS 8049, ESIEE Paris, France ( 2 )

633 views • 51 slides
Scheduling Aperiodic Tasks Background Scheduling Treat aperiodic tasks as lowest-priority

Scheduling Aperiodic Tasks Background Scheduling Treat aperiodic tasks as lowest-priority

Scheduling Aperiodic Tasks Background Scheduling Treat aperiodic tasks as lowest-priority tasks Hybrid task set: periodic tasks + aperiodic tasks Advantages Problem: Arrival time is unknown Sporadic task with a hard deadline

212 views • 3 slides
Uniprocessor Feasibility of Sporadic Tasks Remains coNP-complete Under Bounded Utilization Pontus

Uniprocessor Feasibility of Sporadic Tasks Remains coNP-complete Under Bounded Utilization Pontus

Uniprocessor Feasibility of Sporadic Tasks Remains coNP-complete Under Bounded Utilization Pontus Ekberg &amp; Wang Yi Uppsala University RTSS, December 2015 The General Setting Task set T of sporadic (or synchronous periodic) tasks with

1.11k views • 94 slides
2 Model i Density: The density i of a task i is the ratio C i /D i of A sporadic

2 Model i Density: The density i of a task i is the ratio C i /D i of A sporadic

Techniques for Multiprocessor Global Schedulability Analysis Sanjoy Baruah The University of North Carolina at Chapel Hill Abstract algorithm is then applied locally in each cluster, to the jobs generated by the tasks that are assigned to

362 views • 10 slides
Bounding and Shaping the Demand of Mixed-Criticality Sporadic Tasks Pontus Ekberg &amp; Wang Yi

Bounding and Shaping the Demand of Mixed-Criticality Sporadic Tasks Pontus Ekberg &amp; Wang Yi

Bounding and Shaping the Demand of Mixed-Criticality Sporadic Tasks Pontus Ekberg &amp; Wang Yi Uppsala University, Sweden ECRTS 2012 Mixed-criticality sporadic tasks D i : Relative deadline T i : Period L i : Criticality (lo or hi) Pontus

801 views • 39 slides
Spotlight talk A Brief History of Speedup Factors for Uniprocessor EDF and Fixed Priority

Spotlight talk A Brief History of Speedup Factors for Uniprocessor EDF and Fixed Priority

Spotlight talk A Brief History of Speedup Factors for Uniprocessor EDF and Fixed Priority Scheduling Robert I. Davis Real-Time Systems Research Group, University of York, UK Scope Single processor system Execution time of all tasks

289 views • 14 slides
Priority-Driven Scheduling of Periodic Tasks Priority-driven vs. clock-driven scheduling:

Priority-Driven Scheduling of Periodic Tasks Priority-driven vs. clock-driven scheduling:

CPSC-663: Real-Time Systems Priority Driven Scheduling Priority-Driven Scheduling of Periodic Tasks Priority-driven vs. clock-driven scheduling: executive processor clock-driven: cyclic schedule tasks a priori! priority-driven:

654 views • 21 slides
of Sporadic DAG-Tasks with Arbitrary Deadline Andrea Parri, Alessandro Biondi and Mauro Marinoni

of Sporadic DAG-Tasks with Arbitrary Deadline Andrea Parri, Alessandro Biondi and Mauro Marinoni

Response Time Analysis for G-EDF and G-DM Scheduling of Sporadic DAG-Tasks with Arbitrary Deadline Andrea Parri, Alessandro Biondi and Mauro Marinoni Scuola Superiore SantAnna Pisa, Italy 1 Introduction Multicore revolution New

573 views • 41 slides
Schedulability Analysis of Synchronous Digraph Real-Time Tasks Morteza Mohaqeqi, Jakaria

Schedulability Analysis of Synchronous Digraph Real-Time Tasks Morteza Mohaqeqi, Jakaria

Schedulability Analysis of Synchronous Digraph Real-Time Tasks Morteza Mohaqeqi, Jakaria Abdullah, Nan Guan, Wang Yi Uppsala University ECRTS 2016 Introduction Real-Time Task Models: Digraph (DRT) recurring branching (RB) non-cyclic GMF

1.11k views • 49 slides
2010-09-11 Real-time Systems Fixed-Priority Multiprocessor Scheduling [RTAS 2010] N periodic

2010-09-11 Real-time Systems Fixed-Priority Multiprocessor Scheduling [RTAS 2010] N periodic

2010-09-11 Real-time Systems Fixed-Priority Multiprocessor Scheduling [RTAS 2010] N periodic tasks (of different rates/periods) Joint work with T T T i i i Nan Guan, Martin Stigge and Yu Ge C i C C J i1 J i2 J i3 i i r i1 r i2 r

420 views • 17 slides
Schedulability analysis Schedulability analysis : The process of determining whether a task set

Schedulability analysis Schedulability analysis : The process of determining whether a task set

EDA421/DIT171 - Parallel and Distributed Real-Time Systems, Chalmers/GU, 2011/2012 Lecture #5 Updated March 21, 2012 Schedulability analysis Schedulability analysis : The process of determining whether a task set can be scheduled

306 views • 14 slides
Semi-Federated Scheduling of Mixed-Criticality System for Sporadic DAG Tasks Tao Yang 1 , Yue Tang

Semi-Federated Scheduling of Mixed-Criticality System for Sporadic DAG Tasks Tao Yang 1 , Yue Tang

Semi-Federated Scheduling of Mixed-Criticality System for Sporadic DAG Tasks Tao Yang 1 , Yue Tang 2 , Xu Jiang 2 , Qingxu Deng 1 , Nan Guan 2 1 Northeastern University, China, 2 The Hong Kong Polytechnic University, Hong Kong 2019/5/16 NEU &amp;

704 views • 38 slides
Uniprocessor Feasibility of Sporadic Tasks with Constrained Deadlines is Strongly coNP-complete

Uniprocessor Feasibility of Sporadic Tasks with Constrained Deadlines is Strongly coNP-complete

Uniprocessor Feasibility of Sporadic Tasks with Constrained Deadlines is Strongly coNP-complete Pontus Ekberg &amp; Wang Yi Uppsala University ECRTS 2015 Context on the Uniprocessor Feasibility Problem ? coNP -complete ? Strongly coNP

1.19k views • 71 slides
j All tasks are periodic. U = p Relative deadline = period T S j j

j All tasks are periodic. U = p Relative deadline = period T S j j

Optimality Optimal Scheduling Algorithms A scheduling algorithm S is optimal if Rate Monotonic Scheduling (RMS) priority = rate = 1/period a system is not schedulable under S optimal preemptive fixed-priority scheduling it

244 views • 3 slides
TimerShield Protecting High-Priority Tasks from Low-Priority Timer Interference Pratyush Patel

TimerShield Protecting High-Priority Tasks from Low-Priority Timer Interference Pratyush Patel

TimerShield Protecting High-Priority Tasks from Low-Priority Timer Interference Pratyush Patel 1,2 , Manohar Vanga 1 , Bjrn Brandenburg 1 1 MPI-SWS, 2 Carnegie Mellon University RTAS 2017 April 18, 2017 Pittsburgh, USA Kaiserslautern,

1.56k views • 118 slides
On Fixed Point Sets and Lefschetz Modules for Sporadic Simple Groups Silvia Onofrei in

On Fixed Point Sets and Lefschetz Modules for Sporadic Simple Groups Silvia Onofrei in

On Fixed Point Sets and Lefschetz Modules for Sporadic Simple Groups Silvia Onofrei in collaboration with John Maginnis Kansas State University Silvia Onofrei (Kansas State University) Lefschetz modules for sporadic simple groups 1/15

438 views • 26 slides
1) R=I+C1=0+1=1,I= R/P3 *C3= 1/6 *2=2. Since R &lt;=

1) R=I+C1=0+1=1,I= R/P3 *C3= 1/6 *2=2. Since R &lt;=

Examples of Schedulability Analysis 1. a) Is the following set of periodic tasks schedulable under Rate Monotonic (RM)? b) How about under Deadline

57 views • 3 slides
Scheduling Aperiodic and Sporadic J obs Def init ions Comparison t o t radit ional

Scheduling Aperiodic and Sporadic J obs Def init ions Comparison t o t radit ional

CPSC-663: Real-Time Systems Aperiodic and Sporadic Jobs Scheduling Aperiodic and Sporadic J obs Def init ions Comparison t o t radit ional scheduling of asynchronous event s Polling Server Def ererable Server Sporadic

557 views • 23 slides
Fixed-Priority Multiprocessor Scheduling with Liu &amp; Laylands Utilization Bound Nan Guan ,

Fixed-Priority Multiprocessor Scheduling with Liu &amp; Laylands Utilization Bound Nan Guan ,

Fixed-Priority Multiprocessor Scheduling with Liu &amp; Laylands Utilization Bound Nan Guan , Martin Stigge, Wang Yi Uppsala University, Sweden Outline Problem Previous Results Our New Result Scheduling of Multi-task System

932 views • 65 slides
Scheduling Aperiodic and Sporadic Jobs Definitions Polling Server Deferrable Server

Scheduling Aperiodic and Sporadic Jobs Definitions Polling Server Deferrable Server

CPSC-663: Real-Time Systems Aperiodic and Sporadic Jobs Scheduling Aperiodic and Sporadic Jobs Definitions Polling Server Deferrable Server Sporadic Server Generalized Processor Sharing Constant Utilization Server

267 views • 23 slides
Generalized fixed-priority scheduling with limited preemptions Reinder J. Bril, Martijn M.H.P.

Generalized fixed-priority scheduling with limited preemptions Reinder J. Bril, Martijn M.H.P.

Generalized fixed-priority scheduling with limited preemptions Reinder J. Bril, Martijn M.H.P. van den Heuvel, Ugur Keskin, and Johan J. Lukkien Dep. of Mathematics and Computer Science Group System Architecture and Networking ECRTS-2012

378 views • 24 slides
Quantifying the sub-optimality of uniprocessor fixed priority pre-emptive scheduling Robert Davis

Quantifying the sub-optimality of uniprocessor fixed priority pre-emptive scheduling Robert Davis

Quantifying the sub-optimality of uniprocessor fixed priority pre-emptive scheduling Robert Davis 1 , Thomas Rothvo 2 , Sanjoy Baruah 3 , Alan Burns 4 1 Real-Time Systems Research Group, University of York 2 Institute of Mathematics, Ecole

356 views • 23 slides
Scheduling Algorithm and Analysis Interrupts and non-RM Tasks (Module 31) Yann-Hang Lee Arizona

Scheduling Algorithm and Analysis Interrupts and non-RM Tasks (Module 31) Yann-Hang Lee Arizona

Scheduling Algorithm and Analysis Interrupts and non-RM Tasks (Module 31) Yann-Hang Lee Arizona State University yhlee@asu.edu (480) 727-7507 Summer 2014 Real-time Systems Lab, Computer Science and Engineering, ASU Schedulability with

144 views • 10 slides

More recommend