diff options
author | Luca Abeni <luca.abeni@unitn.it> | 2015-05-18 09:00:26 -0400 |
---|---|---|
committer | Ingo Molnar <mingo@kernel.org> | 2015-05-19 02:39:19 -0400 |
commit | 3aa2dbe27f76528660e18b21f88a2c78ea8996ba (patch) | |
tree | 27f1c1fdb764cd5a3b4dd59f4ceb4467562e92fc | |
parent | 3a3a58d4068382cf2e05f5c8fd3a0587836dacec (diff) |
sched/dl/Documentation: Fix typos
Signed-off-by: Luca Abeni <luca.abeni@unitn.it>
Signed-off-by: Peter Zijlstra (Intel) <peterz@infradead.org>
Cc: Linus Torvalds <torvalds@linux-foundation.org>
Cc: Peter Zijlstra <peterz@infradead.org>
Cc: Thomas Gleixner <tglx@linutronix.de>
Cc: henrik@austad.us
Cc: juri.lelli@gmail.com
Cc: raistlin@linux.it
Link: http://lkml.kernel.org/r/1431954032-16473-4-git-send-email-luca.abeni@unitn.it
Signed-off-by: Ingo Molnar <mingo@kernel.org>
-rw-r--r-- | Documentation/scheduler/sched-deadline.txt | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Documentation/scheduler/sched-deadline.txt b/Documentation/scheduler/sched-deadline.txt index af40d6cc776b..0f51a1a2f4b9 100644 --- a/Documentation/scheduler/sched-deadline.txt +++ b/Documentation/scheduler/sched-deadline.txt | |||
@@ -52,7 +52,7 @@ CONTENTS | |||
52 | "admission control" strategy (see Section "4. Bandwidth management") is used | 52 | "admission control" strategy (see Section "4. Bandwidth management") is used |
53 | (clearly, if the system is overloaded this guarantee cannot be respected). | 53 | (clearly, if the system is overloaded this guarantee cannot be respected). |
54 | 54 | ||
55 | Summing up, the CBS[2,3] algorithms assigns scheduling deadlines to tasks so | 55 | Summing up, the CBS[2,3] algorithm assigns scheduling deadlines to tasks so |
56 | that each task runs for at most its runtime every period, avoiding any | 56 | that each task runs for at most its runtime every period, avoiding any |
57 | interference between different tasks (bandwidth isolation), while the EDF[1] | 57 | interference between different tasks (bandwidth isolation), while the EDF[1] |
58 | algorithm selects the task with the earliest scheduling deadline as the one | 58 | algorithm selects the task with the earliest scheduling deadline as the one |
@@ -190,7 +190,7 @@ CONTENTS | |||
190 | - deadline = D | 190 | - deadline = D |
191 | - period <= P | 191 | - period <= P |
192 | 192 | ||
193 | IOW, if runtime >= WCET and if period is >= P, then the scheduling deadlines | 193 | IOW, if runtime >= WCET and if period is <= P, then the scheduling deadlines |
194 | and the absolute deadlines (d_j) coincide, so a proper admission control | 194 | and the absolute deadlines (d_j) coincide, so a proper admission control |
195 | allows to respect the jobs' absolute deadlines for this task (this is what is | 195 | allows to respect the jobs' absolute deadlines for this task (this is what is |
196 | called "hard schedulability property" and is an extension of Lemma 1 of [2]). | 196 | called "hard schedulability property" and is an extension of Lemma 1 of [2]). |