Received-SPF: pass (google.com: domain of linux-kernel+bounces-37354-linux.lists.archive=gmail.com@vger.kernel.org designates 147.75.48.161 as permitted sender) client-ip=147.75.48.161;
Date: Wed, 24 Jan 2024 17:48:03 +0100
From: Jiri Wiesner <jwiesner@suse.de>
To: "Paul E. McKenney" <paulmck@kernel.org>
Cc: linux-kernel@vger.kernel.org, John Stultz <jstultz@google.com>,
	Thomas Gleixner <tglx@linutronix.de>,
	Stephen Boyd <sboyd@kernel.org>, Feng Tang <feng.tang@intel.com>
Subject: Re: [PATCH v3] clocksource: Skip watchdog check for large watchdog
 intervals
Message-ID: <20240124164803.GN3303@incl>
References: <20240122172350.GA740@incl>
 <616658ba-0e69-447b-8b52-5051a5aa9bc0@paulmck-laptop>
Precedence: bulk
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <616658ba-0e69-447b-8b52-5051a5aa9bc0@paulmck-laptop>
User-Agent: Mutt/1.10.1 (2018-07-13)

On Wed, Jan 24, 2024 at 08:03:42AM -0800, Paul E. McKenney wrote:
> On Mon, Jan 22, 2024 at 06:23:50PM +0100, Jiri Wiesner wrote:
> > diff --git a/kernel/time/clocksource.c b/kernel/time/clocksource.c
> > index c108ed8a9804..3052b1f1168e 100644
> > --- a/kernel/time/clocksource.c
> > +++ b/kernel/time/clocksource.c
> > @@ -99,6 +99,7 @@ static u64 suspend_start;
> >   * Interval: 0.5sec.
> >   */
> >  #define WATCHDOG_INTERVAL (HZ >> 1)
> > +#define WATCHDOG_INTERVAL_MAX_NS ((2 * WATCHDOG_INTERVAL) * (NSEC_PER_SEC / HZ))
> 
> We need something here to force 64-bit arithmetic on 32-bit systems
> correct?

I think it is not strictly necessary because
(2 * HZ / 2) * (NSEC_PER_SEC / HZ) = HZ * (NSEC_PER_SEC / HZ)
so even a 32-bit integer would not overflow when NSEC_PER_SEC / HZ is 
bracketed. But I could make a change to:
+#define WATCHDOG_INTERVAL_MAX_NS ((int64_t)(2ULL * WATCHDOG_INTERVAL * NSEC_PER_SEC / HZ))
to make it explicit and remove the risk of overflow if the constant was 
increased (for testing purposes for instance).
-- 
Jiri Wiesner
SUSE Labs