sched/deadline: Fix the description of runtime accounting in the documentation

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>
Acked-by: Peter Zijlstra <peterz@infradead.org>
Cc: Jonathan Corbet <corbet@lwn.net>
Cc: Linus Torvalds <torvalds@linux-foundation.org>
Cc: Mathieu Poirier <mathieu.poirier@linaro.org>
Cc: Thomas Gleixner <tglx@linutronix.de>
Cc: Tommaso Cucinotta <tommaso.cucinotta@sssup.it>
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 <mingo@kernel.org>

authored by Claudio Scordino and committed by Ingo Molnar 5c0342ca b29c6ef7

+10 -3
+10 -3
Documentation/scheduler/sched-deadline.txt
··· 204 204 It does so by decrementing the runtime of the executing task Ti at a pace equal 205 205 to 206 206 207 - dq = -max{ Ui, (1 - Uinact) } dt 207 + dq = -max{ Ui / Umax, (1 - Uinact - Uextra) } dt 208 208 209 - where Uinact is the inactive utilization, computed as (this_bq - running_bw), 210 - and Ui is the bandwidth of task Ti. 209 + where: 210 + 211 + - Ui is the bandwidth of task Ti; 212 + - Umax is the maximum reclaimable utilization (subjected to RT throttling 213 + limits); 214 + - Uinact is the (per runqueue) inactive utilization, computed as 215 + (this_bq - running_bw); 216 + - Uextra is the (per runqueue) extra reclaimable utilization 217 + (subjected to RT throttling limits). 211 218 212 219 213 220 Let's now see a trivial example of two deadline tasks with runtime equal