From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1758316AbcATUWr (ORCPT ); Wed, 20 Jan 2016 15:22:47 -0500 Received: from casper.infradead.org ([85.118.1.10]:39828 "EHLO casper.infradead.org" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1752687AbcATUWp (ORCPT ); Wed, 20 Jan 2016 15:22:45 -0500 Date: Wed, 20 Jan 2016 21:22:42 +0100 From: Peter Zijlstra To: Nicolas Pitre Cc: Daniel Lezcano , tglx@linutronix.de, rafael@kernel.org, linux-pm@vger.kernel.org, linux-kernel@vger.kernel.org, vincent.guittot@linaro.org Subject: Re: [RFC V2 2/2] sched: idle: IRQ based next prediction for idle period Message-ID: <20160120202242.GL6356@twins.programming.kicks-ass.net> References: <1453305636-22156-1-git-send-email-daniel.lezcano@linaro.org> <1453305636-22156-3-git-send-email-daniel.lezcano@linaro.org> <20160120194006.GW6357@twins.programming.kicks-ass.net> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: User-Agent: Mutt/1.5.21 (2012-12-30) Sender: linux-kernel-owner@vger.kernel.org List-ID: X-Mailing-List: linux-kernel@vger.kernel.org On Wed, Jan 20, 2016 at 02:57:07PM -0500, Nicolas Pitre wrote: > On Wed, 20 Jan 2016, Peter Zijlstra wrote: > > > On Wed, Jan 20, 2016 at 05:00:33PM +0100, Daniel Lezcano wrote: > > > +static inline u32 stats_mean(struct stats *s) > > > +{ > > > + /* > > > + * gcc is smart enough to convert to a bits shift when the > > > + * divisor is constant and multiple of 2^x. > > > + * > > > + * The number of values could have not reached STATS_NR_VALUES > > > + * yet, but we can consider it acceptable as the situation is > > > + * only at the beginning of the burst of irqs. > > > + */ > > > + return s->sum / STATS_NR_VALUES; > > > +} > > > > Note that ->sum is u64, so you're very prone to truncation. > > It won't. It is the sum of u32 values, so the mean of those values > can't exceed 32 bits. Ah indeed!