Abstract
In this chapter, we describe, at a high level, a strategy that has proven effective in deriving global schedulability tests. Various specific instantiations of this strategy, yielding different sufficient schedulability tests, are described in the following chapters. (Although we do not cover nonpreemptive schedulability analysis in the book, we point out that this strategy has also been successfully applied to nonpreemptive schedulability analysis [101].)
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
Although the strategy of Sect. 14.1 was specified for global multiprocessor scheduling, it can be applied, as is being done here, to uniprocessor scheduling as well.
- 2.
As pointed out in [23], this fact is not a particularly severe impediment to the use of \(\textsf{EDF}\) for scheduling sporadic task systems in a robust manner: An \(\textsf{EDF}\) implementation that uses specified, rather than actual, job deadlines to determine job priority during run-time will maintain schedulability even in the event of the actual deadlines during run-time being greater than those specified for the system that was verified for schedulability.
Author information
Authors and Affiliations
Corresponding author
Sources
Sources
The general strategy for designing global multiprocessor schedulability tests that was described in Sect. 14.1 abstracted out from the many tests that we will study in the following chapters, as are the notions of workload bounds and interference discussed in Sects. 14.3 and 14.4 respectively. The uniprocessor test that is described in Sect. 14.2 in terms of the strategy of Sect. 14.1, is from [51]. The observations comparing the various schedulability tests that are presented in Sect. 14.5 are primarily taken from [56, 57]. The concept of sustainability was introduced in [40]; as stated in Sect. 3.3, it is closely related to the earlier notion of predictability that was introduced by Ha and Liu [105–107]. Sustainability properties in multiprocessor scheduling was studied in [23].
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this chapter
Cite this chapter
Baruah, S., Bertogna, M., Buttazzo, G. (2015). A Strategy for Global Schedulability Analysis. In: Multiprocessor Scheduling for Real-Time Systems. Embedded Systems. Springer, Cham. https://doi.org/10.1007/978-3-319-08696-5_14
Download citation
DOI: https://doi.org/10.1007/978-3-319-08696-5_14
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-08695-8
Online ISBN: 978-3-319-08696-5
eBook Packages: EngineeringEngineering (R0)