From: Jason Gunthorpe <jgg@ziepe.ca>
To: "Liam R. Howlett" <liam@infradead.org>
Cc: Rik van Riel <riel@surriel.com>,
linux-kernel@vger.kernel.org, kernel-team@meta.com,
robin.murphy@arm.com, joro@8bytes.org, will@kernel.org,
iommu@lists.linux.dev, kyle@mcmartin.ca,
Rik van Riel <riel@meta.com>,
maple-tree@lists.infradead.org
Subject: Re: [PATCH v3 3/3] iova: defer maple tree erase on GFP_ATOMIC failure
Date: Wed, 17 Jun 2026 15:04:19 -0300 [thread overview]
Message-ID: <20260617180419.GA231643@ziepe.ca> (raw)
In-Reply-To: <vbtql77uf65vyxl4smefpol75x3opa7vnixdbzwg7ylxgre6j4@emvlfmdus4kj>
On Wed, Jun 17, 2026 at 01:45:27PM -0400, Liam R. Howlett wrote:
> On 26/06/15 08:56AM, Jason Gunthorpe wrote:
> > On Fri, Jun 12, 2026 at 02:44:06PM -0400, Liam R. Howlett wrote:
> > > > Currently it never returns a failure to the caller. Look at mas_erase():
> > > >
> > > > entry = mas_state_walk(mas);
> > > > if (!entry)
> > > > return NULL;
> > > > [..]
> > > > if (mas_is_err(mas))
> > > > goto out;
> > > > [..]
> > > > out:
> > > > mas_destroy(mas);
> > > > return entry;
> > > >
> > > > There is no propogation of ENOMEM, it returns success. No caller
> > > > checks for any error here either.
> > >
> > > At one point this was considered to be impossible to fail, and it is
> > > documented to return the entry or null.
> >
> > I think that is the right API design..
>
> Callers can check mas_is_err() and check for xa_err(mas) == -ENOMEM.
> I'm going to add a note about it to the documentation of the erase
> function.
That's something for mas_erase, but doesn't help mtree_erase() ..
> Why is the retry GFP_ATOMIC on a timer of 10ms?
>
> Also, why is this patch set using an external spinlock only created to
> manage the tree? Why isn't it using an internal lock? Is it just to
> avoid the possibility of the unlock?
IDK, seem like good questions
> >
> > > I think, in your case, hitting an XA_ZERO_ENTRY would be necessary to
> > > indicate that we cannot reuse this particular location until it is
> > > correctly dealt with? Or is the maple tree the only reason it is
> > > considered unusable?
> >
> > Yeah, it would be be a maple tree issue only. Defered rebalancing
> > leave space unavailable.
> >
> > This is a case where there is no sane way to handle destroy
> > failure. You can't return an error code from dma_unmap() for
> > example. So the only reason for this complexity is because maple tree
> > exposes a failable erase to it's caller..
>
> I think this is even more complicated by the contexts it is called in -
> that is, we cannot preallocate prior to going into this state either?
Yes, in this case at least the context is GFP_ATOMIC and there is no
way to pre-allocate.. But that seems like another issue since the
mas_erase does not support GFP_ATOMIC anyhow..
> > Eg _iommufd_destroy_mmap() is in trouble too, it cargo culted the
> > no-check mt_erase.
>
> Are you sure that's not okay? The mt_mmap tree is allocated with an
> internal spinlock. In this case, the lock will be dropped, the
> allocation will be satisfied and the erase operation will retry.
Is this what I was asking before? Under some conditions the allocation
can not fail because in the modern kernel we don't allow small
GFP_KERNEL allocations to fail?
Otherwise this:
if (gfpflags_allow_blocking(gfp) && !mt_external_lock(mas->tree)) {
mtree_unlock(mas->tree);
mas_alloc_nodes(mas, gfp);
mtree_lock(mas->tree);
} else {
mas_alloc_nodes(mas, gfp);
}
Is always called with GFP_KERNEL for erase. It doesn't seem like
external lock has any impact if mas_alloc_nodes can fail or not?
It looks like if you have an external lock then the hard wired
GFP_KERNEL in mtree_erase/mas_erase mean the lock has to be a sleeping
kind to use those functions.
If that's the case it should be documented like this too :)
Jason
next prev parent reply other threads:[~2026-06-17 18:04 UTC|newest]
Thread overview: 29+ messages / expand[flat|nested] mbox.gz Atom feed top
2026-06-03 3:35 [PATCH v3 0/3] iova: use maple tree for O(log n) allocation Rik van Riel
2026-06-03 3:35 ` [PATCH v3 1/3] iova: convert from rbtree to maple tree Rik van Riel
2026-06-17 19:55 ` Liam R. Howlett
2026-06-19 3:47 ` Rik van Riel
2026-06-03 3:35 ` [PATCH v3 2/3] iova: add KUnit test suite Rik van Riel
2026-06-03 3:35 ` [PATCH v3 3/3] iova: defer maple tree erase on GFP_ATOMIC failure Rik van Riel
2026-06-09 13:04 ` Jason Gunthorpe
2026-06-11 2:22 ` Rik van Riel
2026-06-12 16:02 ` Rik van Riel
2026-06-12 16:48 ` Jason Gunthorpe
2026-06-12 17:23 ` Rik van Riel
2026-06-12 18:03 ` Jason Gunthorpe
2026-06-12 18:44 ` Liam R. Howlett
2026-06-15 11:56 ` Jason Gunthorpe
2026-06-17 17:45 ` Liam R. Howlett
2026-06-17 18:04 ` Jason Gunthorpe [this message]
2026-06-18 14:50 ` Liam R. Howlett
2026-06-18 15:24 ` Jason Gunthorpe
2026-06-18 17:27 ` Liam R. Howlett
2026-06-18 17:30 ` Rik van Riel
2026-06-18 19:13 ` Liam R. Howlett
2026-06-19 12:08 ` Jason Gunthorpe
2026-06-30 18:39 ` Liam R. Howlett
2026-06-19 3:51 ` Rik van Riel
2026-06-19 4:54 ` Liam R. Howlett
2026-06-19 12:13 ` Jason Gunthorpe
2026-06-19 18:54 ` Rik van Riel
2026-06-21 0:08 ` Ashok Raj
2026-06-21 1:53 ` Rik van Riel
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=20260617180419.GA231643@ziepe.ca \
--to=jgg@ziepe.ca \
--cc=iommu@lists.linux.dev \
--cc=joro@8bytes.org \
--cc=kernel-team@meta.com \
--cc=kyle@mcmartin.ca \
--cc=liam@infradead.org \
--cc=linux-kernel@vger.kernel.org \
--cc=maple-tree@lists.infradead.org \
--cc=riel@meta.com \
--cc=riel@surriel.com \
--cc=robin.murphy@arm.com \
--cc=will@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
Powered by JetHome