vdev_disk: fix alignment check when buffer has non-zero starting offset

If a linear buffer spans multiple pages, and the first page has a
non-zero starting offset, the checker would not include the offset, and
so would think there was an alignment gap at the end of the first page,
rather than at the start.

That is, for a 16K buffer spread across five pages with an initial 512B
offset:

    [.XXXXXXX][XXXXXXXX][XXXXXXXX][XXXXXXXX][XXXXXXX.]

It would be interpreted as:

    [XXXXXXX.][XXXXXXXX]...

And be rejected as misaligned.

Since it's already a linear ABD, the "linearising" copy would just reuse
the buffer as-is, and the second check would failing, tripping the
VERIFY in vdev_disk_io_rw().

This commit fixes all this by including the offset in the check for
end-of-page alignment.

Sponsored-by: Klara, Inc.
Sponsored-by: Wasabi Technology, Inc.
Signed-off-by: Rob Norris <rob.norris@klarasystems.com>
(cherry picked from commit 1bf649cb0a)
This commit is contained in:
Rob Norris 2024-04-10 13:14:13 +10:00 committed by Brian Behlendorf
parent d0d9dccc61
commit 7ad2616d37

View File

@ -865,7 +865,7 @@ vdev_disk_check_pages_cb(struct page *page, size_t off, size_t len, void *priv)
* Note if we're taking less than a full block, so we can check it * Note if we're taking less than a full block, so we can check it
* above on the next call. * above on the next call.
*/ */
s->end = len & s->bmask; s->end = (off+len) & s->bmask;
/* All blocks after the first must start on a block size boundary. */ /* All blocks after the first must start on a block size boundary. */
if (s->npages != 0 && (off & s->bmask) != 0) if (s->npages != 0 && (off & s->bmask) != 0)