From: "Anna Schumaker" <anna@kernel.org>
To: "Benjamin Coddington" <ben.coddington@hammerspace.com>,
"Trond Myklebust" <trondmy@kernel.org>
Cc: linux-nfs@vger.kernel.org,
"Jonathan Curley" <jcurley@purestorage.com>,
"Mike Snitzer" <snitzer@kernel.org>,
"Jeff Layton" <jlayton@kernel.org>,
"Junrui Luo" <moonafterrain@outlook.com>
Subject: Re: [PATCH v4 17/24] pNFS: Add deviceid reference query and collection walkers
Date: Tue, 15 Sep 2026 13:29:44 -0400 [thread overview]
Message-ID: <44832269-c734-4734-8e53-2ca7c846d1cc@app.fastmail.com> (raw)
In-Reply-To: <657aa7a3a78899efdaedb0acfd9ad17d075d133a.1789474702.git.bcodding@hammerspace.com>
On Tue, Sep 15, 2026, at 8:22 AM, Benjamin Coddington wrote:
> The CB_NOTIFY_DEVICEID DELETE race recovery (RFC 8881 Section
> 18.40.4) needs to ask whether any live layout still references a
> deviceID, and to enumerate those layouts for TEST_STATEID. Add a
> layout_references_deviceid hook (sibling of reresolve_deviceid; the
> flexfiles implementation memcmps each mirror stripe's decoded devid,
> valid independent of the pinned device node) and two walkers over
> the byserver pattern:
>
> - pnfs_layout_deviceid_referenced_byclid(): boolean existence query,
> early-stopping, entirely under i_lock.
> - pnfs_layout_collect_deviceid_refs(): collects each matching layout
> with the hdr pinned, the inode grabbed with its superblock active
> (a pinned hdr does not hold its inode -- same discipline as the
> bulk-destroy walker), and the layout stateid and cred snapshotted
> under i_lock, so the caller can issue sleeping RPCs against the
> collection.
>
> The collection walker pins each matching header with a plain
> pnfs_get_layout_hdr(), which cannot resurrect a dying header because
> the walker holds i_lock and has checked NFS_I()->layout == lo.
> pnfs_put_layout_hdr() drops the last reference under i_lock --
> refcount_dec_and_lock() only decrements one to zero once it holds the
> lock -- and clears NFS_I()->layout in that same critical section,
> before it unlocks and frees. So a header still installed on its inode
> cannot have reached a zero refcount.
>
> That argument deliberately does not rest on NFS_LAYOUT_INVALID_STID.
> A header can reach its final put while still valid: a full
> LAYOUTRETURN ends in pnfs_layoutreturn_free_lsegs(), which resets the
> layout stateid rather than invalidating it, and that is the ordinary
> end of life for a return-on-close layout. The validity check the
> walkers do apply is a policy filter, not a lifetime guarantee.
>
> Because pnfs_put_layout_hdr() can send a layoutreturn and sleep, a
> header pinned for a layout whose inode can no longer be grabbed is put
> after the RCU read-side critical section, not within it.
>
> Both ways the walk can end early report it. A GFP_ATOMIC allocation
> failure aborts with -ENOMEM, and an inode that can no longer be
> grabbed -- igrab() fails from I_FREEING on, while the layout may still
> be valid and still name the deviceID -- aborts with -EAGAIN. Either
> way the caller is told the collection is partial instead of receiving
> a short list it would read as "no references".
>
> No callers yet; no behavior change.
>
> Assisted-by: Claude:claude-fable-5
> Signed-off-by: Benjamin Coddington <bcodding@hammerspace.com>
> ---
> fs/nfs/flexfilelayout/flexfilelayout.c | 17 +++
> fs/nfs/pnfs.c | 164 +++++++++++++++++++++++++
> fs/nfs/pnfs.h | 29 +++++
> 3 files changed, 210 insertions(+)
>
> diff --git a/fs/nfs/flexfilelayout/flexfilelayout.c
> b/fs/nfs/flexfilelayout/flexfilelayout.c
> index 9caf4b3b45ae..12b7be95a9c3 100644
> --- a/fs/nfs/flexfilelayout/flexfilelayout.c
> +++ b/fs/nfs/flexfilelayout/flexfilelayout.c
> @@ -2527,6 +2527,22 @@ static void ff_layout_cancel_io(struct
> pnfs_layout_segment *lseg)
> }
> }
>
> +/* Called under @lo's inode i_lock. */
> +static bool ff_layout_references_deviceid(struct pnfs_layout_hdr *lo,
> + const struct nfs4_deviceid *id)
> +{
> + struct nfs4_flexfile_layout *flo = FF_LAYOUT_FROM_HDR(lo);
> + struct nfs4_ff_layout_mirror *mirror;
> + u32 dss_id;
> +
> + list_for_each_entry(mirror, &flo->mirrors, mirrors)
> + for (dss_id = 0; dss_id < mirror->dss_count; dss_id++)
> + if (memcmp(&mirror->dss[dss_id].devid, id,
> + sizeof(*id)) == 0)
> + return true;
> + return false;
> +}
> +
> /*
> * Un-pin every stripe node resolved from @id: in-flight I/O drains on
> the
> * old node through its own reference, the next I/O re-resolves.
> @@ -3155,6 +3171,7 @@ static struct pnfs_layoutdriver_type
> flexfilelayout_type = {
> .get_ds_info = ff_layout_get_ds_info,
> .free_deviceid_node = ff_layout_free_deviceid_node,
> .reresolve_deviceid = ff_layout_reresolve_deviceid,
> + .layout_references_deviceid = ff_layout_references_deviceid,
> .read_pagelist = ff_layout_read_pagelist,
> .write_pagelist = ff_layout_write_pagelist,
> .alloc_deviceid_node = ff_layout_alloc_deviceid_node,
> diff --git a/fs/nfs/pnfs.c b/fs/nfs/pnfs.c
> index d9a181ed1eae..5ddc57b7db57 100644
> --- a/fs/nfs/pnfs.c
> +++ b/fs/nfs/pnfs.c
> @@ -2937,6 +2937,170 @@ pnfs_layout_reresolve_deviceid_byclid(struct
> nfs_client *clp,
> }
> }
>
> +struct pnfs_deviceid_ref_args {
> + const struct pnfs_layoutdriver_type *ld;
> + const struct nfs4_deviceid *devid;
> + struct list_head *result;
> + bool found;
> +};
> +
> +static int pnfs_layout_deviceid_referenced_byserver(
> + struct nfs_server *server, void *data)
> +{
> + struct pnfs_deviceid_ref_args *args = data;
> + struct pnfs_layout_hdr *lo;
> + struct inode *inode;
> +
> + if (server->pnfs_curr_ld != args->ld)
> + return 0;
> +
> + rcu_read_lock();
> + list_for_each_entry_rcu(lo, &server->layouts, plh_layouts) {
> + inode = lo->plh_inode;
> + if (!inode)
> + continue;
> + spin_lock(&inode->i_lock);
> + if (NFS_I(inode)->layout == lo && pnfs_layout_is_valid(lo) &&
> + args->ld->layout_references_deviceid(lo, args->devid))
> + args->found = true;
> + spin_unlock(&inode->i_lock);
> + if (args->found)
> + break;
> + }
> + rcu_read_unlock();
> + return args->found;
> +}
> +
> +/*
> + * pnfs_layout_deviceid_referenced_byclid - does any live layout of
> + * @clp's servers using @ld still reference deviceid @devid?
> + */
> +bool
> +pnfs_layout_deviceid_referenced_byclid(struct nfs_client *clp,
> + const struct pnfs_layoutdriver_type *ld,
> + const struct nfs4_deviceid *devid)
> +{
> + struct pnfs_deviceid_ref_args args = {
> + .ld = ld,
> + .devid = devid,
> + };
I like how this looks much better. Thanks for changing it!
Anna
> +
> + if (!ld->layout_references_deviceid)
> + return false;
> +
> + nfs_client_for_each_server(clp,
> + pnfs_layout_deviceid_referenced_byserver, &args);
> + return args.found;
> +}
> +
> +static int pnfs_layout_collect_deviceid_refs_byserver(
> + struct nfs_server *server, void *data)
> +{
> + struct pnfs_deviceid_ref_args *args = data;
> + struct nfs4_deviceid_ref *ref, *tmp;
> + struct pnfs_layout_hdr *lo;
> + struct inode *inode;
> + LIST_HEAD(putme);
> + bool matched;
> + int ret = 0;
> +
> + if (server->pnfs_curr_ld != args->ld)
> + return 0;
> +
> + rcu_read_lock();
> + list_for_each_entry_rcu(lo, &server->layouts, plh_layouts) {
> + inode = lo->plh_inode;
> + if (!inode)
> + continue;
> +
> + spin_lock(&inode->i_lock);
> + matched = NFS_I(inode)->layout == lo &&
> + pnfs_layout_is_valid(lo) &&
> + args->ld->layout_references_deviceid(lo, args->devid);
> + if (!matched) {
> + spin_unlock(&inode->i_lock);
> + continue;
> + }
> + ref = kzalloc_obj(*ref, GFP_ATOMIC);
> + if (!ref) {
> + spin_unlock(&inode->i_lock);
> + ret = -ENOMEM;
> + break;
> + }
> + /* NFS_I()->layout == lo under i_lock means the refcount has
> + * not reached zero: pnfs_put_layout_hdr() decrements to zero
> + * and detaches in the same critical section.
> + */
> + pnfs_get_layout_hdr(lo);
> + ref->lo = lo;
> + nfs4_stateid_copy(&ref->stateid, &lo->plh_stateid);
> + ref->cred = get_cred(lo->plh_lc_cred);
> + spin_unlock(&inode->i_lock);
> +
> + /* the pinned hdr does not hold the inode: grab it (and
> + * keep the superblock active) for use across RPCs
> + */
> + ref->inode = nfs_igrab_and_active(inode);
> + if (!ref->inode) {
> + /* The layout may still name the deviceID, so report a
> + * partial list rather than silently shortening it.
> + * Defer the put: it can layoutreturn and sleep.
> + */
> + list_add(&ref->node, &putme);
> + ret = -EAGAIN;
> + break;
> + }
> + list_add_tail(&ref->node, args->result);
> + }
> + rcu_read_unlock();
> +
> + list_for_each_entry_safe(ref, tmp, &putme, node) {
> + list_del(&ref->node);
> + pnfs_put_layout_hdr(ref->lo);
> + put_cred(ref->cred);
> + kfree(ref);
> + }
> + return ret;
> +}
> +
> +/*
> + * Collect @clp's layouts referencing @devid onto @result as entries usable
> + * across sleeping RPCs; release with pnfs_layout_put_deviceid_refs().
> + * A negative return means @result is only a partial set.
> + */
> +int
> +pnfs_layout_collect_deviceid_refs(struct nfs_client *clp,
> + const struct pnfs_layoutdriver_type *ld,
> + const struct nfs4_deviceid *devid,
> + struct list_head *result)
> +{
> + struct pnfs_deviceid_ref_args args = {
> + .ld = ld,
> + .devid = devid,
> + .result = result,
> + };
> +
> + if (!ld->layout_references_deviceid)
> + return 0;
> +
> + return nfs_client_for_each_server(clp,
> + pnfs_layout_collect_deviceid_refs_byserver, &args);
> +}
> +
> +void
> +pnfs_layout_put_deviceid_refs(struct list_head *result)
> +{
> + struct nfs4_deviceid_ref *ref, *tmp;
> +
> + list_for_each_entry_safe(ref, tmp, result, node) {
> + list_del(&ref->node);
> + put_cred(ref->cred);
> + pnfs_put_layout_hdr(ref->lo);
> + nfs_iput_and_deactive(ref->inode);
> + kfree(ref);
> + }
> +}
> +
> /* Check if we have we have a valid layout but if there isn't an intersection
> * between the request and the pgio->pg_lseg, put this pgio->pg_lseg away.
> */
> diff --git a/fs/nfs/pnfs.h b/fs/nfs/pnfs.h
> index 9a5b8070f595..8dd892d875e3 100644
> --- a/fs/nfs/pnfs.h
> +++ b/fs/nfs/pnfs.h
> @@ -184,6 +184,12 @@ struct pnfs_layoutdriver_type {
> const struct nfs4_deviceid *id,
> bool immediate,
> struct list_head *put_list);
> + /*
> + * Does @lo hold any reference to deviceid @id? Called under
> + * @lo's inode i_lock; must not sleep.
> + */
> + bool (*layout_references_deviceid)(struct pnfs_layout_hdr *lo,
> + const struct nfs4_deviceid *id);
>
> int (*prepare_layoutreturn) (struct nfs4_layoutreturn_args *);
>
> @@ -371,6 +377,29 @@ void pnfs_layout_reresolve_deviceid_byclid(struct
> nfs_client *clp,
> const struct pnfs_layoutdriver_type *ld,
> const struct nfs4_deviceid *devid,
> bool immediate);
> +bool pnfs_layout_deviceid_referenced_byclid(struct nfs_client *clp,
> + const struct pnfs_layoutdriver_type *ld,
> + const struct nfs4_deviceid *devid);
> +
> +/*
> + * One live layout referencing a deviceID, collected for the
> + * CB_NOTIFY_DEVICEID DELETE recovery: the hdr is pinned, the inode
> + * igrab'd with its superblock active, and the layout stateid and
> + * cred snapshotted for TEST_STATEID.
> + */
> +struct nfs4_deviceid_ref {
> + struct list_head node;
> + struct pnfs_layout_hdr *lo;
> + struct inode *inode;
> + nfs4_stateid stateid;
> + const struct cred *cred;
> +};
> +
> +int pnfs_layout_collect_deviceid_refs(struct nfs_client *clp,
> + const struct pnfs_layoutdriver_type *ld,
> + const struct nfs4_deviceid *devid,
> + struct list_head *result);
> +void pnfs_layout_put_deviceid_refs(struct list_head *result);
> int pnfs_layout_handle_reboot(struct nfs_client *clp);
>
> /* nfs4_deviceid_flags */
> --
> 2.53.0
next prev parent reply other threads:[~2026-09-15 17:30 UTC|newest]
Thread overview: 26+ messages / expand[flat|nested] mbox.gz Atom feed top
2026-09-15 12:22 [PATCH v4 00/24] NFS: flexfiles device notifications and caching for wide striped layouts Benjamin Coddington
2026-09-15 12:22 ` [PATCH v4 01/24] NFSv4/pnfs: Free the netid when draining a data-server address list Benjamin Coddington
2026-09-15 12:22 ` [PATCH v4 02/24] NFSv4/flexfiles: Use the full 64-bit stripe_unit Benjamin Coddington
2026-09-15 12:22 ` [PATCH v4 03/24] NFSv4/pnfs: bound the CB_NOTIFY_DEVICEID array count before allocating Benjamin Coddington
2026-09-15 12:22 ` [PATCH v4 04/24] pNFS: Fix CB_NOTIFY_DEVICEID CHANGE to consume ndc_immediate Benjamin Coddington
2026-09-15 12:22 ` [PATCH v4 05/24] NFSv4/flexfiles: Use the full 64-bit offset for read DS selection Benjamin Coddington
2026-09-15 12:22 ` [PATCH v4 06/24] NFSv4/flexfiles: Bound page coalescing on the absolute stripe offset Benjamin Coddington
2026-09-15 12:22 ` [PATCH v4 07/24] NFSv4/filelayout: Anchor page coalescing on pattern_offset Benjamin Coddington
2026-09-15 12:22 ` [PATCH v4 08/24] NFSv4/flexfiles: Reference the device node across DS setup Benjamin Coddington
2026-09-15 12:22 ` [PATCH v4 09/24] NFSv4/flexfiles: Carry the device node reference across each I/O Benjamin Coddington
2026-09-15 12:22 ` [PATCH v4 10/24] NFSv4/flexfiles: Hold a device node reference for layoutstats encoding Benjamin Coddington
2026-09-15 12:22 ` [PATCH v4 11/24] NFSv4/flexfiles: Make the pinned device node pointer RCU-managed Benjamin Coddington
2026-09-15 12:22 ` [PATCH v4 12/24] pNFS: Add a reresolve_deviceid layout driver hook Benjamin Coddington
2026-09-15 12:22 ` [PATCH v4 13/24] NFSv4/flexfiles: Implement in-place device re-resolve on CHANGE Benjamin Coddington
2026-09-15 12:22 ` [PATCH v4 14/24] NFSv4: Dispatch CB_NOTIFY_DEVICEID CHANGE to an in-place refresh Benjamin Coddington
2026-09-15 12:22 ` [PATCH v4 15/24] NFSv4/flexfiles: Honor ndc_immediate on CB_NOTIFY_DEVICEID CHANGE Benjamin Coddington
2026-09-15 12:22 ` [PATCH v4 16/24] pNFS: Discard a GETDEVICEINFO reply that raced a CHANGE notification Benjamin Coddington
2026-09-15 12:22 ` [PATCH v4 17/24] pNFS: Add deviceid reference query and collection walkers Benjamin Coddington
2026-09-15 17:29 ` Anna Schumaker [this message]
2026-09-15 12:22 ` [PATCH v4 18/24] NFSv4/pnfs: Recover revoked layouts on a deleted deviceID Benjamin Coddington
2026-09-15 12:22 ` [PATCH v4 19/24] NFSv4/pnfs: Confirm a deviceID delete via GETDEVICEINFO Benjamin Coddington
2026-09-15 12:22 ` [PATCH v4 20/24] NFSv4/pnfs: Dispatch CB_NOTIFY_DEVICEID DELETE to race recovery Benjamin Coddington
2026-09-15 12:22 ` [PATCH v4 21/24] NFSv4/pnfs: Grow the deviceid cache hash table Benjamin Coddington
2026-09-15 12:22 ` [PATCH v4 22/24] NFSv4/pnfs: Re-home the data-server cache onto hash buckets Benjamin Coddington
2026-09-15 12:22 ` [PATCH v4 23/24] NFSv4/pnfs: Key the data-server cache by its address set and version Benjamin Coddington
2026-09-15 12:22 ` [PATCH v4 24/24] NFSv4/flexfiles: Add a dataserver_nconnect cap Benjamin Coddington
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=44832269-c734-4734-8e53-2ca7c846d1cc@app.fastmail.com \
--to=anna@kernel.org \
--cc=ben.coddington@hammerspace.com \
--cc=jcurley@purestorage.com \
--cc=jlayton@kernel.org \
--cc=linux-nfs@vger.kernel.org \
--cc=moonafterrain@outlook.com \
--cc=snitzer@kernel.org \
--cc=trondmy@kernel.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