Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1755490AbbESHYw (ORCPT ); Tue, 19 May 2015 03:24:52 -0400 Received: from terminus.zytor.com ([198.137.202.10]:60587 "EHLO terminus.zytor.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1753888AbbESHYs (ORCPT ); Tue, 19 May 2015 03:24:48 -0400 Date: Tue, 19 May 2015 00:24:13 -0700 From: tip-bot for Luca Abeni Message-ID: Cc: linux-kernel@vger.kernel.org, peterz@infradead.org, mingo@kernel.org, hpa@zytor.com, luca.abeni@unitn.it, torvalds@linux-foundation.org, tglx@linutronix.de Reply-To: hpa@zytor.com, mingo@kernel.org, peterz@infradead.org, linux-kernel@vger.kernel.org, luca.abeni@unitn.it, torvalds@linux-foundation.org, tglx@linutronix.de In-Reply-To: <1431954032-16473-4-git-send-email-luca.abeni@unitn.it> References: <1431954032-16473-4-git-send-email-luca.abeni@unitn.it> To: linux-tip-commits@vger.kernel.org Subject: [tip:sched/core] sched/dl/Documentation: Fix typos Git-Commit-ID: 3aa2dbe27f76528660e18b21f88a2c78ea8996ba X-Mailer: tip-git-log-daemon Robot-ID: Robot-Unsubscribe: Contact to get blacklisted from these emails MIME-Version: 1.0 Content-Transfer-Encoding: 8bit Content-Type: text/plain; charset=UTF-8 Content-Disposition: inline Sender: linux-kernel-owner@vger.kernel.org List-ID: X-Mailing-List: linux-kernel@vger.kernel.org Content-Length: 2398 Lines: 50 Commit-ID: 3aa2dbe27f76528660e18b21f88a2c78ea8996ba Gitweb: http://git.kernel.org/tip/3aa2dbe27f76528660e18b21f88a2c78ea8996ba Author: Luca Abeni AuthorDate: Mon, 18 May 2015 15:00:26 +0200 Committer: Ingo Molnar CommitDate: Tue, 19 May 2015 08:39:19 +0200 sched/dl/Documentation: Fix typos Signed-off-by: Luca Abeni Signed-off-by: Peter Zijlstra (Intel) Cc: Linus Torvalds Cc: Peter Zijlstra Cc: Thomas Gleixner 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 --- 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]). -- To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majordomo@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/