From: "Ilpo Järvinen" <ilpo.jarvinen@linux.intel.com>
To: Andy Shevchenko <andriy.shevchenko@linux.intel.com>
Cc: linux-pci@vger.kernel.org, "Bjorn Helgaas" <bhelgaas@google.com>,
"Geert Uytterhoeven" <geert@linux-m68k.org>,
"Kai-Heng Feng" <kaihengf@nvidia.com>,
"Rob Herring" <robh@kernel.org>,
LKML <linux-kernel@vger.kernel.org>,
"Krzysztof Wilczyński" <kw@linux.com>,
Linux-Renesas <linux-renesas-soc@vger.kernel.org>
Subject: Re: [PATCH 2/3] PCI: Do not coalesce host bridge resource structs in place
Date: Mon, 20 Oct 2025 21:15:08 +0300 (EEST) [thread overview]
Message-ID: <9d56e776-731a-7e25-60f0-44485cfbf12c@linux.intel.com> (raw)
In-Reply-To: <aPZ09UZMfKhYSUZE@smile.fi.intel.com>
[-- Attachment #1: Type: text/plain, Size: 4059 bytes --]
On Mon, 20 Oct 2025, Andy Shevchenko wrote:
> On Mon, Oct 20, 2025 at 08:21:50PM +0300, Ilpo Järvinen wrote:
> > On Wed, 15 Oct 2025, Andy Shevchenko wrote:
> > > On Fri, Oct 10, 2025 at 05:42:30PM +0300, Ilpo Järvinen wrote:
>
> ...
>
> > > > +/**
> > > > + * resource_mergeable - Test if resources are contiguous and can be merged
> > > > + * @r1: first resource
> > > > + * @r2: second resource
> > > > + *
> > > > + * Tests @r1 is followed by @r2 contiguously and share the metadata.
> > >
> > > This needs an additional explanation about name equivalence that's not only by
> > > pointers, but by a content.
> >
> > Okay. The point was to check names are the same, the pointer check was
> > just an optimization as these resources are expected to carry the same
> > name even on the pointer level.
> >
> > > > + * Return: %true if resources are mergeable non-destructively.
> > > > + */
> > > > +static bool resource_mergeable(struct resource *r1, struct resource *r2)
> > > > +{
> > > > + if ((r1->flags != r2->flags) ||
> > > > + (r1->desc != r2->desc) ||
> > > > + (r1->parent != r2->parent) ||
> > > > + (r1->end + 1 != r2->start))
> > > > + return false;
> > >
> > > > + if (r1->name == r2->name)
> > > > + return true;
> > > > +
> > > > + if (r1->name && r2->name && !strcmp(r1->name, r2->name))
> > > > + return true;
> > > > +
> > > > + return false;
> > >
> > > Hmm... Can we keep the logic more straight as in returning false cases as soon
> > > as possible?
> > >
> > > I think of something like this:
> > >
> > > if (r1->name && r2->name)
> > > return strcmp(r1->name, r2->name) == 0;
> > >
> > > return r1->name == r2->name;
> >
> > But the point the order above was to avoid strcmp() when the pointer
> > itself is same which I think is quite common case. I don't think strcmp()
> > itself checks whether the pointer is the same.
>
> On the second thought I think comparing by the content is quite a behavioural
> change here.
Compared to what?
This code was previously only used for merging contiguous "System RAM"
resources (AFAICT, I don't have way to check what the names in all those
resources truly were but in any case, the check was even stricter earlier,
comparing pointer equality only so definitely the names were not different
before this).
> Perhaps we may start without doing that first? Theoretically it
> might be the case when the content of names is different, but resources are
> the same.
Resources are NOT same, they're two contiguous memory regions and may
originate from different source, and thus have different names.
Not caring about the names will lose one of them from /proc/iomem.
> The case when name is the same (by content, but pointers) with the
> idea of having different resources sounds to me quite an awkward case. TL;
> DR: What are the cases that we have in practice now?
In the original thread [1], PCI side resource coalescing did break the
resources by merging without caring what the resource internals were. That
problem was found after trying to fix another problem, thus it might not
happen in practice except after fixing the other problem with root bus
resources.
In the common case when merging PCI root bus resources, the resources
typically have the same name - this happens all the time (e.g. io port
ranges are split to many small ranges which form a contiguous region
when coalesced). But that's not always the case, why do you think these
two names should be merged losing some information:
ee080000-ee08ffff : pci@ee090000
...
ee090000-ee090bff : ee090000.pci pci@ee090000
?
(Also, the careless change in the underlying resource by the code this
series tries to fix would have likely broken also devres release of the
mangled resource, which admittedly, is not related to name at all).
[1] https://lore.kernel.org/linux-pci/CAMuHMdVgCHU80mRm1Vwo6GFgNAtQcf50yHBz_oAk4TrtjcMpYg@mail.gmail.com/
--
i.
next prev parent reply other threads:[~2025-10-20 18:15 UTC|newest]
Thread overview: 21+ messages / expand[flat|nested] mbox.gz Atom feed top
2025-10-10 14:42 [PATCH 0/3] PCI & resource: Make coalescing host bridge windows safer Ilpo Järvinen
2025-10-10 14:42 ` [PATCH 1/3] PCI: Refactor host bridge window coalescing loop to use prev Ilpo Järvinen
2025-10-10 14:42 ` [PATCH 2/3] PCI: Do not coalesce host bridge resource structs in place Ilpo Järvinen
2025-10-15 14:29 ` Andy Shevchenko
2025-10-20 17:21 ` Ilpo Järvinen
2025-10-20 17:44 ` Andy Shevchenko
2025-10-20 18:15 ` Ilpo Järvinen [this message]
2025-10-20 18:30 ` Andy Shevchenko
2025-10-10 14:42 ` [PATCH 3/3] resource, kunit: add test case for resource_coalesce() Ilpo Järvinen
2025-10-20 13:42 ` [PATCH 0/3] PCI & resource: Make coalescing host bridge windows safer Geert Uytterhoeven
2025-10-20 16:20 ` Ilpo Järvinen
2025-10-21 7:44 ` Geert Uytterhoeven
2025-10-21 11:54 ` Ilpo Järvinen
2025-10-21 15:49 ` Andy Shevchenko
2025-10-21 16:09 ` Ilpo Järvinen
2025-10-22 7:19 ` Geert Uytterhoeven
2025-10-22 7:45 ` Geert Uytterhoeven
2025-10-22 11:13 ` Ilpo Järvinen
2025-10-22 12:14 ` Ilpo Järvinen
2025-10-22 12:51 ` Rob Herring
2025-10-23 23:02 ` Bjorn Helgaas
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=9d56e776-731a-7e25-60f0-44485cfbf12c@linux.intel.com \
--to=ilpo.jarvinen@linux.intel.com \
--cc=andriy.shevchenko@linux.intel.com \
--cc=bhelgaas@google.com \
--cc=geert@linux-m68k.org \
--cc=kaihengf@nvidia.com \
--cc=kw@linux.com \
--cc=linux-kernel@vger.kernel.org \
--cc=linux-pci@vger.kernel.org \
--cc=linux-renesas-soc@vger.kernel.org \
--cc=robh@kernel.org \
/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