From: Chuck Lever <cel@kernel.org>
To: NeilBrown <neil@brown.name>, Jeff Layton <jlayton@kernel.org>,
Olga Kornievskaia <okorniev@redhat.com>,
Dai Ngo <dai.ngo@oracle.com>, Tom Talpey <tom@talpey.com>
Cc: <linux-nfs@vger.kernel.org>, Chuck Lever <chuck.lever@oracle.com>,
Christoph Hellwig <hch@lst.de>
Subject: [PATCH v7 12/14] NFSD: Introduce struct nfsd_write_dio_seg
Date: Fri, 24 Oct 2025 10:43:04 -0400 [thread overview]
Message-ID: <20251024144306.35652-13-cel@kernel.org> (raw)
In-Reply-To: <20251024144306.35652-1-cel@kernel.org>
From: Chuck Lever <chuck.lever@oracle.com>
Passing iter arrays by reference is a little risky. Instead, pass a
struct with a fixed-size array so bounds checking can be done.
Name each item in the array a "segment", as the term "extent"
generally refers to a set of blocks on storage, not to a buffer.
Each segment is processed via a single vfs_iocb_iter_write() call,
and is either IOCB_DIRECT or buffered.
Introduce a segment constructor function so each segment is
initialized identically.
Each segment has its own length. The loop that iterates over the
segment array can simply skip over the segments of zero length.
A count of segments is not needed.
Suggested-by: Christoph Hellwig <hch@lst.de>
Signed-off-by: Chuck Lever <chuck.lever@oracle.com>
---
fs/nfsd/vfs.c | 121 ++++++++++++++++++++++++--------------------------
1 file changed, 57 insertions(+), 64 deletions(-)
diff --git a/fs/nfsd/vfs.c b/fs/nfsd/vfs.c
index 429f5fc61ead..b7f217aa4994 100644
--- a/fs/nfsd/vfs.c
+++ b/fs/nfsd/vfs.c
@@ -1254,12 +1254,15 @@ static int wait_for_concurrent_writes(struct file *file)
return err;
}
+struct nfsd_write_dio_seg {
+ struct iov_iter iter;
+ size_t len;
+ bool use_dio;
+};
+
struct nfsd_write_dio_args {
struct nfsd_file *nf;
-
- ssize_t start_len; /* Length for misaligned first extent */
- ssize_t middle_len; /* Length for DIO-aligned middle extent */
- ssize_t end_len; /* Length for misaligned last extent */
+ struct nfsd_write_dio_seg segment[3];
};
static bool
@@ -1267,21 +1270,19 @@ nfsd_is_write_dio_possible(struct nfsd_write_dio_args *args, loff_t offset,
unsigned long len)
{
const u32 dio_blocksize = args->nf->nf_dio_offset_align;
- loff_t start_end, orig_end, middle_end;
+ loff_t first_end, orig_end, middle_end;
if (unlikely(!args->nf->nf_dio_mem_align || !dio_blocksize))
return false;
if (unlikely(len < dio_blocksize))
return false;
- start_end = round_up(offset, dio_blocksize);
+ first_end = round_up(offset, dio_blocksize);
orig_end = offset + len;
middle_end = round_down(orig_end, dio_blocksize);
-
- args->start_len = start_end - offset;
- args->middle_len = middle_end - start_end;
- args->end_len = orig_end - middle_end;
-
+ args->segment[0].len = first_end - offset; /* first segment */
+ args->segment[1].len = middle_end - first_end; /* middle segment */
+ args->segment[2].len = orig_end - middle_end; /* last segment */
return true;
}
@@ -1308,47 +1309,42 @@ nfsd_iov_iter_aligned_bvec(const struct nfsd_file *nf, const struct iov_iter *i)
return true;
}
-/*
- * Setup as many as 3 iov_iter based on extents described by @write_dio.
- * Returns the number of iov_iter that were setup.
- */
-static int
-nfsd_setup_write_dio_iters(struct iov_iter **iterp, bool *iter_is_dio_aligned,
- struct bio_vec *rq_bvec, unsigned int nvecs,
- unsigned long cnt, struct nfsd_write_dio_args *args)
+static void
+nfsd_setup_write_dio_seg(struct nfsd_write_dio_seg *segment,
+ struct bio_vec *bvec, unsigned int nvecs,
+ unsigned long total, size_t start)
{
- int n_iters = 0;
- struct iov_iter *iters = *iterp;
+ iov_iter_bvec(&segment->iter, ITER_SOURCE, bvec, nvecs, total);
+ if (start)
+ iov_iter_advance(&segment->iter, start);
+ iov_iter_truncate(&segment->iter, segment->len);
+ segment->use_dio = false;
+}
- /* Setup misaligned start? */
- if (args->start_len) {
- iov_iter_bvec(&iters[n_iters], ITER_SOURCE, rq_bvec, nvecs, cnt);
- iters[n_iters].count = args->start_len;
- iter_is_dio_aligned[n_iters] = false;
- ++n_iters;
- }
+static bool
+nfsd_setup_write_dio_iters(struct nfsd_write_dio_args *args,
+ struct bio_vec *bvec, unsigned int nvecs,
+ unsigned long total)
+{
+ /* first segment */
+ if (args->segment[0].len)
+ nfsd_setup_write_dio_seg(&args->segment[0],
+ bvec, nvecs, total, 0);
- /* Setup DIO-aligned middle */
- iov_iter_bvec(&iters[n_iters], ITER_SOURCE, rq_bvec, nvecs, cnt);
- if (args->start_len)
- iov_iter_advance(&iters[n_iters], args->start_len);
- iters[n_iters].count -= args->end_len;
- iter_is_dio_aligned[n_iters] =
- nfsd_iov_iter_aligned_bvec(args->nf, &iters[n_iters]);
- if (unlikely(!iter_is_dio_aligned[n_iters]))
- return 0; /* no DIO-aligned IO possible */
- ++n_iters;
+ /* middle segment */
+ nfsd_setup_write_dio_seg(&args->segment[1], bvec, nvecs, total,
+ args->segment[0].len);
+ if (!nfsd_iov_iter_aligned_bvec(args->nf, &args->segment[1].iter))
+ return false; /* no DIO-aligned IO possible */
+ args->segment[1].use_dio = true;
- /* Setup misaligned end? */
- if (args->end_len) {
- iov_iter_bvec(&iters[n_iters], ITER_SOURCE, rq_bvec, nvecs, cnt);
- iov_iter_advance(&iters[n_iters],
- args->start_len + args->middle_len);
- iter_is_dio_aligned[n_iters] = false;
- ++n_iters;
- }
+ /* last segment */
+ if (args->segment[2].len)
+ nfsd_setup_write_dio_seg(&args->segment[2], bvec, nvecs,
+ total, args->segment[0].len +
+ args->segment[1].len);
- return n_iters;
+ return true;
}
static int
@@ -1373,36 +1369,33 @@ nfsd_issue_write_dio(struct svc_rqst *rqstp, struct svc_fh *fhp,
unsigned int nvecs, unsigned long *cnt)
{
struct file *file = args->nf->nf_file;
- bool iter_is_dio_aligned[3];
- struct iov_iter iter_stack[3];
- struct iov_iter *iter = iter_stack;
- unsigned int n_iters = 0;
- unsigned long in_count = *cnt;
- loff_t in_offset = kiocb->ki_pos;
+ struct nfsd_write_dio_seg *segment;
ssize_t host_err;
+ size_t i;
- n_iters = nfsd_setup_write_dio_iters(&iter, iter_is_dio_aligned,
- rqstp->rq_bvec, nvecs, *cnt,
- args);
- if (unlikely(!n_iters))
+ if (!nfsd_setup_write_dio_iters(args, rqstp->rq_bvec, nvecs, *cnt))
return nfsd_iocb_write(file, rqstp->rq_bvec, nvecs,
cnt, kiocb);
- trace_nfsd_write_direct(rqstp, fhp, in_offset, in_count);
-
*cnt = 0;
- for (int i = 0; i < n_iters; i++) {
- if (iter_is_dio_aligned[i])
+ segment = args->segment;
+ for (i = 0; i < ARRAY_SIZE(args->segment); i++) {
+ if (segment->len == 0)
+ continue;
+ if (segment->use_dio) {
kiocb->ki_flags |= IOCB_DIRECT;
- else
+ trace_nfsd_write_direct(rqstp, fhp, kiocb->ki_pos,
+ segment->len);
+ } else
kiocb->ki_flags &= ~IOCB_DIRECT;
- host_err = vfs_iocb_iter_write(file, kiocb, &iter[i]);
+ host_err = vfs_iocb_iter_write(file, kiocb, &segment->iter);
if (host_err < 0)
return host_err;
*cnt += host_err;
- if (host_err < iter[i].count) /* partial write? */
+ if (host_err < segment->iter.count)
break;
+ ++segment;
}
return 0;
--
2.51.0
next prev parent reply other threads:[~2025-10-24 14:43 UTC|newest]
Thread overview: 87+ messages / expand[flat|nested] mbox.gz Atom feed top
2025-10-24 14:42 [PATCH v7 00/14] NFSD: Implement NFSD_IO_DIRECT for NFS WRITE Chuck Lever
2025-10-24 14:42 ` [PATCH v7 01/14] NFSD: Make FILE_SYNC WRITEs comply with spec Chuck Lever
2025-10-24 15:21 ` Jeff Layton
2025-10-27 8:02 ` Christoph Hellwig
2025-10-24 14:42 ` [PATCH v7 02/14] NFSD: Enable return of an updated stable_how to NFS clients Chuck Lever
2025-10-27 8:03 ` Christoph Hellwig
2025-10-24 14:42 ` [PATCH v7 03/14] NFSD: Refactor nfsd_vfs_write() Chuck Lever
2025-10-27 8:04 ` Christoph Hellwig
2025-10-24 14:42 ` [PATCH v7 04/14] NFSD: Implement NFSD_IO_DIRECT for NFS WRITE Chuck Lever
2025-10-24 17:12 ` Mike Snitzer
2025-10-24 17:24 ` Chuck Lever
2025-10-26 0:03 ` kernel test robot
2025-10-26 1:16 ` kernel test robot
2025-10-24 14:42 ` [PATCH v7 05/14] NFSD: @stable for direct writes is always NFS_FILE_SYNC Chuck Lever
2025-10-24 15:22 ` Jeff Layton
2025-10-24 15:23 ` Chuck Lever
2025-10-27 8:05 ` Christoph Hellwig
2025-10-27 13:23 ` Chuck Lever
2025-10-27 13:27 ` Christoph Hellwig
2025-10-27 14:31 ` Mike Snitzer
2025-10-27 14:36 ` Christoph Hellwig
2025-10-27 14:58 ` Mike Snitzer
2025-10-27 15:04 ` Chuck Lever
2025-10-27 15:19 ` Mike Snitzer
2025-10-27 15:05 ` Christoph Hellwig
2025-10-24 14:42 ` [PATCH v7 06/14] NFSD: Always set IOCB_SYNC in direct write path Chuck Lever
2025-10-24 15:22 ` Jeff Layton
2025-10-27 8:08 ` Christoph Hellwig
2025-10-27 10:38 ` Jeff Layton
2025-10-27 10:40 ` Christoph Hellwig
2025-10-24 14:42 ` [PATCH v7 07/14] NFSD: Remove specific error handling Chuck Lever
2025-10-24 15:22 ` Jeff Layton
2025-10-24 14:43 ` [PATCH v7 08/14] NFSD: Remove alignment size checking Chuck Lever
2025-10-24 15:22 ` Jeff Layton
2025-10-27 8:09 ` Christoph Hellwig
2025-10-27 13:25 ` Chuck Lever
2025-10-27 13:30 ` Christoph Hellwig
2025-10-24 14:43 ` [PATCH v7 09/14] NFSD: Remove the len_mask check Chuck Lever
2025-10-24 15:23 ` Jeff Layton
2025-10-24 17:16 ` Mike Snitzer
2025-10-24 17:22 ` Chuck Lever
2025-10-24 14:43 ` [PATCH v7 10/14] NFSD: Clean up synopsis of nfsd_iov_iter_aligned_bvec() Chuck Lever
2025-10-24 15:24 ` Jeff Layton
2025-10-24 14:43 ` [PATCH v7 11/14] NFSD: Clean up struct nfsd_write_dio Chuck Lever
2025-10-24 15:26 ` Jeff Layton
2025-10-24 17:20 ` Mike Snitzer
2025-10-24 14:43 ` Chuck Lever [this message]
2025-10-24 15:30 ` [PATCH v7 12/14] NFSD: Introduce struct nfsd_write_dio_seg Jeff Layton
2025-10-24 15:37 ` Chuck Lever
2025-10-24 17:57 ` Mike Snitzer
2025-10-24 14:43 ` [PATCH v7 13/14] NFSD: Clean up direct write fall back error flow Chuck Lever
2025-10-24 15:32 ` Jeff Layton
2025-10-24 18:01 ` Mike Snitzer
2025-10-24 14:43 ` [PATCH v7 14/14] NFSD: Initialize separate ki_flags Chuck Lever
2025-10-24 15:34 ` Jeff Layton
2025-10-24 18:13 ` Mike Snitzer
2025-10-24 19:34 ` Chuck Lever
2025-10-24 20:37 ` Mike Snitzer
2025-10-24 21:16 ` Chuck Lever
2025-10-24 23:56 ` Mike Snitzer
2025-10-27 8:15 ` Christoph Hellwig
2025-10-27 10:50 ` Jeff Layton
2025-10-27 10:55 ` Christoph Hellwig
2025-10-27 13:48 ` Chuck Lever
2025-10-27 13:49 ` Christoph Hellwig
2025-10-27 16:18 ` Mike Snitzer
2025-10-27 16:59 ` Mike Snitzer
2025-10-29 7:20 ` Christoph Hellwig
2025-10-27 16:05 ` Mike Snitzer
2025-10-27 17:57 ` Chuck Lever
2025-10-28 3:26 ` Mike Snitzer
2025-10-28 15:37 ` Chuck Lever
2025-10-28 16:04 ` Mike Snitzer
2025-10-28 18:48 ` Chuck Lever
2025-10-28 23:56 ` Mike Snitzer
2025-10-29 15:22 ` Chuck Lever
2025-10-29 16:54 ` Mike Snitzer
2025-10-29 7:37 ` Christoph Hellwig
2025-10-29 7:32 ` Christoph Hellwig
2025-10-29 7:25 ` Christoph Hellwig
2025-10-27 8:14 ` Christoph Hellwig
2025-10-27 8:12 ` Christoph Hellwig
2025-10-27 13:27 ` Chuck Lever
2025-10-27 13:30 ` Chuck Lever
2025-10-27 13:31 ` Christoph Hellwig
2025-10-27 14:11 ` Chuck Lever
2025-10-27 14:45 ` Christoph Hellwig
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=20251024144306.35652-13-cel@kernel.org \
--to=cel@kernel.org \
--cc=chuck.lever@oracle.com \
--cc=dai.ngo@oracle.com \
--cc=hch@lst.de \
--cc=jlayton@kernel.org \
--cc=linux-nfs@vger.kernel.org \
--cc=neil@brown.name \
--cc=okorniev@redhat.com \
--cc=tom@talpey.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 an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.