From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S935833AbdKPP6N (ORCPT ); Thu, 16 Nov 2017 10:58:13 -0500 Received: from terminus.zytor.com ([65.50.211.136]:49041 "EHLO terminus.zytor.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S935819AbdKPP6E (ORCPT ); Thu, 16 Nov 2017 10:58:04 -0500 Date: Thu, 16 Nov 2017 07:52:15 -0800 From: tip-bot for Claudio Scordino Message-ID: Cc: hpa@zytor.com, corbet@lwn.net, linux-kernel@vger.kernel.org, mingo@kernel.org, peterz@infradead.org, mathieu.poirier@linaro.org, torvalds@linux-foundation.org, claudio@evidence.eu.com, tommaso.cucinotta@sssup.it, tglx@linutronix.de, luca.abeni@santannapisa.it, bristot@redhat.com Reply-To: claudio@evidence.eu.com, tommaso.cucinotta@sssup.it, bristot@redhat.com, luca.abeni@santannapisa.it, tglx@linutronix.de, corbet@lwn.net, hpa@zytor.com, peterz@infradead.org, linux-kernel@vger.kernel.org, mingo@kernel.org, torvalds@linux-foundation.org, mathieu.poirier@linaro.org In-Reply-To: <1510658366-28995-1-git-send-email-claudio@evidence.eu.com> References: <1510658366-28995-1-git-send-email-claudio@evidence.eu.com> To: linux-tip-commits@vger.kernel.org Subject: [tip:sched/urgent] sched/deadline: Fix the description of runtime accounting in the documentation Git-Commit-ID: 5c0342ca7ef17220d8dd2da68d0d349c26ab19df 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 Commit-ID: 5c0342ca7ef17220d8dd2da68d0d349c26ab19df Gitweb: https://git.kernel.org/tip/5c0342ca7ef17220d8dd2da68d0d349c26ab19df Author: Claudio Scordino AuthorDate: Tue, 14 Nov 2017 12:19:26 +0100 Committer: Ingo Molnar CommitDate: Thu, 16 Nov 2017 09:00:35 +0100 sched/deadline: Fix the description of runtime accounting in the documentation Signed-off-by: Claudio Scordino Signed-off-by: Luca Abeni Acked-by: Daniel Bristot de Oliveira Acked-by: Peter Zijlstra Cc: Jonathan Corbet Cc: Linus Torvalds Cc: Mathieu Poirier Cc: Thomas Gleixner Cc: Tommaso Cucinotta Cc: linux-doc@vger.kernel.org Link: http://lkml.kernel.org/r/1510658366-28995-1-git-send-email-claudio@evidence.eu.com Signed-off-by: Ingo Molnar --- Documentation/scheduler/sched-deadline.txt | 13 ++++++++++--- 1 file changed, 10 insertions(+), 3 deletions(-) diff --git a/Documentation/scheduler/sched-deadline.txt b/Documentation/scheduler/sched-deadline.txt index e89e36e..8ce78f8 100644 --- a/Documentation/scheduler/sched-deadline.txt +++ b/Documentation/scheduler/sched-deadline.txt @@ -204,10 +204,17 @@ CONTENTS It does so by decrementing the runtime of the executing task Ti at a pace equal to - dq = -max{ Ui, (1 - Uinact) } dt + dq = -max{ Ui / Umax, (1 - Uinact - Uextra) } dt - where Uinact is the inactive utilization, computed as (this_bq - running_bw), - and Ui is the bandwidth of task Ti. + where: + + - Ui is the bandwidth of task Ti; + - Umax is the maximum reclaimable utilization (subjected to RT throttling + limits); + - Uinact is the (per runqueue) inactive utilization, computed as + (this_bq - running_bw); + - Uextra is the (per runqueue) extra reclaimable utilization + (subjected to RT throttling limits). Let's now see a trivial example of two deadline tasks with runtime equal