All of lore.kernel.org
 help / color / mirror / Atom feed
From: Luca Abeni <luca.abeni@unitn.it>
To: peterz@infradead.org
Cc: henrik@austad.us, juri.lelli@gmail.com, raistlin@linux.it,
	mingo@kernel.org, linux-kernel@vger.kernel.org,
	linux-doc@vger.kernel.org, Luca Abeni <luca.abeni@unitn.it>
Subject: [PATCH 3/9] Documentation/scheduler/sched-deadline.txt: fix typos
Date: Mon, 18 May 2015 15:00:26 +0200	[thread overview]
Message-ID: <1431954032-16473-4-git-send-email-luca.abeni@unitn.it> (raw)
In-Reply-To: <1431954032-16473-1-git-send-email-luca.abeni@unitn.it>

Signed-off-by: Luca Abeni <luca.abeni@unitn.it>
---
 Documentation/scheduler/sched-deadline.txt |    4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Documentation/scheduler/sched-deadline.txt b/Documentation/scheduler/sched-deadline.txt
index af40d6c..0f51a1a 100644
--- a/Documentation/scheduler/sched-deadline.txt
+++ b/Documentation/scheduler/sched-deadline.txt
@@ -52,7 +52,7 @@ CONTENTS
  "admission control" strategy (see Section "4. Bandwidth management") is used
  (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
  interference between different tasks (bandwidth isolation), while the EDF[1]
  algorithm selects the task with the earliest scheduling deadline as the one
@@ -190,7 +190,7 @@ CONTENTS
   - deadline = D
   - 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
  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]).
-- 
1.7.9.5


  parent reply	other threads:[~2015-05-18 13:08 UTC|newest]

Thread overview: 20+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2015-05-18 13:00 [PATCH 0/9] SCHED_DEADLINE documentation update Luca Abeni
2015-05-18 13:00 ` [PATCH 1/9] Documentation/scheduler/sched-deadline.txt: correct definition of density as C_i/min{D_i,P_i} Luca Abeni
2015-05-19  7:23   ` [tip:sched/core] sched/dl/Documentation: Correct the " tip-bot for Zhiqiang Zhang
2015-05-18 13:00 ` [PATCH 2/9] Documentation/scheduler/sched-deadline.txt: switch to American English Luca Abeni
2015-05-19  7:23   ` [tip:sched/core] sched/dl/Documentation: Switch " tip-bot for Luca Abeni
2015-05-18 13:00 ` Luca Abeni [this message]
2015-05-19  7:24   ` [tip:sched/core] sched/dl/Documentation: Fix typos tip-bot for Luca Abeni
2015-05-18 13:00 ` [PATCH 4/9] Documentation/scheduler/sched-deadline.txt: use consistent namings Luca Abeni
2015-05-19  7:24   ` [tip:sched/core] sched/dl/Documentation: Use consistent naming tip-bot for Luca Abeni
2015-05-18 13:00 ` [PATCH 5/9] Documentation/scheduler/sched-deadline.txt: remove _i from sum, max and min Luca Abeni
2015-05-19  7:24   ` [tip:sched/core] sched/dl/Documentation: Clarify indexing notation tip-bot for Luca Abeni
2015-05-18 13:00 ` [PATCH 6/9] Documentation/scheduler/sched-deadline.txt: Some notes on EDF schedulability Luca Abeni
2015-05-19  7:25   ` [tip:sched/core] sched/dl/Documentation: Add some " tip-bot for Luca Abeni
2015-05-18 13:00 ` [PATCH 7/9] Documentation/scheduler/sched-deadline.txt: add some references Luca Abeni
2015-05-19  7:25   ` [tip:sched/core] sched/dl/Documentation: Add " tip-bot for Luca Abeni
2015-05-18 13:00 ` [PATCH 8/9] Documentation/scheduler/sched-deadline.txt: relationship between tasks' deadlines and scheduling deadlines Luca Abeni
2015-05-19  7:25   ` [tip:sched/core] sched/dl/Documentation: Clarify the relationship between tasks' deadlines and absolute " tip-bot for Luca Abeni
2015-05-18 13:00 ` [PATCH 9/9] Documentation/scheduler/sched-deadline.txt: Split Section 3 Luca Abeni
2015-05-19  7:26   ` [tip:sched/core] sched/dl/Documentation: " tip-bot for Luca Abeni
2015-05-19 13:26 ` [PATCH 0/9] SCHED_DEADLINE documentation update Henrik Austad

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=1431954032-16473-4-git-send-email-luca.abeni@unitn.it \
    --to=luca.abeni@unitn.it \
    --cc=henrik@austad.us \
    --cc=juri.lelli@gmail.com \
    --cc=linux-doc@vger.kernel.org \
    --cc=linux-kernel@vger.kernel.org \
    --cc=mingo@kernel.org \
    --cc=peterz@infradead.org \
    --cc=raistlin@linux.it \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body. 
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.