Re: [PATCH v11 21/25] xfs: Simplify xfs_attr_node_addname

[Allison Collins <allison.henderson@xxxxxxxxxx>]

On 7/21/20 4:41 PM, Darrick J. Wong wrote:
> On Mon, Jul 20, 2020 at 05:16:02PM -0700, Allison Collins wrote:
> > Invert the rename logic in xfs_attr_node_addname to simplify the
> > delayed attr logic later.
> >
> > Signed-off-by: Allison Collins <allison.henderson@xxxxxxxxxx>
> > Reviewed-by: Brian Foster <bfoster@xxxxxxxxxx>
>
> Looks ok, diff is dumb :(
> Reviewed-by: Darrick J. Wong <darrick.wong@xxxxxxxxxx>
Yeah, a lot of times a graphical viewer makes this much easier to look 
at.  Thanks for the review!

Allison
> --D
>
> > ---
> >   fs/xfs/libxfs/xfs_attr.c | 125 +++++++++++++++++++++++------------------------
> >   1 file changed, 61 insertions(+), 64 deletions(-)
> >
> > diff --git a/fs/xfs/libxfs/xfs_attr.c b/fs/xfs/libxfs/xfs_attr.c
> > index ca1e851..e618b09 100644
> > --- a/fs/xfs/libxfs/xfs_attr.c
> > +++ b/fs/xfs/libxfs/xfs_attr.c
> > @@ -1030,80 +1030,77 @@ xfs_attr_node_addname(
> >   			return error;
> >   	}
> >   
> > -	/*
> > -	 * If this is an atomic rename operation, we must "flip" the
> > -	 * incomplete flags on the "new" and "old" attribute/value pairs
> > -	 * so that one disappears and one appears atomically.  Then we
> > -	 * must remove the "old" attribute/value pair.
> > -	 */
> > -	if (args->op_flags & XFS_DA_OP_RENAME) {
> > -		/*
> > -		 * In a separate transaction, set the incomplete flag on the
> > -		 * "old" attr and clear the incomplete flag on the "new" attr.
> > -		 */
> > -		error = xfs_attr3_leaf_flipflags(args);
> > -		if (error)
> > -			goto out;
> > +	if (!(args->op_flags & XFS_DA_OP_RENAME)) {
> >   		/*
> > -		 * Commit the flag value change and start the next trans in
> > -		 * series
> > +		 * Added a "remote" value, just clear the incomplete flag.
> >   		 */
> > -		error = xfs_trans_roll_inode(&args->trans, args->dp);
> > -		if (error)
> > -			goto out;
> > +		if (args->rmtblkno > 0)
> > +			error = xfs_attr3_leaf_clearflag(args);
> > +		retval = error;
> > +		goto out;
> > +	}
> >   
> > -		/*
> > -		 * Dismantle the "old" attribute/value pair by removing
> > -		 * a "remote" value (if it exists).
> > -		 */
> > -		xfs_attr_restore_rmt_blk(args);
> > +	/*
> > +	 * If this is an atomic rename operation, we must "flip" the incomplete
> > +	 * flags on the "new" and "old" attribute/value pairs so that one
> > +	 * disappears and one appears atomically.  Then we must remove the "old"
> > +	 * attribute/value pair.
> > +	 *
> > +	 * In a separate transaction, set the incomplete flag on the "old" attr
> > +	 * and clear the incomplete flag on the "new" attr.
> > +	 */
> > +	error = xfs_attr3_leaf_flipflags(args);
> > +	if (error)
> > +		goto out;
> > +	/*
> > +	 * Commit the flag value change and start the next trans in series
> > +	 */
> > +	error = xfs_trans_roll_inode(&args->trans, args->dp);
> > +	if (error)
> > +		goto out;
> >   
> > -		if (args->rmtblkno) {
> > -			error = xfs_attr_rmtval_invalidate(args);
> > -			if (error)
> > -				return error;
> > +	/*
> > +	 * Dismantle the "old" attribute/value pair by removing a "remote" value
> > +	 * (if it exists).
> > +	 */
> > +	xfs_attr_restore_rmt_blk(args);
> >   
> > -			error = xfs_attr_rmtval_remove(args);
> > -			if (error)
> > -				return error;
> > -		}
> > +	if (args->rmtblkno) {
> > +		error = xfs_attr_rmtval_invalidate(args);
> > +		if (error)
> > +			return error;
> >   
> > -		/*
> > -		 * Re-find the "old" attribute entry after any split ops.
> > -		 * The INCOMPLETE flag means that we will find the "old"
> > -		 * attr, not the "new" one.
> > -		 */
> > -		args->attr_filter |= XFS_ATTR_INCOMPLETE;
> > -		state = xfs_da_state_alloc();
> > -		state->args = args;
> > -		state->mp = mp;
> > -		state->inleaf = 0;
> > -		error = xfs_da3_node_lookup_int(state, &retval);
> > +		error = xfs_attr_rmtval_remove(args);
> >   		if (error)
> > -			goto out;
> > +			return error;
> > +	}
> >   
> > -		/*
> > -		 * Remove the name and update the hashvals in the tree.
> > -		 */
> > -		blk = &state->path.blk[ state->path.active-1 ];
> > -		ASSERT(blk->magic == XFS_ATTR_LEAF_MAGIC);
> > -		error = xfs_attr3_leaf_remove(blk->bp, args);
> > -		xfs_da3_fixhashpath(state, &state->path);
> > +	/*
> > +	 * Re-find the "old" attribute entry after any split ops. The INCOMPLETE
> > +	 * flag means that we will find the "old" attr, not the "new" one.
> > +	 */
> > +	args->attr_filter |= XFS_ATTR_INCOMPLETE;
> > +	state = xfs_da_state_alloc();
> > +	state->args = args;
> > +	state->mp = mp;
> > +	state->inleaf = 0;
> > +	error = xfs_da3_node_lookup_int(state, &retval);
> > +	if (error)
> > +		goto out;
> >   
> > -		/*
> > -		 * Check to see if the tree needs to be collapsed.
> > -		 */
> > -		if (retval && (state->path.active > 1)) {
> > -			error = xfs_da3_join(state);
> > -			if (error)
> > -				goto out;
> > -		}
> > +	/*
> > +	 * Remove the name and update the hashvals in the tree.
> > +	 */
> > +	blk = &state->path.blk[state->path.active-1];
> > +	ASSERT(blk->magic == XFS_ATTR_LEAF_MAGIC);
> > +	error = xfs_attr3_leaf_remove(blk->bp, args);
> > +	xfs_da3_fixhashpath(state, &state->path);
> >   
> > -	} else if (args->rmtblkno > 0) {
> > -		/*
> > -		 * Added a "remote" value, just clear the incomplete flag.
> > -		 */
> > -		error = xfs_attr3_leaf_clearflag(args);
> > +	/*
> > +	 * Check to see if the tree needs to be collapsed.
> > +	 */
> > +	if (retval && (state->path.active > 1)) {
> > +		error = xfs_da3_join(state);
> >   		if (error)
> >   			goto out;
> >   	}
> > --
> > 2.7.4