2018-03-27 21:12:11

by Trond Myklebust

[permalink] [raw]
Subject: [PATCH] NFSv4.1: Fix exclusive create

When we use EXCLUSIVE4_1 mode, the server returns an attribute mask where
all the bits indicate which attributes were set, and where the verifier
was stored. In order to figure out which attribute we have to resend,
we need to clear out the attributes that are set in exclcreat_bitmask.

Signed-off-by: Trond Myklebust <[email protected]>
---
Should this be a stable patch?

fs/nfs/nfs4proc.c | 46 ++++++++++++++++++++++++++++++----------------
1 file changed, 30 insertions(+), 16 deletions(-)

diff --git a/fs/nfs/nfs4proc.c b/fs/nfs/nfs4proc.c
index 6933109fa30f..f73587f0fc57 100644
--- a/fs/nfs/nfs4proc.c
+++ b/fs/nfs/nfs4proc.c
@@ -2750,27 +2750,37 @@ static int nfs41_open_expired(struct nfs4_state_owner *sp, struct nfs4_state *st
* fields corresponding to attributes that were used to store the verifier.
* Make sure we clobber those fields in the later setattr call
*/
-static inline void nfs4_exclusive_attrset(struct nfs4_opendata *opendata,
+static unsigned nfs4_exclusive_attrset(struct nfs4_opendata *opendata,
struct iattr *sattr, struct nfs4_label **label)
{
- const u32 *attrset = opendata->o_res.attrset;
+ const __u32 *bitmask = opendata->o_arg.server->exclcreat_bitmask;
+ __u32 attrset[3];
+ unsigned ret = 0;
+ unsigned i;

- if ((attrset[1] & FATTR4_WORD1_TIME_ACCESS) &&
- !(sattr->ia_valid & ATTR_ATIME_SET))
- sattr->ia_valid |= ATTR_ATIME;
+ for (i = 0; i < ARRAY_SIZE(attrset); i++) {
+ attrset[i] = opendata->o_res.attrset[i];
+ if (opendata->o_arg.createmode == NFS4_CREATE_EXCLUSIVE4_1)
+ attrset[i] &= ~bitmask[i];
+ }

- if ((attrset[1] & FATTR4_WORD1_TIME_MODIFY) &&
- !(sattr->ia_valid & ATTR_MTIME_SET))
- sattr->ia_valid |= ATTR_MTIME;
+ if ((attrset[1] & (FATTR4_WORD1_TIME_ACCESS|FATTR4_WORD1_TIME_ACCESS_SET))) {
+ if (sattr->ia_valid & ATTR_ATIME_SET)
+ ret |= ATTR_ATIME_SET;
+ else
+ ret |= ATTR_ATIME;
+ }

- /* Except MODE, it seems harmless of setting twice. */
- if (opendata->o_arg.createmode != NFS4_CREATE_EXCLUSIVE &&
- (attrset[1] & FATTR4_WORD1_MODE ||
- attrset[2] & FATTR4_WORD2_MODE_UMASK))
- sattr->ia_valid &= ~ATTR_MODE;
+ if ((attrset[1] & (FATTR4_WORD1_TIME_MODIFY|FATTR4_WORD1_TIME_MODIFY_SET))) {
+ if (sattr->ia_valid & ATTR_MTIME_SET)
+ ret |= ATTR_MTIME_SET;
+ else
+ ret |= ATTR_MTIME;
+ }

- if (attrset[2] & FATTR4_WORD2_SECURITY_LABEL)
+ if (!(attrset[2] & FATTR4_WORD2_SECURITY_LABEL))
*label = NULL;
+ return ret;
}

static int _nfs4_open_and_get_state(struct nfs4_opendata *opendata,
@@ -2899,12 +2909,15 @@ static int _nfs4_do_open(struct inode *dir,

if ((opendata->o_arg.open_flags & (O_CREAT|O_EXCL)) == (O_CREAT|O_EXCL) &&
(opendata->o_arg.createmode != NFS4_CREATE_GUARDED)) {
- nfs4_exclusive_attrset(opendata, sattr, &label);
+ unsigned attrs = nfs4_exclusive_attrset(opendata, sattr, &label);
/*
* send create attributes which was not set by open
* with an extra setattr.
*/
- if (sattr->ia_valid & NFS4_VALID_ATTRS) {
+ if (attrs || label) {
+ unsigned ia_old = sattr->ia_valid;
+
+ sattr->ia_valid = attrs;
nfs_fattr_init(opendata->o_res.f_attr);
status = nfs4_do_setattr(state->inode, cred,
opendata->o_res.f_attr, sattr,
@@ -2914,6 +2927,7 @@ static int _nfs4_do_open(struct inode *dir,
opendata->o_res.f_attr);
nfs_setsecurity(state->inode, opendata->o_res.f_attr, olabel);
}
+ sattr->ia_valid = ia_old;
}
}
if (opened && opendata->file_created)
--
2.14.3



2018-03-28 19:24:14

by Anna Schumaker

[permalink] [raw]
Subject: Re: [PATCH] NFSv4.1: Fix exclusive create

Hi Trond,

On 03/27/2018 05:11 PM, Trond Myklebust wrote:
> When we use EXCLUSIVE4_1 mode, the server returns an attribute mask where
> all the bits indicate which attributes were set, and where the verifier
> was stored. In order to figure out which attribute we have to resend,
> we need to clear out the attributes that are set in exclcreat_bitmask.

I'm not able to run cthon generic tests after applying this patch:

GENERAL TESTS: directory /nfs/general
if test ! -x runtests; then chmod a+x runtests; fi
cd /nfs/general; rm -f Makefile runtests runtests.wrk *.sh *.c mkdummy rmdummy nroff.in makefile.tst
cp Makefile runtests runtests.wrk *.sh *.c mkdummy rmdummy nroff.in makefile.tst /nfs/general
sh: runtests.wrk: Permission denied
general tests failed

Anna

>
> Signed-off-by: Trond Myklebust <[email protected]>
> ---
> Should this be a stable patch?
>
> fs/nfs/nfs4proc.c | 46 ++++++++++++++++++++++++++++++----------------
> 1 file changed, 30 insertions(+), 16 deletions(-)
>
> diff --git a/fs/nfs/nfs4proc.c b/fs/nfs/nfs4proc.c
> index 6933109fa30f..f73587f0fc57 100644
> --- a/fs/nfs/nfs4proc.c
> +++ b/fs/nfs/nfs4proc.c
> @@ -2750,27 +2750,37 @@ static int nfs41_open_expired(struct nfs4_state_owner *sp, struct nfs4_state *st
> * fields corresponding to attributes that were used to store the verifier.
> * Make sure we clobber those fields in the later setattr call
> */
> -static inline void nfs4_exclusive_attrset(struct nfs4_opendata *opendata,
> +static unsigned nfs4_exclusive_attrset(struct nfs4_opendata *opendata,
> struct iattr *sattr, struct nfs4_label **label)
> {
> - const u32 *attrset = opendata->o_res.attrset;
> + const __u32 *bitmask = opendata->o_arg.server->exclcreat_bitmask;
> + __u32 attrset[3];
> + unsigned ret = 0;
> + unsigned i;
>
> - if ((attrset[1] & FATTR4_WORD1_TIME_ACCESS) &&
> - !(sattr->ia_valid & ATTR_ATIME_SET))
> - sattr->ia_valid |= ATTR_ATIME;
> + for (i = 0; i < ARRAY_SIZE(attrset); i++) {
> + attrset[i] = opendata->o_res.attrset[i];
> + if (opendata->o_arg.createmode == NFS4_CREATE_EXCLUSIVE4_1)
> + attrset[i] &= ~bitmask[i];
> + }
>
> - if ((attrset[1] & FATTR4_WORD1_TIME_MODIFY) &&
> - !(sattr->ia_valid & ATTR_MTIME_SET))
> - sattr->ia_valid |= ATTR_MTIME;
> + if ((attrset[1] & (FATTR4_WORD1_TIME_ACCESS|FATTR4_WORD1_TIME_ACCESS_SET))) {
> + if (sattr->ia_valid & ATTR_ATIME_SET)
> + ret |= ATTR_ATIME_SET;
> + else
> + ret |= ATTR_ATIME;
> + }
>
> - /* Except MODE, it seems harmless of setting twice. */
> - if (opendata->o_arg.createmode != NFS4_CREATE_EXCLUSIVE &&
> - (attrset[1] & FATTR4_WORD1_MODE ||
> - attrset[2] & FATTR4_WORD2_MODE_UMASK))
> - sattr->ia_valid &= ~ATTR_MODE;
> + if ((attrset[1] & (FATTR4_WORD1_TIME_MODIFY|FATTR4_WORD1_TIME_MODIFY_SET))) {
> + if (sattr->ia_valid & ATTR_MTIME_SET)
> + ret |= ATTR_MTIME_SET;
> + else
> + ret |= ATTR_MTIME;
> + }
>
> - if (attrset[2] & FATTR4_WORD2_SECURITY_LABEL)
> + if (!(attrset[2] & FATTR4_WORD2_SECURITY_LABEL))
> *label = NULL;
> + return ret;
> }
>
> static int _nfs4_open_and_get_state(struct nfs4_opendata *opendata,
> @@ -2899,12 +2909,15 @@ static int _nfs4_do_open(struct inode *dir,
>
> if ((opendata->o_arg.open_flags & (O_CREAT|O_EXCL)) == (O_CREAT|O_EXCL) &&
> (opendata->o_arg.createmode != NFS4_CREATE_GUARDED)) {
> - nfs4_exclusive_attrset(opendata, sattr, &label);
> + unsigned attrs = nfs4_exclusive_attrset(opendata, sattr, &label);
> /*
> * send create attributes which was not set by open
> * with an extra setattr.
> */
> - if (sattr->ia_valid & NFS4_VALID_ATTRS) {
> + if (attrs || label) {
> + unsigned ia_old = sattr->ia_valid;
> +
> + sattr->ia_valid = attrs;
> nfs_fattr_init(opendata->o_res.f_attr);
> status = nfs4_do_setattr(state->inode, cred,
> opendata->o_res.f_attr, sattr,
> @@ -2914,6 +2927,7 @@ static int _nfs4_do_open(struct inode *dir,
> opendata->o_res.f_attr);
> nfs_setsecurity(state->inode, opendata->o_res.f_attr, olabel);
> }
> + sattr->ia_valid = ia_old;
> }
> }
> if (opened && opendata->file_created)
>