xref: /openbmc/linux/fs/xfs/libxfs/xfs_attr.c (revision e7f127b2)
1 // SPDX-License-Identifier: GPL-2.0
2 /*
3  * Copyright (c) 2000-2005 Silicon Graphics, Inc.
4  * All Rights Reserved.
5  */
6 #include "xfs.h"
7 #include "xfs_fs.h"
8 #include "xfs_shared.h"
9 #include "xfs_format.h"
10 #include "xfs_log_format.h"
11 #include "xfs_trans_resv.h"
12 #include "xfs_mount.h"
13 #include "xfs_defer.h"
14 #include "xfs_da_format.h"
15 #include "xfs_da_btree.h"
16 #include "xfs_attr_sf.h"
17 #include "xfs_inode.h"
18 #include "xfs_trans.h"
19 #include "xfs_bmap.h"
20 #include "xfs_bmap_btree.h"
21 #include "xfs_attr.h"
22 #include "xfs_attr_leaf.h"
23 #include "xfs_attr_remote.h"
24 #include "xfs_quota.h"
25 #include "xfs_trans_space.h"
26 #include "xfs_trace.h"
27 
28 /*
29  * xfs_attr.c
30  *
31  * Provide the external interfaces to manage attribute lists.
32  */
33 
34 /*========================================================================
35  * Function prototypes for the kernel.
36  *========================================================================*/
37 
38 /*
39  * Internal routines when attribute list fits inside the inode.
40  */
41 STATIC int xfs_attr_shortform_addname(xfs_da_args_t *args);
42 
43 /*
44  * Internal routines when attribute list is one block.
45  */
46 STATIC int xfs_attr_leaf_get(xfs_da_args_t *args);
47 STATIC int xfs_attr_leaf_removename(xfs_da_args_t *args);
48 STATIC int xfs_attr_leaf_hasname(struct xfs_da_args *args, struct xfs_buf **bp);
49 STATIC int xfs_attr_leaf_try_add(struct xfs_da_args *args, struct xfs_buf *bp);
50 
51 /*
52  * Internal routines when attribute list is more than one block.
53  */
54 STATIC int xfs_attr_node_get(xfs_da_args_t *args);
55 STATIC void xfs_attr_restore_rmt_blk(struct xfs_da_args *args);
56 STATIC int xfs_attr_node_addname(struct xfs_delattr_context *dac);
57 STATIC int xfs_attr_node_addname_find_attr(struct xfs_delattr_context *dac);
58 STATIC int xfs_attr_node_addname_clear_incomplete(
59 				struct xfs_delattr_context *dac);
60 STATIC int xfs_attr_node_hasname(xfs_da_args_t *args,
61 				 struct xfs_da_state **state);
62 STATIC int xfs_attr_fillstate(xfs_da_state_t *state);
63 STATIC int xfs_attr_refillstate(xfs_da_state_t *state);
64 STATIC int xfs_attr_set_iter(struct xfs_delattr_context *dac,
65 			     struct xfs_buf **leaf_bp);
66 STATIC int xfs_attr_node_removename(struct xfs_da_args *args,
67 				    struct xfs_da_state *state);
68 
69 int
70 xfs_inode_hasattr(
71 	struct xfs_inode	*ip)
72 {
73 	if (!XFS_IFORK_Q(ip) ||
74 	    (ip->i_afp->if_format == XFS_DINODE_FMT_EXTENTS &&
75 	     ip->i_afp->if_nextents == 0))
76 		return 0;
77 	return 1;
78 }
79 
80 /*
81  * Returns true if the there is exactly only block in the attr fork, in which
82  * case the attribute fork consists of a single leaf block entry.
83  */
84 bool
85 xfs_attr_is_leaf(
86 	struct xfs_inode	*ip)
87 {
88 	struct xfs_ifork	*ifp = ip->i_afp;
89 	struct xfs_iext_cursor	icur;
90 	struct xfs_bmbt_irec	imap;
91 
92 	if (ifp->if_nextents != 1 || ifp->if_format != XFS_DINODE_FMT_EXTENTS)
93 		return false;
94 
95 	xfs_iext_first(ifp, &icur);
96 	xfs_iext_get_extent(ifp, &icur, &imap);
97 	return imap.br_startoff == 0 && imap.br_blockcount == 1;
98 }
99 
100 /*========================================================================
101  * Overall external interface routines.
102  *========================================================================*/
103 
104 /*
105  * Retrieve an extended attribute and its value.  Must have ilock.
106  * Returns 0 on successful retrieval, otherwise an error.
107  */
108 int
109 xfs_attr_get_ilocked(
110 	struct xfs_da_args	*args)
111 {
112 	ASSERT(xfs_isilocked(args->dp, XFS_ILOCK_SHARED | XFS_ILOCK_EXCL));
113 
114 	if (!xfs_inode_hasattr(args->dp))
115 		return -ENOATTR;
116 
117 	if (args->dp->i_afp->if_format == XFS_DINODE_FMT_LOCAL)
118 		return xfs_attr_shortform_getvalue(args);
119 	if (xfs_attr_is_leaf(args->dp))
120 		return xfs_attr_leaf_get(args);
121 	return xfs_attr_node_get(args);
122 }
123 
124 /*
125  * Retrieve an extended attribute by name, and its value if requested.
126  *
127  * If args->valuelen is zero, then the caller does not want the value, just an
128  * indication whether the attribute exists and the size of the value if it
129  * exists. The size is returned in args.valuelen.
130  *
131  * If args->value is NULL but args->valuelen is non-zero, allocate the buffer
132  * for the value after existence of the attribute has been determined. The
133  * caller always has to free args->value if it is set, no matter if this
134  * function was successful or not.
135  *
136  * If the attribute is found, but exceeds the size limit set by the caller in
137  * args->valuelen, return -ERANGE with the size of the attribute that was found
138  * in args->valuelen.
139  */
140 int
141 xfs_attr_get(
142 	struct xfs_da_args	*args)
143 {
144 	uint			lock_mode;
145 	int			error;
146 
147 	XFS_STATS_INC(args->dp->i_mount, xs_attr_get);
148 
149 	if (xfs_is_shutdown(args->dp->i_mount))
150 		return -EIO;
151 
152 	args->geo = args->dp->i_mount->m_attr_geo;
153 	args->whichfork = XFS_ATTR_FORK;
154 	args->hashval = xfs_da_hashname(args->name, args->namelen);
155 
156 	/* Entirely possible to look up a name which doesn't exist */
157 	args->op_flags = XFS_DA_OP_OKNOENT;
158 
159 	lock_mode = xfs_ilock_attr_map_shared(args->dp);
160 	error = xfs_attr_get_ilocked(args);
161 	xfs_iunlock(args->dp, lock_mode);
162 
163 	return error;
164 }
165 
166 /*
167  * Calculate how many blocks we need for the new attribute,
168  */
169 STATIC int
170 xfs_attr_calc_size(
171 	struct xfs_da_args	*args,
172 	int			*local)
173 {
174 	struct xfs_mount	*mp = args->dp->i_mount;
175 	int			size;
176 	int			nblks;
177 
178 	/*
179 	 * Determine space new attribute will use, and if it would be
180 	 * "local" or "remote" (note: local != inline).
181 	 */
182 	size = xfs_attr_leaf_newentsize(args, local);
183 	nblks = XFS_DAENTER_SPACE_RES(mp, XFS_ATTR_FORK);
184 	if (*local) {
185 		if (size > (args->geo->blksize / 2)) {
186 			/* Double split possible */
187 			nblks *= 2;
188 		}
189 	} else {
190 		/*
191 		 * Out of line attribute, cannot double split, but
192 		 * make room for the attribute value itself.
193 		 */
194 		uint	dblocks = xfs_attr3_rmt_blocks(mp, args->valuelen);
195 		nblks += dblocks;
196 		nblks += XFS_NEXTENTADD_SPACE_RES(mp, dblocks, XFS_ATTR_FORK);
197 	}
198 
199 	return nblks;
200 }
201 
202 STATIC int
203 xfs_attr_try_sf_addname(
204 	struct xfs_inode	*dp,
205 	struct xfs_da_args	*args)
206 {
207 
208 	int			error;
209 
210 	/*
211 	 * Build initial attribute list (if required).
212 	 */
213 	if (dp->i_afp->if_format == XFS_DINODE_FMT_EXTENTS)
214 		xfs_attr_shortform_create(args);
215 
216 	error = xfs_attr_shortform_addname(args);
217 	if (error == -ENOSPC)
218 		return error;
219 
220 	/*
221 	 * Commit the shortform mods, and we're done.
222 	 * NOTE: this is also the error path (EEXIST, etc).
223 	 */
224 	if (!error && !(args->op_flags & XFS_DA_OP_NOTIME))
225 		xfs_trans_ichgtime(args->trans, dp, XFS_ICHGTIME_CHG);
226 
227 	if (xfs_has_wsync(dp->i_mount))
228 		xfs_trans_set_sync(args->trans);
229 
230 	return error;
231 }
232 
233 /*
234  * Check to see if the attr should be upgraded from non-existent or shortform to
235  * single-leaf-block attribute list.
236  */
237 static inline bool
238 xfs_attr_is_shortform(
239 	struct xfs_inode    *ip)
240 {
241 	return ip->i_afp->if_format == XFS_DINODE_FMT_LOCAL ||
242 	       (ip->i_afp->if_format == XFS_DINODE_FMT_EXTENTS &&
243 		ip->i_afp->if_nextents == 0);
244 }
245 
246 /*
247  * Checks to see if a delayed attribute transaction should be rolled.  If so,
248  * transaction is finished or rolled as needed.
249  */
250 STATIC int
251 xfs_attr_trans_roll(
252 	struct xfs_delattr_context	*dac)
253 {
254 	struct xfs_da_args		*args = dac->da_args;
255 	int				error;
256 
257 	if (dac->flags & XFS_DAC_DEFER_FINISH) {
258 		/*
259 		 * The caller wants us to finish all the deferred ops so that we
260 		 * avoid pinning the log tail with a large number of deferred
261 		 * ops.
262 		 */
263 		dac->flags &= ~XFS_DAC_DEFER_FINISH;
264 		error = xfs_defer_finish(&args->trans);
265 	} else
266 		error = xfs_trans_roll_inode(&args->trans, args->dp);
267 
268 	return error;
269 }
270 
271 /*
272  * Set the attribute specified in @args.
273  */
274 int
275 xfs_attr_set_args(
276 	struct xfs_da_args		*args)
277 {
278 	struct xfs_buf			*leaf_bp = NULL;
279 	int				error = 0;
280 	struct xfs_delattr_context	dac = {
281 		.da_args	= args,
282 	};
283 
284 	do {
285 		error = xfs_attr_set_iter(&dac, &leaf_bp);
286 		if (error != -EAGAIN)
287 			break;
288 
289 		error = xfs_attr_trans_roll(&dac);
290 		if (error) {
291 			if (leaf_bp)
292 				xfs_trans_brelse(args->trans, leaf_bp);
293 			return error;
294 		}
295 	} while (true);
296 
297 	return error;
298 }
299 
300 STATIC int
301 xfs_attr_sf_addname(
302 	struct xfs_delattr_context	*dac,
303 	struct xfs_buf			**leaf_bp)
304 {
305 	struct xfs_da_args		*args = dac->da_args;
306 	struct xfs_inode		*dp = args->dp;
307 	int				error = 0;
308 
309 	/*
310 	 * Try to add the attr to the attribute list in the inode.
311 	 */
312 	error = xfs_attr_try_sf_addname(dp, args);
313 
314 	/* Should only be 0, -EEXIST or -ENOSPC */
315 	if (error != -ENOSPC)
316 		return error;
317 
318 	/*
319 	 * It won't fit in the shortform, transform to a leaf block.  GROT:
320 	 * another possible req'mt for a double-split btree op.
321 	 */
322 	error = xfs_attr_shortform_to_leaf(args, leaf_bp);
323 	if (error)
324 		return error;
325 
326 	/*
327 	 * Prevent the leaf buffer from being unlocked so that a concurrent AIL
328 	 * push cannot grab the half-baked leaf buffer and run into problems
329 	 * with the write verifier.
330 	 */
331 	xfs_trans_bhold(args->trans, *leaf_bp);
332 
333 	/*
334 	 * We're still in XFS_DAS_UNINIT state here.  We've converted
335 	 * the attr fork to leaf format and will restart with the leaf
336 	 * add.
337 	 */
338 	trace_xfs_attr_sf_addname_return(XFS_DAS_UNINIT, args->dp);
339 	dac->flags |= XFS_DAC_DEFER_FINISH;
340 	return -EAGAIN;
341 }
342 
343 /*
344  * Set the attribute specified in @args.
345  * This routine is meant to function as a delayed operation, and may return
346  * -EAGAIN when the transaction needs to be rolled.  Calling functions will need
347  * to handle this, and recall the function until a successful error code is
348  * returned.
349  */
350 int
351 xfs_attr_set_iter(
352 	struct xfs_delattr_context	*dac,
353 	struct xfs_buf			**leaf_bp)
354 {
355 	struct xfs_da_args              *args = dac->da_args;
356 	struct xfs_inode		*dp = args->dp;
357 	struct xfs_buf			*bp = NULL;
358 	int				forkoff, error = 0;
359 
360 	/* State machine switch */
361 	switch (dac->dela_state) {
362 	case XFS_DAS_UNINIT:
363 		/*
364 		 * If the fork is shortform, attempt to add the attr. If there
365 		 * is no space, this converts to leaf format and returns
366 		 * -EAGAIN with the leaf buffer held across the roll. The caller
367 		 * will deal with a transaction roll error, but otherwise
368 		 * release the hold once we return with a clean transaction.
369 		 */
370 		if (xfs_attr_is_shortform(dp))
371 			return xfs_attr_sf_addname(dac, leaf_bp);
372 		if (*leaf_bp != NULL) {
373 			xfs_trans_bhold_release(args->trans, *leaf_bp);
374 			*leaf_bp = NULL;
375 		}
376 
377 		if (xfs_attr_is_leaf(dp)) {
378 			error = xfs_attr_leaf_try_add(args, *leaf_bp);
379 			if (error == -ENOSPC) {
380 				error = xfs_attr3_leaf_to_node(args);
381 				if (error)
382 					return error;
383 
384 				/*
385 				 * Finish any deferred work items and roll the
386 				 * transaction once more.  The goal here is to
387 				 * call node_addname with the inode and
388 				 * transaction in the same state (inode locked
389 				 * and joined, transaction clean) no matter how
390 				 * we got to this step.
391 				 *
392 				 * At this point, we are still in
393 				 * XFS_DAS_UNINIT, but when we come back, we'll
394 				 * be a node, so we'll fall down into the node
395 				 * handling code below
396 				 */
397 				dac->flags |= XFS_DAC_DEFER_FINISH;
398 				trace_xfs_attr_set_iter_return(
399 					dac->dela_state, args->dp);
400 				return -EAGAIN;
401 			} else if (error) {
402 				return error;
403 			}
404 
405 			dac->dela_state = XFS_DAS_FOUND_LBLK;
406 		} else {
407 			error = xfs_attr_node_addname_find_attr(dac);
408 			if (error)
409 				return error;
410 
411 			error = xfs_attr_node_addname(dac);
412 			if (error)
413 				return error;
414 
415 			dac->dela_state = XFS_DAS_FOUND_NBLK;
416 		}
417 		trace_xfs_attr_set_iter_return(dac->dela_state,	args->dp);
418 		return -EAGAIN;
419 	case XFS_DAS_FOUND_LBLK:
420 		/*
421 		 * If there was an out-of-line value, allocate the blocks we
422 		 * identified for its storage and copy the value.  This is done
423 		 * after we create the attribute so that we don't overflow the
424 		 * maximum size of a transaction and/or hit a deadlock.
425 		 */
426 
427 		/* Open coded xfs_attr_rmtval_set without trans handling */
428 		if ((dac->flags & XFS_DAC_LEAF_ADDNAME_INIT) == 0) {
429 			dac->flags |= XFS_DAC_LEAF_ADDNAME_INIT;
430 			if (args->rmtblkno > 0) {
431 				error = xfs_attr_rmtval_find_space(dac);
432 				if (error)
433 					return error;
434 			}
435 		}
436 
437 		/*
438 		 * Repeat allocating remote blocks for the attr value until
439 		 * blkcnt drops to zero.
440 		 */
441 		if (dac->blkcnt > 0) {
442 			error = xfs_attr_rmtval_set_blk(dac);
443 			if (error)
444 				return error;
445 			trace_xfs_attr_set_iter_return(dac->dela_state,
446 						       args->dp);
447 			return -EAGAIN;
448 		}
449 
450 		error = xfs_attr_rmtval_set_value(args);
451 		if (error)
452 			return error;
453 
454 		/*
455 		 * If this is not a rename, clear the incomplete flag and we're
456 		 * done.
457 		 */
458 		if (!(args->op_flags & XFS_DA_OP_RENAME)) {
459 			if (args->rmtblkno > 0)
460 				error = xfs_attr3_leaf_clearflag(args);
461 			return error;
462 		}
463 
464 		/*
465 		 * If this is an atomic rename operation, we must "flip" the
466 		 * incomplete flags on the "new" and "old" attribute/value pairs
467 		 * so that one disappears and one appears atomically.  Then we
468 		 * must remove the "old" attribute/value pair.
469 		 *
470 		 * In a separate transaction, set the incomplete flag on the
471 		 * "old" attr and clear the incomplete flag on the "new" attr.
472 		 */
473 		error = xfs_attr3_leaf_flipflags(args);
474 		if (error)
475 			return error;
476 		/*
477 		 * Commit the flag value change and start the next trans in
478 		 * series.
479 		 */
480 		dac->dela_state = XFS_DAS_FLIP_LFLAG;
481 		trace_xfs_attr_set_iter_return(dac->dela_state, args->dp);
482 		return -EAGAIN;
483 	case XFS_DAS_FLIP_LFLAG:
484 		/*
485 		 * Dismantle the "old" attribute/value pair by removing a
486 		 * "remote" value (if it exists).
487 		 */
488 		xfs_attr_restore_rmt_blk(args);
489 		error = xfs_attr_rmtval_invalidate(args);
490 		if (error)
491 			return error;
492 
493 		fallthrough;
494 	case XFS_DAS_RM_LBLK:
495 		/* Set state in case xfs_attr_rmtval_remove returns -EAGAIN */
496 		dac->dela_state = XFS_DAS_RM_LBLK;
497 		if (args->rmtblkno) {
498 			error = xfs_attr_rmtval_remove(dac);
499 			if (error == -EAGAIN)
500 				trace_xfs_attr_set_iter_return(
501 					dac->dela_state, args->dp);
502 			if (error)
503 				return error;
504 
505 			dac->dela_state = XFS_DAS_RD_LEAF;
506 			trace_xfs_attr_set_iter_return(dac->dela_state, args->dp);
507 			return -EAGAIN;
508 		}
509 
510 		fallthrough;
511 	case XFS_DAS_RD_LEAF:
512 		/*
513 		 * This is the last step for leaf format. Read the block with
514 		 * the old attr, remove the old attr, check for shortform
515 		 * conversion and return.
516 		 */
517 		error = xfs_attr3_leaf_read(args->trans, args->dp, args->blkno,
518 					   &bp);
519 		if (error)
520 			return error;
521 
522 		xfs_attr3_leaf_remove(bp, args);
523 
524 		forkoff = xfs_attr_shortform_allfit(bp, dp);
525 		if (forkoff)
526 			error = xfs_attr3_leaf_to_shortform(bp, args, forkoff);
527 			/* bp is gone due to xfs_da_shrink_inode */
528 
529 		return error;
530 
531 	case XFS_DAS_FOUND_NBLK:
532 		/*
533 		 * Find space for remote blocks and fall into the allocation
534 		 * state.
535 		 */
536 		if (args->rmtblkno > 0) {
537 			error = xfs_attr_rmtval_find_space(dac);
538 			if (error)
539 				return error;
540 		}
541 
542 		fallthrough;
543 	case XFS_DAS_ALLOC_NODE:
544 		/*
545 		 * If there was an out-of-line value, allocate the blocks we
546 		 * identified for its storage and copy the value.  This is done
547 		 * after we create the attribute so that we don't overflow the
548 		 * maximum size of a transaction and/or hit a deadlock.
549 		 */
550 		dac->dela_state = XFS_DAS_ALLOC_NODE;
551 		if (args->rmtblkno > 0) {
552 			if (dac->blkcnt > 0) {
553 				error = xfs_attr_rmtval_set_blk(dac);
554 				if (error)
555 					return error;
556 				trace_xfs_attr_set_iter_return(
557 					dac->dela_state, args->dp);
558 				return -EAGAIN;
559 			}
560 
561 			error = xfs_attr_rmtval_set_value(args);
562 			if (error)
563 				return error;
564 		}
565 
566 		/*
567 		 * If this was not a rename, clear the incomplete flag and we're
568 		 * done.
569 		 */
570 		if (!(args->op_flags & XFS_DA_OP_RENAME)) {
571 			if (args->rmtblkno > 0)
572 				error = xfs_attr3_leaf_clearflag(args);
573 			goto out;
574 		}
575 
576 		/*
577 		 * If this is an atomic rename operation, we must "flip" the
578 		 * incomplete flags on the "new" and "old" attribute/value pairs
579 		 * so that one disappears and one appears atomically.  Then we
580 		 * must remove the "old" attribute/value pair.
581 		 *
582 		 * In a separate transaction, set the incomplete flag on the
583 		 * "old" attr and clear the incomplete flag on the "new" attr.
584 		 */
585 		error = xfs_attr3_leaf_flipflags(args);
586 		if (error)
587 			goto out;
588 		/*
589 		 * Commit the flag value change and start the next trans in
590 		 * series
591 		 */
592 		dac->dela_state = XFS_DAS_FLIP_NFLAG;
593 		trace_xfs_attr_set_iter_return(dac->dela_state, args->dp);
594 		return -EAGAIN;
595 
596 	case XFS_DAS_FLIP_NFLAG:
597 		/*
598 		 * Dismantle the "old" attribute/value pair by removing a
599 		 * "remote" value (if it exists).
600 		 */
601 		xfs_attr_restore_rmt_blk(args);
602 
603 		error = xfs_attr_rmtval_invalidate(args);
604 		if (error)
605 			return error;
606 
607 		fallthrough;
608 	case XFS_DAS_RM_NBLK:
609 		/* Set state in case xfs_attr_rmtval_remove returns -EAGAIN */
610 		dac->dela_state = XFS_DAS_RM_NBLK;
611 		if (args->rmtblkno) {
612 			error = xfs_attr_rmtval_remove(dac);
613 			if (error == -EAGAIN)
614 				trace_xfs_attr_set_iter_return(
615 					dac->dela_state, args->dp);
616 
617 			if (error)
618 				return error;
619 
620 			dac->dela_state = XFS_DAS_CLR_FLAG;
621 			trace_xfs_attr_set_iter_return(dac->dela_state, args->dp);
622 			return -EAGAIN;
623 		}
624 
625 		fallthrough;
626 	case XFS_DAS_CLR_FLAG:
627 		/*
628 		 * The last state for node format. Look up the old attr and
629 		 * remove it.
630 		 */
631 		error = xfs_attr_node_addname_clear_incomplete(dac);
632 		break;
633 	default:
634 		ASSERT(0);
635 		break;
636 	}
637 out:
638 	return error;
639 }
640 
641 
642 /*
643  * Return EEXIST if attr is found, or ENOATTR if not
644  */
645 static int
646 xfs_attr_lookup(
647 	struct xfs_da_args	*args)
648 {
649 	struct xfs_inode	*dp = args->dp;
650 	struct xfs_buf		*bp = NULL;
651 	int			error;
652 
653 	if (!xfs_inode_hasattr(dp))
654 		return -ENOATTR;
655 
656 	if (dp->i_afp->if_format == XFS_DINODE_FMT_LOCAL)
657 		return xfs_attr_sf_findname(args, NULL, NULL);
658 
659 	if (xfs_attr_is_leaf(dp)) {
660 		error = xfs_attr_leaf_hasname(args, &bp);
661 
662 		if (bp)
663 			xfs_trans_brelse(args->trans, bp);
664 
665 		return error;
666 	}
667 
668 	return xfs_attr_node_hasname(args, NULL);
669 }
670 
671 /*
672  * Remove the attribute specified in @args.
673  */
674 int
675 xfs_attr_remove_args(
676 	struct xfs_da_args	*args)
677 {
678 	int				error;
679 	struct xfs_delattr_context	dac = {
680 		.da_args	= args,
681 	};
682 
683 	do {
684 		error = xfs_attr_remove_iter(&dac);
685 		if (error != -EAGAIN)
686 			break;
687 
688 		error = xfs_attr_trans_roll(&dac);
689 		if (error)
690 			return error;
691 
692 	} while (true);
693 
694 	return error;
695 }
696 
697 /*
698  * Note: If args->value is NULL the attribute will be removed, just like the
699  * Linux ->setattr API.
700  */
701 int
702 xfs_attr_set(
703 	struct xfs_da_args	*args)
704 {
705 	struct xfs_inode	*dp = args->dp;
706 	struct xfs_mount	*mp = dp->i_mount;
707 	struct xfs_trans_res	tres;
708 	bool			rsvd = (args->attr_filter & XFS_ATTR_ROOT);
709 	int			error, local;
710 	int			rmt_blks = 0;
711 	unsigned int		total;
712 
713 	if (xfs_is_shutdown(dp->i_mount))
714 		return -EIO;
715 
716 	error = xfs_qm_dqattach(dp);
717 	if (error)
718 		return error;
719 
720 	args->geo = mp->m_attr_geo;
721 	args->whichfork = XFS_ATTR_FORK;
722 	args->hashval = xfs_da_hashname(args->name, args->namelen);
723 
724 	/*
725 	 * We have no control over the attribute names that userspace passes us
726 	 * to remove, so we have to allow the name lookup prior to attribute
727 	 * removal to fail as well.
728 	 */
729 	args->op_flags = XFS_DA_OP_OKNOENT;
730 
731 	if (args->value) {
732 		XFS_STATS_INC(mp, xs_attr_set);
733 
734 		args->op_flags |= XFS_DA_OP_ADDNAME;
735 		args->total = xfs_attr_calc_size(args, &local);
736 
737 		/*
738 		 * If the inode doesn't have an attribute fork, add one.
739 		 * (inode must not be locked when we call this routine)
740 		 */
741 		if (XFS_IFORK_Q(dp) == 0) {
742 			int sf_size = sizeof(struct xfs_attr_sf_hdr) +
743 				xfs_attr_sf_entsize_byname(args->namelen,
744 						args->valuelen);
745 
746 			error = xfs_bmap_add_attrfork(dp, sf_size, rsvd);
747 			if (error)
748 				return error;
749 		}
750 
751 		tres.tr_logres = M_RES(mp)->tr_attrsetm.tr_logres +
752 				 M_RES(mp)->tr_attrsetrt.tr_logres *
753 					args->total;
754 		tres.tr_logcount = XFS_ATTRSET_LOG_COUNT;
755 		tres.tr_logflags = XFS_TRANS_PERM_LOG_RES;
756 		total = args->total;
757 
758 		if (!local)
759 			rmt_blks = xfs_attr3_rmt_blocks(mp, args->valuelen);
760 	} else {
761 		XFS_STATS_INC(mp, xs_attr_remove);
762 
763 		tres = M_RES(mp)->tr_attrrm;
764 		total = XFS_ATTRRM_SPACE_RES(mp);
765 		rmt_blks = xfs_attr3_rmt_blocks(mp, XFS_XATTR_SIZE_MAX);
766 	}
767 
768 	/*
769 	 * Root fork attributes can use reserved data blocks for this
770 	 * operation if necessary
771 	 */
772 	error = xfs_trans_alloc_inode(dp, &tres, total, 0, rsvd, &args->trans);
773 	if (error)
774 		return error;
775 
776 	if (args->value || xfs_inode_hasattr(dp)) {
777 		error = xfs_iext_count_may_overflow(dp, XFS_ATTR_FORK,
778 				XFS_IEXT_ATTR_MANIP_CNT(rmt_blks));
779 		if (error)
780 			goto out_trans_cancel;
781 	}
782 
783 	error = xfs_attr_lookup(args);
784 	if (args->value) {
785 		if (error == -EEXIST && (args->attr_flags & XATTR_CREATE))
786 			goto out_trans_cancel;
787 		if (error == -ENOATTR && (args->attr_flags & XATTR_REPLACE))
788 			goto out_trans_cancel;
789 		if (error != -ENOATTR && error != -EEXIST)
790 			goto out_trans_cancel;
791 
792 		error = xfs_attr_set_args(args);
793 		if (error)
794 			goto out_trans_cancel;
795 		/* shortform attribute has already been committed */
796 		if (!args->trans)
797 			goto out_unlock;
798 	} else {
799 		if (error != -EEXIST)
800 			goto out_trans_cancel;
801 
802 		error = xfs_attr_remove_args(args);
803 		if (error)
804 			goto out_trans_cancel;
805 	}
806 
807 	/*
808 	 * If this is a synchronous mount, make sure that the
809 	 * transaction goes to disk before returning to the user.
810 	 */
811 	if (xfs_has_wsync(mp))
812 		xfs_trans_set_sync(args->trans);
813 
814 	if (!(args->op_flags & XFS_DA_OP_NOTIME))
815 		xfs_trans_ichgtime(args->trans, dp, XFS_ICHGTIME_CHG);
816 
817 	/*
818 	 * Commit the last in the sequence of transactions.
819 	 */
820 	xfs_trans_log_inode(args->trans, dp, XFS_ILOG_CORE);
821 	error = xfs_trans_commit(args->trans);
822 out_unlock:
823 	xfs_iunlock(dp, XFS_ILOCK_EXCL);
824 	return error;
825 
826 out_trans_cancel:
827 	if (args->trans)
828 		xfs_trans_cancel(args->trans);
829 	goto out_unlock;
830 }
831 
832 /*========================================================================
833  * External routines when attribute list is inside the inode
834  *========================================================================*/
835 
836 static inline int xfs_attr_sf_totsize(struct xfs_inode *dp)
837 {
838 	struct xfs_attr_shortform *sf;
839 
840 	sf = (struct xfs_attr_shortform *)dp->i_afp->if_u1.if_data;
841 	return be16_to_cpu(sf->hdr.totsize);
842 }
843 
844 /*
845  * Add a name to the shortform attribute list structure
846  * This is the external routine.
847  */
848 STATIC int
849 xfs_attr_shortform_addname(xfs_da_args_t *args)
850 {
851 	int newsize, forkoff, retval;
852 
853 	trace_xfs_attr_sf_addname(args);
854 
855 	retval = xfs_attr_shortform_lookup(args);
856 	if (retval == -ENOATTR && (args->attr_flags & XATTR_REPLACE))
857 		return retval;
858 	if (retval == -EEXIST) {
859 		if (args->attr_flags & XATTR_CREATE)
860 			return retval;
861 		retval = xfs_attr_sf_removename(args);
862 		if (retval)
863 			return retval;
864 		/*
865 		 * Since we have removed the old attr, clear ATTR_REPLACE so
866 		 * that the leaf format add routine won't trip over the attr
867 		 * not being around.
868 		 */
869 		args->attr_flags &= ~XATTR_REPLACE;
870 	}
871 
872 	if (args->namelen >= XFS_ATTR_SF_ENTSIZE_MAX ||
873 	    args->valuelen >= XFS_ATTR_SF_ENTSIZE_MAX)
874 		return -ENOSPC;
875 
876 	newsize = xfs_attr_sf_totsize(args->dp);
877 	newsize += xfs_attr_sf_entsize_byname(args->namelen, args->valuelen);
878 
879 	forkoff = xfs_attr_shortform_bytesfit(args->dp, newsize);
880 	if (!forkoff)
881 		return -ENOSPC;
882 
883 	xfs_attr_shortform_add(args, forkoff);
884 	return 0;
885 }
886 
887 
888 /*========================================================================
889  * External routines when attribute list is one block
890  *========================================================================*/
891 
892 /* Store info about a remote block */
893 STATIC void
894 xfs_attr_save_rmt_blk(
895 	struct xfs_da_args	*args)
896 {
897 	args->blkno2 = args->blkno;
898 	args->index2 = args->index;
899 	args->rmtblkno2 = args->rmtblkno;
900 	args->rmtblkcnt2 = args->rmtblkcnt;
901 	args->rmtvaluelen2 = args->rmtvaluelen;
902 }
903 
904 /* Set stored info about a remote block */
905 STATIC void
906 xfs_attr_restore_rmt_blk(
907 	struct xfs_da_args	*args)
908 {
909 	args->blkno = args->blkno2;
910 	args->index = args->index2;
911 	args->rmtblkno = args->rmtblkno2;
912 	args->rmtblkcnt = args->rmtblkcnt2;
913 	args->rmtvaluelen = args->rmtvaluelen2;
914 }
915 
916 /*
917  * Tries to add an attribute to an inode in leaf form
918  *
919  * This function is meant to execute as part of a delayed operation and leaves
920  * the transaction handling to the caller.  On success the attribute is added
921  * and the inode and transaction are left dirty.  If there is not enough space,
922  * the attr data is converted to node format and -ENOSPC is returned. Caller is
923  * responsible for handling the dirty inode and transaction or adding the attr
924  * in node format.
925  */
926 STATIC int
927 xfs_attr_leaf_try_add(
928 	struct xfs_da_args	*args,
929 	struct xfs_buf		*bp)
930 {
931 	int			retval;
932 
933 	/*
934 	 * Look up the given attribute in the leaf block.  Figure out if
935 	 * the given flags produce an error or call for an atomic rename.
936 	 */
937 	retval = xfs_attr_leaf_hasname(args, &bp);
938 	if (retval != -ENOATTR && retval != -EEXIST)
939 		return retval;
940 	if (retval == -ENOATTR && (args->attr_flags & XATTR_REPLACE))
941 		goto out_brelse;
942 	if (retval == -EEXIST) {
943 		if (args->attr_flags & XATTR_CREATE)
944 			goto out_brelse;
945 
946 		trace_xfs_attr_leaf_replace(args);
947 
948 		/* save the attribute state for later removal*/
949 		args->op_flags |= XFS_DA_OP_RENAME;	/* an atomic rename */
950 		xfs_attr_save_rmt_blk(args);
951 
952 		/*
953 		 * clear the remote attr state now that it is saved so that the
954 		 * values reflect the state of the attribute we are about to
955 		 * add, not the attribute we just found and will remove later.
956 		 */
957 		args->rmtblkno = 0;
958 		args->rmtblkcnt = 0;
959 		args->rmtvaluelen = 0;
960 	}
961 
962 	/*
963 	 * Add the attribute to the leaf block
964 	 */
965 	return xfs_attr3_leaf_add(bp, args);
966 
967 out_brelse:
968 	xfs_trans_brelse(args->trans, bp);
969 	return retval;
970 }
971 
972 /*
973  * Return EEXIST if attr is found, or ENOATTR if not
974  */
975 STATIC int
976 xfs_attr_leaf_hasname(
977 	struct xfs_da_args	*args,
978 	struct xfs_buf		**bp)
979 {
980 	int                     error = 0;
981 
982 	error = xfs_attr3_leaf_read(args->trans, args->dp, 0, bp);
983 	if (error)
984 		return error;
985 
986 	error = xfs_attr3_leaf_lookup_int(*bp, args);
987 	if (error != -ENOATTR && error != -EEXIST)
988 		xfs_trans_brelse(args->trans, *bp);
989 
990 	return error;
991 }
992 
993 /*
994  * Remove a name from the leaf attribute list structure
995  *
996  * This leaf block cannot have a "remote" value, we only call this routine
997  * if bmap_one_block() says there is only one block (ie: no remote blks).
998  */
999 STATIC int
1000 xfs_attr_leaf_removename(
1001 	struct xfs_da_args	*args)
1002 {
1003 	struct xfs_inode	*dp;
1004 	struct xfs_buf		*bp;
1005 	int			error, forkoff;
1006 
1007 	trace_xfs_attr_leaf_removename(args);
1008 
1009 	/*
1010 	 * Remove the attribute.
1011 	 */
1012 	dp = args->dp;
1013 
1014 	error = xfs_attr_leaf_hasname(args, &bp);
1015 
1016 	if (error == -ENOATTR) {
1017 		xfs_trans_brelse(args->trans, bp);
1018 		return error;
1019 	} else if (error != -EEXIST)
1020 		return error;
1021 
1022 	xfs_attr3_leaf_remove(bp, args);
1023 
1024 	/*
1025 	 * If the result is small enough, shrink it all into the inode.
1026 	 */
1027 	forkoff = xfs_attr_shortform_allfit(bp, dp);
1028 	if (forkoff)
1029 		return xfs_attr3_leaf_to_shortform(bp, args, forkoff);
1030 		/* bp is gone due to xfs_da_shrink_inode */
1031 
1032 	return 0;
1033 }
1034 
1035 /*
1036  * Look up a name in a leaf attribute list structure.
1037  *
1038  * This leaf block cannot have a "remote" value, we only call this routine
1039  * if bmap_one_block() says there is only one block (ie: no remote blks).
1040  *
1041  * Returns 0 on successful retrieval, otherwise an error.
1042  */
1043 STATIC int
1044 xfs_attr_leaf_get(xfs_da_args_t *args)
1045 {
1046 	struct xfs_buf *bp;
1047 	int error;
1048 
1049 	trace_xfs_attr_leaf_get(args);
1050 
1051 	error = xfs_attr_leaf_hasname(args, &bp);
1052 
1053 	if (error == -ENOATTR)  {
1054 		xfs_trans_brelse(args->trans, bp);
1055 		return error;
1056 	} else if (error != -EEXIST)
1057 		return error;
1058 
1059 
1060 	error = xfs_attr3_leaf_getvalue(bp, args);
1061 	xfs_trans_brelse(args->trans, bp);
1062 	return error;
1063 }
1064 
1065 /*
1066  * Return EEXIST if attr is found, or ENOATTR if not
1067  * statep: If not null is set to point at the found state.  Caller will
1068  *         be responsible for freeing the state in this case.
1069  */
1070 STATIC int
1071 xfs_attr_node_hasname(
1072 	struct xfs_da_args	*args,
1073 	struct xfs_da_state	**statep)
1074 {
1075 	struct xfs_da_state	*state;
1076 	int			retval, error;
1077 
1078 	state = xfs_da_state_alloc(args);
1079 	if (statep != NULL)
1080 		*statep = state;
1081 
1082 	/*
1083 	 * Search to see if name exists, and get back a pointer to it.
1084 	 */
1085 	error = xfs_da3_node_lookup_int(state, &retval);
1086 	if (error)
1087 		retval = error;
1088 
1089 	if (!statep)
1090 		xfs_da_state_free(state);
1091 
1092 	return retval;
1093 }
1094 
1095 /*========================================================================
1096  * External routines when attribute list size > geo->blksize
1097  *========================================================================*/
1098 
1099 STATIC int
1100 xfs_attr_node_addname_find_attr(
1101 	struct xfs_delattr_context	*dac)
1102 {
1103 	struct xfs_da_args		*args = dac->da_args;
1104 	int				retval;
1105 
1106 	/*
1107 	 * Search to see if name already exists, and get back a pointer
1108 	 * to where it should go.
1109 	 */
1110 	retval = xfs_attr_node_hasname(args, &dac->da_state);
1111 	if (retval != -ENOATTR && retval != -EEXIST)
1112 		goto error;
1113 
1114 	if (retval == -ENOATTR && (args->attr_flags & XATTR_REPLACE))
1115 		goto error;
1116 	if (retval == -EEXIST) {
1117 		if (args->attr_flags & XATTR_CREATE)
1118 			goto error;
1119 
1120 		trace_xfs_attr_node_replace(args);
1121 
1122 		/* save the attribute state for later removal*/
1123 		args->op_flags |= XFS_DA_OP_RENAME;	/* atomic rename op */
1124 		xfs_attr_save_rmt_blk(args);
1125 
1126 		/*
1127 		 * clear the remote attr state now that it is saved so that the
1128 		 * values reflect the state of the attribute we are about to
1129 		 * add, not the attribute we just found and will remove later.
1130 		 */
1131 		args->rmtblkno = 0;
1132 		args->rmtblkcnt = 0;
1133 		args->rmtvaluelen = 0;
1134 	}
1135 
1136 	return 0;
1137 error:
1138 	if (dac->da_state)
1139 		xfs_da_state_free(dac->da_state);
1140 	return retval;
1141 }
1142 
1143 /*
1144  * Add a name to a Btree-format attribute list.
1145  *
1146  * This will involve walking down the Btree, and may involve splitting
1147  * leaf nodes and even splitting intermediate nodes up to and including
1148  * the root node (a special case of an intermediate node).
1149  *
1150  * "Remote" attribute values confuse the issue and atomic rename operations
1151  * add a whole extra layer of confusion on top of that.
1152  *
1153  * This routine is meant to function as a delayed operation, and may return
1154  * -EAGAIN when the transaction needs to be rolled.  Calling functions will need
1155  * to handle this, and recall the function until a successful error code is
1156  *returned.
1157  */
1158 STATIC int
1159 xfs_attr_node_addname(
1160 	struct xfs_delattr_context	*dac)
1161 {
1162 	struct xfs_da_args		*args = dac->da_args;
1163 	struct xfs_da_state		*state = dac->da_state;
1164 	struct xfs_da_state_blk		*blk;
1165 	int				error;
1166 
1167 	trace_xfs_attr_node_addname(args);
1168 
1169 	blk = &state->path.blk[state->path.active-1];
1170 	ASSERT(blk->magic == XFS_ATTR_LEAF_MAGIC);
1171 
1172 	error = xfs_attr3_leaf_add(blk->bp, state->args);
1173 	if (error == -ENOSPC) {
1174 		if (state->path.active == 1) {
1175 			/*
1176 			 * Its really a single leaf node, but it had
1177 			 * out-of-line values so it looked like it *might*
1178 			 * have been a b-tree.
1179 			 */
1180 			xfs_da_state_free(state);
1181 			state = NULL;
1182 			error = xfs_attr3_leaf_to_node(args);
1183 			if (error)
1184 				goto out;
1185 
1186 			/*
1187 			 * Now that we have converted the leaf to a node, we can
1188 			 * roll the transaction, and try xfs_attr3_leaf_add
1189 			 * again on re-entry.  No need to set dela_state to do
1190 			 * this. dela_state is still unset by this function at
1191 			 * this point.
1192 			 */
1193 			dac->flags |= XFS_DAC_DEFER_FINISH;
1194 			trace_xfs_attr_node_addname_return(
1195 					dac->dela_state, args->dp);
1196 			return -EAGAIN;
1197 		}
1198 
1199 		/*
1200 		 * Split as many Btree elements as required.
1201 		 * This code tracks the new and old attr's location
1202 		 * in the index/blkno/rmtblkno/rmtblkcnt fields and
1203 		 * in the index2/blkno2/rmtblkno2/rmtblkcnt2 fields.
1204 		 */
1205 		error = xfs_da3_split(state);
1206 		if (error)
1207 			goto out;
1208 		dac->flags |= XFS_DAC_DEFER_FINISH;
1209 	} else {
1210 		/*
1211 		 * Addition succeeded, update Btree hashvals.
1212 		 */
1213 		xfs_da3_fixhashpath(state, &state->path);
1214 	}
1215 
1216 out:
1217 	if (state)
1218 		xfs_da_state_free(state);
1219 	return error;
1220 }
1221 
1222 
1223 STATIC int
1224 xfs_attr_node_addname_clear_incomplete(
1225 	struct xfs_delattr_context	*dac)
1226 {
1227 	struct xfs_da_args		*args = dac->da_args;
1228 	struct xfs_da_state		*state = NULL;
1229 	int				retval = 0;
1230 	int				error = 0;
1231 
1232 	/*
1233 	 * Re-find the "old" attribute entry after any split ops. The INCOMPLETE
1234 	 * flag means that we will find the "old" attr, not the "new" one.
1235 	 */
1236 	args->attr_filter |= XFS_ATTR_INCOMPLETE;
1237 	state = xfs_da_state_alloc(args);
1238 	state->inleaf = 0;
1239 	error = xfs_da3_node_lookup_int(state, &retval);
1240 	if (error)
1241 		goto out;
1242 
1243 	error = xfs_attr_node_removename(args, state);
1244 
1245 	/*
1246 	 * Check to see if the tree needs to be collapsed.
1247 	 */
1248 	if (retval && (state->path.active > 1)) {
1249 		error = xfs_da3_join(state);
1250 		if (error)
1251 			goto out;
1252 	}
1253 	retval = error = 0;
1254 
1255 out:
1256 	if (state)
1257 		xfs_da_state_free(state);
1258 	if (error)
1259 		return error;
1260 	return retval;
1261 }
1262 
1263 /*
1264  * Shrink an attribute from leaf to shortform
1265  */
1266 STATIC int
1267 xfs_attr_node_shrink(
1268 	struct xfs_da_args	*args,
1269 	struct xfs_da_state     *state)
1270 {
1271 	struct xfs_inode	*dp = args->dp;
1272 	int			error, forkoff;
1273 	struct xfs_buf		*bp;
1274 
1275 	/*
1276 	 * Have to get rid of the copy of this dabuf in the state.
1277 	 */
1278 	ASSERT(state->path.active == 1);
1279 	ASSERT(state->path.blk[0].bp);
1280 	state->path.blk[0].bp = NULL;
1281 
1282 	error = xfs_attr3_leaf_read(args->trans, args->dp, 0, &bp);
1283 	if (error)
1284 		return error;
1285 
1286 	forkoff = xfs_attr_shortform_allfit(bp, dp);
1287 	if (forkoff) {
1288 		error = xfs_attr3_leaf_to_shortform(bp, args, forkoff);
1289 		/* bp is gone due to xfs_da_shrink_inode */
1290 	} else
1291 		xfs_trans_brelse(args->trans, bp);
1292 
1293 	return error;
1294 }
1295 
1296 /*
1297  * Mark an attribute entry INCOMPLETE and save pointers to the relevant buffers
1298  * for later deletion of the entry.
1299  */
1300 STATIC int
1301 xfs_attr_leaf_mark_incomplete(
1302 	struct xfs_da_args	*args,
1303 	struct xfs_da_state	*state)
1304 {
1305 	int			error;
1306 
1307 	/*
1308 	 * Fill in disk block numbers in the state structure
1309 	 * so that we can get the buffers back after we commit
1310 	 * several transactions in the following calls.
1311 	 */
1312 	error = xfs_attr_fillstate(state);
1313 	if (error)
1314 		return error;
1315 
1316 	/*
1317 	 * Mark the attribute as INCOMPLETE
1318 	 */
1319 	return xfs_attr3_leaf_setflag(args);
1320 }
1321 
1322 /*
1323  * Initial setup for xfs_attr_node_removename.  Make sure the attr is there and
1324  * the blocks are valid.  Attr keys with remote blocks will be marked
1325  * incomplete.
1326  */
1327 STATIC
1328 int xfs_attr_node_removename_setup(
1329 	struct xfs_delattr_context	*dac)
1330 {
1331 	struct xfs_da_args		*args = dac->da_args;
1332 	struct xfs_da_state		**state = &dac->da_state;
1333 	int				error;
1334 
1335 	error = xfs_attr_node_hasname(args, state);
1336 	if (error != -EEXIST)
1337 		goto out;
1338 	error = 0;
1339 
1340 	ASSERT((*state)->path.blk[(*state)->path.active - 1].bp != NULL);
1341 	ASSERT((*state)->path.blk[(*state)->path.active - 1].magic ==
1342 		XFS_ATTR_LEAF_MAGIC);
1343 
1344 	if (args->rmtblkno > 0) {
1345 		error = xfs_attr_leaf_mark_incomplete(args, *state);
1346 		if (error)
1347 			goto out;
1348 
1349 		error = xfs_attr_rmtval_invalidate(args);
1350 	}
1351 out:
1352 	if (error)
1353 		xfs_da_state_free(*state);
1354 
1355 	return error;
1356 }
1357 
1358 STATIC int
1359 xfs_attr_node_removename(
1360 	struct xfs_da_args	*args,
1361 	struct xfs_da_state	*state)
1362 {
1363 	struct xfs_da_state_blk	*blk;
1364 	int			retval;
1365 
1366 	/*
1367 	 * Remove the name and update the hashvals in the tree.
1368 	 */
1369 	blk = &state->path.blk[state->path.active-1];
1370 	ASSERT(blk->magic == XFS_ATTR_LEAF_MAGIC);
1371 	retval = xfs_attr3_leaf_remove(blk->bp, args);
1372 	xfs_da3_fixhashpath(state, &state->path);
1373 
1374 	return retval;
1375 }
1376 
1377 /*
1378  * Remove the attribute specified in @args.
1379  *
1380  * This will involve walking down the Btree, and may involve joining
1381  * leaf nodes and even joining intermediate nodes up to and including
1382  * the root node (a special case of an intermediate node).
1383  *
1384  * This routine is meant to function as either an in-line or delayed operation,
1385  * and may return -EAGAIN when the transaction needs to be rolled.  Calling
1386  * functions will need to handle this, and call the function until a
1387  * successful error code is returned.
1388  */
1389 int
1390 xfs_attr_remove_iter(
1391 	struct xfs_delattr_context	*dac)
1392 {
1393 	struct xfs_da_args		*args = dac->da_args;
1394 	struct xfs_da_state		*state = dac->da_state;
1395 	int				retval, error = 0;
1396 	struct xfs_inode		*dp = args->dp;
1397 
1398 	trace_xfs_attr_node_removename(args);
1399 
1400 	switch (dac->dela_state) {
1401 	case XFS_DAS_UNINIT:
1402 		if (!xfs_inode_hasattr(dp))
1403 			return -ENOATTR;
1404 
1405 		/*
1406 		 * Shortform or leaf formats don't require transaction rolls and
1407 		 * thus state transitions. Call the right helper and return.
1408 		 */
1409 		if (dp->i_afp->if_format == XFS_DINODE_FMT_LOCAL)
1410 			return xfs_attr_sf_removename(args);
1411 
1412 		if (xfs_attr_is_leaf(dp))
1413 			return xfs_attr_leaf_removename(args);
1414 
1415 		/*
1416 		 * Node format may require transaction rolls. Set up the
1417 		 * state context and fall into the state machine.
1418 		 */
1419 		if (!dac->da_state) {
1420 			error = xfs_attr_node_removename_setup(dac);
1421 			if (error)
1422 				return error;
1423 			state = dac->da_state;
1424 		}
1425 
1426 		fallthrough;
1427 	case XFS_DAS_RMTBLK:
1428 		dac->dela_state = XFS_DAS_RMTBLK;
1429 
1430 		/*
1431 		 * If there is an out-of-line value, de-allocate the blocks.
1432 		 * This is done before we remove the attribute so that we don't
1433 		 * overflow the maximum size of a transaction and/or hit a
1434 		 * deadlock.
1435 		 */
1436 		if (args->rmtblkno > 0) {
1437 			/*
1438 			 * May return -EAGAIN. Roll and repeat until all remote
1439 			 * blocks are removed.
1440 			 */
1441 			error = xfs_attr_rmtval_remove(dac);
1442 			if (error == -EAGAIN) {
1443 				trace_xfs_attr_remove_iter_return(
1444 						dac->dela_state, args->dp);
1445 				return error;
1446 			} else if (error) {
1447 				goto out;
1448 			}
1449 
1450 			/*
1451 			 * Refill the state structure with buffers (the prior
1452 			 * calls released our buffers) and close out this
1453 			 * transaction before proceeding.
1454 			 */
1455 			ASSERT(args->rmtblkno == 0);
1456 			error = xfs_attr_refillstate(state);
1457 			if (error)
1458 				goto out;
1459 			dac->dela_state = XFS_DAS_RM_NAME;
1460 			dac->flags |= XFS_DAC_DEFER_FINISH;
1461 			trace_xfs_attr_remove_iter_return(dac->dela_state, args->dp);
1462 			return -EAGAIN;
1463 		}
1464 
1465 		fallthrough;
1466 	case XFS_DAS_RM_NAME:
1467 		/*
1468 		 * If we came here fresh from a transaction roll, reattach all
1469 		 * the buffers to the current transaction.
1470 		 */
1471 		if (dac->dela_state == XFS_DAS_RM_NAME) {
1472 			error = xfs_attr_refillstate(state);
1473 			if (error)
1474 				goto out;
1475 		}
1476 
1477 		retval = xfs_attr_node_removename(args, state);
1478 
1479 		/*
1480 		 * Check to see if the tree needs to be collapsed. If so, roll
1481 		 * the transacton and fall into the shrink state.
1482 		 */
1483 		if (retval && (state->path.active > 1)) {
1484 			error = xfs_da3_join(state);
1485 			if (error)
1486 				goto out;
1487 
1488 			dac->flags |= XFS_DAC_DEFER_FINISH;
1489 			dac->dela_state = XFS_DAS_RM_SHRINK;
1490 			trace_xfs_attr_remove_iter_return(
1491 					dac->dela_state, args->dp);
1492 			return -EAGAIN;
1493 		}
1494 
1495 		fallthrough;
1496 	case XFS_DAS_RM_SHRINK:
1497 		/*
1498 		 * If the result is small enough, push it all into the inode.
1499 		 * This is our final state so it's safe to return a dirty
1500 		 * transaction.
1501 		 */
1502 		if (xfs_attr_is_leaf(dp))
1503 			error = xfs_attr_node_shrink(args, state);
1504 		ASSERT(error != -EAGAIN);
1505 		break;
1506 	default:
1507 		ASSERT(0);
1508 		error = -EINVAL;
1509 		goto out;
1510 	}
1511 out:
1512 	if (state)
1513 		xfs_da_state_free(state);
1514 	return error;
1515 }
1516 
1517 /*
1518  * Fill in the disk block numbers in the state structure for the buffers
1519  * that are attached to the state structure.
1520  * This is done so that we can quickly reattach ourselves to those buffers
1521  * after some set of transaction commits have released these buffers.
1522  */
1523 STATIC int
1524 xfs_attr_fillstate(xfs_da_state_t *state)
1525 {
1526 	xfs_da_state_path_t *path;
1527 	xfs_da_state_blk_t *blk;
1528 	int level;
1529 
1530 	trace_xfs_attr_fillstate(state->args);
1531 
1532 	/*
1533 	 * Roll down the "path" in the state structure, storing the on-disk
1534 	 * block number for those buffers in the "path".
1535 	 */
1536 	path = &state->path;
1537 	ASSERT((path->active >= 0) && (path->active < XFS_DA_NODE_MAXDEPTH));
1538 	for (blk = path->blk, level = 0; level < path->active; blk++, level++) {
1539 		if (blk->bp) {
1540 			blk->disk_blkno = xfs_buf_daddr(blk->bp);
1541 			blk->bp = NULL;
1542 		} else {
1543 			blk->disk_blkno = 0;
1544 		}
1545 	}
1546 
1547 	/*
1548 	 * Roll down the "altpath" in the state structure, storing the on-disk
1549 	 * block number for those buffers in the "altpath".
1550 	 */
1551 	path = &state->altpath;
1552 	ASSERT((path->active >= 0) && (path->active < XFS_DA_NODE_MAXDEPTH));
1553 	for (blk = path->blk, level = 0; level < path->active; blk++, level++) {
1554 		if (blk->bp) {
1555 			blk->disk_blkno = xfs_buf_daddr(blk->bp);
1556 			blk->bp = NULL;
1557 		} else {
1558 			blk->disk_blkno = 0;
1559 		}
1560 	}
1561 
1562 	return 0;
1563 }
1564 
1565 /*
1566  * Reattach the buffers to the state structure based on the disk block
1567  * numbers stored in the state structure.
1568  * This is done after some set of transaction commits have released those
1569  * buffers from our grip.
1570  */
1571 STATIC int
1572 xfs_attr_refillstate(xfs_da_state_t *state)
1573 {
1574 	xfs_da_state_path_t *path;
1575 	xfs_da_state_blk_t *blk;
1576 	int level, error;
1577 
1578 	trace_xfs_attr_refillstate(state->args);
1579 
1580 	/*
1581 	 * Roll down the "path" in the state structure, storing the on-disk
1582 	 * block number for those buffers in the "path".
1583 	 */
1584 	path = &state->path;
1585 	ASSERT((path->active >= 0) && (path->active < XFS_DA_NODE_MAXDEPTH));
1586 	for (blk = path->blk, level = 0; level < path->active; blk++, level++) {
1587 		if (blk->disk_blkno) {
1588 			error = xfs_da3_node_read_mapped(state->args->trans,
1589 					state->args->dp, blk->disk_blkno,
1590 					&blk->bp, XFS_ATTR_FORK);
1591 			if (error)
1592 				return error;
1593 		} else {
1594 			blk->bp = NULL;
1595 		}
1596 	}
1597 
1598 	/*
1599 	 * Roll down the "altpath" in the state structure, storing the on-disk
1600 	 * block number for those buffers in the "altpath".
1601 	 */
1602 	path = &state->altpath;
1603 	ASSERT((path->active >= 0) && (path->active < XFS_DA_NODE_MAXDEPTH));
1604 	for (blk = path->blk, level = 0; level < path->active; blk++, level++) {
1605 		if (blk->disk_blkno) {
1606 			error = xfs_da3_node_read_mapped(state->args->trans,
1607 					state->args->dp, blk->disk_blkno,
1608 					&blk->bp, XFS_ATTR_FORK);
1609 			if (error)
1610 				return error;
1611 		} else {
1612 			blk->bp = NULL;
1613 		}
1614 	}
1615 
1616 	return 0;
1617 }
1618 
1619 /*
1620  * Retrieve the attribute data from a node attribute list.
1621  *
1622  * This routine gets called for any attribute fork that has more than one
1623  * block, ie: both true Btree attr lists and for single-leaf-blocks with
1624  * "remote" values taking up more blocks.
1625  *
1626  * Returns 0 on successful retrieval, otherwise an error.
1627  */
1628 STATIC int
1629 xfs_attr_node_get(
1630 	struct xfs_da_args	*args)
1631 {
1632 	struct xfs_da_state	*state;
1633 	struct xfs_da_state_blk	*blk;
1634 	int			i;
1635 	int			error;
1636 
1637 	trace_xfs_attr_node_get(args);
1638 
1639 	/*
1640 	 * Search to see if name exists, and get back a pointer to it.
1641 	 */
1642 	error = xfs_attr_node_hasname(args, &state);
1643 	if (error != -EEXIST)
1644 		goto out_release;
1645 
1646 	/*
1647 	 * Get the value, local or "remote"
1648 	 */
1649 	blk = &state->path.blk[state->path.active - 1];
1650 	error = xfs_attr3_leaf_getvalue(blk->bp, args);
1651 
1652 	/*
1653 	 * If not in a transaction, we have to release all the buffers.
1654 	 */
1655 out_release:
1656 	for (i = 0; state != NULL && i < state->path.active; i++) {
1657 		xfs_trans_brelse(args->trans, state->path.blk[i].bp);
1658 		state->path.blk[i].bp = NULL;
1659 	}
1660 
1661 	if (state)
1662 		xfs_da_state_free(state);
1663 	return error;
1664 }
1665 
1666 /* Returns true if the attribute entry name is valid. */
1667 bool
1668 xfs_attr_namecheck(
1669 	const void	*name,
1670 	size_t		length)
1671 {
1672 	/*
1673 	 * MAXNAMELEN includes the trailing null, but (name/length) leave it
1674 	 * out, so use >= for the length check.
1675 	 */
1676 	if (length >= MAXNAMELEN)
1677 		return false;
1678 
1679 	/* There shouldn't be any nulls here */
1680 	return !memchr(name, 0, length);
1681 }
1682