|
@@ -52,7 +52,7 @@ CONTENTS
|
|
"admission control" strategy (see Section "4. Bandwidth management") is used
|
|
"admission control" strategy (see Section "4. Bandwidth management") is used
|
|
(clearly, if the system is overloaded this guarantee cannot be respected).
|
|
(clearly, if the system is overloaded this guarantee cannot be respected).
|
|
|
|
|
|
- Summing up, the CBS[2,3] algorithms assigns scheduling deadlines to tasks so
|
|
|
|
|
|
+ Summing up, the CBS[2,3] algorithm assigns scheduling deadlines to tasks so
|
|
that each task runs for at most its runtime every period, avoiding any
|
|
that each task runs for at most its runtime every period, avoiding any
|
|
interference between different tasks (bandwidth isolation), while the EDF[1]
|
|
interference between different tasks (bandwidth isolation), while the EDF[1]
|
|
algorithm selects the task with the earliest scheduling deadline as the one
|
|
algorithm selects the task with the earliest scheduling deadline as the one
|
|
@@ -190,7 +190,7 @@ CONTENTS
|
|
- deadline = D
|
|
- deadline = D
|
|
- period <= P
|
|
- period <= P
|
|
|
|
|
|
- IOW, if runtime >= WCET and if period is >= P, then the scheduling deadlines
|
|
|
|
|
|
+ IOW, if runtime >= WCET and if period is <= P, then the scheduling deadlines
|
|
and the absolute deadlines (d_j) coincide, so a proper admission control
|
|
and the absolute deadlines (d_j) coincide, so a proper admission control
|
|
allows to respect the jobs' absolute deadlines for this task (this is what is
|
|
allows to respect the jobs' absolute deadlines for this task (this is what is
|
|
called "hard schedulability property" and is an extension of Lemma 1 of [2]).
|
|
called "hard schedulability property" and is an extension of Lemma 1 of [2]).
|