From: "J. Bruce Fields" <bfields@fieldses.org>
To: dai.ngo@oracle.com
Cc: chuck.lever@oracle.com, jlayton@redhat.com,
viro@zeniv.linux.org.uk, linux-nfs@vger.kernel.org,
linux-fsdevel@vger.kernel.org
Subject: Re: [PATCH RFC v23 1/7] NFSD: add courteous server support for thread with only delegation
Date: Fri, 29 Apr 2022 15:55:10 -0400 [thread overview]
Message-ID: <20220429195510.GH7107@fieldses.org> (raw)
In-Reply-To: <6ce5af72-52ba-7cf0-8295-7929b9b0b4a8@oracle.com>
On Fri, Apr 29, 2022 at 10:21:21AM -0700, dai.ngo@oracle.com wrote:
>
> On 4/29/22 7:55 AM, J. Bruce Fields wrote:
> >On Thu, Apr 28, 2022 at 12:06:29AM -0700, Dai Ngo wrote:
> >>This patch provides courteous server support for delegation only.
> >>Only expired client with delegation but no conflict and no open
> >>or lock state is allowed to be in COURTESY state.
> >>
> >>Delegation conflict with COURTESY/EXPIRABLE client is resolved by
> >>setting it to EXPIRABLE, queue work for the laundromat and return
> >>delay to the caller. Conflict is resolved when the laudromat runs
> >>and expires the EXIRABLE client while the NFS client retries the
> >>OPEN request. Local thread request that gets conflict is doing the
> >>retry in _break_lease.
> >>
> >>Client in COURTESY or EXPIRABLE state is allowed to reconnect and
> >>continues to have access to its state. Access to the nfs4_client by
> >>the reconnecting thread and the laundromat is serialized via the
> >>client_lock.
> >>
> >>Signed-off-by: Dai Ngo <dai.ngo@oracle.com>
> >>---
> >> fs/nfsd/nfs4state.c | 79 ++++++++++++++++++++++++++++++++++++++++++++---------
> >> fs/nfsd/nfsd.h | 1 +
> >> fs/nfsd/state.h | 29 ++++++++++++++++++++
> >> 3 files changed, 96 insertions(+), 13 deletions(-)
> >>
> >>diff --git a/fs/nfsd/nfs4state.c b/fs/nfsd/nfs4state.c
> >>index 234e852fcdfa..b84ba19c856b 100644
> >>--- a/fs/nfsd/nfs4state.c
> >>+++ b/fs/nfsd/nfs4state.c
> >>@@ -125,6 +125,8 @@ static void free_session(struct nfsd4_session *);
> >> static const struct nfsd4_callback_ops nfsd4_cb_recall_ops;
> >> static const struct nfsd4_callback_ops nfsd4_cb_notify_lock_ops;
> >>+static struct workqueue_struct *laundry_wq;
> >>+
> >> static bool is_session_dead(struct nfsd4_session *ses)
> >> {
> >> return ses->se_flags & NFS4_SESSION_DEAD;
> >>@@ -152,6 +154,7 @@ static __be32 get_client_locked(struct nfs4_client *clp)
> >> if (is_client_expired(clp))
> >> return nfserr_expired;
> >> atomic_inc(&clp->cl_rpc_users);
> >>+ clp->cl_state = NFSD4_ACTIVE;
> >> return nfs_ok;
> >> }
> >>@@ -172,6 +175,7 @@ renew_client_locked(struct nfs4_client *clp)
> >> list_move_tail(&clp->cl_lru, &nn->client_lru);
> >> clp->cl_time = ktime_get_boottime_seconds();
> >>+ clp->cl_state = NFSD4_ACTIVE;
> >> }
> >> static void put_client_renew_locked(struct nfs4_client *clp)
> >>@@ -2004,6 +2008,7 @@ static struct nfs4_client *alloc_client(struct xdr_netobj name)
> >> idr_init(&clp->cl_stateids);
> >> atomic_set(&clp->cl_rpc_users, 0);
> >> clp->cl_cb_state = NFSD4_CB_UNKNOWN;
> >>+ clp->cl_state = NFSD4_ACTIVE;
> >> INIT_LIST_HEAD(&clp->cl_idhash);
> >> INIT_LIST_HEAD(&clp->cl_openowners);
> >> INIT_LIST_HEAD(&clp->cl_delegations);
> >>@@ -4694,9 +4699,16 @@ nfsd_break_deleg_cb(struct file_lock *fl)
> >> bool ret = false;
> >> struct nfs4_delegation *dp = (struct nfs4_delegation *)fl->fl_owner;
> >> struct nfs4_file *fp = dp->dl_stid.sc_file;
> >>+ struct nfs4_client *clp = dp->dl_stid.sc_client;
> >>+ struct nfsd_net *nn;
> >> trace_nfsd_cb_recall(&dp->dl_stid);
> >>+ if (try_to_expire_client(clp)) {
> >>+ nn = net_generic(clp->net, nfsd_net_id);
> >>+ mod_delayed_work(laundry_wq, &nn->laundromat_work, 0);
> >>+ }
> >>+
> >> /*
> >> * We don't want the locks code to timeout the lease for us;
> >> * we'll remove it ourself if a delegation isn't returned
> >>@@ -5605,6 +5617,58 @@ static void nfsd4_ssc_expire_umount(struct nfsd_net *nn)
> >> }
> >> #endif
> >>+/*
> >>+ * place holder for now, no check for lock blockers yet
> >>+ */
> >>+static bool
> >>+nfs4_anylock_blockers(struct nfs4_client *clp)
> >>+{
> >>+ /*
> >>+ * don't want to check for delegation conflict here since
> >>+ * we need the state_lock for it. The laundromat willexpire
> >>+ * COURTESY later when checking for delegation recall timeout.
> >>+ */
> >>+ return false;
> >>+}
> >>+
> >>+static bool client_has_state_tmp(struct nfs4_client *clp)
> >Why the "_tmp"?
> >
> >>+{
> >>+ if (!list_empty(&clp->cl_delegations) &&
> >>+ !client_has_openowners(clp) &&
> >>+ list_empty(&clp->async_copies))
> >I would have expected
> >
> > if (!list_empty(&clp->cl_delegations) ||
> > client_has_openowners(clp) ||
> > !list_empty(&clp->async_copies))
>
> In patch 1, we want to allow *only* clients with non-conflict delegation
> to be in COURTESY state, not with opens and locks. So for that, we can not
> use the existing client_has_state (until patch 6), so I just created
> client_has_state_tmp for it.
Got it, so, I recommend just moving this logic into
nfs4_anylock_blockers instead, and replacing the call to
client_has_state_tmp() with a call to client_has_state().
The logic of nfs4_anylock_blockers() is then basically "return true if anyone
might be waiting on this client; and if the client has some class of
state that we don't handle yet, just assume it might have someone
waiting on it."
--b.
>
> -Dai
>
> >
> >?--b.
> >
> >>+ return true;
> >>+ return false;
> >>+}
> >>+
> >>+static void
> >>+nfs4_get_client_reaplist(struct nfsd_net *nn, struct list_head *reaplist,
> >>+ struct laundry_time *lt)
> >>+{
> >>+ struct list_head *pos, *next;
> >>+ struct nfs4_client *clp;
> >>+
> >>+ INIT_LIST_HEAD(reaplist);
> >>+ spin_lock(&nn->client_lock);
> >>+ list_for_each_safe(pos, next, &nn->client_lru) {
> >>+ clp = list_entry(pos, struct nfs4_client, cl_lru);
> >>+ if (clp->cl_state == NFSD4_EXPIRABLE)
> >>+ goto exp_client;
> >>+ if (!state_expired(lt, clp->cl_time))
> >>+ break;
> >>+ clp->cl_state = NFSD4_COURTESY;
> >>+ if (!client_has_state_tmp(clp) ||
> >>+ ktime_get_boottime_seconds() >=
> >>+ (clp->cl_time + NFSD_COURTESY_CLIENT_TIMEOUT))
> >>+ goto exp_client;
> >>+ if (nfs4_anylock_blockers(clp)) {
> >>+exp_client:
> >>+ if (!mark_client_expired_locked(clp))
> >>+ list_add(&clp->cl_lru, reaplist);
> >>+ }
> >>+ }
> >>+ spin_unlock(&nn->client_lock);
> >>+}
> >>+
> >> static time64_t
> >> nfs4_laundromat(struct nfsd_net *nn)
> >> {
> >>@@ -5627,7 +5691,6 @@ nfs4_laundromat(struct nfsd_net *nn)
> >> goto out;
> >> }
> >> nfsd4_end_grace(nn);
> >>- INIT_LIST_HEAD(&reaplist);
> >> spin_lock(&nn->s2s_cp_lock);
> >> idr_for_each_entry(&nn->s2s_cp_stateids, cps_t, i) {
> >>@@ -5637,17 +5700,7 @@ nfs4_laundromat(struct nfsd_net *nn)
> >> _free_cpntf_state_locked(nn, cps);
> >> }
> >> spin_unlock(&nn->s2s_cp_lock);
> >>-
> >>- spin_lock(&nn->client_lock);
> >>- list_for_each_safe(pos, next, &nn->client_lru) {
> >>- clp = list_entry(pos, struct nfs4_client, cl_lru);
> >>- if (!state_expired(<, clp->cl_time))
> >>- break;
> >>- if (mark_client_expired_locked(clp))
> >>- continue;
> >>- list_add(&clp->cl_lru, &reaplist);
> >>- }
> >>- spin_unlock(&nn->client_lock);
> >>+ nfs4_get_client_reaplist(nn, &reaplist, <);
> >> list_for_each_safe(pos, next, &reaplist) {
> >> clp = list_entry(pos, struct nfs4_client, cl_lru);
> >> trace_nfsd_clid_purged(&clp->cl_clientid);
> >>@@ -5657,6 +5710,7 @@ nfs4_laundromat(struct nfsd_net *nn)
> >> spin_lock(&state_lock);
> >> list_for_each_safe(pos, next, &nn->del_recall_lru) {
> >> dp = list_entry (pos, struct nfs4_delegation, dl_recall_lru);
> >>+ try_to_expire_client(dp->dl_stid.sc_client);
> >> if (!state_expired(<, dp->dl_time))
> >> break;
> >> WARN_ON(!unhash_delegation_locked(dp));
> >>@@ -5722,7 +5776,6 @@ nfs4_laundromat(struct nfsd_net *nn)
> >> return max_t(time64_t, lt.new_timeo, NFSD_LAUNDROMAT_MINTIMEOUT);
> >> }
> >>-static struct workqueue_struct *laundry_wq;
> >> static void laundromat_main(struct work_struct *);
> >> static void
> >>diff --git a/fs/nfsd/nfsd.h b/fs/nfsd/nfsd.h
> >>index 4fc1fd639527..23996c6ca75e 100644
> >>--- a/fs/nfsd/nfsd.h
> >>+++ b/fs/nfsd/nfsd.h
> >>@@ -336,6 +336,7 @@ void nfsd_lockd_shutdown(void);
> >> #define COMPOUND_ERR_SLACK_SPACE 16 /* OP_SETATTR */
> >> #define NFSD_LAUNDROMAT_MINTIMEOUT 1 /* seconds */
> >>+#define NFSD_COURTESY_CLIENT_TIMEOUT (24 * 60 * 60) /* seconds */
> >> /*
> >> * The following attributes are currently not supported by the NFSv4 server:
> >>diff --git a/fs/nfsd/state.h b/fs/nfsd/state.h
> >>index 95457cfd37fc..bd15f2863823 100644
> >>--- a/fs/nfsd/state.h
> >>+++ b/fs/nfsd/state.h
> >>@@ -283,6 +283,28 @@ struct nfsd4_sessionid {
> >> #define HEXDIR_LEN 33 /* hex version of 16 byte md5 of cl_name plus '\0' */
> >> /*
> >>+ * State Meaning Where set
> >>+ * --------------------------------------------------------------------------
> >>+ * | NFSD4_ACTIVE | Confirmed, active | Default |
> >>+ * |------------------- ----------------------------------------------------|
> >>+ * | NFSD4_COURTESY | Courtesy state. | nfs4_get_client_reaplist |
> >>+ * | | Lease/lock/share | |
> >>+ * | | reservation conflict | |
> >>+ * | | can cause Courtesy | |
> >>+ * | | client to be expired | |
> >>+ * |------------------------------------------------------------------------|
> >>+ * | NFSD4_EXPIRABLE | Courtesy client to be| nfs4_laundromat |
> >>+ * | | expired by Laundromat| try_to_expire_client |
> >>+ * | | due to conflict | |
> >>+ * |------------------------------------------------------------------------|
> >>+ */
> >>+enum {
> >>+ NFSD4_ACTIVE = 0,
> >>+ NFSD4_COURTESY,
> >>+ NFSD4_EXPIRABLE,
> >>+};
> >>+
> >>+/*
> >> * struct nfs4_client - one per client. Clientids live here.
> >> *
> >> * The initial object created by an NFS client using SETCLIENTID (for NFSv4.0)
> >>@@ -385,6 +407,8 @@ struct nfs4_client {
> >> struct list_head async_copies; /* list of async copies */
> >> spinlock_t async_lock; /* lock for async copies */
> >> atomic_t cl_cb_inflight; /* Outstanding callbacks */
> >>+
> >>+ unsigned int cl_state;
> >> };
> >> /* struct nfs4_client_reset
> >>@@ -702,4 +726,9 @@ extern void nfsd4_client_record_remove(struct nfs4_client *clp);
> >> extern int nfsd4_client_record_check(struct nfs4_client *clp);
> >> extern void nfsd4_record_grace_done(struct nfsd_net *nn);
> >>+static inline bool try_to_expire_client(struct nfs4_client *clp)
> >>+{
> >>+ cmpxchg(&clp->cl_state, NFSD4_COURTESY, NFSD4_EXPIRABLE);
> >>+ return clp->cl_state == NFSD4_EXPIRABLE;
> >>+}
> >> #endif /* NFSD4_STATE_H */
> >>--
> >>2.9.5
next prev parent reply other threads:[~2022-04-29 19:55 UTC|newest]
Thread overview: 25+ messages / expand[flat|nested] mbox.gz Atom feed top
2022-04-28 7:06 [PATCH RFC v23 0/7] NFSD: Initial implementation of NFSv4 Courteous Server Dai Ngo
2022-04-28 7:06 ` [PATCH RFC v23 1/7] NFSD: add courteous server support for thread with only delegation Dai Ngo
2022-04-29 14:16 ` J. Bruce Fields
2022-04-29 17:26 ` dai.ngo
2022-04-29 14:55 ` J. Bruce Fields
2022-04-29 17:21 ` dai.ngo
2022-04-29 19:55 ` J. Bruce Fields [this message]
2022-04-29 19:59 ` J. Bruce Fields
2022-04-28 7:06 ` [PATCH RFC v23 2/7] NFSD: add support for share reservation conflict to courteous server Dai Ngo
2022-04-29 14:36 ` J. Bruce Fields
2022-04-29 17:20 ` dai.ngo
2022-04-28 7:06 ` [PATCH RFC v23 3/7] NFSD: move create/destroy of laundry_wq to init_nfsd and exit_nfsd Dai Ngo
2022-04-28 7:06 ` [PATCH RFC v23 4/7] fs/lock: add helper locks_owner_has_blockers to check for blockers Dai Ngo
2022-04-28 7:06 ` [PATCH RFC v23 5/7] fs/lock: add 2 callbacks to lock_manager_operations to resolve conflict Dai Ngo
2022-04-29 15:16 ` J. Bruce Fields
2022-04-29 17:24 ` dai.ngo
2022-04-29 19:58 ` J. Bruce Fields
2022-04-30 1:18 ` J. Bruce Fields
2022-04-30 22:54 ` dai.ngo
2022-04-28 7:06 ` [PATCH RFC v23 6/7] NFSD: add support for lock conflict to courteous server Dai Ngo
2022-04-28 7:06 ` [PATCH RFC v23 7/7] NFSD: Show state of courtesy client in client info Dai Ngo
2022-04-28 15:03 ` [PATCH RFC v23 0/7] NFSD: Initial implementation of NFSv4 Courteous Server Chuck Lever III
2022-04-29 15:25 ` J. Bruce Fields
2022-04-29 16:56 ` Chuck Lever III
2022-04-29 17:40 ` dai.ngo
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=20220429195510.GH7107@fieldses.org \
--to=bfields@fieldses.org \
--cc=chuck.lever@oracle.com \
--cc=dai.ngo@oracle.com \
--cc=jlayton@redhat.com \
--cc=linux-fsdevel@vger.kernel.org \
--cc=linux-nfs@vger.kernel.org \
--cc=viro@zeniv.linux.org.uk \
/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;
as well as URLs for NNTP newsgroup(s).