Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1753502AbcLMMJo (ORCPT ); Tue, 13 Dec 2016 07:09:44 -0500 Received: from mail3-relais-sop.national.inria.fr ([192.134.164.104]:13290 "EHLO mail3-relais-sop.national.inria.fr" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1753284AbcLMMJo (ORCPT ); Tue, 13 Dec 2016 07:09:44 -0500 X-IronPort-AV: E=Sophos;i="5.33,341,1477954800"; d="scan'208";a="204306368" Date: Tue, 13 Dec 2016 13:09:38 +0100 (CET) From: Julia Lawall X-X-Sender: jll@hadrien To: Nicholas Mc Guire cc: Gilles Muller , Nicolas Palix , Michal Marek , Thomas Gleixner , cocci@systeme.lip6.fr, linux-kernel@vger.kernel.org Subject: Re: [PATCH] Coccinelle: uslee_range: ensure delta not zero In-Reply-To: <1481624600-29057-1-git-send-email-hofrat@osadl.org> Message-ID: References: <1481624600-29057-1-git-send-email-hofrat@osadl.org> User-Agent: Alpine 2.10 (DEB 1266 2009-07-14) MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Sender: linux-kernel-owner@vger.kernel.org List-ID: X-Mailing-List: linux-kernel@vger.kernel.org Content-Length: 2646 Lines: 94 On Tue, 13 Dec 2016, Nicholas Mc Guire wrote: > usleep_range() min==max makes little sense at last for non-RT, so issue > a warning if delta is 0. > > Signed-off-by: Nicholas Mc Guire > --- > > As of 4.9.0 this finds about 20 cases - all of which look like the > should be passing a range. > > Patch is against 4.9.0 (localversion-next is next-20161213) > > scripts/coccinelle/api/bad_usleep_range.cocci | 55 +++++++++++++++++++++++++++ > 1 file changed, 55 insertions(+) > create mode 100644 scripts/coccinelle/api/bad_usleep_range.cocci > > diff --git a/scripts/coccinelle/api/bad_usleep_range.cocci b/scripts/coccinelle/api/bad_usleep_range.cocci > new file mode 100644 > index 0000000..7e05f3e > --- /dev/null > +++ b/scripts/coccinelle/api/bad_usleep_range.cocci > @@ -0,0 +1,55 @@ > +/// bad uslee_range - warn if min == max > +// > +//The problem is that usleep_range is calculating the delay by > +// exp = ktime_add_us(ktime_get(), min) > +// delta = (u64)(max - min) * NSEC_PER_USEC > +//so delta is set to 0 if min==max > +//and then calls > +// schedule_hrtimeout_range(exp, 0,...) > +//effectively this means that the clock subsystem has no room to > +//optimize. usleep_range() is in non-atomic context so a 0 range > +//makes very little sense as the task can be preempted anyway so > +//there is no guarantee that the 0 range would be adding much > +//precision - it just removes optimization potential, so it probably > +//never really makes sense for any non-RT systems. > +// > +//see: Documentation/timers/timers-howto.txt and > +//Link: http://lkml.org/lkml/2016/11/29/54 for some notes on > +// when mdelay might not be a suitable replacement > +// > +// Confidence: Moderate > +// Copyright: (C) 2016 Nicholas Mc Guire, OSADL. GPLv2. > +// Comments: > +// Options: --no-includes --include-headers > + > +virtual org > +virtual report > + > +@nullrange@ > +expression E; > +constant C; > +position p; > +@@ > + > +<+... > +( > + usleep_range@p(C,C) > +| > + usleep_range@p(E,E) > +) > +...+> The outer <+... ...+> is not needed. You could support context too. The E,E case subsumes the C,C case. Unless you want to put different messages for the two cases, there is no need for both of them. julia > + > + > +@script:python depends on org@ > +p << nullrange.p; > +range << nullrange.C; > +@@ > + > +cocci.print_main("WARNING: inefficient usleep_range with range 0 (min==max)",p) > + > +@script:python depends on report@ > +p << nullrange.p; > +@@ > + > +coccilib.report.print_report(p[0],"WARNING: inefficient usleep_range with range 0 (min==max)") > + > -- > 2.1.4 > >