[RFC PATCH v3 07/11] iomap: Add DSYNC support to RWF_WRITETHROUGH
Ojaswin Mujoo <[email protected]> Wed, 5 Aug 2026 11:58:13 +0530
| Newsgroups | gmane.linux.kernel,gmane.linux.file-systems,gmane.linux.kernel.mm |
|---|---|
| Message-ID | <a679d79b676d3a43332aba54ba25660c9ea9e1dd.1785908600.git.ojaswin@linux.ibm.com> |
Add DSYNC support to writethrough buffered writes. Unlike the usual buffered writes where we call generic_write_sync() inline during the syscall path, for writethrough we instead sync the data during IO completion path, just like dio. This allows aio writethrough to be truly async where the syscall can return after IO submission and the sync can then be done asynchronously during IO completion time. Further, just like dio, we utilize the FUA optimization, if available, to avoid syncing the data for DSYNC operations. Suggested-by: Dave Chinner <[email protected]> Co-developed-by: Ritesh Harjani (IBM) <[email protected]> Signed-off-by: Ritesh Harjani (IBM) <[email protected]> Signed-off-by: Ojaswin Mujoo <[email protected]> --- fs/iomap/buffered-io.c | 34 +++++++++++++++++++++++++++++++--- include/linux/iomap.h | 1 + 2 files changed, 32 insertions(+), 3 deletions(-) diff --git a/fs/iomap/buffered-io.c b/fs/iomap/buffered-io.c index 22e4252dff4d..d16694dd9995 100644 --- a/fs/iomap/buffered-io.c +++ b/fs/iomap/buffered-io.c @@ -1208,6 +1208,14 @@ static ssize_t iomap_writethrough_complete(struct iomap_writethrough_ctx *wt_ctx if (!ret) { ret = wt_ctx->written; iocb->ki_pos += ret; + + /* + * If this is a DSYNC write and we couldn't optimize it, make + * sure we push it to stable storage now that we've written + * data. + */ + if (iocb_is_dsync(wt_ctx->iocb) && !wt_ctx->use_fua) + ret = generic_write_sync(iocb, ret); } kfree(wt_ctx); @@ -1269,6 +1277,9 @@ iomap_writethrough_submit_bio(struct iomap_writethrough_ctx *wt_ctx, for (i = 0; i < wt_ctx->nr_bvecs; i++) len += wt_ctx->bvec[i].bv_len; + if (wt_ctx->use_fua) + opf |= REQ_FUA; + bio = bio_alloc(iomap->bdev, wt_ctx->nr_bvecs, opf, GFP_NOFS); bio->bi_iter.bi_sector = iomap_sector(iomap, wt_ctx->bio_pos); bio->bi_end_io = iomap_writethrough_bio_end_io; @@ -1405,6 +1416,19 @@ static int iomap_writethrough_iter(struct iomap_writethrough_ctx *wt_ctx, if (iter->iomap.type == IOMAP_INLINE) return -EINVAL; + /* + * If we realise that cache flush is necessary (eg FUA is not present + * or we need metadata updates) then we turn off the optimization. + */ + if (wt_ctx->use_fua) { + if (iter->iomap.type != IOMAP_MAPPED || + (iter->iomap.flags & + (IOMAP_F_NEW | IOMAP_F_SHARED | IOMAP_F_DIRTY)) || + (bdev_write_cache(iter->iomap.bdev) && + !bdev_fua(iter->iomap.bdev))) + wt_ctx->use_fua = false; + } + do { struct folio *folio; size_t offset; /* Offset into folio */ @@ -1744,9 +1768,6 @@ ssize_t iomap_file_writethrough_write(struct kiocb *iocb, struct iov_iter *i, return -EINVAL; if (iocb->ki_flags & (IOCB_DONTCACHE)) return -EINVAL; - if (iocb_is_dsync(iocb)) - /* D_SYNC support not implemented yet */ - return -EOPNOTSUPP; /* * +1 to max bvecs to account for unaligned write spanning multiple @@ -1768,6 +1789,13 @@ ssize_t iomap_file_writethrough_write(struct kiocb *iocb, struct iov_iter *i, wt_ctx->is_aio = !is_sync_kiocb(iocb); atomic_set(&wt_ctx->ref, 1); + /* + * Similar to dio, we optimistically set use_fua=true to avoid explicit + * sync. In case we later realise cache flush is needed we set it back + * to false. + */ + wt_ctx->use_fua = iocb_is_dsync(iocb) && !(iocb->ki_flags & IOCB_SYNC); + if (!wt_ctx->is_aio) wt_ctx->waiter = current; else diff --git a/include/linux/iomap.h b/include/linux/iomap.h index 7203c4d92170..ba510d02c508 100644 --- a/include/linux/iomap.h +++ b/include/linux/iomap.h @@ -573,6 +573,7 @@ struct iomap_writethrough_ctx { unsigned int flags; int error; bool is_aio; + bool use_fua; union { /* used during submission and for non-aio completion */ -- 2.55.0