xfs_attr.c 43.9 KB
Newer Older
D
Dave Chinner 已提交
1
// SPDX-License-Identifier: GPL-2.0
L
Linus Torvalds 已提交
2
/*
3 4
 * Copyright (c) 2000-2005 Silicon Graphics, Inc.
 * All Rights Reserved.
L
Linus Torvalds 已提交
5 6
 */
#include "xfs.h"
7
#include "xfs_fs.h"
8
#include "xfs_shared.h"
9 10 11
#include "xfs_format.h"
#include "xfs_log_format.h"
#include "xfs_trans_resv.h"
L
Linus Torvalds 已提交
12
#include "xfs_mount.h"
13
#include "xfs_defer.h"
14
#include "xfs_da_format.h"
15 16
#include "xfs_da_btree.h"
#include "xfs_attr_sf.h"
L
Linus Torvalds 已提交
17
#include "xfs_inode.h"
18
#include "xfs_trans.h"
L
Linus Torvalds 已提交
19
#include "xfs_bmap.h"
20
#include "xfs_bmap_btree.h"
L
Linus Torvalds 已提交
21 22
#include "xfs_attr.h"
#include "xfs_attr_leaf.h"
23
#include "xfs_attr_remote.h"
L
Linus Torvalds 已提交
24 25
#include "xfs_quota.h"
#include "xfs_trans_space.h"
C
Christoph Hellwig 已提交
26
#include "xfs_trace.h"
27
#include "xfs_attr_item.h"
28
#include "xfs_log.h"
29 30 31

struct kmem_cache		*xfs_attri_cache;
struct kmem_cache		*xfs_attrd_cache;
L
Linus Torvalds 已提交
32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50

/*
 * xfs_attr.c
 *
 * Provide the external interfaces to manage attribute lists.
 */

/*========================================================================
 * Function prototypes for the kernel.
 *========================================================================*/

/*
 * Internal routines when attribute list fits inside the inode.
 */
STATIC int xfs_attr_shortform_addname(xfs_da_args_t *args);

/*
 * Internal routines when attribute list is one block.
 */
51
STATIC int xfs_attr_leaf_get(xfs_da_args_t *args);
L
Linus Torvalds 已提交
52
STATIC int xfs_attr_leaf_removename(xfs_da_args_t *args);
53
STATIC int xfs_attr_leaf_hasname(struct xfs_da_args *args, struct xfs_buf **bp);
54
STATIC int xfs_attr_leaf_try_add(struct xfs_da_args *args, struct xfs_buf *bp);
L
Linus Torvalds 已提交
55 56 57 58

/*
 * Internal routines when attribute list is more than one block.
 */
59
STATIC int xfs_attr_node_get(xfs_da_args_t *args);
60
STATIC void xfs_attr_restore_rmt_blk(struct xfs_da_args *args);
61 62 63 64
STATIC int xfs_attr_node_addname(struct xfs_delattr_context *dac);
STATIC int xfs_attr_node_addname_find_attr(struct xfs_delattr_context *dac);
STATIC int xfs_attr_node_addname_clear_incomplete(
				struct xfs_delattr_context *dac);
65 66
STATIC int xfs_attr_node_hasname(xfs_da_args_t *args,
				 struct xfs_da_state **state);
L
Linus Torvalds 已提交
67 68
STATIC int xfs_attr_fillstate(xfs_da_state_t *state);
STATIC int xfs_attr_refillstate(xfs_da_state_t *state);
69 70
STATIC int xfs_attr_node_removename(struct xfs_da_args *args,
				    struct xfs_da_state *state);
L
Linus Torvalds 已提交
71

72
int
73 74 75 76
xfs_inode_hasattr(
	struct xfs_inode	*ip)
{
	if (!XFS_IFORK_Q(ip) ||
77
	    (ip->i_afp->if_format == XFS_DINODE_FMT_EXTENTS &&
78
	     ip->i_afp->if_nextents == 0))
79 80 81 82
		return 0;
	return 1;
}

83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102
/*
 * Returns true if the there is exactly only block in the attr fork, in which
 * case the attribute fork consists of a single leaf block entry.
 */
bool
xfs_attr_is_leaf(
	struct xfs_inode	*ip)
{
	struct xfs_ifork	*ifp = ip->i_afp;
	struct xfs_iext_cursor	icur;
	struct xfs_bmbt_irec	imap;

	if (ifp->if_nextents != 1 || ifp->if_format != XFS_DINODE_FMT_EXTENTS)
		return false;

	xfs_iext_first(ifp, &icur);
	xfs_iext_get_extent(ifp, &icur, &imap);
	return imap.br_startoff == 0 && imap.br_blockcount == 1;
}

L
Linus Torvalds 已提交
103 104 105 106
/*========================================================================
 * Overall external interface routines.
 *========================================================================*/

107 108 109 110
/*
 * Retrieve an extended attribute and its value.  Must have ilock.
 * Returns 0 on successful retrieval, otherwise an error.
 */
111 112 113 114
int
xfs_attr_get_ilocked(
	struct xfs_da_args	*args)
{
115
	ASSERT(xfs_isilocked(args->dp, XFS_ILOCK_SHARED | XFS_ILOCK_EXCL));
116

117
	if (!xfs_inode_hasattr(args->dp))
118
		return -ENOATTR;
119

120
	if (args->dp->i_afp->if_format == XFS_DINODE_FMT_LOCAL)
121
		return xfs_attr_shortform_getvalue(args);
122
	if (xfs_attr_is_leaf(args->dp))
123
		return xfs_attr_leaf_get(args);
124
	return xfs_attr_node_get(args);
125 126
}

127 128 129
/*
 * Retrieve an extended attribute by name, and its value if requested.
 *
C
Christoph Hellwig 已提交
130 131 132
 * If args->valuelen is zero, then the caller does not want the value, just an
 * indication whether the attribute exists and the size of the value if it
 * exists. The size is returned in args.valuelen.
133
 *
134 135 136 137 138
 * If args->value is NULL but args->valuelen is non-zero, allocate the buffer
 * for the value after existence of the attribute has been determined. The
 * caller always has to free args->value if it is set, no matter if this
 * function was successful or not.
 *
139
 * If the attribute is found, but exceeds the size limit set by the caller in
140 141
 * args->valuelen, return -ERANGE with the size of the attribute that was found
 * in args->valuelen.
142
 */
143 144
int
xfs_attr_get(
145
	struct xfs_da_args	*args)
L
Linus Torvalds 已提交
146
{
147 148 149
	uint			lock_mode;
	int			error;

150
	XFS_STATS_INC(args->dp->i_mount, xs_attr_get);
151

152
	if (xfs_is_shutdown(args->dp->i_mount))
D
Dave Chinner 已提交
153
		return -EIO;
L
Linus Torvalds 已提交
154

155 156 157
	args->geo = args->dp->i_mount->m_attr_geo;
	args->whichfork = XFS_ATTR_FORK;
	args->hashval = xfs_da_hashname(args->name, args->namelen);
158

159
	/* Entirely possible to look up a name which doesn't exist */
160
	args->op_flags = XFS_DA_OP_OKNOENT;
L
Linus Torvalds 已提交
161

162
	lock_mode = xfs_ilock_attr_map_shared(args->dp);
163
	error = xfs_attr_get_ilocked(args);
164
	xfs_iunlock(args->dp, lock_mode);
165

166
	return error;
L
Linus Torvalds 已提交
167 168
}

169 170 171
/*
 * Calculate how many blocks we need for the new attribute,
 */
172
int
173
xfs_attr_calc_size(
174
	struct xfs_da_args	*args,
175 176
	int			*local)
{
177
	struct xfs_mount	*mp = args->dp->i_mount;
178 179 180 181 182 183 184
	int			size;
	int			nblks;

	/*
	 * Determine space new attribute will use, and if it would be
	 * "local" or "remote" (note: local != inline).
	 */
185
	size = xfs_attr_leaf_newentsize(args, local);
186 187
	nblks = XFS_DAENTER_SPACE_RES(mp, XFS_ATTR_FORK);
	if (*local) {
188
		if (size > (args->geo->blksize / 2)) {
189 190 191 192 193 194 195 196
			/* Double split possible */
			nblks *= 2;
		}
	} else {
		/*
		 * Out of line attribute, cannot double split, but
		 * make room for the attribute value itself.
		 */
197
		uint	dblocks = xfs_attr3_rmt_blocks(mp, args->valuelen);
198 199 200 201 202 203 204
		nblks += dblocks;
		nblks += XFS_NEXTENTADD_SPACE_RES(mp, dblocks, XFS_ATTR_FORK);
	}

	return nblks;
}

205 206 207 208 209 210
STATIC int
xfs_attr_try_sf_addname(
	struct xfs_inode	*dp,
	struct xfs_da_args	*args)
{

211 212 213 214 215 216 217
	int			error;

	/*
	 * Build initial attribute list (if required).
	 */
	if (dp->i_afp->if_format == XFS_DINODE_FMT_EXTENTS)
		xfs_attr_shortform_create(args);
218 219 220 221 222 223 224 225 226

	error = xfs_attr_shortform_addname(args);
	if (error == -ENOSPC)
		return error;

	/*
	 * Commit the shortform mods, and we're done.
	 * NOTE: this is also the error path (EEXIST, etc).
	 */
227
	if (!error && !(args->op_flags & XFS_DA_OP_NOTIME))
228 229
		xfs_trans_ichgtime(args->trans, dp, XFS_ICHGTIME_CHG);

230
	if (xfs_has_wsync(dp->i_mount))
231 232
		xfs_trans_set_sync(args->trans);

233
	return error;
234 235
}

236 237 238 239 240 241 242 243 244 245 246 247 248
/*
 * Check to see if the attr should be upgraded from non-existent or shortform to
 * single-leaf-block attribute list.
 */
static inline bool
xfs_attr_is_shortform(
	struct xfs_inode    *ip)
{
	return ip->i_afp->if_format == XFS_DINODE_FMT_LOCAL ||
	       (ip->i_afp->if_format == XFS_DINODE_FMT_EXTENTS &&
		ip->i_afp->if_nextents == 0);
}

249 250 251 252
/*
 * Checks to see if a delayed attribute transaction should be rolled.  If so,
 * transaction is finished or rolled as needed.
 */
253
STATIC int
254 255 256 257 258 259 260 261 262 263 264 265 266 267 268 269 270 271 272 273
xfs_attr_trans_roll(
	struct xfs_delattr_context	*dac)
{
	struct xfs_da_args		*args = dac->da_args;
	int				error;

	if (dac->flags & XFS_DAC_DEFER_FINISH) {
		/*
		 * The caller wants us to finish all the deferred ops so that we
		 * avoid pinning the log tail with a large number of deferred
		 * ops.
		 */
		dac->flags &= ~XFS_DAC_DEFER_FINISH;
		error = xfs_defer_finish(&args->trans);
	} else
		error = xfs_trans_roll_inode(&args->trans, args->dp);

	return error;
}

274 275 276 277 278 279 280 281 282 283 284 285 286 287 288 289 290 291 292 293 294 295 296 297 298 299 300 301 302
/*
 * Set the attribute specified in @args.
 */
int
xfs_attr_set_args(
	struct xfs_da_args		*args)
{
	struct xfs_buf			*leaf_bp = NULL;
	int				error = 0;
	struct xfs_delattr_context	dac = {
		.da_args	= args,
	};

	do {
		error = xfs_attr_set_iter(&dac, &leaf_bp);
		if (error != -EAGAIN)
			break;

		error = xfs_attr_trans_roll(&dac);
		if (error) {
			if (leaf_bp)
				xfs_trans_brelse(args->trans, leaf_bp);
			return error;
		}
	} while (true);

	return error;
}

303
STATIC int
304
xfs_attr_sf_addname(
305 306
	struct xfs_delattr_context	*dac,
	struct xfs_buf			**leaf_bp)
307
{
308 309 310
	struct xfs_da_args		*args = dac->da_args;
	struct xfs_inode		*dp = args->dp;
	int				error = 0;
311 312 313 314 315

	/*
	 * Try to add the attr to the attribute list in the inode.
	 */
	error = xfs_attr_try_sf_addname(dp, args);
316 317 318 319

	/* Should only be 0, -EEXIST or -ENOSPC */
	if (error != -ENOSPC)
		return error;
320

321 322 323 324
	/*
	 * It won't fit in the shortform, transform to a leaf block.  GROT:
	 * another possible req'mt for a double-split btree op.
	 */
325
	error = xfs_attr_shortform_to_leaf(args, leaf_bp);
326 327 328 329 330 331
	if (error)
		return error;

	/*
	 * Prevent the leaf buffer from being unlocked so that a concurrent AIL
	 * push cannot grab the half-baked leaf buffer and run into problems
332
	 * with the write verifier.
333
	 */
334
	xfs_trans_bhold(args->trans, *leaf_bp);
335

336 337 338 339 340
	/*
	 * We're still in XFS_DAS_UNINIT state here.  We've converted
	 * the attr fork to leaf format and will restart with the leaf
	 * add.
	 */
341
	trace_xfs_attr_sf_addname_return(XFS_DAS_UNINIT, args->dp);
342
	dac->flags |= XFS_DAC_DEFER_FINISH;
343
	return -EAGAIN;
344 345
}

346 347
/*
 * Set the attribute specified in @args.
348 349 350 351
 * This routine is meant to function as a delayed operation, and may return
 * -EAGAIN when the transaction needs to be rolled.  Calling functions will need
 * to handle this, and recall the function until a successful error code is
 * returned.
352 353
 */
int
354 355 356
xfs_attr_set_iter(
	struct xfs_delattr_context	*dac,
	struct xfs_buf			**leaf_bp)
357
{
358 359 360 361
	struct xfs_da_args              *args = dac->da_args;
	struct xfs_inode		*dp = args->dp;
	struct xfs_buf			*bp = NULL;
	int				forkoff, error = 0;
362
	struct xfs_mount		*mp = args->dp->i_mount;
363 364 365 366 367 368 369 370 371 372 373 374

	/* State machine switch */
	switch (dac->dela_state) {
	case XFS_DAS_UNINIT:
		/*
		 * If the fork is shortform, attempt to add the attr. If there
		 * is no space, this converts to leaf format and returns
		 * -EAGAIN with the leaf buffer held across the roll. The caller
		 * will deal with a transaction roll error, but otherwise
		 * release the hold once we return with a clean transaction.
		 */
		if (xfs_attr_is_shortform(dp))
375
			return xfs_attr_sf_addname(dac, leaf_bp);
376 377 378 379
		if (*leaf_bp != NULL) {
			xfs_trans_bhold_release(args->trans, *leaf_bp);
			*leaf_bp = NULL;
		}
380

381 382 383 384 385 386 387 388 389 390 391 392 393 394 395 396 397 398 399 400 401
		if (xfs_attr_is_leaf(dp)) {
			error = xfs_attr_leaf_try_add(args, *leaf_bp);
			if (error == -ENOSPC) {
				error = xfs_attr3_leaf_to_node(args);
				if (error)
					return error;

				/*
				 * Finish any deferred work items and roll the
				 * transaction once more.  The goal here is to
				 * call node_addname with the inode and
				 * transaction in the same state (inode locked
				 * and joined, transaction clean) no matter how
				 * we got to this step.
				 *
				 * At this point, we are still in
				 * XFS_DAS_UNINIT, but when we come back, we'll
				 * be a node, so we'll fall down into the node
				 * handling code below
				 */
				dac->flags |= XFS_DAC_DEFER_FINISH;
402 403
				trace_xfs_attr_set_iter_return(
					dac->dela_state, args->dp);
404 405
				return -EAGAIN;
			} else if (error) {
406
				return error;
407
			}
408

409 410 411
			dac->dela_state = XFS_DAS_FOUND_LBLK;
		} else {
			error = xfs_attr_node_addname_find_attr(dac);
412 413 414
			if (error)
				return error;

415
			error = xfs_attr_node_addname(dac);
416 417 418
			if (error)
				return error;

419 420 421 422 423 424 425 426
			/*
			 * If addname was successful, and we dont need to alloc
			 * or remove anymore blks, we're done.
			 */
			if (!args->rmtblkno &&
			    !(args->op_flags & XFS_DA_OP_RENAME))
				return 0;

427
			dac->dela_state = XFS_DAS_FOUND_NBLK;
428
		}
429
		trace_xfs_attr_set_iter_return(dac->dela_state,	args->dp);
430 431
		return -EAGAIN;
	case XFS_DAS_FOUND_LBLK:
432 433 434 435 436 437
		/*
		 * If there was an out-of-line value, allocate the blocks we
		 * identified for its storage and copy the value.  This is done
		 * after we create the attribute so that we don't overflow the
		 * maximum size of a transaction and/or hit a deadlock.
		 */
438 439 440 441 442 443 444 445 446 447 448 449 450 451 452 453 454

		/* Open coded xfs_attr_rmtval_set without trans handling */
		if ((dac->flags & XFS_DAC_LEAF_ADDNAME_INIT) == 0) {
			dac->flags |= XFS_DAC_LEAF_ADDNAME_INIT;
			if (args->rmtblkno > 0) {
				error = xfs_attr_rmtval_find_space(dac);
				if (error)
					return error;
			}
		}

		/*
		 * Repeat allocating remote blocks for the attr value until
		 * blkcnt drops to zero.
		 */
		if (dac->blkcnt > 0) {
			error = xfs_attr_rmtval_set_blk(dac);
455 456
			if (error)
				return error;
457 458
			trace_xfs_attr_set_iter_return(dac->dela_state,
						       args->dp);
459
			return -EAGAIN;
460 461
		}

462 463 464 465 466 467 468 469
		error = xfs_attr_rmtval_set_value(args);
		if (error)
			return error;

		/*
		 * If this is not a rename, clear the incomplete flag and we're
		 * done.
		 */
470 471 472
		if (!(args->op_flags & XFS_DA_OP_RENAME)) {
			if (args->rmtblkno > 0)
				error = xfs_attr3_leaf_clearflag(args);
473
			return error;
474
		}
475

476 477 478 479 480 481 482 483 484
		/*
		 * 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.
		 */
485 486 487 488 489 490 491 492 493 494 495 496 497 498 499
		if (!xfs_has_larp(mp)) {
			error = xfs_attr3_leaf_flipflags(args);
			if (error)
				return error;
			/*
			 * Commit the flag value change and start the next trans
			 * in series.
			 */
			dac->dela_state = XFS_DAS_FLIP_LFLAG;
			trace_xfs_attr_set_iter_return(dac->dela_state,
						       args->dp);
			return -EAGAIN;
		}

		fallthrough;
500
	case XFS_DAS_FLIP_LFLAG:
501 502 503 504 505
		/*
		 * Dismantle the "old" attribute/value pair by removing a
		 * "remote" value (if it exists).
		 */
		xfs_attr_restore_rmt_blk(args);
506 507 508
		error = xfs_attr_rmtval_invalidate(args);
		if (error)
			return error;
509

510
		fallthrough;
511 512 513
	case XFS_DAS_RM_LBLK:
		/* Set state in case xfs_attr_rmtval_remove returns -EAGAIN */
		dac->dela_state = XFS_DAS_RM_LBLK;
514
		if (args->rmtblkno) {
515
			error = xfs_attr_rmtval_remove(dac);
516 517 518
			if (error == -EAGAIN)
				trace_xfs_attr_set_iter_return(
					dac->dela_state, args->dp);
519 520 521
			if (error)
				return error;

522
			dac->dela_state = XFS_DAS_RD_LEAF;
523
			trace_xfs_attr_set_iter_return(dac->dela_state, args->dp);
524
			return -EAGAIN;
525 526
		}

527
		fallthrough;
528
	case XFS_DAS_RD_LEAF:
529
		/*
530 531 532
		 * This is the last step for leaf format. Read the block with
		 * the old attr, remove the old attr, check for shortform
		 * conversion and return.
533 534 535 536 537 538 539 540 541 542 543 544 545 546
		 */
		error = xfs_attr3_leaf_read(args->trans, args->dp, args->blkno,
					   &bp);
		if (error)
			return error;

		xfs_attr3_leaf_remove(bp, args);

		forkoff = xfs_attr_shortform_allfit(bp, dp);
		if (forkoff)
			error = xfs_attr3_leaf_to_shortform(bp, args, forkoff);
			/* bp is gone due to xfs_da_shrink_inode */

		return error;
547

548 549 550 551 552 553 554 555 556 557
	case XFS_DAS_FOUND_NBLK:
		/*
		 * Find space for remote blocks and fall into the allocation
		 * state.
		 */
		if (args->rmtblkno > 0) {
			error = xfs_attr_rmtval_find_space(dac);
			if (error)
				return error;
		}
558

559
		fallthrough;
560 561 562 563 564 565 566 567 568 569 570 571 572
	case XFS_DAS_ALLOC_NODE:
		/*
		 * If there was an out-of-line value, allocate the blocks we
		 * identified for its storage and copy the value.  This is done
		 * after we create the attribute so that we don't overflow the
		 * maximum size of a transaction and/or hit a deadlock.
		 */
		dac->dela_state = XFS_DAS_ALLOC_NODE;
		if (args->rmtblkno > 0) {
			if (dac->blkcnt > 0) {
				error = xfs_attr_rmtval_set_blk(dac);
				if (error)
					return error;
573 574
				trace_xfs_attr_set_iter_return(
					dac->dela_state, args->dp);
575 576 577 578 579 580 581
				return -EAGAIN;
			}

			error = xfs_attr_rmtval_set_value(args);
			if (error)
				return error;
		}
582

583 584 585 586 587 588 589 590 591
		/*
		 * If this was not a rename, clear the incomplete flag and we're
		 * done.
		 */
		if (!(args->op_flags & XFS_DA_OP_RENAME)) {
			if (args->rmtblkno > 0)
				error = xfs_attr3_leaf_clearflag(args);
			goto out;
		}
592

593 594 595 596 597 598 599 600 601
		/*
		 * 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.
		 */
602 603 604 605 606 607 608 609 610 611 612 613 614
		if (!xfs_has_larp(mp)) {
			error = xfs_attr3_leaf_flipflags(args);
			if (error)
				goto out;
			/*
			 * Commit the flag value change and start the next trans
			 * in series
			 */
			dac->dela_state = XFS_DAS_FLIP_NFLAG;
			trace_xfs_attr_set_iter_return(dac->dela_state,
						       args->dp);
			return -EAGAIN;
		}
615

616
		fallthrough;
617 618 619 620 621 622
	case XFS_DAS_FLIP_NFLAG:
		/*
		 * Dismantle the "old" attribute/value pair by removing a
		 * "remote" value (if it exists).
		 */
		xfs_attr_restore_rmt_blk(args);
623 624 625 626 627

		error = xfs_attr_rmtval_invalidate(args);
		if (error)
			return error;

628
		fallthrough;
629 630 631 632
	case XFS_DAS_RM_NBLK:
		/* Set state in case xfs_attr_rmtval_remove returns -EAGAIN */
		dac->dela_state = XFS_DAS_RM_NBLK;
		if (args->rmtblkno) {
633
			error = xfs_attr_rmtval_remove(dac);
634 635 636 637
			if (error == -EAGAIN)
				trace_xfs_attr_set_iter_return(
					dac->dela_state, args->dp);

638 639 640 641
			if (error)
				return error;

			dac->dela_state = XFS_DAS_CLR_FLAG;
642
			trace_xfs_attr_set_iter_return(dac->dela_state, args->dp);
643 644
			return -EAGAIN;
		}
645

646
		fallthrough;
647 648 649 650 651 652 653 654
	case XFS_DAS_CLR_FLAG:
		/*
		 * The last state for node format. Look up the old attr and
		 * remove it.
		 */
		error = xfs_attr_node_addname_clear_incomplete(dac);
		break;
	default:
655
		ASSERT(0);
656 657
		break;
	}
658
out:
659
	return error;
660 661
}

662

663 664 665
/*
 * Return EEXIST if attr is found, or ENOATTR if not
 */
D
Dave Chinner 已提交
666 667
static int
xfs_attr_lookup(
668 669 670 671 672 673 674 675 676
	struct xfs_da_args	*args)
{
	struct xfs_inode	*dp = args->dp;
	struct xfs_buf		*bp = NULL;
	int			error;

	if (!xfs_inode_hasattr(dp))
		return -ENOATTR;

C
Christoph Hellwig 已提交
677
	if (dp->i_afp->if_format == XFS_DINODE_FMT_LOCAL)
678 679
		return xfs_attr_sf_findname(args, NULL, NULL);

680
	if (xfs_attr_is_leaf(dp)) {
681 682 683 684 685 686 687 688 689 690 691
		error = xfs_attr_leaf_hasname(args, &bp);

		if (bp)
			xfs_trans_brelse(args->trans, bp);

		return error;
	}

	return xfs_attr_node_hasname(args, NULL);
}

692 693 694 695 696
/*
 * Remove the attribute specified in @args.
 */
int
xfs_attr_remove_args(
697
	struct xfs_da_args	*args)
698
{
699 700 701 702
	int				error;
	struct xfs_delattr_context	dac = {
		.da_args	= args,
	};
703

704 705 706 707 708 709 710 711 712 713 714 715
	do {
		error = xfs_attr_remove_iter(&dac);
		if (error != -EAGAIN)
			break;

		error = xfs_attr_trans_roll(&dac);
		if (error)
			return error;

	} while (true);

	return error;
716 717
}

718
/*
719
 * Note: If args->value is NULL the attribute will be removed, just like the
720 721
 * Linux ->setattr API.
 */
722 723
int
xfs_attr_set(
724
	struct xfs_da_args	*args)
L
Linus Torvalds 已提交
725
{
726
	struct xfs_inode	*dp = args->dp;
727 728
	struct xfs_mount	*mp = dp->i_mount;
	struct xfs_trans_res	tres;
729
	bool			rsvd = (args->attr_filter & XFS_ATTR_ROOT);
730
	int			error, local;
731
	int			rmt_blks = 0;
732
	unsigned int		total;
733
	int			delayed = xfs_has_larp(mp);
734

735
	if (xfs_is_shutdown(dp->i_mount))
D
Dave Chinner 已提交
736
		return -EIO;
737

738 739 740 741
	error = xfs_qm_dqattach(dp);
	if (error)
		return error;

742 743 744
	args->geo = mp->m_attr_geo;
	args->whichfork = XFS_ATTR_FORK;
	args->hashval = xfs_da_hashname(args->name, args->namelen);
L
Linus Torvalds 已提交
745 746

	/*
747 748 749
	 * We have no control over the attribute names that userspace passes us
	 * to remove, so we have to allow the name lookup prior to attribute
	 * removal to fail as well.
L
Linus Torvalds 已提交
750
	 */
751
	args->op_flags = XFS_DA_OP_OKNOENT;
752

753
	if (args->value) {
754 755
		XFS_STATS_INC(mp, xs_attr_set);

756 757
		args->op_flags |= XFS_DA_OP_ADDNAME;
		args->total = xfs_attr_calc_size(args, &local);
758 759 760 761 762 763 764

		/*
		 * If the inode doesn't have an attribute fork, add one.
		 * (inode must not be locked when we call this routine)
		 */
		if (XFS_IFORK_Q(dp) == 0) {
			int sf_size = sizeof(struct xfs_attr_sf_hdr) +
765
				xfs_attr_sf_entsize_byname(args->namelen,
766
						args->valuelen);
767 768 769 770 771 772 773

			error = xfs_bmap_add_attrfork(dp, sf_size, rsvd);
			if (error)
				return error;
		}

		tres.tr_logres = M_RES(mp)->tr_attrsetm.tr_logres +
774 775
				 M_RES(mp)->tr_attrsetrt.tr_logres *
					args->total;
776 777
		tres.tr_logcount = XFS_ATTRSET_LOG_COUNT;
		tres.tr_logflags = XFS_TRANS_PERM_LOG_RES;
778
		total = args->total;
779 780 781

		if (!local)
			rmt_blks = xfs_attr3_rmt_blocks(mp, args->valuelen);
782 783
	} else {
		XFS_STATS_INC(mp, xs_attr_remove);
L
Linus Torvalds 已提交
784

785 786
		tres = M_RES(mp)->tr_attrrm;
		total = XFS_ATTRRM_SPACE_RES(mp);
787
		rmt_blks = xfs_attr3_rmt_blocks(mp, XFS_XATTR_SIZE_MAX);
788
	}
L
Linus Torvalds 已提交
789

790 791 792 793 794 795
	if (delayed) {
		error = xfs_attr_use_log_assist(mp);
		if (error)
			return error;
	}

L
Linus Torvalds 已提交
796 797 798 799
	/*
	 * Root fork attributes can use reserved data blocks for this
	 * operation if necessary
	 */
800
	error = xfs_trans_alloc_inode(dp, &tres, total, 0, rsvd, &args->trans);
801
	if (error)
802
		goto drop_incompat;
L
Linus Torvalds 已提交
803

804 805 806
	if (args->value || xfs_inode_hasattr(dp)) {
		error = xfs_iext_count_may_overflow(dp, XFS_ATTR_FORK,
				XFS_IEXT_ATTR_MANIP_CNT(rmt_blks));
807 808 809
		if (error == -EFBIG)
			error = xfs_iext_count_upgrade(args->trans, dp,
					XFS_IEXT_ATTR_MANIP_CNT(rmt_blks));
810 811 812 813
		if (error)
			goto out_trans_cancel;
	}

D
Dave Chinner 已提交
814
	error = xfs_attr_lookup(args);
815
	if (args->value) {
816 817 818 819 820 821 822
		if (error == -EEXIST && (args->attr_flags & XATTR_CREATE))
			goto out_trans_cancel;
		if (error == -ENOATTR && (args->attr_flags & XATTR_REPLACE))
			goto out_trans_cancel;
		if (error != -ENOATTR && error != -EEXIST)
			goto out_trans_cancel;

823
		error = xfs_attr_set_deferred(args);
824 825
		if (error)
			goto out_trans_cancel;
826

827
		/* shortform attribute has already been committed */
828
		if (!args->trans)
829 830
			goto out_unlock;
	} else {
831 832 833
		if (error != -EEXIST)
			goto out_trans_cancel;

834
		error = xfs_attr_remove_deferred(args);
835 836
		if (error)
			goto out_trans_cancel;
837
	}
L
Linus Torvalds 已提交
838 839 840 841 842

	/*
	 * If this is a synchronous mount, make sure that the
	 * transaction goes to disk before returning to the user.
	 */
843
	if (xfs_has_wsync(mp))
844
		xfs_trans_set_sync(args->trans);
L
Linus Torvalds 已提交
845

846
	if (!(args->op_flags & XFS_DA_OP_NOTIME))
847
		xfs_trans_ichgtime(args->trans, dp, XFS_ICHGTIME_CHG);
848

L
Linus Torvalds 已提交
849 850 851
	/*
	 * Commit the last in the sequence of transactions.
	 */
852 853
	xfs_trans_log_inode(args->trans, dp, XFS_ILOG_CORE);
	error = xfs_trans_commit(args->trans);
854
out_unlock:
L
Linus Torvalds 已提交
855
	xfs_iunlock(dp, XFS_ILOCK_EXCL);
856 857 858
drop_incompat:
	if (delayed)
		xlog_drop_incompat_feat(mp->m_log);
859
	return error;
L
Linus Torvalds 已提交
860

861
out_trans_cancel:
862 863
	if (args->trans)
		xfs_trans_cancel(args->trans);
864
	goto out_unlock;
L
Linus Torvalds 已提交
865 866
}

867 868 869 870 871 872 873 874 875 876 877 878 879 880 881 882 883 884 885 886 887 888 889 890 891 892 893 894 895 896 897 898 899 900
int __init
xfs_attri_init_cache(void)
{
	xfs_attri_cache = kmem_cache_create("xfs_attri",
					    sizeof(struct xfs_attri_log_item),
					    0, 0, NULL);

	return xfs_attri_cache != NULL ? 0 : -ENOMEM;
}

void
xfs_attri_destroy_cache(void)
{
	kmem_cache_destroy(xfs_attri_cache);
	xfs_attri_cache = NULL;
}

int __init
xfs_attrd_init_cache(void)
{
	xfs_attrd_cache = kmem_cache_create("xfs_attrd",
					    sizeof(struct xfs_attrd_log_item),
					    0, 0, NULL);

	return xfs_attrd_cache != NULL ? 0 : -ENOMEM;
}

void
xfs_attrd_destroy_cache(void)
{
	kmem_cache_destroy(xfs_attrd_cache);
	xfs_attrd_cache = NULL;
}

901 902 903 904 905 906 907 908 909 910 911 912 913 914 915 916 917 918 919 920 921 922 923 924 925 926 927 928 929 930 931 932 933 934 935 936 937 938 939 940 941 942 943 944 945 946 947 948 949 950 951 952
STATIC int
xfs_attr_item_init(
	struct xfs_da_args	*args,
	unsigned int		op_flags,	/* op flag (set or remove) */
	struct xfs_attr_item	**attr)		/* new xfs_attr_item */
{

	struct xfs_attr_item	*new;

	new = kmem_zalloc(sizeof(struct xfs_attr_item), KM_NOFS);
	new->xattri_op_flags = op_flags;
	new->xattri_dac.da_args = args;

	*attr = new;
	return 0;
}

/* Sets an attribute for an inode as a deferred operation */
int
xfs_attr_set_deferred(
	struct xfs_da_args	*args)
{
	struct xfs_attr_item	*new;
	int			error = 0;

	error = xfs_attr_item_init(args, XFS_ATTR_OP_FLAGS_SET, &new);
	if (error)
		return error;

	xfs_defer_add(args->trans, XFS_DEFER_OPS_TYPE_ATTR, &new->xattri_list);

	return 0;
}

/* Removes an attribute for an inode as a deferred operation */
int
xfs_attr_remove_deferred(
	struct xfs_da_args	*args)
{

	struct xfs_attr_item	*new;
	int			error;

	error  = xfs_attr_item_init(args, XFS_ATTR_OP_FLAGS_REMOVE, &new);
	if (error)
		return error;

	xfs_defer_add(args->trans, XFS_DEFER_OPS_TYPE_ATTR, &new->xattri_list);

	return 0;
}

L
Linus Torvalds 已提交
953 954 955 956
/*========================================================================
 * External routines when attribute list is inside the inode
 *========================================================================*/

957 958 959 960 961 962 963 964
static inline int xfs_attr_sf_totsize(struct xfs_inode *dp)
{
	struct xfs_attr_shortform *sf;

	sf = (struct xfs_attr_shortform *)dp->i_afp->if_u1.if_data;
	return be16_to_cpu(sf->hdr.totsize);
}

L
Linus Torvalds 已提交
965 966 967 968 969 970 971
/*
 * Add a name to the shortform attribute list structure
 * This is the external routine.
 */
STATIC int
xfs_attr_shortform_addname(xfs_da_args_t *args)
{
972
	int newsize, forkoff, retval;
L
Linus Torvalds 已提交
973

974 975
	trace_xfs_attr_sf_addname(args);

L
Linus Torvalds 已提交
976
	retval = xfs_attr_shortform_lookup(args);
977
	if (retval == -ENOATTR && (args->attr_flags & XATTR_REPLACE))
E
Eric Sandeen 已提交
978
		return retval;
979
	if (retval == -EEXIST) {
980
		if (args->attr_flags & XATTR_CREATE)
E
Eric Sandeen 已提交
981
			return retval;
982
		retval = xfs_attr_sf_removename(args);
983 984 985 986 987 988 989
		if (retval)
			return retval;
		/*
		 * Since we have removed the old attr, clear ATTR_REPLACE so
		 * that the leaf format add routine won't trip over the attr
		 * not being around.
		 */
990
		args->attr_flags &= ~XATTR_REPLACE;
L
Linus Torvalds 已提交
991 992
	}

993 994
	if (args->namelen >= XFS_ATTR_SF_ENTSIZE_MAX ||
	    args->valuelen >= XFS_ATTR_SF_ENTSIZE_MAX)
D
Dave Chinner 已提交
995
		return -ENOSPC;
996

997 998
	newsize = xfs_attr_sf_totsize(args->dp);
	newsize += xfs_attr_sf_entsize_byname(args->namelen, args->valuelen);
999 1000 1001

	forkoff = xfs_attr_shortform_bytesfit(args->dp, newsize);
	if (!forkoff)
D
Dave Chinner 已提交
1002
		return -ENOSPC;
1003 1004

	xfs_attr_shortform_add(args, forkoff);
E
Eric Sandeen 已提交
1005
	return 0;
L
Linus Torvalds 已提交
1006 1007 1008 1009 1010 1011 1012
}


/*========================================================================
 * External routines when attribute list is one block
 *========================================================================*/

1013 1014 1015 1016 1017 1018 1019 1020 1021 1022 1023 1024 1025 1026 1027 1028 1029 1030 1031 1032 1033 1034 1035 1036
/* Store info about a remote block */
STATIC void
xfs_attr_save_rmt_blk(
	struct xfs_da_args	*args)
{
	args->blkno2 = args->blkno;
	args->index2 = args->index;
	args->rmtblkno2 = args->rmtblkno;
	args->rmtblkcnt2 = args->rmtblkcnt;
	args->rmtvaluelen2 = args->rmtvaluelen;
}

/* Set stored info about a remote block */
STATIC void
xfs_attr_restore_rmt_blk(
	struct xfs_da_args	*args)
{
	args->blkno = args->blkno2;
	args->index = args->index2;
	args->rmtblkno = args->rmtblkno2;
	args->rmtblkcnt = args->rmtblkcnt2;
	args->rmtvaluelen = args->rmtvaluelen2;
}

L
Linus Torvalds 已提交
1037
/*
1038
 * Tries to add an attribute to an inode in leaf form
L
Linus Torvalds 已提交
1039
 *
1040 1041 1042 1043 1044 1045
 * This function is meant to execute as part of a delayed operation and leaves
 * the transaction handling to the caller.  On success the attribute is added
 * and the inode and transaction are left dirty.  If there is not enough space,
 * the attr data is converted to node format and -ENOSPC is returned. Caller is
 * responsible for handling the dirty inode and transaction or adding the attr
 * in node format.
L
Linus Torvalds 已提交
1046
 */
D
David Chinner 已提交
1047
STATIC int
1048 1049 1050
xfs_attr_leaf_try_add(
	struct xfs_da_args	*args,
	struct xfs_buf		*bp)
L
Linus Torvalds 已提交
1051
{
1052
	int			retval;
1053

L
Linus Torvalds 已提交
1054 1055 1056 1057
	/*
	 * Look up the given attribute in the leaf block.  Figure out if
	 * the given flags produce an error or call for an atomic rename.
	 */
1058 1059 1060
	retval = xfs_attr_leaf_hasname(args, &bp);
	if (retval != -ENOATTR && retval != -EEXIST)
		return retval;
1061
	if (retval == -ENOATTR && (args->attr_flags & XATTR_REPLACE))
1062 1063
		goto out_brelse;
	if (retval == -EEXIST) {
1064
		if (args->attr_flags & XATTR_CREATE)
1065
			goto out_brelse;
1066 1067 1068

		trace_xfs_attr_leaf_replace(args);

1069
		/* save the attribute state for later removal*/
1070
		args->op_flags |= XFS_DA_OP_RENAME;	/* an atomic rename */
1071
		xfs_attr_save_rmt_blk(args);
1072 1073 1074 1075 1076 1077 1078 1079 1080

		/*
		 * clear the remote attr state now that it is saved so that the
		 * values reflect the state of the attribute we are about to
		 * add, not the attribute we just found and will remove later.
		 */
		args->rmtblkno = 0;
		args->rmtblkcnt = 0;
		args->rmtvaluelen = 0;
L
Linus Torvalds 已提交
1081 1082 1083
	}

	/*
1084
	 * Add the attribute to the leaf block
L
Linus Torvalds 已提交
1085
	 */
1086 1087
	return xfs_attr3_leaf_add(bp, args);

1088 1089 1090 1091
out_brelse:
	xfs_trans_brelse(args->trans, bp);
	return retval;
}
L
Linus Torvalds 已提交
1092

1093 1094 1095 1096 1097 1098 1099 1100 1101 1102 1103 1104 1105 1106 1107 1108 1109 1110 1111 1112 1113
/*
 * Return EEXIST if attr is found, or ENOATTR if not
 */
STATIC int
xfs_attr_leaf_hasname(
	struct xfs_da_args	*args,
	struct xfs_buf		**bp)
{
	int                     error = 0;

	error = xfs_attr3_leaf_read(args->trans, args->dp, 0, bp);
	if (error)
		return error;

	error = xfs_attr3_leaf_lookup_int(*bp, args);
	if (error != -ENOATTR && error != -EEXIST)
		xfs_trans_brelse(args->trans, *bp);

	return error;
}

L
Linus Torvalds 已提交
1114 1115 1116 1117 1118 1119 1120
/*
 * Remove a name from the leaf attribute list structure
 *
 * This leaf block cannot have a "remote" value, we only call this routine
 * if bmap_one_block() says there is only one block (ie: no remote blks).
 */
STATIC int
1121 1122
xfs_attr_leaf_removename(
	struct xfs_da_args	*args)
L
Linus Torvalds 已提交
1123
{
1124 1125 1126
	struct xfs_inode	*dp;
	struct xfs_buf		*bp;
	int			error, forkoff;
L
Linus Torvalds 已提交
1127

1128 1129
	trace_xfs_attr_leaf_removename(args);

L
Linus Torvalds 已提交
1130 1131 1132 1133 1134
	/*
	 * Remove the attribute.
	 */
	dp = args->dp;

1135 1136
	error = xfs_attr_leaf_hasname(args, &bp);

D
Dave Chinner 已提交
1137
	if (error == -ENOATTR) {
1138
		xfs_trans_brelse(args->trans, bp);
D
Dave Chinner 已提交
1139
		return error;
1140 1141
	} else if (error != -EEXIST)
		return error;
L
Linus Torvalds 已提交
1142

D
Dave Chinner 已提交
1143
	xfs_attr3_leaf_remove(bp, args);
L
Linus Torvalds 已提交
1144 1145 1146 1147

	/*
	 * If the result is small enough, shrink it all into the inode.
	 */
1148 1149 1150
	forkoff = xfs_attr_shortform_allfit(bp, dp);
	if (forkoff)
		return xfs_attr3_leaf_to_shortform(bp, args, forkoff);
L
Linus Torvalds 已提交
1151
		/* bp is gone due to xfs_da_shrink_inode */
1152

D
Dave Chinner 已提交
1153
	return 0;
L
Linus Torvalds 已提交
1154 1155 1156 1157 1158 1159 1160
}

/*
 * Look up a name in a leaf attribute list structure.
 *
 * This leaf block cannot have a "remote" value, we only call this routine
 * if bmap_one_block() says there is only one block (ie: no remote blks).
1161 1162
 *
 * Returns 0 on successful retrieval, otherwise an error.
L
Linus Torvalds 已提交
1163
 */
1164
STATIC int
L
Linus Torvalds 已提交
1165 1166
xfs_attr_leaf_get(xfs_da_args_t *args)
{
1167
	struct xfs_buf *bp;
L
Linus Torvalds 已提交
1168 1169
	int error;

1170 1171
	trace_xfs_attr_leaf_get(args);

1172
	error = xfs_attr_leaf_hasname(args, &bp);
L
Linus Torvalds 已提交
1173

1174
	if (error == -ENOATTR)  {
1175
		xfs_trans_brelse(args->trans, bp);
D
Dave Chinner 已提交
1176
		return error;
1177 1178 1179 1180
	} else if (error != -EEXIST)
		return error;


D
Dave Chinner 已提交
1181
	error = xfs_attr3_leaf_getvalue(bp, args);
1182
	xfs_trans_brelse(args->trans, bp);
1183
	return error;
L
Linus Torvalds 已提交
1184 1185
}

1186 1187 1188 1189 1190 1191 1192 1193 1194 1195 1196 1197 1198 1199 1200
/*
 * Return EEXIST if attr is found, or ENOATTR if not
 * statep: If not null is set to point at the found state.  Caller will
 *         be responsible for freeing the state in this case.
 */
STATIC int
xfs_attr_node_hasname(
	struct xfs_da_args	*args,
	struct xfs_da_state	**statep)
{
	struct xfs_da_state	*state;
	int			retval, error;

	state = xfs_da_state_alloc(args);
	if (statep != NULL)
1201
		*statep = state;
1202 1203 1204 1205 1206

	/*
	 * Search to see if name exists, and get back a pointer to it.
	 */
	error = xfs_da3_node_lookup_int(state, &retval);
1207 1208
	if (error)
		retval = error;
1209

1210
	if (!statep)
1211
		xfs_da_state_free(state);
1212

1213 1214 1215
	return retval;
}

L
Linus Torvalds 已提交
1216
/*========================================================================
1217
 * External routines when attribute list size > geo->blksize
L
Linus Torvalds 已提交
1218 1219 1220
 *========================================================================*/

STATIC int
1221
xfs_attr_node_addname_find_attr(
1222
	struct xfs_delattr_context	*dac)
L
Linus Torvalds 已提交
1223
{
1224 1225
	struct xfs_da_args		*args = dac->da_args;
	int				retval;
1226

L
Linus Torvalds 已提交
1227 1228 1229 1230
	/*
	 * Search to see if name already exists, and get back a pointer
	 * to where it should go.
	 */
1231
	retval = xfs_attr_node_hasname(args, &dac->da_state);
1232
	if (retval != -ENOATTR && retval != -EEXIST)
1233
		goto error;
1234

1235
	if (retval == -ENOATTR && (args->attr_flags & XATTR_REPLACE))
1236
		goto error;
1237
	if (retval == -EEXIST) {
1238
		if (args->attr_flags & XATTR_CREATE)
1239
			goto error;
1240 1241 1242

		trace_xfs_attr_node_replace(args);

1243
		/* save the attribute state for later removal*/
1244
		args->op_flags |= XFS_DA_OP_RENAME;	/* atomic rename op */
1245
		xfs_attr_save_rmt_blk(args);
1246 1247 1248 1249 1250 1251

		/*
		 * clear the remote attr state now that it is saved so that the
		 * values reflect the state of the attribute we are about to
		 * add, not the attribute we just found and will remove later.
		 */
L
Linus Torvalds 已提交
1252 1253
		args->rmtblkno = 0;
		args->rmtblkcnt = 0;
1254
		args->rmtvaluelen = 0;
L
Linus Torvalds 已提交
1255 1256
	}

1257 1258
	return 0;
error:
1259 1260
	if (dac->da_state)
		xfs_da_state_free(dac->da_state);
1261 1262 1263 1264 1265 1266 1267 1268 1269 1270 1271 1272
	return retval;
}

/*
 * Add a name to a Btree-format attribute list.
 *
 * This will involve walking down the Btree, and may involve splitting
 * leaf nodes and even splitting intermediate nodes up to and including
 * the root node (a special case of an intermediate node).
 *
 * "Remote" attribute values confuse the issue and atomic rename operations
 * add a whole extra layer of confusion on top of that.
1273 1274 1275 1276 1277
 *
 * This routine is meant to function as a delayed operation, and may return
 * -EAGAIN when the transaction needs to be rolled.  Calling functions will need
 * to handle this, and recall the function until a successful error code is
 *returned.
1278 1279 1280
 */
STATIC int
xfs_attr_node_addname(
1281
	struct xfs_delattr_context	*dac)
1282
{
1283 1284 1285 1286
	struct xfs_da_args		*args = dac->da_args;
	struct xfs_da_state		*state = dac->da_state;
	struct xfs_da_state_blk		*blk;
	int				error;
1287 1288 1289 1290 1291 1292

	trace_xfs_attr_node_addname(args);

	blk = &state->path.blk[state->path.active-1];
	ASSERT(blk->magic == XFS_ATTR_LEAF_MAGIC);

1293 1294
	error = xfs_attr3_leaf_add(blk->bp, state->args);
	if (error == -ENOSPC) {
L
Linus Torvalds 已提交
1295 1296 1297 1298 1299 1300 1301
		if (state->path.active == 1) {
			/*
			 * Its really a single leaf node, but it had
			 * out-of-line values so it looked like it *might*
			 * have been a b-tree.
			 */
			xfs_da_state_free(state);
1302
			state = NULL;
D
Dave Chinner 已提交
1303
			error = xfs_attr3_leaf_to_node(args);
1304
			if (error)
1305
				goto out;
L
Linus Torvalds 已提交
1306 1307

			/*
1308 1309 1310 1311 1312
			 * Now that we have converted the leaf to a node, we can
			 * roll the transaction, and try xfs_attr3_leaf_add
			 * again on re-entry.  No need to set dela_state to do
			 * this. dela_state is still unset by this function at
			 * this point.
L
Linus Torvalds 已提交
1313
			 */
1314
			dac->flags |= XFS_DAC_DEFER_FINISH;
1315 1316
			trace_xfs_attr_node_addname_return(
					dac->dela_state, args->dp);
1317
			return -EAGAIN;
L
Linus Torvalds 已提交
1318 1319 1320 1321 1322 1323 1324 1325
		}

		/*
		 * Split as many Btree elements as required.
		 * This code tracks the new and old attr's location
		 * in the index/blkno/rmtblkno/rmtblkcnt fields and
		 * in the index2/blkno2/rmtblkno2/rmtblkcnt2 fields.
		 */
1326
		error = xfs_da3_split(state);
1327
		if (error)
1328
			goto out;
1329
		dac->flags |= XFS_DAC_DEFER_FINISH;
L
Linus Torvalds 已提交
1330 1331 1332 1333
	} else {
		/*
		 * Addition succeeded, update Btree hashvals.
		 */
1334
		xfs_da3_fixhashpath(state, &state->path);
L
Linus Torvalds 已提交
1335 1336
	}

1337 1338 1339
out:
	if (state)
		xfs_da_state_free(state);
1340
	return error;
1341 1342 1343 1344 1345
}


STATIC int
xfs_attr_node_addname_clear_incomplete(
1346
	struct xfs_delattr_context	*dac)
1347
{
1348
	struct xfs_da_args		*args = dac->da_args;
1349
	struct xfs_da_state		*state = NULL;
1350
	struct xfs_mount		*mp = args->dp->i_mount;
1351 1352 1353
	int				retval = 0;
	int				error = 0;

1354 1355 1356 1357
	/*
	 * 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.
	 */
1358 1359
	if (!xfs_has_larp(mp))
		args->attr_filter |= XFS_ATTR_INCOMPLETE;
1360 1361 1362 1363 1364
	state = xfs_da_state_alloc(args);
	state->inleaf = 0;
	error = xfs_da3_node_lookup_int(state, &retval);
	if (error)
		goto out;
L
Linus Torvalds 已提交
1365

1366
	error = xfs_attr_node_removename(args, state);
L
Linus Torvalds 已提交
1367

1368 1369 1370 1371 1372
	/*
	 * Check to see if the tree needs to be collapsed.
	 */
	if (retval && (state->path.active > 1)) {
		error = xfs_da3_join(state);
L
Linus Torvalds 已提交
1373 1374 1375 1376 1377 1378 1379 1380 1381
		if (error)
			goto out;
	}
	retval = error = 0;

out:
	if (state)
		xfs_da_state_free(state);
	if (error)
E
Eric Sandeen 已提交
1382 1383
		return error;
	return retval;
L
Linus Torvalds 已提交
1384 1385
}

1386 1387 1388 1389 1390 1391 1392 1393 1394 1395 1396 1397 1398 1399 1400 1401 1402 1403 1404 1405 1406 1407 1408 1409 1410 1411 1412 1413 1414 1415
/*
 * Shrink an attribute from leaf to shortform
 */
STATIC int
xfs_attr_node_shrink(
	struct xfs_da_args	*args,
	struct xfs_da_state     *state)
{
	struct xfs_inode	*dp = args->dp;
	int			error, forkoff;
	struct xfs_buf		*bp;

	/*
	 * Have to get rid of the copy of this dabuf in the state.
	 */
	ASSERT(state->path.active == 1);
	ASSERT(state->path.blk[0].bp);
	state->path.blk[0].bp = NULL;

	error = xfs_attr3_leaf_read(args->trans, args->dp, 0, &bp);
	if (error)
		return error;

	forkoff = xfs_attr_shortform_allfit(bp, dp);
	if (forkoff) {
		error = xfs_attr3_leaf_to_shortform(bp, args, forkoff);
		/* bp is gone due to xfs_da_shrink_inode */
	} else
		xfs_trans_brelse(args->trans, bp);

1416
	return error;
1417 1418
}

1419 1420 1421 1422 1423 1424 1425 1426 1427 1428 1429 1430 1431 1432 1433 1434 1435 1436 1437 1438 1439 1440 1441 1442 1443 1444
/*
 * Mark an attribute entry INCOMPLETE and save pointers to the relevant buffers
 * for later deletion of the entry.
 */
STATIC int
xfs_attr_leaf_mark_incomplete(
	struct xfs_da_args	*args,
	struct xfs_da_state	*state)
{
	int			error;

	/*
	 * Fill in disk block numbers in the state structure
	 * so that we can get the buffers back after we commit
	 * several transactions in the following calls.
	 */
	error = xfs_attr_fillstate(state);
	if (error)
		return error;

	/*
	 * Mark the attribute as INCOMPLETE
	 */
	return xfs_attr3_leaf_setflag(args);
}

1445 1446 1447 1448 1449 1450 1451
/*
 * Initial setup for xfs_attr_node_removename.  Make sure the attr is there and
 * the blocks are valid.  Attr keys with remote blocks will be marked
 * incomplete.
 */
STATIC
int xfs_attr_node_removename_setup(
1452
	struct xfs_delattr_context	*dac)
1453
{
1454 1455 1456
	struct xfs_da_args		*args = dac->da_args;
	struct xfs_da_state		**state = &dac->da_state;
	int				error;
1457 1458 1459

	error = xfs_attr_node_hasname(args, state);
	if (error != -EEXIST)
1460
		goto out;
1461
	error = 0;
1462 1463 1464 1465 1466 1467 1468 1469

	ASSERT((*state)->path.blk[(*state)->path.active - 1].bp != NULL);
	ASSERT((*state)->path.blk[(*state)->path.active - 1].magic ==
		XFS_ATTR_LEAF_MAGIC);

	if (args->rmtblkno > 0) {
		error = xfs_attr_leaf_mark_incomplete(args, *state);
		if (error)
1470
			goto out;
1471

1472
		error = xfs_attr_rmtval_invalidate(args);
1473
	}
1474 1475 1476
out:
	if (error)
		xfs_da_state_free(*state);
1477

1478
	return error;
1479 1480
}

1481
STATIC int
1482
xfs_attr_node_removename(
1483 1484 1485 1486 1487 1488 1489 1490 1491 1492 1493 1494 1495 1496 1497 1498 1499
	struct xfs_da_args	*args,
	struct xfs_da_state	*state)
{
	struct xfs_da_state_blk	*blk;
	int			retval;

	/*
	 * 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);
	retval = xfs_attr3_leaf_remove(blk->bp, args);
	xfs_da3_fixhashpath(state, &state->path);

	return retval;
}

L
Linus Torvalds 已提交
1500
/*
1501
 * Remove the attribute specified in @args.
L
Linus Torvalds 已提交
1502 1503 1504 1505
 *
 * This will involve walking down the Btree, and may involve joining
 * leaf nodes and even joining intermediate nodes up to and including
 * the root node (a special case of an intermediate node).
1506 1507 1508 1509 1510
 *
 * This routine is meant to function as either an in-line or delayed operation,
 * and may return -EAGAIN when the transaction needs to be rolled.  Calling
 * functions will need to handle this, and call the function until a
 * successful error code is returned.
L
Linus Torvalds 已提交
1511
 */
1512 1513 1514
int
xfs_attr_remove_iter(
	struct xfs_delattr_context	*dac)
L
Linus Torvalds 已提交
1515
{
1516 1517
	struct xfs_da_args		*args = dac->da_args;
	struct xfs_da_state		*state = dac->da_state;
1518
	int				retval, error = 0;
1519
	struct xfs_inode		*dp = args->dp;
L
Linus Torvalds 已提交
1520

1521 1522
	trace_xfs_attr_node_removename(args);

1523 1524 1525 1526
	switch (dac->dela_state) {
	case XFS_DAS_UNINIT:
		if (!xfs_inode_hasattr(dp))
			return -ENOATTR;
L
Linus Torvalds 已提交
1527

1528 1529 1530 1531 1532
		/*
		 * Shortform or leaf formats don't require transaction rolls and
		 * thus state transitions. Call the right helper and return.
		 */
		if (dp->i_afp->if_format == XFS_DINODE_FMT_LOCAL)
1533
			return xfs_attr_sf_removename(args);
1534 1535 1536

		if (xfs_attr_is_leaf(dp))
			return xfs_attr_leaf_removename(args);
1537 1538

		/*
1539 1540
		 * Node format may require transaction rolls. Set up the
		 * state context and fall into the state machine.
1541
		 */
1542 1543 1544 1545 1546 1547 1548
		if (!dac->da_state) {
			error = xfs_attr_node_removename_setup(dac);
			if (error)
				return error;
			state = dac->da_state;
		}

1549
		fallthrough;
1550 1551
	case XFS_DAS_RMTBLK:
		dac->dela_state = XFS_DAS_RMTBLK;
L
Linus Torvalds 已提交
1552 1553

		/*
1554 1555 1556 1557
		 * If there is an out-of-line value, de-allocate the blocks.
		 * This is done before we remove the attribute so that we don't
		 * overflow the maximum size of a transaction and/or hit a
		 * deadlock.
L
Linus Torvalds 已提交
1558
		 */
1559 1560 1561 1562 1563
		if (args->rmtblkno > 0) {
			/*
			 * May return -EAGAIN. Roll and repeat until all remote
			 * blocks are removed.
			 */
1564
			error = xfs_attr_rmtval_remove(dac);
1565 1566 1567
			if (error == -EAGAIN) {
				trace_xfs_attr_remove_iter_return(
						dac->dela_state, args->dp);
1568
				return error;
1569
			} else if (error) {
1570
				goto out;
1571
			}
L
Linus Torvalds 已提交
1572

1573 1574 1575 1576 1577 1578 1579 1580 1581 1582 1583
			/*
			 * Refill the state structure with buffers (the prior
			 * calls released our buffers) and close out this
			 * transaction before proceeding.
			 */
			ASSERT(args->rmtblkno == 0);
			error = xfs_attr_refillstate(state);
			if (error)
				goto out;
			dac->dela_state = XFS_DAS_RM_NAME;
			dac->flags |= XFS_DAC_DEFER_FINISH;
1584
			trace_xfs_attr_remove_iter_return(dac->dela_state, args->dp);
1585 1586 1587
			return -EAGAIN;
		}

1588
		fallthrough;
1589 1590 1591 1592 1593 1594 1595 1596 1597 1598
	case XFS_DAS_RM_NAME:
		/*
		 * If we came here fresh from a transaction roll, reattach all
		 * the buffers to the current transaction.
		 */
		if (dac->dela_state == XFS_DAS_RM_NAME) {
			error = xfs_attr_refillstate(state);
			if (error)
				goto out;
		}
L
Linus Torvalds 已提交
1599

1600
		retval = xfs_attr_node_removename(args, state);
1601 1602 1603 1604 1605 1606 1607 1608 1609 1610 1611 1612

		/*
		 * Check to see if the tree needs to be collapsed. If so, roll
		 * the transacton and fall into the shrink state.
		 */
		if (retval && (state->path.active > 1)) {
			error = xfs_da3_join(state);
			if (error)
				goto out;

			dac->flags |= XFS_DAC_DEFER_FINISH;
			dac->dela_state = XFS_DAS_RM_SHRINK;
1613 1614
			trace_xfs_attr_remove_iter_return(
					dac->dela_state, args->dp);
1615 1616 1617
			return -EAGAIN;
		}

1618
		fallthrough;
1619 1620 1621 1622 1623 1624 1625 1626 1627 1628 1629 1630 1631 1632 1633
	case XFS_DAS_RM_SHRINK:
		/*
		 * If the result is small enough, push it all into the inode.
		 * This is our final state so it's safe to return a dirty
		 * transaction.
		 */
		if (xfs_attr_is_leaf(dp))
			error = xfs_attr_node_shrink(args, state);
		ASSERT(error != -EAGAIN);
		break;
	default:
		ASSERT(0);
		error = -EINVAL;
		goto out;
	}
L
Linus Torvalds 已提交
1634
out:
1635 1636
	if (state)
		xfs_da_state_free(state);
E
Eric Sandeen 已提交
1637
	return error;
L
Linus Torvalds 已提交
1638 1639 1640 1641 1642 1643
}

/*
 * Fill in the disk block numbers in the state structure for the buffers
 * that are attached to the state structure.
 * This is done so that we can quickly reattach ourselves to those buffers
1644
 * after some set of transaction commits have released these buffers.
L
Linus Torvalds 已提交
1645 1646 1647 1648 1649 1650 1651 1652
 */
STATIC int
xfs_attr_fillstate(xfs_da_state_t *state)
{
	xfs_da_state_path_t *path;
	xfs_da_state_blk_t *blk;
	int level;

1653 1654
	trace_xfs_attr_fillstate(state->args);

L
Linus Torvalds 已提交
1655 1656 1657 1658 1659 1660 1661 1662
	/*
	 * Roll down the "path" in the state structure, storing the on-disk
	 * block number for those buffers in the "path".
	 */
	path = &state->path;
	ASSERT((path->active >= 0) && (path->active < XFS_DA_NODE_MAXDEPTH));
	for (blk = path->blk, level = 0; level < path->active; blk++, level++) {
		if (blk->bp) {
D
Dave Chinner 已提交
1663
			blk->disk_blkno = xfs_buf_daddr(blk->bp);
L
Linus Torvalds 已提交
1664 1665 1666 1667 1668 1669 1670 1671 1672 1673 1674 1675 1676 1677
			blk->bp = NULL;
		} else {
			blk->disk_blkno = 0;
		}
	}

	/*
	 * Roll down the "altpath" in the state structure, storing the on-disk
	 * block number for those buffers in the "altpath".
	 */
	path = &state->altpath;
	ASSERT((path->active >= 0) && (path->active < XFS_DA_NODE_MAXDEPTH));
	for (blk = path->blk, level = 0; level < path->active; blk++, level++) {
		if (blk->bp) {
D
Dave Chinner 已提交
1678
			blk->disk_blkno = xfs_buf_daddr(blk->bp);
L
Linus Torvalds 已提交
1679 1680 1681 1682 1683 1684
			blk->bp = NULL;
		} else {
			blk->disk_blkno = 0;
		}
	}

E
Eric Sandeen 已提交
1685
	return 0;
L
Linus Torvalds 已提交
1686 1687 1688 1689 1690
}

/*
 * Reattach the buffers to the state structure based on the disk block
 * numbers stored in the state structure.
1691
 * This is done after some set of transaction commits have released those
L
Linus Torvalds 已提交
1692 1693 1694 1695 1696 1697 1698 1699 1700
 * buffers from our grip.
 */
STATIC int
xfs_attr_refillstate(xfs_da_state_t *state)
{
	xfs_da_state_path_t *path;
	xfs_da_state_blk_t *blk;
	int level, error;

1701 1702
	trace_xfs_attr_refillstate(state->args);

L
Linus Torvalds 已提交
1703 1704 1705 1706 1707 1708 1709 1710
	/*
	 * Roll down the "path" in the state structure, storing the on-disk
	 * block number for those buffers in the "path".
	 */
	path = &state->path;
	ASSERT((path->active >= 0) && (path->active < XFS_DA_NODE_MAXDEPTH));
	for (blk = path->blk, level = 0; level < path->active; blk++, level++) {
		if (blk->disk_blkno) {
C
Christoph Hellwig 已提交
1711 1712 1713
			error = xfs_da3_node_read_mapped(state->args->trans,
					state->args->dp, blk->disk_blkno,
					&blk->bp, XFS_ATTR_FORK);
L
Linus Torvalds 已提交
1714
			if (error)
E
Eric Sandeen 已提交
1715
				return error;
L
Linus Torvalds 已提交
1716 1717 1718 1719 1720 1721 1722 1723 1724 1725 1726 1727 1728
		} else {
			blk->bp = NULL;
		}
	}

	/*
	 * Roll down the "altpath" in the state structure, storing the on-disk
	 * block number for those buffers in the "altpath".
	 */
	path = &state->altpath;
	ASSERT((path->active >= 0) && (path->active < XFS_DA_NODE_MAXDEPTH));
	for (blk = path->blk, level = 0; level < path->active; blk++, level++) {
		if (blk->disk_blkno) {
C
Christoph Hellwig 已提交
1729 1730 1731
			error = xfs_da3_node_read_mapped(state->args->trans,
					state->args->dp, blk->disk_blkno,
					&blk->bp, XFS_ATTR_FORK);
L
Linus Torvalds 已提交
1732
			if (error)
E
Eric Sandeen 已提交
1733
				return error;
L
Linus Torvalds 已提交
1734 1735 1736 1737 1738
		} else {
			blk->bp = NULL;
		}
	}

E
Eric Sandeen 已提交
1739
	return 0;
L
Linus Torvalds 已提交
1740 1741 1742
}

/*
1743
 * Retrieve the attribute data from a node attribute list.
L
Linus Torvalds 已提交
1744 1745 1746 1747
 *
 * This routine gets called for any attribute fork that has more than one
 * block, ie: both true Btree attr lists and for single-leaf-blocks with
 * "remote" values taking up more blocks.
1748 1749
 *
 * Returns 0 on successful retrieval, otherwise an error.
L
Linus Torvalds 已提交
1750
 */
1751
STATIC int
1752 1753
xfs_attr_node_get(
	struct xfs_da_args	*args)
L
Linus Torvalds 已提交
1754
{
1755 1756 1757 1758
	struct xfs_da_state	*state;
	struct xfs_da_state_blk	*blk;
	int			i;
	int			error;
L
Linus Torvalds 已提交
1759

1760 1761
	trace_xfs_attr_node_get(args);

L
Linus Torvalds 已提交
1762 1763 1764
	/*
	 * Search to see if name exists, and get back a pointer to it.
	 */
1765 1766
	error = xfs_attr_node_hasname(args, &state);
	if (error != -EEXIST)
1767 1768 1769 1770 1771 1772
		goto out_release;

	/*
	 * Get the value, local or "remote"
	 */
	blk = &state->path.blk[state->path.active - 1];
1773
	error = xfs_attr3_leaf_getvalue(blk->bp, args);
L
Linus Torvalds 已提交
1774 1775 1776 1777

	/*
	 * If not in a transaction, we have to release all the buffers.
	 */
1778
out_release:
1779
	for (i = 0; state != NULL && i < state->path.active; i++) {
1780
		xfs_trans_brelse(args->trans, state->path.blk[i].bp);
L
Linus Torvalds 已提交
1781 1782 1783
		state->path.blk[i].bp = NULL;
	}

1784 1785 1786
	if (state)
		xfs_da_state_free(state);
	return error;
L
Linus Torvalds 已提交
1787
}
1788 1789 1790 1791 1792 1793 1794 1795 1796 1797 1798 1799 1800 1801 1802 1803 1804

/* Returns true if the attribute entry name is valid. */
bool
xfs_attr_namecheck(
	const void	*name,
	size_t		length)
{
	/*
	 * MAXNAMELEN includes the trailing null, but (name/length) leave it
	 * out, so use >= for the length check.
	 */
	if (length >= MAXNAMELEN)
		return false;

	/* There shouldn't be any nulls here */
	return !memchr(name, 0, length);
}