DMCA
HLS: A framework for composing soft real-time schedulers (2001)
Cached
Download Links
Venue: | In Proceedings of the 22nd IEEE Real-Time Systems Symposium (RTSS 2001 |
Citations: | 90 - 9 self |
Citations
480 | Lottery scheduling: Flexible proportional-share resource management”.
- Waldspurger, Weihl
- 1994
(Show Context)
Citation Context ... is a function of the quantum size, the number of threads being scheduled by the SFQ scheduler, and the share of a particular thread. Some proportional share schedulers, such as the lottery scheduler =-=[23]-=-, provide no deterministic performance bound to threads that they schedule. The guarantee given by this kind of PS scheduler is PS s, where s is the asymptotic share that the thread is guaranteed to r... |
475 | Scheduler activations: Effective kernel support for the user-level management of parallelism
- Anderson, Bershad, et al.
- 1992
(Show Context)
Citation Context ...es one or more virtual processors with its parent(s) and children. Virtual processors represent the potential for allocation of a physical processor, and are a generalization of scheduler activations =-=[2]-=- that support a hierarchy of arbitrary depth. The important property of the scheduler activation interface is that it permits T4suser−level kernel applications timer scheduling expirations FP hierarch... |
323 | A hierarchical CPU scheduler for multimedia operating systems
- Goyal, Guo, et al.
- 1996
(Show Context)
Citation Context ... error” and has the type PSBE s, δ. For the earliest eligible virtual deadline first (EEVDF) scheduler [22], δ is the length of the scheduling quantum. For the start-time fair queuing (SFQ) scheduler =-=[8]-=-, δ is more complicated to compute: it is a function of the quantum size, the number of threads being scheduled by the SFQ scheduler, and the share of a particular thread. Some proportional share sche... |
318 | Integrating multimedia applications in hard real-time systems
- Abeni, Buttazzo
- 1998
(Show Context)
Citation Context ...rs provide uniformly slower processors to other schedulers. Any scheduler that has a run-time representation of its deadlines may use a uniformly slower processor. The constant bandwidth server (CBS) =-=[1]-=- provides the same scheduling behavior as a basic, hard reservation. Since it is deadline based, it can be scheduled by a uniformly slower processor. The earliest eligible virtual deadline first (EEVD... |
216 | CPU reservations and time constraints: efficient, predictable scheduling of independent activities.
- Jones, Rosu, et al.
- 1997
(Show Context)
Citation Context ...tees the VP to receive the reserved amount of CPU time. The value of t is chosen by the scheduler and is not made available to the application. Continuous CPU reservations (as defined by Jones et al. =-=[11]-=-) are those that make the following guarantee: given a reservation with amount x and period y, for any time t, the thread will be scheduled for x time units during the time interval [t, t + y]. A cont... |
215 | A proportional share resource allocation algorithm for real-time, time-shared systems.
- Stoica, Jeffay, et al.
- 1996
(Show Context)
Citation Context ...ends on the particular scheduling algorithm. This guarantee is called “proportional share bounded error” and has the type PSBE s, δ. For the earliest eligible virtual deadline first (EEVDF) scheduler =-=[22]-=-, δ is the length of the scheduling quantum. For the start-time fair queuing (SFQ) scheduler [8], δ is more complicated to compute: it is a function of the quantum size, the number of threads being sc... |
155 | Borrowed-virtual-time (BVT) scheduling: supporting latency-sensitive threads in a general-purpose scheduler”.
- Duda, Cheriton
- 1999
(Show Context)
Citation Context ...start of the next period. Proportional Share — The PS scheduler that was implemented for HLS implements the start-time fair queuing (SFQ) [8] algorithm with a warp extension similar to the one in BVT =-=[6]-=-. When the warp of all virtual processors is zero, it behaves as an SFQ scheduler. Goyal et al. showed that an SFQ scheduler provides fair resource allocation in a hierarchical scheduling environment ... |
142 | Scheduling aperiodic tasks in dynamic priority systems
- Spuri, Buttazzo
- 1996
(Show Context)
Citation Context ... [20] uses a deadline-based real-time scheduler to provide hard real-time guarantees to tasks that it schedules. Since it is deadline-based, it can make use of a USP. The total bandwidth server (TBS) =-=[19]-=- provides soft CPU reservations: it guarantees that a minimum fraction of the total processor bandwidth will be available to entities that it schedules, but it can also take advantage of slack time in... |
92 | CPU inheritance scheduling.
- Ford, Susarla
- 1996
(Show Context)
Citation Context ... workloads that can be placed upon general-purpose operating systems. However, it seems likely that the boundeddelay model could be usefully incorporated into HLS. Finally, CPU inheritance scheduling =-=[7]-=- supports a hierarchy of arbitrary schedulers, but does not provide any facilities for composing schedulers in a way that provides guaranteed scheduling behavior to applications. 10. Conclusions HLS p... |
91 | CPU service classes for multimedia applications
- Chu, Nahrstedt
- 1999
(Show Context)
Citation Context ...tle effort. In fact, in our implementation it can be done without even shutting down the system. Another complex scheduler that can be easily created with HLS is one that provides CPU service classes =-=[4]-=-, which were designed to support soft real-time applications such as MPEG decoders whose worst-cast execution times 8 * RESBH 5, 33 RESBH 1, 10 T1 RESBS 5, 33 J2 RES ALL * * ALL RESBH 10, 33 J3 T2 T3 ... |
89 |
Resource partition for real-time systems.
- Mok, Feng, et al.
- 2001
(Show Context)
Citation Context ...eduling algorithms are used) does not necessarily require information about individual deadlines at run time. The static partition and bounded-delay resource partition models, developed by Mok et al. =-=[15]-=-, provide a framework for reasoning about hierarchical CPU schedulers. Like HLS, they separate the properties of real-time schedules from the algorithms that provide them. HLS differs from these model... |
63 | On the Duality between Resource Reservation and Proportional Share Resource Allocation.
- Stoica, Adbel-Wahab, et al.
- 1997
(Show Context)
Citation Context ...U reservation, whether hard or soft, basic or continuous, with amount x and period y may be converted into the guarantee PS x/y. The following theorem was motivated by an observation by Stoica et al. =-=[21]-=-, who said it is possible to provide reservation semantics using a proportional share scheduler that has bounded allocation error. Theorem 6. The guarantee PSBE s, δ can, for any y ≥ δ s , be converte... |
49 | Implementing a general real-time scheduling framework in the RED-linux real-time kernel.
- Wang, Lin
- 1999
(Show Context)
Citation Context ...far as we know HLS is the first framework permitting reasoning about general scheduling hierarchies—those that allow user-specified schedulers at all points within the scheduling hierarchy. RED-Linux =-=[24]-=- characterizes each task as a 4-tuple consisting of priority, start time, finish time, and budget. Schedulers are functions from task tuples to effective priorities; the system always schedules the ta... |
45 |
Efficient scheduling of real-time multi-task applications in dynamic systems,”
- Lipari, Baruah
- 2000
(Show Context)
Citation Context ...sage of the terms hard and soft from the work on portable Resource Kernels [16]. Uniformly Slower Processors — A uniformly slower processor (USP) is the guarantee provided by schedulers such as BSS-I =-=[13]-=-. A USP guarantee has the form RESU r, where r is the fraction of the overall CPU bandwidth allocated to the USP. The granularity over which the reserved fraction of the CPU is to be received is not p... |
42 |
Performance bounds in communication networks with variable-rate links.
- Lee
- 1995
(Show Context)
Citation Context ...where it does not receive the full CPU bandwidth. Therefore, the conversion PS ↦→ PS + is justified. It was also shown that when an SFQ scheduler is scheduled by a fluctuation constrained (FC) server =-=[12]-=-, then the entities scheduled by the SFQ scheduler are also FC servers. An FC server is characterized by two parameters (s, δ). Informally, s is the average share guaranteed to a virtual processor and... |
41 | Using Hierarchical Scheduling to Support Soft Real-Time Applications on General-Purpose Operating Systems
- Regehr
- 2001
(Show Context)
Citation Context ... of schedulers. Third, an API for writing new schedulers should be provided. This would benefit researchers and sophisticated users willing to pay the cost of developing new schedulers. Appendix B of =-=[17]-=- describes such an API. An obstacle to widespread adoption of real-time scheduling techniques in general-purpose operating systems is the fact that these systems can complicate developers’ tasks by in... |
35 | CPU Reservations and Time Constraints: Implementation Experience on Windows NT
- Jones, Regehr
- 1999
(Show Context)
Citation Context ...ther than only certain scheduler-chosen intervals. Continuous reservations are provided by schedulers that utilize a (possibly dynamically computed) static schedule, such as Rialto [11] and Rialto/NT =-=[9]-=-, where a thread with a reservation receives its CPU time at the same offset during every period. In contrast, a basic reservation scheduler retains the freedom to schedule a task during any time inte... |
30 | A framework for achieving inter-application isolation in multiprogrammed hard-real-time environments.
- Lipari, Carpenter, et al.
- 2000
(Show Context)
Citation Context ...e trivially converted. Schedulers From the Literature — This section explains and justifies the guarantee conversions for the schedulers listed in the bottom part of Table 1. The BSS-I [13] and PShED =-=[14]-=- schedulers provide uniformly slower processors to other schedulers. Any scheduler that has a run-time representation of its deadlines may use a uniformly slower processor. The constant bandwidth serv... |
18 | An open environment for real-time applications
- Deng, Liu, et al.
- 1999
(Show Context)
Citation Context ...ts of multi-task applications in the case that all deadlines can be made dynamically available to the EDF-based scheduler at the root of the hierarchy. The Open Environment for real-time applications =-=[5]-=- also uses an EDF scheduler at the root of the hierarchy to allocate processor time to fixedbandwidth application schedulers. In addition, it supports guaranteed schedulability in the presence of glob... |
16 | The spring system: Integrated support for complex real-time systems
- Stankovic, Ramamritham, et al.
- 1999
(Show Context)
Citation Context ...f f f t f t t, 3 t, 5 t PSBE f f f t, 6 f t, 6 t t t PS f f f f f f f t t NULL f f f f f f f f t ↦→ ALL RESU RESBH RESBS RESCH RESCS PSBE Table 2. Guarantee rewrite matrix The Spring operating system =-=[20]-=- uses a deadline-based real-time scheduler to provide hard real-time guarantees to tasks that it schedules. Since it is deadline-based, it can make use of a USP. The total bandwidth server (TBS) [19] ... |
10 | Two case studies in predictable application scheduling using Rialto/NT
- Jones
(Show Context)
Citation Context ...sure is encouraging vendors to migrate functionality previously performed in dedicated hardware onto the main processor; this includes real-time tasks such as sound mixing and modem signal processing =-=[10]-=-. Of course, powerful hardware alone is not enough: to reliably run combinations of independently developed realtime applications, an operating system must effectively manage system resources such as ... |
6 |
Prashant Shenoy. Surplus fair scheduling: A proportional-share cpu scheduling algorithm for symmetric multiprocessors
- Chandra, Adler, et al.
- 2000
(Show Context)
Citation Context ...rmly slower processor. Rialto [11] and Rialto/NT [9] are reservation schedulers. They could be adapted to be scheduled using a USP because they have an internal representation of their deadlines. SFS =-=[3]-=- is a multiprocessor proportional share scheduler. It does not provide bounded allocation error to entities that it schedules.sALL t t f t f t t t t RESU f t f f f f f t t RESBH f f t t f, 2 t, 1 t, 4... |
6 | The case for using middleware to manage diverse soft real-time schedulers,” presented at
- Regehr, Lepreau
- 2001
(Show Context)
Citation Context ...n complicate developers’ tasks by increasing the number of low-level APIs that they must understand and use in order to get work done. As a partial solution, we have proposed the CPU Resource Manager =-=[18]-=-, a middleware application that will permit legacy applications to benefit from real-time scheduling techniques by automatically providing real-time guarantees to applications in accordance with appli... |