From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1751886AbdBOLc2 (ORCPT ); Wed, 15 Feb 2017 06:32:28 -0500 Received: from bombadil.infradead.org ([65.50.211.133]:59496 "EHLO bombadil.infradead.org" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1751532AbdBOLc1 (ORCPT ); Wed, 15 Feb 2017 06:32:27 -0500 Date: Wed, 15 Feb 2017 12:32:15 +0100 From: Peter Zijlstra To: Juri Lelli Cc: Luca Abeni , Steven Rostedt , linux-kernel@vger.kernel.org, Ingo Molnar , Daniel Bristot de Oliveira , Tommaso Cucinotta , Mike Galbraith , Romulo Silva de Oliveira Subject: Re: [PATCH 3/2] sched/deadline: Use deadline instead of period when calculating overflow Message-ID: <20170215113215.GU6500@twins.programming.kicks-ass.net> References: <20170214142848.4e62a91f@gandalf.local.home> <20170214234926.6b415428@sweethome> <20170214191417.4dd96145@gandalf.local.home> <20170215084003.4d123e5b@luca> <20170215102919.GA1368@e106622-lin> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20170215102919.GA1368@e106622-lin> User-Agent: Mutt/1.5.23.1 (2014-03-12) Sender: linux-kernel-owner@vger.kernel.org List-ID: X-Mailing-List: linux-kernel@vger.kernel.org On Wed, Feb 15, 2017 at 10:29:19AM +0000, Juri Lelli wrote: > that we then dediced not to propose since (note that these are just my > memories of the dicussion, so everything it's up for further discussion, > also in light of the problem highlighted by Daniel) > > - SCHED_DEADLINE, as the documentation says, does AC using utilization > - it is however true that a sufficient (but not necessary) test on UP for > D_i != P_i cases is the one of my patch above > - we have agreed in the past that the kernel should only check that we > don't cause "overload" in the system (which is still the case if we > consider utilizations), not "hard schedulability" > - also because on SMP systems "sum(WCET_i / min{D_i, P_i}) <= M" > doesn't guarantee much more than the test base on P_i only (there not > seem to be many/any papers around considering the D_i != P_i case on > SMP actually) > - basically the patch above would only matter for the UP/partitioned > cases > > Thoughts? I think that this makes sense. Keep the kernel AC such that the working set is 'recoverable' was I think the word Tommaso used last time. I've been meaning to play with his suggested AC for arbitrary affinities but haven't managed to find time yet. My biggest attraction to that is that it would allow de-coupling it from the root_domain thingy and side-step the problems we currently have with that.