From: Steven Price <steven.price@arm.com>
To: Boris Brezillon <boris.brezillon@collabora.com>
Cc: "Adrián Larumbe" <adrian.larumbe@collabora.com>,
"Rob Herring" <robh@kernel.org>,
"Maarten Lankhorst" <maarten.lankhorst@linux.intel.com>,
"Maxime Ripard" <mripard@kernel.org>,
"Thomas Zimmermann" <tzimmermann@suse.de>,
"David Airlie" <airlied@gmail.com>,
"Simona Vetter" <simona@ffwll.ch>,
"Faith Ekstrand" <faith.ekstrand@collabora.com>,
"Marty E. Plummer" <hanetzer@startmail.com>,
"Tomeu Vizoso" <tomeu@tomeuvizoso.net>,
"Eric Anholt" <eric@anholt.net>,
"Robin Murphy" <robin.murphy@arm.com>,
"Philipp Zabel" <p.zabel@pengutronix.de>,
dri-devel@lists.freedesktop.org, linux-kernel@vger.kernel.org,
"Collabora Kernel Team" <kernel@collabora.com>,
"Neil Armstrong" <neil.armstrong@linaro.org>
Subject: Re: [PATCH v12 12/15] drm/panfrost: Skip cache flush/invalidate when enabling perfcnt
Date: Mon, 5 Oct 2026 17:05:14 +0100 [thread overview]
Message-ID: <37422c77-ecdc-46a0-8896-3a5098417426@arm.com> (raw)
In-Reply-To: <20261005173741.445715f0@fedora-61.home>
On 05/10/2026 16:37, Boris Brezillon wrote:
> On Mon, 5 Oct 2026 16:06:02 +0100
> Steven Price <steven.price@arm.com> wrote:
>
>> On 05/10/2026 09:38, Boris Brezillon wrote:
>>> On Fri, 2 Oct 2026 16:14:38 +0100
>>> Steven Price <steven.price@arm.com> wrote:
>>>
>>>> On 29/09/2026 04:44, Adrián Larumbe wrote:
>>>>> The GPU cache flush/invalidate operation is unnecessary. First off, the
>>>>> GPU doesn't read off the perfcnt sample buffer, only writes into it, so
>>>>
>>>> I don't think this is entirely true. The GPU performance counter unit
>>>> only writes the counters that are enabled, counters that share a cache
>>>> line but are not enabled are not written by the performance counter
>>>> unit, but if the L2 contains that cache line then the write can hit in
>>>> the L2 and dirty the entire line including stale data where the
>>>> unwritten cache line is.
>>>
>>> I don't think this can happen though, because _enable_locked() is
>>> creating a BO (and its GPU mapping) just before enabling the perfcnt
>>> block, meaning the buffer is known to have no dirty cacheline pointing
>>> to it until the first dump happens. And we do flush and invalidate GPU
>>> caches after each dump, so again, we should be covered.
>>
>> The situation isn't actually a dirty cache line at the start, but a
>> stale one. We start off with the memory matching a clean line in the
>> GPU's cache. But because we don't have coherency the clean line can stay
>> even if it's inconsistent with everything else.
>>
>> CPU | GPU | Memory
>> ----------------+-----------------------+--------------------
>> | clean line | matches GPU cache
>> ----------------+-----------------------+--------------------
>> CPU allocates new buffer and writes zeros
>> ----------------+-----------------------+--------------------
>> Dirty cache line| stale clean line | unknown (cache line
>> | | might be evicted)
>> ----------------+-----------------------+--------------------
>> CPU cleans its own cache to memory
>> ----------------+-----------------------+--------------------
>> Potential clean | stale clean line | Matches CPU
>> cache line | |
>> ----------------+-----------------------+--------------------
>> Start dump without invaliding GPU
>> ----------------+-----------------------+--------------------
>> Potential clean | GPU writes data, and | Unknown
>> cache line | hits in the clean line|
>> | even though it's stale|
>> ----------------+-----------------------+--------------------
>> CPU flushes the GPU's cache and invalidates it's own
>> ----------------+-----------------------+--------------------
>> No-cache line | writes out clean line | Matches GPU
>>
>>
>> Of course for the GPU to have ended up with that stale clean cache line
>> means that the physical memory was previously used for something else on
>> the GPU, so the newly allocated BO has to reuse memory from a previous
>> BO that the GPU has accessed. And it's all "unlikely" due to the small
>> size of the GPU's cache.
>
> Hm, I'd say it's actually impossible because every unmap operation is
> followed by a flush+inval of the GPU L2 and LSC, so for this stale
> clean line to exist on the GPU side when a physical page is GPU-mapped
> again, it would take a bug in the unmap logic or in the MMU HW, I
> think. Am I missing something?
Ah, yes that's true :) Although there's no need for us to do an
invalidate on the unmap path...
>>
>>
>>>>
>>>> The upshot is that if the CPU has cleared a block of memory which the
>>>> GPU happens to have cached, then the "unused" counters may end up
>>>> showing the old data before the CPU cleared it (if they share a cache
>>>> line with an active counter).
>>>
>>> I agree, but that's not a case we can hit in the enable path. I think I
>>> mentioned the commit message was misleading, and that we should instead
>>> talk about the fact the GPU is not supposed to have cached anything up
>>> until the first SAMPLE following a the ENABLE step.
>>>
>>>>
>>>> I have to admit it's probably somewhat academic given that Panfrost
>>>> doesn't expose the ability to control which counters are enabled...
>>>>
>>>> Is there a good reason for this patch (i.e. have you seen a performance
>>>> problem with doing the invalidate)? Otherwise I'd prefer we keep to the
>>>> safe route rather than trying to over optimise cache maintenance.
>>>
>>> I think I was the one suggesting dropping this flush so that
>>> panfrost_perfcnt_hw_enable() (in the last patch) has one less fallible
>>> operation. Besides, I find it confusing to have a cache flush+inval in
>>> a path where the GPU is not supposed to have accessed the buffer yet
>>> (or later on, when we re-enable after a RESET, in a path where the GPU
>>> has been reset and the caches are known to be empty).
>>
>> So I agree this Should Be Safe™ because of how the driver is currently
>> using the performance counters. If we really want to drop the invalidate
>> then I think we need a comment explaining the logic. My worry is that
>> someone extends this in the future (e.g. allow selecting which counters
>> to enable) and breaks assumptions without them being documented.
>>
>> We normally do perform an invalidate when the GPU first touches a buffer
>> (e.g. for a BO) - it's just normally more implicit because it's done as
>> part of the job manager(/command stream).
>>
>> Also "caches known to be empty" is a dangerous thing to assume on
>> anything that could involve speculation - AFAIK Mali doesn't really
>> perform any form of speculation, but I'm not 100% sure on that.
>> Certainly with CPUs you don't get such a luxury of knowing what it might
>> have populated in the caches.
>
> I suppose speculation pre-populating the caches with stale data would be
> covered by the flush+inval we do after a map operation (this is
> currently done in the unlock path regardless of the VM op, so both map
> and unmap get it). I don't know, maybe the goal is to relax the flushing
> policy around VM modifications in the future, but if things stay as
> they are now, we can assume that a fresh BO being GPU-mapped guarantees
> that no cacheline points to it until the first GPU access. But maybe
> I'm missing something else...
I have to admit I'm coming from experience on CPUs - there speculation
means a CPU can load a cache line at basically any point. So the
argument that a line cannot be in a cache almost never holds. GPUs (at
least Mali GPUs) haven't quite got to the stage of CPUs.
Thanks,
Steve
next prev parent reply other threads:[~2026-10-05 16:05 UTC|newest]
Thread overview: 48+ messages / expand[flat|nested] mbox.gz Atom feed top
2026-09-29 3:44 [PATCH v12 00/15] Collection of fixes for Panfrost: Perfcnt, RPM, refactorings Adrián Larumbe
2026-09-29 3:44 ` [PATCH v12 01/15] drm/panfrost: Move shrinker initialization and unplug one level down Adrián Larumbe
2026-10-02 13:58 ` Steven Price
2026-09-29 3:44 ` [PATCH v12 02/15] drm/panfrost: Move lock and modparam initialisations into their subsystems Adrián Larumbe
2026-10-02 14:06 ` Steven Price
2026-09-29 3:44 ` [PATCH v12 03/15] drm/panfrost: Move debugfs initialisation to relevant subsystems Adrián Larumbe
2026-10-02 14:10 ` Steven Price
2026-10-06 0:50 ` Adrián Larumbe
2026-09-29 3:44 ` [PATCH v12 04/15] drm/panfrost: Skip NULL checks for clock enable/disabling Adrián Larumbe
2026-10-02 14:14 ` Steven Price
2026-09-29 3:44 ` [PATCH v12 05/15] drm/panfrost: Consolidate device clock management and reset Adrián Larumbe
2026-10-02 14:20 ` Steven Price
2026-09-29 3:44 ` [PATCH v12 06/15] drm/panfrost: Fix PM refcnt and autosuspend issues at device probe/remove Adrián Larumbe
2026-10-02 14:21 ` Steven Price
2026-09-29 3:44 ` [PATCH v12 07/15] drm/panfrost: Explicitly enable MMU interrupts at device init Adrián Larumbe
2026-10-02 14:26 ` Steven Price
2026-09-29 3:44 ` [PATCH v12 08/15] drm/panfrost: Move all DRM device initialisation into device_init() Adrián Larumbe
2026-10-02 14:37 ` Steven Price
2026-09-29 3:44 ` [PATCH v12 09/15] drm/panfrost: Add warning messages to fatal error conditions Adrián Larumbe
2026-10-02 14:59 ` Steven Price
2026-10-06 15:09 ` Adrián Larumbe
2026-10-07 12:51 ` Steven Price
2026-09-29 3:44 ` [PATCH v12 10/15] drm/panfrost: Add debugfs knob for manually triggering a GPU reset Adrián Larumbe
2026-10-02 15:10 ` Steven Price
2026-10-06 13:38 ` Adrián Larumbe
2026-10-07 12:54 ` Steven Price
2026-09-29 3:44 ` [PATCH v12 11/15] drm/panfrost: Move perfcnt GPU disable sequence into a helper Adrián Larumbe
2026-09-29 3:44 ` [PATCH v12 12/15] drm/panfrost: Skip cache flush/invalidate when enabling perfcnt Adrián Larumbe
2026-10-02 15:14 ` Steven Price
2026-10-05 8:38 ` Boris Brezillon
2026-10-05 15:06 ` Steven Price
2026-10-05 15:37 ` Boris Brezillon
2026-10-05 16:05 ` Steven Price [this message]
2026-10-05 16:57 ` Boris Brezillon
2026-10-06 17:42 ` Adrián Larumbe
2026-10-06 17:35 ` Adrián Larumbe
2026-10-07 13:28 ` Steven Price
2026-10-06 17:18 ` Adrián Larumbe
2026-10-07 13:21 ` Steven Price
2026-10-06 16:45 ` Adrián Larumbe
2026-10-07 13:09 ` Steven Price
2026-09-29 3:44 ` [PATCH v12 13/15] drm/panfrost: Avoid cache flush after perfcnt sample in fully coherent systems Adrián Larumbe
2026-10-02 15:28 ` Steven Price
2026-09-29 3:44 ` [PATCH v12 14/15] drm/panfrost: Introduce a reset lock Adrián Larumbe
2026-10-02 15:34 ` Steven Price
2026-09-29 3:44 ` [PATCH v12 15/15] drm/panfrost: Fix races between perfcnt and reset sequence Adrián Larumbe
2026-10-02 15:44 ` Steven Price
2026-10-06 14:14 ` Adrián Larumbe
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=37422c77-ecdc-46a0-8896-3a5098417426@arm.com \
--to=steven.price@arm.com \
--cc=adrian.larumbe@collabora.com \
--cc=airlied@gmail.com \
--cc=boris.brezillon@collabora.com \
--cc=dri-devel@lists.freedesktop.org \
--cc=eric@anholt.net \
--cc=faith.ekstrand@collabora.com \
--cc=hanetzer@startmail.com \
--cc=kernel@collabora.com \
--cc=linux-kernel@vger.kernel.org \
--cc=maarten.lankhorst@linux.intel.com \
--cc=mripard@kernel.org \
--cc=neil.armstrong@linaro.org \
--cc=p.zabel@pengutronix.de \
--cc=robh@kernel.org \
--cc=robin.murphy@arm.com \
--cc=simona@ffwll.ch \
--cc=tomeu@tomeuvizoso.net \
--cc=tzimmermann@suse.de \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox
all inboxes | Powered by JetHome®