Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1753047AbbDHKei (ORCPT ); Wed, 8 Apr 2015 06:34:38 -0400 Received: from mail2.unitn.it ([193.205.194.22]:61784 "EHLO mail2.unitn.it" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1751303AbbDHKeg (ORCPT ); Wed, 8 Apr 2015 06:34:36 -0400 Message-ID: <55250438.5010503@unitn.it> Date: Wed, 08 Apr 2015 12:34:32 +0200 From: Luca Abeni User-Agent: Mozilla/5.0 (X11; Linux i686; rv:31.0) Gecko/20100101 Thunderbird/31.6.0 MIME-Version: 1.0 To: Juri Lelli , Zhiqiang Zhang CC: "henrik@austad.us" , "linux-kernel@vger.kernel.org" , "torvalds@linux-foundation.org" Subject: Re: [PATCH] Documentation/scheduler/sched-deadline.txt: correct definition of density as C_i/min{D_i,P_i} References: <1428049113-62546-1-git-send-email-zhangzhiqiang.zhang@huawei.com> <20150403125237.45b38a71@luca-1225C> <5524F582.5020201@arm.com> In-Reply-To: <5524F582.5020201@arm.com> Content-Type: text/plain; charset=windows-1252; format=flowed Content-Transfer-Encoding: 7bit Sender: linux-kernel-owner@vger.kernel.org List-ID: X-Mailing-List: linux-kernel@vger.kernel.org Content-Length: 1301 Lines: 37 On 04/08/2015 11:31 AM, Juri Lelli wrote: > Hi Luca, > > On 03/04/15 11:52, Luca Abeni wrote: >> Hi, >> >> On Fri, 3 Apr 2015 16:18:33 +0800 >> Zhiqiang Zhang wrote: >> >>> >From the contex,the definition of the destiny of a task >>> C_i/min{D_i,T_i},where T_i is not referred before, should be >>> substituted by C_i/min{D_i,P_i}. >> You are right, "T_i" should be substituted with "P_i"... >> But now that I look at it more carefully, I think that "C_i" is also >> wrong... It should be "WCET_i". >> >> >> BTW, speaking about documentation: I still have some SCHED_DEADLINE >> documentation patches in my local tree... I'll update and send them in >> next week. Juri, should I send the patches to you, or submit directly >> to the mailing list? >> > > As you prefer, I'll review them anyway :). I guess you can just > send them on the list if you like, so that you'll receive more > comments in one go. Ok; I am finishing to check what I wrote, and I'll send an RFC to the mailing list after lunch. Thanks, Luca -- 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/