From: Tal Zussman <tz2294@columbia.edu>
To: Jens Axboe <axboe@kernel.dk>, Christoph Hellwig <hch@lst.de>,
Johannes Thumshirn <johannes.thumshirn@wdc.com>,
Luis Chamberlain <mcgrof@kernel.org>,
Hannes Reinecke <hare@kernel.org>,
"Matthew Wilcox (Oracle)" <willy@infradead.org>,
John Garry <john.garry@linux.dev>,
Christian Brauner <brauner@kernel.org>,
"Darrick J. Wong" <djwong@kernel.org>,
Keith Busch <kbusch@kernel.org>,
"Martin K. Petersen" <mkp@kernel.org>
Cc: Shin'ichiro Kawasaki <shinichiro.kawasaki@wdc.com>,
linux-block@vger.kernel.org, linux-kernel@vger.kernel.org,
linux-xfs@vger.kernel.org, linux-fsdevel@vger.kernel.org,
Sashiko <sashiko-bot@kernel.org>,
Tal Zussman <tz2294@columbia.edu>
Subject: [PATCH v5 5/9] block: fail a short atomic pin in bio_iov_iter_get_pages()
Date: Wed, 23 Sep 2026 19:56:38 -0400 [thread overview]
Message-ID: <20260923-blkdev-fixes-v5-5-89e60d66eb38@columbia.edu> (raw)
In-Reply-To: <20260923-blkdev-fixes-v5-0-89e60d66eb38@columbia.edu>
On a partial page pin, __blkdev_direct_IO_simple() and
__blkdev_direct_IO_async() submit what was pinned with REQ_ATOMIC set
and leave the rest to the buffered fallback, tearing an IOCB_ATOMIC
write.
This can be triggered deterministically. A 16K pwritev2(RWF_ATOMIC)
whose last page is PROT_NONE, on a scsi_debug device with atomic_wr=1,
completes short with only three of the four pages written, violating
RWF_ATOMIC semantics.
Make bio_iov_iter_get_pages() release the pins and return -EINVAL when
a REQ_ATOMIC bio doesn't cover the whole iterator, since an atomic
write is submitted as a single bio and a short one would be torn. That
covers iomap as well, where a partially unmapped buffer could trip the
WARN_ON_ONCE() in iomap_dio_bio_iter_one(). The async block device path
currently sets REQ_ATOMIC after pinning, so set it before, and move
REQ_NOWAIT along with it.
Fixes: caf336f81b3a ("block: Add fops atomic write support")
Reported-by: Sashiko <sashiko-bot@kernel.org>
Link: https://sashiko.dev/#/patchset/20260802-blkdev-fixes-v1-0-a82fc549fd74%40columbia.edu?part=2
Assisted-by: Claude:claude-fable-5
Reviewed-by: John Garry <john.garry@linux.dev>
Signed-off-by: Tal Zussman <tz2294@columbia.edu>
---
block/bio.c | 46 ++++++++++++++++++++++++++++++----------------
block/fops.c | 12 ++++++------
2 files changed, 36 insertions(+), 22 deletions(-)
diff --git a/block/bio.c b/block/bio.c
index f95b63c0604a..dff84c0b54bd 100644
--- a/block/bio.c
+++ b/block/bio.c
@@ -1285,6 +1285,7 @@ int bio_iov_iter_get_pages(struct bio *bio, struct iov_iter *iter,
unsigned mem_align_mask, unsigned len_align_mask)
{
iov_iter_extraction_t flags = 0;
+ int ret;
if (WARN_ON_ONCE(bio_flagged(bio, BIO_CLONED)))
return -EIO;
@@ -1304,34 +1305,47 @@ int bio_iov_iter_get_pages(struct bio *bio, struct iov_iter *iter,
flags |= ITER_ALLOW_P2PDMA;
do {
- ssize_t ret;
+ ssize_t size;
- ret = iov_iter_extract_bvecs(iter, bio->bi_io_vec,
+ size = iov_iter_extract_bvecs(iter, bio->bi_io_vec,
BIO_MAX_SIZE - bio->bi_iter.bi_size,
&bio->bi_vcnt, bio->bi_max_vecs,
mem_align_mask, flags);
- if (ret <= 0) {
- /*
- * A misaligned vector fails the whole I/O. Release any
- * pages pinned by earlier iterations before returning
- * since this bio won't be submitted to release them.
- */
- if (ret == -EINVAL) {
- bio_release_pages(bio, false);
- bio_clear_flag(bio, BIO_PAGE_PINNED);
- bio->bi_vcnt = 0;
- }
+ if (size <= 0) {
+ /* A misaligned vector fails the whole I/O */
+ if (size == -EINVAL)
+ goto out_release_pages;
if (!bio->bi_vcnt)
- return ret;
+ return size;
break;
}
- bio->bi_iter.bi_size += ret;
+ bio->bi_iter.bi_size += size;
} while (iov_iter_count(iter) && !bio_full(bio, 0));
if (is_pci_p2pdma_page(bio->bi_io_vec->bv_page))
bio->bi_opf |= REQ_NOMERGE;
- return bio_iov_iter_align_down(bio, iter,
+ ret = bio_iov_iter_align_down(bio, iter,
&bio->bi_io_vec[bio->bi_vcnt - 1], len_align_mask);
+ if (ret)
+ return ret;
+
+ /*
+ * An atomic write is submitted as a single bio, so it has to cover
+ * the whole iterator or it would be torn.
+ */
+ if ((bio->bi_opf & REQ_ATOMIC) && iov_iter_count(iter))
+ goto out_release_pages;
+ return 0;
+
+out_release_pages:
+ /*
+ * Release the pages pinned so far before failing, since this bio won't
+ * be submitted to release them.
+ */
+ bio_release_pages(bio, false);
+ bio_clear_flag(bio, BIO_PAGE_PINNED);
+ bio->bi_vcnt = 0;
+ return -EINVAL;
}
static struct folio *folio_alloc_greedy(gfp_t gfp, size_t *size,
diff --git a/block/fops.c b/block/fops.c
index f61d250e49c8..d143a664c770 100644
--- a/block/fops.c
+++ b/block/fops.c
@@ -342,6 +342,12 @@ static ssize_t __blkdev_direct_IO_async(struct kiocb *iocb,
bio->bi_end_io = blkdev_bio_end_io_async;
bio->bi_ioprio = iocb->ki_ioprio;
+ if (iocb->ki_flags & IOCB_ATOMIC)
+ bio->bi_opf |= REQ_ATOMIC;
+
+ if (iocb->ki_flags & IOCB_NOWAIT)
+ bio->bi_opf |= REQ_NOWAIT;
+
/*
* Users don't rely on the iterator being in any particular
* state for async I/O returning -EIOCBQUEUED, hence we can
@@ -371,12 +377,6 @@ static ssize_t __blkdev_direct_IO_async(struct kiocb *iocb,
goto out_bio_put;
}
- if (iocb->ki_flags & IOCB_ATOMIC)
- bio->bi_opf |= REQ_ATOMIC;
-
- if (iocb->ki_flags & IOCB_NOWAIT)
- bio->bi_opf |= REQ_NOWAIT;
-
if (iocb->ki_flags & IOCB_HIPRI) {
bio->bi_opf |= REQ_POLLED;
submit_bio(bio);
--
2.39.5
next prev parent reply other threads:[~2026-09-23 23:57 UTC|newest]
Thread overview: 14+ messages / expand[flat|nested] mbox.gz Atom feed top
2026-09-23 23:56 [PATCH v5 0/9] block device fixes for large block sizes, IOCB_NOWAIT, and direct I/O Tal Zussman
2026-09-23 23:56 ` [PATCH v5 1/9] block: use iomap_dirty_folio for block devices Tal Zussman
2026-09-23 23:56 ` [PATCH v5 2/9] block: take i_rwsem for the direct I/O write fallback Tal Zussman
2026-09-23 23:56 ` [PATCH v5 3/9] block: take i_rwsem for the splice read path Tal Zussman
2026-09-23 23:56 ` [PATCH v5 4/9] block: honor IOCB_NOWAIT in the block device buffered " Tal Zussman
2026-09-23 23:56 ` Tal Zussman [this message]
2026-09-25 5:14 ` [PATCH v5 5/9] block: fail a short atomic pin in bio_iov_iter_get_pages() Hannes Reinecke
2026-09-25 13:37 ` John Garry
2026-09-23 23:56 ` [PATCH v5 6/9] block: don't fall back to buffered I/O for atomic writes Tal Zussman
2026-09-23 23:56 ` [PATCH v5 7/9] iomap: reject atomic writes in iomap_file_buffered_write() Tal Zussman
2026-09-24 7:25 ` John Garry
2026-09-25 5:14 ` Hannes Reinecke
2026-09-23 23:56 ` [PATCH v5 8/9] block: unpin all pages of a bvec in bio_iov_iter_align_down() Tal Zussman
2026-09-23 23:56 ` [PATCH v5 9/9] block: remove dead metadata handling from the async direct I/O path Tal Zussman
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=20260923-blkdev-fixes-v5-5-89e60d66eb38@columbia.edu \
--to=tz2294@columbia.edu \
--cc=axboe@kernel.dk \
--cc=brauner@kernel.org \
--cc=djwong@kernel.org \
--cc=hare@kernel.org \
--cc=hch@lst.de \
--cc=johannes.thumshirn@wdc.com \
--cc=john.garry@linux.dev \
--cc=kbusch@kernel.org \
--cc=linux-block@vger.kernel.org \
--cc=linux-fsdevel@vger.kernel.org \
--cc=linux-kernel@vger.kernel.org \
--cc=linux-xfs@vger.kernel.org \
--cc=mcgrof@kernel.org \
--cc=mkp@kernel.org \
--cc=sashiko-bot@kernel.org \
--cc=shinichiro.kawasaki@wdc.com \
--cc=willy@infradead.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
all inboxes | Powered by JetHome®