From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S932679AbcFJOyY (ORCPT ); Fri, 10 Jun 2016 10:54:24 -0400 Received: from www.linutronix.de ([62.245.132.108]:34672 "EHLO Galois.linutronix.de" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S932214AbcFJOyX (ORCPT ); Fri, 10 Jun 2016 10:54:23 -0400 Date: Fri, 10 Jun 2016 16:52:25 +0200 (CEST) From: Thomas Gleixner To: Daniel Lezcano cc: nicolas.pitre@linaro.org, shreyas@linux.vnet.ibm.com, linux-kernel@vger.kernel.org, peterz@infradead.org, rafael@kernel.org, vincent.guittot@linaro.org Subject: Re: [PATCH V4] irq: Track the interrupt timings In-Reply-To: <1460545556-15085-1-git-send-email-daniel.lezcano@linaro.org> Message-ID: References: <1460545556-15085-1-git-send-email-daniel.lezcano@linaro.org> User-Agent: Alpine 2.11 (DEB 23 2013-08-11) MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-Linutronix-Spam-Score: -1.0 X-Linutronix-Spam-Level: - X-Linutronix-Spam-Status: No , -1.0 points, 5.0 required, ALL_TRUSTED=-1,SHORTCIRCUIT=-0.0001,URIBL_BLOCKED=0.001 Sender: linux-kernel-owner@vger.kernel.org List-ID: X-Mailing-List: linux-kernel@vger.kernel.org Thanks, On Wed, 13 Apr 2016, Daniel Lezcano wrote: > +static inline void setup_timings(struct irq_desc *desc, struct irqaction *act) > +{ > + /* > + * Timers are deterministic, so no need to do any measurement Deterministic is a confusing wording here. We don't need the measurement because the idle code already knows the next expiry event. > @@ -0,0 +1,133 @@ > +/* > + * linux/kernel/irq/timings.c > + * > + * Copyright (C) 2016, Linaro Ltd - Daniel Lezcano > + * Please add an explicit License one liner. The folks doing license analysis will be grateful. > +DEFINE_STATIC_KEY_FALSE(irq_timing_enabled); > + > +void irq_timings_get(void) _enable/disable() please. > +{ > + static_branch_inc(&irq_timing_enabled); > +} > + > +void irq_timings_put(void) > +{ > + static_branch_dec(&irq_timing_enabled); > +} > + > +/** > + * __handle_timings - stores an irq timing when an interrupt occurs > + * > + * @desc: the irq descriptor > + * > + * For all interruptions with their IRQS_TIMINGS flag set, the function > + * computes the time interval between two interrupt events and store it > + * in a circular buffer. > + */ > +void __handle_timings(struct irq_desc *desc) > +{ > + struct irq_timings *timings; > + u64 prev, now, diff; > + > + if (!(desc->istate & IRQS_TIMINGS)) > + return; Please have this check in the handle_timings() inline. No need to take a function call for the timer interrupt. > + > + timings = this_cpu_ptr(desc->timings); > + now = local_clock(); > + prev = timings->timestamp; > + timings->timestamp = now; > + > + /* > + * If it is the first interrupt of the series, we can't > + * compute an interval, just store the timestamp and exit. > + */ > + if (unlikely(!prev)) > + return; The delta will be large enough that you drop out in the check below. So you can spare that conditional. > + > + diff = now - prev; > + > + /* > + * microsec (actually 1024th of a milisec) precision is good > + * enough for our purpose. > + */ > + diff >>= 10; And that shift instruction is required because of the following? > * Otherwise we know the magnitude of diff is > + * well within 32 bits. AFAICT that's pointless. You are not saving anything because NSEC_PER_SEC is smaller than 2^32 and your 8 values are not going to overflow 64 bit in the sum. > + */ > + if (unlikely(diff > USEC_PER_SEC)) { > + memset(timings, 0, sizeof(*timings)); > + timings->timestamp = now; Redundant store. > + return; > + } > + > + /* The oldest value corresponds to the next index. */ > + timings->w_index = (timings->w_index + 1) & IRQ_TIMINGS_MASK; > + > + /* > + * Remove the oldest value from the summing. If this is the > + * first time we go through this array slot, the previous > + * value will be zero and we won't substract anything from the > + * current sum. Hence this code relies on a zero-ed structure. > + */ > + timings->sum -= timings->values[timings->w_index]; > + timings->values[timings->w_index] = diff; > + timings->sum += diff; Now the real question is whether you really need all that math, checks and memsets in the irq hotpath. If you make the storage slightly larger then you can just store the values unconditionally in the circular buffer and do all the computational stuff when you really it. Thanks, tglx