[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]
Message-ID: <166fdbdf-b24d-4267-b42d-f11348b87b1b@linux.intel.com>
Date: Thu, 15 Aug 2024 11:39:12 -0400
From: "Liang, Kan" <kan.liang@...ux.intel.com>
To: Thomas Gleixner <tglx@...utronix.de>, Li Huafei <lihuafei1@...wei.com>,
peterz@...radead.org, mingo@...hat.com
Cc: acme@...nel.org, namhyung@...nel.org, mark.rutland@....com,
alexander.shishkin@...ux.intel.com, jolsa@...nel.org, irogers@...gle.com,
adrian.hunter@...el.com, bp@...en8.de, dave.hansen@...ux.intel.com,
x86@...nel.org, hpa@...or.com, linux-perf-users@...r.kernel.org,
linux-kernel@...r.kernel.org, Andi Kleen <ak@...ux.intel.com>,
Vince Weaver <vincent.weaver@...ne.edu>
Subject: Re: [PATCH] perf/x86/intel: Restrict period on Haswell
Hi Thomas,
Thank you very much for the detailed analysis.
On 2024-08-14 6:47 p.m., Thomas Gleixner wrote:
> On Wed, Aug 14 2024 at 15:37, Kan Liang wrote:
>> On 2024-08-14 3:01 p.m., Thomas Gleixner wrote:
>>> This happens at the very same time and CPU#88 is the HT sibling of
>>> CPU#16
>>
>> The fixed counter 0 is used which doesn't match of what the HSW11
>> describes. I will check if the HSW11 missed the case, or if there is
>> another issue.
>
> This looks like a plain stupid software issue at the first glance. The
> hack I use to look at that is at the end of the mail. Most of the output
> here is heavily trimmed for readability:
>
> 65.147782: x86_perf_event_set_period: idx: 32 period: 1 left: 2
> 65.147783: intel_pmu_handle_irq: loops: 001 status: 100000000
>
> 65.147784: x86_perf_event_set_period: idx: 32 period: 1 left: 2
> 65.147784: intel_pmu_handle_irq: loops: 002 status: 100000000
>
> and this continues up to 100 times.
>
> If I'm not missing something then a period of 1 or even 2 is way too
> small for fixed counter 0 which is rearmed in the NMI and counts user
> _and_ kernel.
>
> But what's weird is that earlier in the trace I can see in the context
> of a different task the following w/o looping in the handler:
>
> 65.084029: x86_perf_event_set_period: idx: 32 period: 1 left: 2
> 65.084033: x86_perf_event_set_period: idx: 32 period: 1 left: 2
> 65.085654: x86_perf_event_set_period: idx: 32 period: 1 left: 2
> 65.085660: x86_perf_event_set_period: idx: 32 period: 1 left: 2
> 65.085667: x86_perf_event_set_period: idx: 32 period: 1 left: 2
> 65.085673: x86_perf_event_set_period: idx: 32 period: 2 left: 2
> 65.085681: x86_perf_event_set_period: idx: 32 period: 4 left: 4
> 65.085687: x86_perf_event_set_period: idx: 32 period: 7 left: 7
> 65.085693: x86_perf_event_set_period: idx: 32 period: 14 left: 14
> 65.085699: x86_perf_event_set_period: idx: 32 period: 26 left: 26
> 65.085705: x86_perf_event_set_period: idx: 32 period: 49 left: 49
> 65.085708: x86_perf_event_set_period: idx: 32 period: 95 left: 95
> 65.085711: x86_perf_event_set_period: idx: 32 period: 303 left: 303
> 65.085713: x86_perf_event_set_period: idx: 32 period: 967 left: 550
> 65.085716: x86_perf_event_set_period: idx: 32 period: 3118 left: 2799
> 65.085722: x86_perf_event_set_period: idx: 32 period: 9723 left: 9411
>
> This goes on to almost 100k period and then goes back down to 50k.
>
> The test case sets it up with
>
> attr::freq = 1
> attr::sample_freq = max_sample_rate / 5
>
> max_sample_rate is read from /proc/sys/kernel/perf_event_max_sample_rate,
> which contains 100000 after boot, so the requested value is 20000.
>
> So in the good case the period = 1 manages to not have the status bit
> set at, after handling.
>
> The bad case stays there forever. Of course setting a limit makes this
> magically go away, but honestly this is not a solution.
>
> Another one magically cures itself:
>
> 65.131743: x86_perf_event_set_period: idx: 32 period: 1 left: 2
> 65.131745: x86_perf_event_set_period: idx: 32 period: 1 left: 2
> 65.131745: intel_pmu_handle_irq: loops: 001 status: 100000000
> 65.131746: x86_perf_event_set_period: idx: 32 period: 1 left: 2
> 65.131746: intel_pmu_handle_irq: loops: 002 status: 100000000
> 65.131747: x86_perf_event_set_period: idx: 32 period: 1 left: 2
> 65.131944: x86_perf_event_set_period: idx: 32 period: 1 left: 2
> 65.131950: x86_perf_event_set_period: idx: 32 period: 1 left: 2
> 65.131955: x86_perf_event_set_period: idx: 32 period: 1 left: 2
> 65.131961: x86_perf_event_set_period: idx: 32 period: 2 left: 2
> 65.131965: x86_perf_event_set_period: idx: 32 period: 5 left: 5
> ....
> 65.132331: x86_perf_event_set_period: idx: 32 period: 83183 left: 82871
>
> I just wanted to look at something else and started a single instance of
> the cve test right after booting and that ran into the same problem.
>
> Full trace at: https://tglx.de/~tglx/t.txt
>
> I think I see a pattern with that now. In all cases I saw so far the
> problem happens when two HT siblings get the PMI at the very same time.
>
> # grep handle t.txt
>
> shows you the cases where it goes into the loop. I checked all the
> previous traces and the pattern is always identical.
>
> That aside. What really puzzles me is this period adjustment
> algorithm.
>
> # grep 'cve-2015-3290-2715.*idx: 32' t.txt
>
> 316.966607: x86_perf_event_set_period: idx: 32 period: 1 left: 2
> 316.966621: x86_perf_event_set_period: idx: 32 period: 1 left: 2
> 316.966977: x86_perf_event_set_period: idx: 32 period: 1 left: 2
> 316.966985: x86_perf_event_set_period: idx: 32 period: 1 left: 2
> 316.970507: x86_perf_event_set_period: idx: 32 period: 9980 left: 9980
> 316.970516: x86_perf_event_set_period: idx: 32 period: 9980 left: 9616
> 316.970562: x86_perf_event_set_period: idx: 32 period: 9980 left: 9674
> 316.970580: x86_perf_event_set_period: idx: 32 period: 8751 left: 8446
> 316.970596: x86_perf_event_set_period: idx: 32 period: 10733 left: 10428
>
> This looks more than broken .... Seriously.
>
> attr::freq = 1
> attr::sample_freq = 20000
>
> means 20000 samples per second, i.e. one sample every 50 microseconds,
> unless this uses some magic new fangled math.
>
> That CPU runs with 3.3GHz. Let's assume 1.0 IPC for simplicity. That
> means in 50us it executes 16500 instructions, right?
>
> So why on earth start with 1 as the estimate for the frequency
> especially for this particular event which is guaranteed to fire
> immediately? That makes no sense at all.
>
> But even when you start with 1, then latest at the third event in the
> loop or the third event within a couple of microseconds the frequency
> estimate algorithm should notice that a period of 1 is bonkers.
>
>
> But ranting^Wreasoning about all of this made me understand what goes
> actually wrong.
>
> Look at the "good" case:
>
> 316.966607: x86_perf_event_set_period: idx: 32 period: 1 left: 2
> 316.966621: x86_perf_event_set_period: idx: 32 period: 1 left: 2
>
> Now the bad case:
>
> # grep -E '\[063|135\]' t.txt
>
> cve-2015-3290-2725 [063] d..3. 316.967339: x86_perf_event_set_period: idx: 32 period: 1 left: 2
> cve-2015-3290-2725 [063] d.Z3. 316.967343: x86_perf_event_set_period: idx: 32 period: 1 left: 2
> <...>-2743 [135] d..3. 316.968473: x86_perf_event_set_period: idx: 32 period: 1 left: 2
> <...>-2743 [135] d.Z3. 316.968478: x86_perf_event_set_period: idx: 32 period: 1 left: 2
> <...>-2743 [135] d.h2. 316.970502: x86_perf_event_set_period: idx: 32 period: 5596 left: 5596
> cve-2015-3290-2725 [063] d.h2. 316.970503: x86_perf_event_set_period: idx: 32 period: 9385 left: 9385
>
> Here the two hyperthread NMIs are interleaved by a few microseconds,
> which is still good by some definition of good, but later it goes south:
>
> cve-2015-3290-2808 [063] d.Z3. 316.970712: x86_perf_event_set_period: idx: 32 period: 1 left: 2
> cve-2015-3290-2806 [135] d.Z3. 316.970712: x86_perf_event_set_period: idx: 32 period: 1 left: 2
>
> Starting here they are not longer interleaved. They happen simultanously.
>
> cve-2015-3290-2806 [135] d.Z3. 316.970713: intel_pmu_handle_irq: 001 100000000
> cve-2015-3290-2808 [063] d.Z3. 316.970713: intel_pmu_handle_irq: 001 100000000
> cve-2015-3290-2808 [063] d.Z3. 316.970713: x86_perf_event_set_period: idx: 32 period: 1 left: 2
> cve-2015-3290-2806 [135] d.Z3. 316.970713: x86_perf_event_set_period: idx: 32 period: 1 left: 2
>
> ...
> cve-2015-3290-2808 [063] d.Z3. 316.970819: intel_pmu_handle_irq: 099 100000000
> cve-2015-3290-2806 [135] d.Z3. 316.970819: x86_perf_event_set_period: idx: 32 period: 1 left: 2
> cve-2015-3290-2808 [063] d.Z3. 316.970819: x86_perf_event_set_period: idx: 32 period: 1 left: 2
> cve-2015-3290-2806 [135] d.Z3. 316.970819: intel_pmu_handle_irq: 099 100000000
> cve-2015-3290-2808 [063] d.Z3. 316.970820: intel_pmu_handle_irq: 100 100000000
> cve-2015-3290-2806 [135] d.Z3. 316.970820: x86_perf_event_set_period: idx: 32 period: 1 left: 2
> cve-2015-3290-2806 [135] d.Z3. 316.970820: intel_pmu_handle_irq: 100 100000000
>
> Which means they are almost in lockstep. TBH, I could not be bothered to
> repeat the experiment and turn on nanoseconds resolution for the trace
> because it's too obvious what's going on.
>
> In the single threaded case period == 1 (left == 2) does not matter
> because the status register stays zero after handling the event and is
> only updated after the NMI returns which makes the NMI come back
> immediately, but that does not cause a loop.
>
> But in the HT sibling concurrent case the hardware behaves differently
> and the status register is updated for whatever reason before returning
> from the NMI, which causes the endless loop because both hyper threads
> get that treatment.
>
> To prove my point I disabled hyperthreading via /sys/.../cpu/smt/control
> and as expected the test case can't trigger the problem anymore.
> Grepping for the loop trace_printk() comes back empty. I disabled the
> other one to reduce the noise over several runs, which keeps the trace
> completely empty.
>
> Reverse engineering hardware is fun, isn't it?
>
> It's not hard either because every reproducible problem has a pattern.
> You just have to look for it.
>
> Now the conclusion of this fun exercise is:
>
> 1) The hardware behaves differently when the perf event happens
> concurrently on HT siblings
I think I found a related erratum.
https://www.intel.com/content/dam/www/public/us/en/documents/specification-updates/4th-gen-core-family-mobile-specification-update.pdf
HSM154. Fixed-Function Performance Counter May Over Count Instructions
Retired by 32 When IntelĀ® Hyper-Threading Technology is Enabled
Problem: If, while Intel Hyper-Threading Technology is enabled, the
IA32_FIXED_CTR0 MSR
(309H) is enabled by setting bits 0 and/or 1 in the
IA32_PERF_FIXED_CTR_CTRL MSR
(38DH) before setting bit 32 in the IA32_PERF_GLOBAL_CTRL MSR (38FH) then
IA32_FIXED_CTR0 may over count by up to 32.
Implication: When this erratum occurs, the fixed-function performance
counter IA32_FIXED_CTR0 may over count by up to 32.
Workaround: The following sequence avoids this erratum (steps 1 and 2
are needed if the counter was previously enabled):
1. Clear bit 32 in the IA32_PERF_GLOBAL_CTRL MSR (38FH) and clear bits 1
and 0 in the IA32_PERF_FIXED_CTR_CTRL MSR (38DH).
2. Zero the IA32_FIXED_CTR0 MSR.
3. Set bit 32 in the IA32_PERF_GLOBAL_CTRL MSR.
4. Set bits 0 and/or 1 in the IA32_PERF_FIXED_CTR_CTRL MSR as desired.
It should explains that the issue is gone with the magic number 32 or
disabling the Hyper-Threading.
I also found a related discussion about 9 years ago.
https://lore.kernel.org/lkml/alpine.DEB.2.11.1505181343090.32481@vincent-weaver-1.umelst.maine.edu/
Vince tried the workaround but it seems not work.
So limiting the min period of the fixed counter 0 to 32 seems the only
workaround for now.
The errata of the later platforms don't mention the issue. It should
only impacts the Haswell. I will double check.
>
> 2) The frequency estimation algorithm is broken
For the events which occurs frequently, e.g., instructions, cycles, yes,
the frequency estimation algorithm doesn't work well.
But there are events that may not occur frequently. If a big init period
is set, it may be impossible to get the required freq for those events.
It's really hard to pick a universal init period that works for all events.
I'm thinking perf may only calculate/pre-set a init period for the Linux
defined architectural events, e.g., instructions, cycles, branches,
cache related events, etc. For the other ARCH specific events, I'm
afraid the period has to start 1.
>
> 3) Using a 'limit' guestimate is just papering over the underlying
> problems
It's possible that a user set a small number with -c. If the number is
less than the 'limit', it needs to be adjusted to avoid HW failure.
I think the 'limit' is still required.
Thanks,
Kan
>
> Thanks,
>
> tglx
> ---
> arch/x86/events/core.c | 1 +
> arch/x86/events/intel/core.c | 5 ++++-
> 2 files changed, 5 insertions(+), 1 deletion(-)
>
> --- a/arch/x86/events/core.c
> +++ b/arch/x86/events/core.c
> @@ -1400,6 +1400,7 @@ int x86_perf_event_set_period(struct per
>
> static_call_cond(x86_pmu_limit_period)(event, &left);
>
> + trace_printk("idx: %2d period: %10lld left: %10lld\n", idx, period, left);
> this_cpu_write(pmc_prev_left[idx], left);
>
> /*
> --- a/arch/x86/events/intel/core.c
> +++ b/arch/x86/events/intel/core.c
> @@ -3164,13 +3164,16 @@ static int intel_pmu_handle_irq(struct p
>
> loops = 0;
> again:
> + if (loops)
> + trace_printk("%03d %16llx\n,", loops, status);
> intel_pmu_lbr_read();
> intel_pmu_ack_status(status);
> if (++loops > 100) {
> static bool warned;
>
> if (!warned) {
> - WARN(1, "perfevents: irq loop stuck!\n");
> + tracing_off();
> + //WARN(1, "perfevents: irq loop stuck!\n");
> perf_event_print_debug();
> warned = true;
> }
>
>
>
Powered by blists - more mailing lists