## Skip-Over: Algorithms and Complexity for Overloaded Systems that Allow Skips (1996)

Venue: | In Proceedings of the 16th IEEE Real-Time Systems Symposium |

Citations: | 96 - 0 self |

### BibTeX

@INPROCEEDINGS{Koren96skip-over:algorithms,

author = {Gilad Koren and Dennis Shasha},

title = {Skip-Over: Algorithms and Complexity for Overloaded Systems that Allow Skips},

booktitle = {In Proceedings of the 16th IEEE Real-Time Systems Symposium},

year = {1996},

pages = {110--117},

publisher = {IEEE}

}

### Years of Citing Articles

### OpenURL

### Abstract

In applications ranging from video reception to telecommunications and packet communication to aircraft control, tasks enter periodically and have fixed response time constraints, but missing a deadline is acceptable, provided most deadlines are met. We call such tasks "occasionally skippable". We look at the problem of uniprocessor scheduling of occasionally skippable periodic tasks in an environment having periodic tasks. We show that making optimal use of skips is NP-hard. We then look at two algorithms called Skip-Over Algorithms (one a variant of earliest deadline first and one of rate monotonic scheduling) that exploit skips. We give schedulability bounds for both. 1 Introduction 1.1 Basic Assumptions and Definitions We consider a uni-processor system in which preemption is possible at any time and costs nothing. All tasks are periodic but they may enter the system at any time. A task is characterized by its computation requirements and period; the deadline of a task equals it...

### Citations

10958 |
Computers and Intractability: A Guide to the Theory of NP-completeness
- Garey, Johnson
- 1990
(Show Context)
Citation Context ...eral case that tasks may be blue when they enter. Theorem 3.2 Determining whether a set of periodic occasionally skippable tasks is schedulable is NP-hard. The reduction is from the Partition Problem =-=[6]-=-: instance: Finite set A and a (positive integer) size s(a) for each a 2 A. P 0 s(a) = a2A P 0 s(a)? a2A,A question: Is there a subset A 0 A such that Given an instance of the partition problem, we ca... |

2913 | Scheduling algorithms for multiprogramming in a hard-realtime environment
- Liu, Layland
- 1973
(Show Context)
Citation Context ... violated and the remaining tasks can be scheduled to complete before their respective deadlines? In the basic periodic model, in which all task instances are red (s = 1 for all tasks) , it was shown =-=[15]-=- that a task set fTi;1 i ng is schedulable 1 if and only if its cumulative processor utilization (ignoring skips) is no greater than 1. I.e., nX ci pi i=1 1 Also, if a set is feasible, it can be sched... |

585 |
The rate monotonic scheduling algorithm: exact characterization andaverage case behavior
- Lehoczky, Sha, et al.
(Show Context)
Citation Context ...initiated and all tasks are deeply red.) This holds because the worst case response time is obtained at a critical instance. The characterization for RM schedulablity given by Lehoczky, Sha, and Ding =-=[12]-=- can be adjusted to our model, in the following way: Suppose we are given a set of n periodic tasks with skips T1;T2; ;Tn, sorted by their periods 4 so that p1 p2 pn. The expression Wi(t) = iX j=1 cj ... |

224 |
Fixed priority scheduling of periodic task sets with arbitrary deadline
- Lehoczky
- 1990
(Show Context)
Citation Context ...e w/o skips. However theorem 5.2 shows that the task set is schedulable using RM-RTO: i =2: U2 = 1 12 4 1 + + =0:73 u(2) = 0:82 7 2 7 i =3: U3 = 1 4 5 5 + + + =0:764 12 14 19 38 u(3) = 0:779 Lehoczky =-=[9]-=- studies xed priority scheduling of periodic tasks in which all deadlines are deferred (or advanced) by some xed factor > 0; the deadline of a task is times its period. The results described there 7 f... |

194 |
Control robotics: The procedural control of physical processes
- Dertouzos
- 1974
(Show Context)
Citation Context ... The time t has the property that only task instances that were released after t with deadline on or before d are executed during [t; d]. There is no idle time in [t; d]. Hence, the optimality of EDF =-=[5]-=- and the fact that a deadline was missed means that the computation demand during this interval is greater than the interval length. That is, Hence, we get d , t< nX i=1 d , t< nX i=1 D(i; [t; d]) D(i... |

181 |
An optimal algorithm for scheduling soft-aperiodic tasks in ®xed-priority preemptive systems
- Lehoczky, Ramos-Thuel
- 1992
(Show Context)
Citation Context ...own that determining the best task instances to skip is NP-hard. Since the Skip-Over algorithms allow idle time, we can use all the standard tricks for tting sporadic tasks into that idle time, e.g., =-=[17, 4, 10]-=- and [2] for the EarliestDeadline-First Algorithm scheduling. Future theoretical work includes: 1.In the xed priority model, we must determine how best to use idle time. For example, is there a good v... |

180 | Algorithms and complexity concerning the preemptive scheduling of periodic, real-time tasks on one processor
- Baruah, Rosier, et al.
- 1990
(Show Context)
Citation Context ...low). Hence, it can be used as an o ine feasibility test. Its complexity however depends on the values of task periods and may be exponential. The complexity of the feasibility problem was studied by =-=[14, 13,1]-=-. They look at scheduling a periodic task set with arbitrary deadlines and arbitrary initial 4 o sets. In addition to its period (p) and computation requirement (c) a task is characterized by its dead... |

128 |
Some results of the earliest deadline scheduling algorithm
- Chetto, Chetto
- 1989
(Show Context)
Citation Context ...ning the best task instances to skip is NP-hard. Since the Skip-Over algorithms allow idle time, we can use all the standard tricks for tting sporadic tasks into that idle time, e.g., [17, 4, 10] and =-=[2]-=- for the EarliestDeadline-First Algorithm scheduling. Future theoretical work includes: 1.In the xed priority model, we must determine how best to use idle time. For example, is there a good variant o... |

109 |
A note on preemptive scheduling of periodic, real-time tasks
- Leung, Merrill
- 1980
(Show Context)
Citation Context ...low). Hence, it can be used as an o ine feasibility test. Its complexity however depends on the values of task periods and may be exponential. The complexity of the feasibility problem was studied by =-=[14, 13,1]-=-. They look at scheduling a periodic task set with arbitrary deadlines and arbitrary initial 4 o sets. In addition to its period (p) and computation requirement (c) a task is characterized by its dead... |

79 | Accounting for interrupt handling costs in dynamic priority tasks systems
- Jeffay, Stone
- 1993
(Show Context)
Citation Context ...n was not itself su cient for distinguishing between feasible and infeasible tasks sets, we turned to another known form of schedulability test for EDF: the processor demand criteria. Je ay and Stone =-=[7]-=- showed that a set of periodic tasks will be schedulable if and only if for all L 0, L nX i=1 Similar bounds can be found in our case. Lemma 3.1 Given a set ,=fTi(pi;ci;si)gn i=1of periodic tasks that... |

75 | Scheduling slack time in fixed priority preemptive systems
- Davis, Tindell, et al.
- 1993
(Show Context)
Citation Context ...n that determining the best task instances to skip is NP-hard. Since the Skip-Over algorithms allow idle time, we can use all the standard tricks for fitting sporadic tasks into that idle time, e.g., =-=[17, 4, 10]-=- and [2] for the EarliestDeadline -First Algorithm scheduling. Future theoretical work includes: 1. In the fixed priority model, we must determine how best to use idle time. For example, is there a go... |

62 |
Performance of real-time bus scheduling algorithms
- Lehoczky
- 1986
(Show Context)
Citation Context ... its period. The results described there 7 for 1 2 > 0 are applicable to our model in the special case that all tasks share the same skip factor s ( = 1=s). The utilization bound quoted there (due to =-=[11, 16]-=-) is of 1=s for all s 2. One can see that even in this special case while the task set of example 5.1 fails the test of [11, 16] (because its utilization is greater than 1=2) it is still proven schedu... |

35 |
A new algorithm for scheduling of periodic, real-time tasks
- Leung
- 1989
(Show Context)
Citation Context ...low). Hence, it can be used as an o ine feasibility test. Its complexity however depends on the values of task periods and may be exponential. The complexity of the feasibility problem was studied by =-=[14, 13,1]-=-. They look at scheduling a periodic task set with arbitrary deadlines and arbitrary initial 4 o sets. In addition to its period (p) and computation requirement (c) a task is characterized by its dead... |

30 | BASEMENT: A Distributed Real-Time Architecture for Vehicle Applications
- Hansson, Lawson, et al.
- 1996
(Show Context)
Citation Context ...23 (but we hate faxes) January 10, 1996 1 instance must complete before its deadline; a blue task instance can be aborted at any time. We borrow this colorful terminology from the Swedish VIA project =-=[8]-=-. A blue task instance may complete by its deadline or miss its deadline. When a task misses its deadline we say that the task (or deadline) instance was skipped. We characterize the possible skips of... |

14 |
Aperiodic scheduling for hard real-time systems
- Sprunt, Sha, et al.
- 1989
(Show Context)
Citation Context ...own that determining the best task instances to skip is NP-hard. Since the Skip-Over algorithms allow idle time, we can use all the standard tricks for tting sporadic tasks into that idle time, e.g., =-=[17, 4, 10]-=- and [2] for the EarliestDeadline-First Algorithm scheduling. Future theoretical work includes: 1.In the xed priority model, we must determine how best to use idle time. For example, is there a good v... |

13 |
A new performance measure for scheduling independent real-time tasks
- PENG, G
- 1993
(Show Context)
Citation Context ... its period. The results described there 7 for 1 2 > 0 are applicable to our model in the special case that all tasks share the same skip factor s ( = 1=s). The utilization bound quoted there (due to =-=[11, 16]-=-) is of 1=s for all s 2. One can see that even in this special case while the task set of example 5.1 fails the test of [11, 16] (because its utilization is greater than 1=2) it is still proven schedu... |

7 |
Scheduling slack time in xed priority pre-emptive systems
- Davis, Tindell, et al.
- 1993
(Show Context)
Citation Context ...own that determining the best task instances to skip is NP-hard. Since the Skip-Over algorithms allow idle time, we can use all the standard tricks for tting sporadic tasks into that idle time, e.g., =-=[17, 4, 10]-=- and [2] for the EarliestDeadline-First Algorithm scheduling. Future theoretical work includes: 1.In the xed priority model, we must determine how best to use idle time. For example, is there a good v... |

1 |
Dual priority scheduling. Computer science department technical report
- Davis
- 1995
(Show Context)
Citation Context ...del? Or maybe one should give di erent priorities to blue and red instances of a task, so that blue tasks will execute as long as they do not harm red tasks. (for example use the Dual Priority Scheme =-=[3]-=-) 2.Find an algorithm to deal with tasks whose skip parameters change over time. Exploiting allowable skips is a tantalizing possibility for systems that experience overload. The two simple algorithms... |