From: Andrea Parri <parri.andrea@gmail.com>
To: Jason Gunthorpe <jgg@nvidia.com>
Cc: Samarth Narang <samarth.colleges@gmail.com>,
Kevin Tian <kevin.tian@intel.com>, Joerg Roedel <joro@8bytes.org>,
Will Deacon <will@kernel.org>,
Robin Murphy <robin.murphy@arm.com>,
Shuah Khan <shuah@kernel.org>,
Joao Martins <joao.m.martins@oracle.com>,
Alex Williamson <alex@shazbot.org>,
Yishai Hadas <yishaih@nvidia.com>,
iommu@lists.linux.dev, linux-kernel@vger.kernel.org,
linux-kselftest@vger.kernel.org, stable@vger.kernel.org
Subject: Re: [PATCH 1/4] iommufd/iova_bitmap: Clip recorded ranges to the bitmap
Date: Thu, 15 Oct 2026 17:52:13 +0200 [thread overview]
Message-ID: <20261015155214.472218-1-parri.andrea@gmail.com> (raw)
In-Reply-To: <20261015002647.GA3575173@nvidia.com>
On Wed, Oct 14, 2026 at 09:26:47PM -0300, Jason Gunthorpe wrote:
> If we silently truncate that to the range of the bitmap, like this
> does, then we also are silently lossing dirty marks. The userspace
> will call again with an iova range stepped ahead and instead of seeing
> the early blocks being dirty they will be marked as clean.
Right, the clip turns an overrun into silent dirty loss; failing the
call is better.
I also saw your reply to Samarth's record_dirty() patch [1]: with both
changes, a dirty entry that is not wholly inside the bitmap fails the
call. Samarth offered to send a v2 of both patches; I'm happy to leave
1/4 to whichever of you prefers and rebase my tests on top.
A few things I'd like to check before I rework the rest:
1) The dirty bit is still cleared when the record fails. In the
record_dirty() you proposed, as in visit_dirty() in io-pgtable-arm,
the entry is made clean unless IOMMU_DIRTY_NO_CLEAR, whatever
iova_bitmap_set() did. With start_va rounded down to the entry, a
query that starts or ends inside a dirty huge IOPTE now fails this
way too, and a retry with an aligned range sees the entry clean. Is
-EPROTO meant to be fatal for userspace (e.g. abort the migration),
or should the clear be skipped once bitmap->err is set?
2) Could you point me at the patch that adds bitmap->err? On mainline
iommu_read_and_clear_dirty() ignores the return of
iova_bitmap_for_each() and returns 0, so I assume that patch also
changes this. Does it cover the VFIO DMA logging path as well
(vfio_device_log_read_and_clear(), with mlx5 and pds calling
iova_bitmap_set())?
3) Patch 2 tests the clip, so with your change it fails: the 1M IOPTE
at MOCK_APERTURE_START is rejected whole against the 128K query, and
bitmap[0] stays clear. I can respin it to expect EPROTO, keep the
guard check past the bitmap, and add a query that starts inside the
IOPTE, on top of the bitmap->err patch.
Patches 3 and 4 still apply, I think: iova = 0 with length = 0 passes
iommufd_check_iova_range(), and __iommu_read_and_clear_dirty() then
walks [0, ULONG_MAX]. With your check nothing gets recorded, but the
dirty bits it walks over are still cleared.
[1] https://lore.kernel.org/all/20261015003412.GA13920@nvidia.com/
Thanks,
Andrea
next prev parent reply other threads:[~2026-10-15 15:52 UTC|newest]
Thread overview: 8+ messages / expand[flat|nested] mbox.gz Atom feed top
2026-09-25 16:11 [PATCH 0/4] iommufd: Keep IOMMU_HWPT_GET_DIRTY_BITMAP within the user bitmap Andrea Parri
2026-09-25 16:11 ` [PATCH 1/4] iommufd/iova_bitmap: Clip recorded ranges to the bitmap Andrea Parri
2026-10-15 0:26 ` Jason Gunthorpe
2026-10-15 15:52 ` Andrea Parri [this message]
2026-09-25 16:11 ` [PATCH 2/4] iommufd/selftest: Test dirty bitmap recording past the query Andrea Parri
2026-09-25 16:11 ` [PATCH 3/4] iommufd: Reject a zero-length dirty bitmap request Andrea Parri
2026-09-25 16:11 ` [PATCH 4/4] iommufd/selftest: Test " Andrea Parri
2026-10-15 17:09 ` [PATCH 0/4] iommufd: Keep IOMMU_HWPT_GET_DIRTY_BITMAP within the user bitmap Jason Gunthorpe
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=20261015155214.472218-1-parri.andrea@gmail.com \
--to=parri.andrea@gmail.com \
--cc=alex@shazbot.org \
--cc=iommu@lists.linux.dev \
--cc=jgg@nvidia.com \
--cc=joao.m.martins@oracle.com \
--cc=joro@8bytes.org \
--cc=kevin.tian@intel.com \
--cc=linux-kernel@vger.kernel.org \
--cc=linux-kselftest@vger.kernel.org \
--cc=robin.murphy@arm.com \
--cc=samarth.colleges@gmail.com \
--cc=shuah@kernel.org \
--cc=stable@vger.kernel.org \
--cc=will@kernel.org \
--cc=yishaih@nvidia.com \
/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®