[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]
Message-ID: <CAJZ5v0g=eSeAp96mHCOm+C9jis3uNRXgPhNgtT0SgP9kZ1emvw@mail.gmail.com>
Date: Tue, 5 Aug 2025 15:23:56 +0200
From: "Rafael J. Wysocki" <rafael@...nel.org>
To: Marc Zyngier <maz@...nel.org>, Christian Loehle <christian.loehle@....com>
Cc: Linux PM <linux-pm@...r.kernel.org>, LKML <linux-kernel@...r.kernel.org>,
Daniel Lezcano <daniel.lezcano@...aro.org>,
Artem Bityutskiy <artem.bityutskiy@...ux.intel.com>,
Aboorva Devarajan <aboorvad@...ux.ibm.com>, Thomas Gleixner <tglx@...utronix.de>,
Mark Rutland <mark.rutland@....com>
Subject: Re: [RFT][PATCH v1 5/5] cpuidle: menu: Avoid discarding useful information
On Mon, Aug 4, 2025 at 6:54 PM Marc Zyngier <maz@...nel.org> wrote:
>
> [+ Thomas, Mark]
>
> On Thu, 06 Feb 2025 14:29:05 +0000,
> "Rafael J. Wysocki" <rjw@...ysocki.net> wrote:
> >
> > From: Rafael J. Wysocki <rafael.j.wysocki@...el.com>
> >
> > When giving up on making a high-confidence prediction,
> > get_typical_interval() always returns UINT_MAX which means that the
> > next idle interval prediction will be based entirely on the time till
> > the next timer. However, the information represented by the most
> > recent intervals may not be completely useless in those cases.
> >
> > Namely, the largest recent idle interval is an upper bound on the
> > recently observed idle duration, so it is reasonable to assume that
> > the next idle duration is unlikely to exceed it. Moreover, this is
> > still true after eliminating the suspected outliers if the sample
> > set still under consideration is at least as large as 50% of the
> > maximum sample set size.
> >
> > Accordingly, make get_typical_interval() return the current maximum
> > recent interval value in that case instead of UINT_MAX.
> >
> > Signed-off-by: Rafael J. Wysocki <rafael.j.wysocki@...el.com>
> > ---
> > drivers/cpuidle/governors/menu.c | 13 ++++++++++++-
> > 1 file changed, 12 insertions(+), 1 deletion(-)
> >
> > --- a/drivers/cpuidle/governors/menu.c
> > +++ b/drivers/cpuidle/governors/menu.c
> > @@ -190,8 +190,19 @@
> > * This can deal with workloads that have long pauses interspersed
> > * with sporadic activity with a bunch of short pauses.
> > */
> > - if ((divisor * 4) <= INTERVALS * 3)
> > + if (divisor * 4 <= INTERVALS * 3) {
> > + /*
> > + * If there are sufficiently many data points still under
> > + * consideration after the outliers have been eliminated,
> > + * returning without a prediction would be a mistake because it
> > + * is likely that the next interval will not exceed the current
> > + * maximum, so return the latter in that case.
> > + */
> > + if (divisor >= INTERVALS / 2)
> > + return max;
> > +
> > return UINT_MAX;
> > + }
> >
> > /* Update the thresholds for the next round. */
> > if (avg - min > max - avg)
>
> It appears that this patch, which made it in 6.15, results in *a lot*
> of extra interrupts on one of my arm64 test machines.
>
> * Without this patch:
>
> maz@...-leg-emma:~$ vmstat -y 1
> procs -----------memory---------- ---swap-- -----io---- -system-- ------cpu-----
> r b swpd free buff cache si so bi bo in cs us sy id wa st
> 1 0 0 65370828 29244 106088 0 0 0 0 66 26 0 0 100 0 0
> 1 0 0 65370828 29244 106088 0 0 0 0 103 66 0 0 100 0 0
> 1 0 0 65370828 29244 106088 0 0 0 0 34 12 0 0 100 0 0
> 1 0 0 65370828 29244 106088 0 0 0 0 25 12 0 0 100 0 0
> 1 0 0 65370828 29244 106088 0 0 0 0 28 14 0 0 100 0 0
>
> we're idling at only a few interrupts per second, which isn't bad for
> a 24 CPU toy.
>
> * With this patch:
>
> maz@...-leg-emma:~$ vmstat -y 1
> procs -----------memory---------- ---swap-- -----io---- -system-- ------cpu-----
> r b swpd free buff cache si so bi bo in cs us sy id wa st
> 1 0 0 65361024 28420 105388 0 0 0 0 3710 27 0 0 100 0 0
> 1 0 0 65361024 28420 105388 0 0 0 0 3399 20 0 0 100 0 0
> 1 0 0 65361024 28420 105388 0 0 0 0 4439 78 0 0 100 0 0
> 1 0 0 65361024 28420 105388 0 0 0 0 5634 14 0 0 100 0 0
> 1 0 0 65361024 28420 105388 0 0 0 0 5575 14 0 0 100 0 0
>
> we're idling at anywhere between 3k and 6k interrupts per second. Not
> exactly what you want. This appears to be caused by the broadcast
> timer IPI.
>
> Reverting this patch on top of 6.16 restores sanity on this machine.
I don't know what is going on here, but it looks highly suspicious to me.
The only effect of the change in question should be selecting a
shallower idle state occasionally and why would this alone cause the
number of wakeup interrupts to increase?
Arguably, it might interfere with the tick stopping logic if
predicted_ns happened to be less than TICK_NSEC sufficiently often,
but that is not expected to happen on an idle system because in that
case the average interval between genuine wakeups is relatively large.
The tick itself is not counted as a wakeup event, so returning a
shallower state at one point shouldn't affect future predictions, but
the data above suggests that it actually does affect them.
It looks like selecting a shallower idle state by the governor at one
point causes more wakeup interrupts to occur in the future which is
really note expected to happen.
Christian, what do you think?
> I suspect that we're entering some deep idle state in a much more
> aggressive way,
The change actually goes the other way around. It causes shallower
idle states to be more likely to be selected overall.
> leading to a global timer firing as a wake-up mechanism,
What timer and why would it fire?
> and the broadcast IPI being used to kick everybody else
> back. This is further confirmed by seeing the broadcast IPI almost
> disappearing completely if I load the system a bit.
>
> Daniel, you should be able to reproduce this on a Synquacer box (this
> what I used here).
>
> I'm happy to test things that could help restore some sanity.
Before anything can be tested, I need to understand what exactly is going on.
What cpuidle driver is used on this platform?
Any chance to try the teo governor on it to see if this problem can
also be observed?
Please send the output of
$ grep -r '.*' /sys/devices/system/cpu/cpu*/cpuidle
collected after a period of idleness from the kernel in which the
change in question is present and from a kernel without it?
Powered by blists - more mailing lists