From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <linux-kernel-owner@vger.kernel.org>
Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand
        id S1757585AbdKOKem (ORCPT <rfc822;w@1wt.eu>);
        Wed, 15 Nov 2017 05:34:42 -0500
Received: from merlin.infradead.org ([205.233.59.134]:42272 "EHLO
        merlin.infradead.org" rhost-flags-OK-OK-OK-OK) by vger.kernel.org
        with ESMTP id S1756981AbdKOKef (ORCPT
        <rfc822;linux-kernel@vger.kernel.org>);
        Wed, 15 Nov 2017 05:34:35 -0500
Date: Wed, 15 Nov 2017 11:34:23 +0100
From: Peter Zijlstra <peterz@infradead.org>
To: Claudio Scordino <claudio@evidence.eu.com>
Cc: linux-kernel@vger.kernel.org, Luca Abeni <luca.abeni@santannapisa.it>,
        Jonathan Corbet <corbet@lwn.net>, Ingo Molnar <mingo@redhat.com>,
        linux-doc@vger.kernel.org,
        Tommaso Cucinotta <tommaso.cucinotta@sssup.it>,
        Mathieu Poirier <mathieu.poirier@linaro.org>
Subject: Re: [PATCH v2] sched/deadline: fix runtime accounting in
 documentation
Message-ID: <20171115103423.gpvcn4poif4dzcae@hirez.programming.kicks-ass.net>
References: <1510658366-28995-1-git-send-email-claudio@evidence.eu.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <1510658366-28995-1-git-send-email-claudio@evidence.eu.com>
User-Agent: NeoMutt/20170609 (1.8.3)
Sender: linux-kernel-owner@vger.kernel.org
List-ID: <linux-kernel.vger.kernel.org>
X-Mailing-List: linux-kernel@vger.kernel.org

On Tue, Nov 14, 2017 at 12:19:26PM +0100, Claudio Scordino wrote:
> 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>

ACK, Ingo can you route this?

> ---
>  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
>