linux-kernel.vger.kernel.org archive mirror
 help / color / mirror / Atom feed
From: tip-bot for Luca Abeni <tipbot@zytor.com>
To: linux-tip-commits@vger.kernel.org
Cc: linux-kernel@vger.kernel.org, peterz@infradead.org,
	luca.abeni@unitn.it, torvalds@linux-foundation.org,
	hpa@zytor.com, mingo@kernel.org, tglx@linutronix.de
Subject: [tip:sched/core] sched/dl/Documentation: Clarify the relationship between tasks' deadlines and absolute scheduling deadlines
Date: Tue, 19 May 2015 00:25:49 -0700	[thread overview]
Message-ID: <tip-78740858903460d4b926b9a90c705fcb6103da54@git.kernel.org> (raw)
In-Reply-To: <1431954032-16473-9-git-send-email-luca.abeni@unitn.it>

Commit-ID:  78740858903460d4b926b9a90c705fcb6103da54
Gitweb:     http://git.kernel.org/tip/78740858903460d4b926b9a90c705fcb6103da54
Author:     Luca Abeni <luca.abeni@unitn.it>
AuthorDate: Mon, 18 May 2015 15:00:31 +0200
Committer:  Ingo Molnar <mingo@kernel.org>
CommitDate: Tue, 19 May 2015 08:39:21 +0200

sched/dl/Documentation: Clarify the relationship between tasks' deadlines and absolute scheduling deadlines

Clarify what is the relationship between tasks' parameters and scheduling
parameters, explaining how to set the scheduling parameters so that all the
absolute deadlines of a task are respected.

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-9-git-send-email-luca.abeni@unitn.it
Signed-off-by: Ingo Molnar <mingo@kernel.org>
---
 Documentation/scheduler/sched-deadline.txt | 14 +++++++++++---
 1 file changed, 11 insertions(+), 3 deletions(-)

diff --git a/Documentation/scheduler/sched-deadline.txt b/Documentation/scheduler/sched-deadline.txt
index 984a01d..2a924e1 100644
--- a/Documentation/scheduler/sched-deadline.txt
+++ b/Documentation/scheduler/sched-deadline.txt
@@ -249,9 +249,17 @@ CONTENTS
  the total utilization is smaller or equal than M then the response times of
  the tasks are limited.
 
- SCHED_DEADLINE can be used to schedule real-time tasks guaranteeing that
- the jobs' deadlines of a task are respected. In order to do this, a task
- must be scheduled by setting:
+ Finally, it is important to understand the relationship between the
+ SCHED_DEADLINE scheduling parameters described in Section 2 (runtime,
+ deadline and period) and the real-time task parameters (WCET, D, P)
+ described in this section. Note that the tasks' temporal constraints are
+ represented by its absolute deadlines d_j = r_j + D described above, while
+ SCHED_DEADLINE schedules the tasks according to scheduling deadlines (see
+ Section 2).
+ If an admission test is used to guarantee that the scheduling deadlines
+ are respected, then SCHED_DEADLINE can be used to schedule real-time tasks
+ guaranteeing that all the jobs' deadlines of a task are respected.
+ In order to do this, a task must be scheduled by setting:
 
   - runtime >= WCET
   - deadline = D

  reply	other threads:[~2015-05-19  7:26 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 ` [PATCH 3/9] Documentation/scheduler/sched-deadline.txt: fix typos Luca Abeni
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-bot for Luca Abeni [this message]
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=tip-78740858903460d4b926b9a90c705fcb6103da54@git.kernel.org \
    --to=tipbot@zytor.com \
    --cc=hpa@zytor.com \
    --cc=linux-kernel@vger.kernel.org \
    --cc=linux-tip-commits@vger.kernel.org \
    --cc=luca.abeni@unitn.it \
    --cc=mingo@kernel.org \
    --cc=peterz@infradead.org \
    --cc=tglx@linutronix.de \
    --cc=torvalds@linux-foundation.org \
    /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 a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).