Received-SPF: pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) client-ip=209.132.180.67;
From:   Claudio Scordino <claudio@evidence.eu.com>
To:     linux-kernel@vger.kernel.org
Cc:     Claudio Scordino <claudio@evidence.eu.com>,
        Luca Abeni <luca.abeni@santannapisa.it>,
        Jonathan Corbet <corbet@lwn.net>,
        "Peter Zijlstra (Intel)" <peterz@infradead.org>,
        Ingo Molnar <mingo@redhat.com>, linux-doc@vger.kernel.org,
        Tommaso Cucinotta <tommaso.cucinotta@sssup.it>,
        Mathieu Poirier <mathieu.poirier@linaro.org>
Subject: [PATCH v2] sched/deadline: fix runtime accounting in documentation
Date:   Tue, 14 Nov 2017 12:19:26 +0100
Message-Id: <1510658366-28995-1-git-send-email-claudio@evidence.eu.com>
Sender: linux-kernel-owner@vger.kernel.org
Precedence: bulk

Signed-off-by: Claudio Scordino <claudio@evidence.eu.com>
Signed-off-by: Luca Abeni <luca.abeni@santannapisa.it>
Acked-by: Daniel Bristot de Oliveira <bristot@redhat.com>
CC: Jonathan Corbet <corbet@lwn.net>
CC: "Peter Zijlstra (Intel)" <peterz@infradead.org>
CC: Ingo Molnar <mingo@redhat.com>
CC: linux-doc@vger.kernel.org
Cc: Tommaso Cucinotta <tommaso.cucinotta@sssup.it>
Cc: Mathieu Poirier <mathieu.poirier@linaro.org>
---
 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
-- 
2.7.4


From 1584208119662771938@xxx Thu Nov 16 07:49:55 +0000 2017
X-GM-THRID: 1584208119662771938
X-Gmail-Labels: Inbox,Category Forums,HistoricalUnread