[<prev] [next>] [thread-next>] [day] [month] [year] [list]
Message-ID: <CACT4Y+YwP0Vvupn3QmQj9Ks4NV4hkBcc6gDQ7ro3_Dzy-benCg@mail.gmail.com>
Date: Wed, 20 Apr 2022 14:17:21 +0200
From: Dmitry Vyukov <dvyukov@...gle.com>
To: Hillf Danton <hdanton@...a.com>
Cc: linux-kernel@...r.kernel.org,
"Paul E. McKenney" <paulmck@...nel.org>,
syzkaller <syzkaller@...glegroups.com>
Subject: Re: [PATCH rcu 04/11] kernel/smp: Provide boot-time timeout for CSD
lock diagnostics
On Wed, 20 Apr 2022 at 01:18, Hillf Danton <hdanton@...a.com> wrote:
>
> On Tue, 19 Apr 2022 09:49:08 -0700 Paul E. McKenney wrote:
> > On Tue, Apr 19, 2022 at 04:11:36PM +0200, Dmitry Vyukov wrote:
> > > On Tue, 19 Apr 2022 at 15:46, Paul E. McKenney <paulmck@...nel.org> wrote:
> > > > On Tue, Apr 19, 2022 at 04:56:07PM +0800, Hillf Danton wrote:
> > > > > On Mon, 18 Apr 2022 15:53:52 -0700 Paul E. McKenney wrote:
> > > > > > Debugging of problems involving insanely long-running SMI handlers
> > > > > > proceeds better if the CSD-lock timeout can be adjusted. This commit
> > > > > > therefore provides a new smp.csd_lock_timeout kernel boot parameter
> > > > > > that specifies the timeout in milliseconds. The default remains at the
> > > > > > previously hard-coded value of five seconds.
> > > > > >
> > > > > > Cc: Rik van Riel <riel@...riel.com>
> > > > > > Cc: Peter Zijlstra <peterz@...radead.org>
> > > > > > Cc: Ingo Molnar <mingo@...nel.org>
> > > > > > Cc: Thomas Gleixner <tglx@...utronix.de>
> > > > > > Cc: Sebastian Andrzej Siewior <bigeasy@...utronix.de>
> > > > > > Cc: Juergen Gross <jgross@...e.com>
> > > > > > Signed-off-by: Paul E. McKenney <paulmck@...nel.org>
> > > > > > ---
> > > > > > Documentation/admin-guide/kernel-parameters.txt | 11 +++++++++++
> > > > > > kernel/smp.c | 7 +++++--
> > > > > > 2 files changed, 16 insertions(+), 2 deletions(-)
> > > > > >
> > > > > > diff --git a/Documentation/admin-guide/kernel-parameters.txt b/Documentation/admin-guide/kernel-parameters.txt
> > > > > > index 3f1cc5e317ed..645c4c001b16 100644
> > > > > > --- a/Documentation/admin-guide/kernel-parameters.txt
> > > > > > +++ b/Documentation/admin-guide/kernel-parameters.txt
> > > > > > @@ -5377,6 +5377,17 @@
> > > > > > smart2= [HW]
> > > > > > Format: <io1>[,<io2>[,...,<io8>]]
> > > > > >
> > > > > > + smp.csd_lock_timeout= [KNL]
> > > > > > + Specify the period of time in milliseconds
> > > > > > + that smp_call_function() and friends will wait
> > > > > > + for a CPU to release the CSD lock. This is
> > > > > > + useful when diagnosing bugs involving CPUs
> > > > > > + disabling interrupts for extended periods
> > > > > > + of time. Defaults to 5,000 milliseconds, and
> > > > > > + setting a value of zero disables this feature.
> > > > > > + This feature may be more efficiently disabled
> > > > > > + using the csdlock_debug- kernel parameter.
> > > > > > +
> > > > >
> > > > > Can non-responsive CSD lock detected trigger syzbot (warning) report?
> > > >
> > > > If they enable it by building with CONFIG_CSD_LOCK_WAIT_DEBUG=y, yes.
> > >
> > > +syzkaller mailing list
> > >
> > > Currently we don't enable CONFIG_CSD_LOCK_WAIT_DEBUG in syzbot configs.
> > > Is it a generally useful debugging feature recommended to be enabled
> > > in kernel testing systems?
> >
> > With the default value for smp.csd_lock_timeout, it detects CPUs that have
> > had interrupts disabled for more than five seconds, which can be useful
> > for detecting what would otherwise be silent response-time failures.
>
> The five seconds take precedence over the 143s in reports [1] IMO.
> The shorter timeout helps select reproducers which in turn help find answer
> to questions there.
I've sent https://github.com/google/syzkaller/pull/3090 to enable the config.
5 seconds won't be reliable, I've set it to 100s to match CPU stall timeout.
> Hillf
>
> [1] https://lore.kernel.org/lkml/20220321210140.GK4285@paulmck-ThinkPad-P17-Gen-1/
>
> >
> > > If we enabled it, we also need to figure out where it fits into the
> > > timeout hierarchy and adjust smp.csd_lock_timeout:
> > > https://github.com/google/syzkaller/blob/master/dashboard/config/linux/bits/x86_64.yml#L15-L40
> >
> > On this, I must defer to you guys. I can say that the larger the value
> > that you choose for smp.csd_lock_timeout, the nearer the beginnning of
> > that group it should go, but you guys knew that already. ;-)
> >
> > Thanx, Paul
>
> --
> You received this message because you are subscribed to the Google Groups "syzkaller" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to syzkaller+unsubscribe@...glegroups.com.
> To view this discussion on the web visit https://groups.google.com/d/msgid/syzkaller/20220419231820.2089-1-hdanton%40sina.com.
Powered by blists - more mailing lists