xfs_attr.c 43.5 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
STATIC int xfs_attr_node_addname(struct xfs_attr_item *attr);
STATIC int xfs_attr_node_addname_find_attr(struct xfs_attr_item *attr);
STATIC int xfs_attr_node_addname_clear_incomplete(struct xfs_attr_item *attr);
64 65
STATIC int xfs_attr_node_hasname(xfs_da_args_t *args,
				 struct xfs_da_state **state);
L
Linus Torvalds 已提交
66 67
STATIC int xfs_attr_fillstate(xfs_da_state_t *state);
STATIC int xfs_attr_refillstate(xfs_da_state_t *state);
68 69
STATIC int xfs_attr_node_removename(struct xfs_da_args *args,
				    struct xfs_da_state *state);
L
Linus Torvalds 已提交
70

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

82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101
/*
 * 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 已提交
102 103 104 105
/*========================================================================
 * Overall external interface routines.
 *========================================================================*/

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

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

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

126 127 128
/*
 * Retrieve an extended attribute by name, and its value if requested.
 *
C
Christoph Hellwig 已提交
129 130 131
 * 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.
132
 *
133 134 135 136 137
 * 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.
 *
138
 * If the attribute is found, but exceeds the size limit set by the caller in
139 140
 * args->valuelen, return -ERANGE with the size of the attribute that was found
 * in args->valuelen.
141
 */
142 143
int
xfs_attr_get(
144
	struct xfs_da_args	*args)
L
Linus Torvalds 已提交
145
{
146 147 148
	uint			lock_mode;
	int			error;

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

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

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

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

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

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

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

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

	return nblks;
}

204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 223 224 225
/* Initialize transaction reservation for attr operations */
void
xfs_init_attr_trans(
	struct xfs_da_args	*args,
	struct xfs_trans_res	*tres,
	unsigned int		*total)
{
	struct xfs_mount	*mp = args->dp->i_mount;

	if (args->value) {
		tres->tr_logres = M_RES(mp)->tr_attrsetm.tr_logres +
				 M_RES(mp)->tr_attrsetrt.tr_logres *
				 args->total;
		tres->tr_logcount = XFS_ATTRSET_LOG_COUNT;
		tres->tr_logflags = XFS_TRANS_PERM_LOG_RES;
		*total = args->total;
	} else {
		*tres = M_RES(mp)->tr_attrrm;
		*total = XFS_ATTRRM_SPACE_RES(mp);
	}
}

226 227 228 229 230 231
STATIC int
xfs_attr_try_sf_addname(
	struct xfs_inode	*dp,
	struct xfs_da_args	*args)
{

232 233 234 235 236 237 238
	int			error;

	/*
	 * Build initial attribute list (if required).
	 */
	if (dp->i_afp->if_format == XFS_DINODE_FMT_EXTENTS)
		xfs_attr_shortform_create(args);
239 240 241 242 243 244 245 246 247

	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).
	 */
248
	if (!error && !(args->op_flags & XFS_DA_OP_NOTIME))
249 250
		xfs_trans_ichgtime(args->trans, dp, XFS_ICHGTIME_CHG);

251
	if (xfs_has_wsync(dp->i_mount))
252 253
		xfs_trans_set_sync(args->trans);

254
	return error;
255 256
}

257 258 259 260 261 262 263 264 265 266 267 268 269 270
/*
 * 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);
}

STATIC int
271
xfs_attr_sf_addname(
272
	struct xfs_attr_item		*attr)
273
{
274
	struct xfs_da_args		*args = attr->xattri_da_args;
275 276
	struct xfs_inode		*dp = args->dp;
	int				error = 0;
277 278 279 280 281

	/*
	 * Try to add the attr to the attribute list in the inode.
	 */
	error = xfs_attr_try_sf_addname(dp, args);
282 283 284 285

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

287 288 289 290
	/*
	 * It won't fit in the shortform, transform to a leaf block.  GROT:
	 * another possible req'mt for a double-split btree op.
	 */
291
	error = xfs_attr_shortform_to_leaf(args, &attr->xattri_leaf_bp);
292 293 294 295 296 297
	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
298
	 * with the write verifier.
299
	 */
300
	xfs_trans_bhold(args->trans, attr->xattri_leaf_bp);
301

302 303 304 305 306
	/*
	 * 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.
	 */
307
	trace_xfs_attr_sf_addname_return(XFS_DAS_UNINIT, args->dp);
308
	return -EAGAIN;
309 310
}

311 312 313 314 315 316
STATIC int
xfs_attr_leaf_addname(
	struct xfs_attr_item	*attr)
{
	struct xfs_da_args	*args = attr->xattri_da_args;
	struct xfs_inode	*dp = args->dp;
317
	enum xfs_delattr_state	next_state = XFS_DAS_UNINIT;
318 319 320
	int			error;

	if (xfs_attr_is_leaf(dp)) {
321 322 323 324 325 326

		/*
		 * Use the leaf buffer we may already hold locked as a result of
		 * a sf-to-leaf conversion. The held buffer is no longer valid
		 * after this call, regardless of the result.
		 */
327
		error = xfs_attr_leaf_try_add(args, attr->xattri_leaf_bp);
328 329
		attr->xattri_leaf_bp = NULL;

330 331 332 333 334 335 336 337 338 339 340 341 342 343 344 345
		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
			 */
346 347
			error = -EAGAIN;
			goto out;
348
		}
349
		next_state = XFS_DAS_FOUND_LBLK;
350
	} else {
351 352
		ASSERT(!attr->xattri_leaf_bp);

353 354 355 356
		error = xfs_attr_node_addname_find_attr(attr);
		if (error)
			return error;

357
		next_state = XFS_DAS_FOUND_NBLK;
358
		error = xfs_attr_node_addname(attr);
359 360 361
	}
	if (error)
		return error;
362

363 364 365 366 367 368 369 370 371
	/*
	 * We need to commit and roll if we need to allocate remote xattr blocks
	 * or perform more xattr manipulations. Otherwise there is nothing more
	 * to do and we can return success.
	 */
	if (args->rmtblkno ||
	    (args->op_flags & XFS_DA_OP_RENAME)) {
		attr->xattri_dela_state = next_state;
		error = -EAGAIN;
372 373
	}

374
out:
375
	trace_xfs_attr_leaf_addname_return(attr->xattri_dela_state, args->dp);
376
	return error;
377 378
}

379 380
/*
 * Set the attribute specified in @args.
381 382 383 384
 * 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.
385 386
 */
int
387
xfs_attr_set_iter(
388
	struct xfs_attr_item		*attr)
389
{
390
	struct xfs_da_args              *args = attr->xattri_da_args;
391 392 393
	struct xfs_inode		*dp = args->dp;
	struct xfs_buf			*bp = NULL;
	int				forkoff, error = 0;
394
	struct xfs_mount		*mp = args->dp->i_mount;
395 396

	/* State machine switch */
397
	switch (attr->xattri_dela_state) {
398 399 400 401 402 403 404 405 406
	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))
407
			return xfs_attr_sf_addname(attr);
408
		return xfs_attr_leaf_addname(attr);
409

410
	case XFS_DAS_FOUND_LBLK:
411 412 413 414 415 416
		/*
		 * 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.
		 */
417 418

		/* Open coded xfs_attr_rmtval_set without trans handling */
419 420
		if ((attr->xattri_flags & XFS_DAC_LEAF_ADDNAME_INIT) == 0) {
			attr->xattri_flags |= XFS_DAC_LEAF_ADDNAME_INIT;
421
			if (args->rmtblkno > 0) {
422
				error = xfs_attr_rmtval_find_space(attr);
423 424 425 426 427 428 429 430 431
				if (error)
					return error;
			}
		}

		/*
		 * Repeat allocating remote blocks for the attr value until
		 * blkcnt drops to zero.
		 */
432 433
		if (attr->xattri_blkcnt > 0) {
			error = xfs_attr_rmtval_set_blk(attr);
434 435
			if (error)
				return error;
436
			trace_xfs_attr_set_iter_return(attr->xattri_dela_state,
437
						       args->dp);
438
			return -EAGAIN;
439 440
		}

441 442 443 444 445 446 447 448
		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.
		 */
449 450 451
		if (!(args->op_flags & XFS_DA_OP_RENAME)) {
			if (args->rmtblkno > 0)
				error = xfs_attr3_leaf_clearflag(args);
452
			return error;
453
		}
454

455 456 457 458 459 460 461 462 463
		/*
		 * 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.
		 */
464 465 466 467 468 469 470 471
		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.
			 */
472 473
			attr->xattri_dela_state = XFS_DAS_FLIP_LFLAG;
			trace_xfs_attr_set_iter_return(attr->xattri_dela_state,
474 475 476 477 478
						       args->dp);
			return -EAGAIN;
		}

		fallthrough;
479
	case XFS_DAS_FLIP_LFLAG:
480 481 482 483 484
		/*
		 * Dismantle the "old" attribute/value pair by removing a
		 * "remote" value (if it exists).
		 */
		xfs_attr_restore_rmt_blk(args);
485 486 487
		error = xfs_attr_rmtval_invalidate(args);
		if (error)
			return error;
488

489
		fallthrough;
490 491
	case XFS_DAS_RM_LBLK:
		/* Set state in case xfs_attr_rmtval_remove returns -EAGAIN */
492
		attr->xattri_dela_state = XFS_DAS_RM_LBLK;
493
		if (args->rmtblkno) {
494
			error = xfs_attr_rmtval_remove(attr);
495 496
			if (error == -EAGAIN)
				trace_xfs_attr_set_iter_return(
497
					attr->xattri_dela_state, args->dp);
498 499 500
			if (error)
				return error;

501 502 503
			attr->xattri_dela_state = XFS_DAS_RD_LEAF;
			trace_xfs_attr_set_iter_return(attr->xattri_dela_state,
						       args->dp);
504
			return -EAGAIN;
505 506
		}

507
		fallthrough;
508
	case XFS_DAS_RD_LEAF:
509
		/*
510 511 512
		 * 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.
513 514 515 516 517 518 519 520 521 522 523 524 525 526
		 */
		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;
527

528 529 530 531 532 533
	case XFS_DAS_FOUND_NBLK:
		/*
		 * Find space for remote blocks and fall into the allocation
		 * state.
		 */
		if (args->rmtblkno > 0) {
534
			error = xfs_attr_rmtval_find_space(attr);
535 536 537
			if (error)
				return error;
		}
538

539
		fallthrough;
540 541 542 543 544 545 546
	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.
		 */
547
		attr->xattri_dela_state = XFS_DAS_ALLOC_NODE;
548
		if (args->rmtblkno > 0) {
549 550
			if (attr->xattri_blkcnt > 0) {
				error = xfs_attr_rmtval_set_blk(attr);
551 552
				if (error)
					return error;
553
				trace_xfs_attr_set_iter_return(
554
					attr->xattri_dela_state, args->dp);
555 556 557 558 559 560 561
				return -EAGAIN;
			}

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

563 564 565 566 567 568 569 570 571
		/*
		 * 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;
		}
572

573 574 575 576 577 578 579 580 581
		/*
		 * 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.
		 */
582 583 584 585 586 587 588 589
		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
			 */
590 591
			attr->xattri_dela_state = XFS_DAS_FLIP_NFLAG;
			trace_xfs_attr_set_iter_return(attr->xattri_dela_state,
592 593 594
						       args->dp);
			return -EAGAIN;
		}
595

596
		fallthrough;
597 598 599 600 601 602
	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);
603 604 605 606 607

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

608
		fallthrough;
609 610
	case XFS_DAS_RM_NBLK:
		/* Set state in case xfs_attr_rmtval_remove returns -EAGAIN */
611
		attr->xattri_dela_state = XFS_DAS_RM_NBLK;
612
		if (args->rmtblkno) {
613
			error = xfs_attr_rmtval_remove(attr);
614 615
			if (error == -EAGAIN)
				trace_xfs_attr_set_iter_return(
616
					attr->xattri_dela_state, args->dp);
617

618 619 620
			if (error)
				return error;

621 622 623
			attr->xattri_dela_state = XFS_DAS_CLR_FLAG;
			trace_xfs_attr_set_iter_return(attr->xattri_dela_state,
						       args->dp);
624 625
			return -EAGAIN;
		}
626

627
		fallthrough;
628 629 630 631 632
	case XFS_DAS_CLR_FLAG:
		/*
		 * The last state for node format. Look up the old attr and
		 * remove it.
		 */
633
		error = xfs_attr_node_addname_clear_incomplete(attr);
634 635
		break;
	default:
636
		ASSERT(0);
637 638
		break;
	}
639
out:
640
	return error;
641 642
}

643

644 645 646
/*
 * Return EEXIST if attr is found, or ENOATTR if not
 */
D
Dave Chinner 已提交
647 648
static int
xfs_attr_lookup(
649 650 651 652 653 654 655 656 657
	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 已提交
658
	if (dp->i_afp->if_format == XFS_DINODE_FMT_LOCAL)
659 660
		return xfs_attr_sf_findname(args, NULL, NULL);

661
	if (xfs_attr_is_leaf(dp)) {
662 663 664 665 666 667 668 669 670 671 672
		error = xfs_attr_leaf_hasname(args, &bp);

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

		return error;
	}

	return xfs_attr_node_hasname(args, NULL);
}

673
/*
674
 * Note: If args->value is NULL the attribute will be removed, just like the
675 676
 * Linux ->setattr API.
 */
677 678
int
xfs_attr_set(
679
	struct xfs_da_args	*args)
L
Linus Torvalds 已提交
680
{
681
	struct xfs_inode	*dp = args->dp;
682 683
	struct xfs_mount	*mp = dp->i_mount;
	struct xfs_trans_res	tres;
684
	bool			rsvd = (args->attr_filter & XFS_ATTR_ROOT);
685
	int			error, local;
686
	int			rmt_blks = 0;
687
	unsigned int		total;
688
	int			delayed = xfs_has_larp(mp);
689

690
	if (xfs_is_shutdown(dp->i_mount))
D
Dave Chinner 已提交
691
		return -EIO;
692

693 694 695 696
	error = xfs_qm_dqattach(dp);
	if (error)
		return error;

697 698 699
	args->geo = mp->m_attr_geo;
	args->whichfork = XFS_ATTR_FORK;
	args->hashval = xfs_da_hashname(args->name, args->namelen);
L
Linus Torvalds 已提交
700 701

	/*
702 703 704
	 * 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 已提交
705
	 */
706
	args->op_flags = XFS_DA_OP_OKNOENT;
707

708
	if (args->value) {
709 710
		XFS_STATS_INC(mp, xs_attr_set);

711 712
		args->op_flags |= XFS_DA_OP_ADDNAME;
		args->total = xfs_attr_calc_size(args, &local);
713 714 715 716 717 718 719

		/*
		 * 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) +
720
				xfs_attr_sf_entsize_byname(args->namelen,
721
						args->valuelen);
722 723 724 725 726 727

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

728 729
		if (!local)
			rmt_blks = xfs_attr3_rmt_blocks(mp, args->valuelen);
730 731
	} else {
		XFS_STATS_INC(mp, xs_attr_remove);
732
		rmt_blks = xfs_attr3_rmt_blocks(mp, XFS_XATTR_SIZE_MAX);
733
	}
L
Linus Torvalds 已提交
734

735 736 737 738 739 740
	if (delayed) {
		error = xfs_attr_use_log_assist(mp);
		if (error)
			return error;
	}

L
Linus Torvalds 已提交
741 742 743 744
	/*
	 * Root fork attributes can use reserved data blocks for this
	 * operation if necessary
	 */
745
	xfs_init_attr_trans(args, &tres, &total);
746
	error = xfs_trans_alloc_inode(dp, &tres, total, 0, rsvd, &args->trans);
747
	if (error)
748
		goto drop_incompat;
L
Linus Torvalds 已提交
749

750 751 752
	if (args->value || xfs_inode_hasattr(dp)) {
		error = xfs_iext_count_may_overflow(dp, XFS_ATTR_FORK,
				XFS_IEXT_ATTR_MANIP_CNT(rmt_blks));
753 754 755
		if (error == -EFBIG)
			error = xfs_iext_count_upgrade(args->trans, dp,
					XFS_IEXT_ATTR_MANIP_CNT(rmt_blks));
756 757 758 759
		if (error)
			goto out_trans_cancel;
	}

D
Dave Chinner 已提交
760
	error = xfs_attr_lookup(args);
761
	if (args->value) {
762 763 764 765 766 767 768
		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;

769
		error = xfs_attr_set_deferred(args);
770 771
		if (error)
			goto out_trans_cancel;
772

773
		/* shortform attribute has already been committed */
774
		if (!args->trans)
775 776
			goto out_unlock;
	} else {
777 778 779
		if (error != -EEXIST)
			goto out_trans_cancel;

780
		error = xfs_attr_remove_deferred(args);
781 782
		if (error)
			goto out_trans_cancel;
783
	}
L
Linus Torvalds 已提交
784 785 786 787 788

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

792
	if (!(args->op_flags & XFS_DA_OP_NOTIME))
793
		xfs_trans_ichgtime(args->trans, dp, XFS_ICHGTIME_CHG);
794

L
Linus Torvalds 已提交
795 796 797
	/*
	 * Commit the last in the sequence of transactions.
	 */
798 799
	xfs_trans_log_inode(args->trans, dp, XFS_ILOG_CORE);
	error = xfs_trans_commit(args->trans);
800
out_unlock:
L
Linus Torvalds 已提交
801
	xfs_iunlock(dp, XFS_ILOCK_EXCL);
802 803 804
drop_incompat:
	if (delayed)
		xlog_drop_incompat_feat(mp->m_log);
805
	return error;
L
Linus Torvalds 已提交
806

807
out_trans_cancel:
808 809
	if (args->trans)
		xfs_trans_cancel(args->trans);
810
	goto out_unlock;
L
Linus Torvalds 已提交
811 812
}

813 814 815 816 817 818 819 820 821 822 823 824 825 826 827 828 829 830 831 832 833 834 835 836 837 838 839 840 841 842 843 844 845 846
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;
}

847 848 849 850 851 852 853 854 855 856 857
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;
858
	new->xattri_da_args = args;
859 860 861 862 863 864 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

	*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 已提交
899 900 901 902
/*========================================================================
 * External routines when attribute list is inside the inode
 *========================================================================*/

903 904 905 906 907 908 909 910
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 已提交
911 912 913 914 915 916 917
/*
 * 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)
{
918
	int newsize, forkoff, retval;
L
Linus Torvalds 已提交
919

920 921
	trace_xfs_attr_sf_addname(args);

L
Linus Torvalds 已提交
922
	retval = xfs_attr_shortform_lookup(args);
923
	if (retval == -ENOATTR && (args->attr_flags & XATTR_REPLACE))
E
Eric Sandeen 已提交
924
		return retval;
925
	if (retval == -EEXIST) {
926
		if (args->attr_flags & XATTR_CREATE)
E
Eric Sandeen 已提交
927
			return retval;
928
		retval = xfs_attr_sf_removename(args);
929 930 931 932 933 934 935
		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.
		 */
936
		args->attr_flags &= ~XATTR_REPLACE;
L
Linus Torvalds 已提交
937 938
	}

939 940
	if (args->namelen >= XFS_ATTR_SF_ENTSIZE_MAX ||
	    args->valuelen >= XFS_ATTR_SF_ENTSIZE_MAX)
D
Dave Chinner 已提交
941
		return -ENOSPC;
942

943 944
	newsize = xfs_attr_sf_totsize(args->dp);
	newsize += xfs_attr_sf_entsize_byname(args->namelen, args->valuelen);
945 946 947

	forkoff = xfs_attr_shortform_bytesfit(args->dp, newsize);
	if (!forkoff)
D
Dave Chinner 已提交
948
		return -ENOSPC;
949 950

	xfs_attr_shortform_add(args, forkoff);
E
Eric Sandeen 已提交
951
	return 0;
L
Linus Torvalds 已提交
952 953 954 955 956 957 958
}


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

959 960 961 962 963 964 965 966 967 968 969 970 971 972 973 974 975 976 977 978 979 980 981 982
/* 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 已提交
983
/*
984
 * Tries to add an attribute to an inode in leaf form
L
Linus Torvalds 已提交
985
 *
986 987 988 989 990 991
 * 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 已提交
992
 */
D
David Chinner 已提交
993
STATIC int
994 995 996
xfs_attr_leaf_try_add(
	struct xfs_da_args	*args,
	struct xfs_buf		*bp)
L
Linus Torvalds 已提交
997
{
998
	int			error;
999

L
Linus Torvalds 已提交
1000
	/*
1001 1002 1003 1004
	 * If the caller provided a buffer to us, it is locked and held in
	 * the transaction because it just did a shortform to leaf conversion.
	 * Hence we don't need to read it again. Otherwise read in the leaf
	 * buffer.
L
Linus Torvalds 已提交
1005
	 */
1006 1007 1008 1009 1010 1011 1012 1013 1014 1015 1016 1017 1018
	if (bp) {
		xfs_trans_bhold_release(args->trans, bp);
	} else {
		error = xfs_attr3_leaf_read(args->trans, args->dp, 0, &bp);
		if (error)
			return error;
	}

	/*
	 * Look up the xattr name to set the insertion point for the new xattr.
	 */
	error = xfs_attr3_leaf_lookup_int(bp, args);
	if (error != -ENOATTR && error != -EEXIST)
1019
		goto out_brelse;
1020 1021 1022
	if (error == -ENOATTR && (args->attr_flags & XATTR_REPLACE))
		goto out_brelse;
	if (error == -EEXIST) {
1023
		if (args->attr_flags & XATTR_CREATE)
1024
			goto out_brelse;
1025 1026 1027

		trace_xfs_attr_leaf_replace(args);

1028
		/* save the attribute state for later removal*/
1029
		args->op_flags |= XFS_DA_OP_RENAME;	/* an atomic rename */
1030
		xfs_attr_save_rmt_blk(args);
1031 1032 1033 1034 1035 1036 1037 1038 1039

		/*
		 * 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 已提交
1040 1041
	}

1042 1043
	return xfs_attr3_leaf_add(bp, args);

1044 1045
out_brelse:
	xfs_trans_brelse(args->trans, bp);
1046
	return error;
1047
}
L
Linus Torvalds 已提交
1048

1049 1050 1051 1052 1053 1054 1055 1056 1057 1058 1059 1060 1061 1062 1063 1064 1065 1066 1067 1068 1069
/*
 * 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 已提交
1070 1071 1072 1073 1074 1075 1076
/*
 * 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
1077 1078
xfs_attr_leaf_removename(
	struct xfs_da_args	*args)
L
Linus Torvalds 已提交
1079
{
1080 1081 1082
	struct xfs_inode	*dp;
	struct xfs_buf		*bp;
	int			error, forkoff;
L
Linus Torvalds 已提交
1083

1084 1085
	trace_xfs_attr_leaf_removename(args);

L
Linus Torvalds 已提交
1086 1087 1088 1089 1090
	/*
	 * Remove the attribute.
	 */
	dp = args->dp;

1091 1092
	error = xfs_attr_leaf_hasname(args, &bp);

D
Dave Chinner 已提交
1093
	if (error == -ENOATTR) {
1094
		xfs_trans_brelse(args->trans, bp);
D
Dave Chinner 已提交
1095
		return error;
1096 1097
	} else if (error != -EEXIST)
		return error;
L
Linus Torvalds 已提交
1098

D
Dave Chinner 已提交
1099
	xfs_attr3_leaf_remove(bp, args);
L
Linus Torvalds 已提交
1100 1101 1102 1103

	/*
	 * If the result is small enough, shrink it all into the inode.
	 */
1104 1105 1106
	forkoff = xfs_attr_shortform_allfit(bp, dp);
	if (forkoff)
		return xfs_attr3_leaf_to_shortform(bp, args, forkoff);
L
Linus Torvalds 已提交
1107
		/* bp is gone due to xfs_da_shrink_inode */
1108

D
Dave Chinner 已提交
1109
	return 0;
L
Linus Torvalds 已提交
1110 1111 1112 1113 1114 1115 1116
}

/*
 * 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).
1117 1118
 *
 * Returns 0 on successful retrieval, otherwise an error.
L
Linus Torvalds 已提交
1119
 */
1120
STATIC int
L
Linus Torvalds 已提交
1121 1122
xfs_attr_leaf_get(xfs_da_args_t *args)
{
1123
	struct xfs_buf *bp;
L
Linus Torvalds 已提交
1124 1125
	int error;

1126 1127
	trace_xfs_attr_leaf_get(args);

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

1130
	if (error == -ENOATTR)  {
1131
		xfs_trans_brelse(args->trans, bp);
D
Dave Chinner 已提交
1132
		return error;
1133 1134 1135 1136
	} else if (error != -EEXIST)
		return error;


D
Dave Chinner 已提交
1137
	error = xfs_attr3_leaf_getvalue(bp, args);
1138
	xfs_trans_brelse(args->trans, bp);
1139
	return error;
L
Linus Torvalds 已提交
1140 1141
}

1142 1143 1144 1145 1146 1147 1148 1149 1150 1151 1152 1153 1154 1155 1156
/*
 * 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)
1157
		*statep = state;
1158 1159 1160 1161 1162

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

1166
	if (!statep)
1167
		xfs_da_state_free(state);
1168

1169 1170 1171
	return retval;
}

L
Linus Torvalds 已提交
1172
/*========================================================================
1173
 * External routines when attribute list size > geo->blksize
L
Linus Torvalds 已提交
1174 1175 1176
 *========================================================================*/

STATIC int
1177
xfs_attr_node_addname_find_attr(
1178
	 struct xfs_attr_item		*attr)
L
Linus Torvalds 已提交
1179
{
1180
	struct xfs_da_args		*args = attr->xattri_da_args;
1181
	int				retval;
1182

L
Linus Torvalds 已提交
1183 1184 1185 1186
	/*
	 * Search to see if name already exists, and get back a pointer
	 * to where it should go.
	 */
1187
	retval = xfs_attr_node_hasname(args, &attr->xattri_da_state);
1188
	if (retval != -ENOATTR && retval != -EEXIST)
1189
		goto error;
1190

1191
	if (retval == -ENOATTR && (args->attr_flags & XATTR_REPLACE))
1192
		goto error;
1193
	if (retval == -EEXIST) {
1194
		if (args->attr_flags & XATTR_CREATE)
1195
			goto error;
1196 1197 1198

		trace_xfs_attr_node_replace(args);

1199
		/* save the attribute state for later removal*/
1200
		args->op_flags |= XFS_DA_OP_RENAME;	/* atomic rename op */
1201
		xfs_attr_save_rmt_blk(args);
1202 1203 1204 1205 1206 1207

		/*
		 * 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 已提交
1208 1209
		args->rmtblkno = 0;
		args->rmtblkcnt = 0;
1210
		args->rmtvaluelen = 0;
L
Linus Torvalds 已提交
1211 1212
	}

1213 1214
	return 0;
error:
1215 1216
	if (attr->xattri_da_state)
		xfs_da_state_free(attr->xattri_da_state);
1217 1218 1219 1220 1221 1222 1223 1224 1225 1226 1227 1228
	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.
1229 1230 1231 1232 1233
 *
 * 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.
1234 1235 1236
 */
STATIC int
xfs_attr_node_addname(
1237
	struct xfs_attr_item		*attr)
1238
{
1239 1240
	struct xfs_da_args		*args = attr->xattri_da_args;
	struct xfs_da_state		*state = attr->xattri_da_state;
1241 1242
	struct xfs_da_state_blk		*blk;
	int				error;
1243 1244 1245 1246 1247 1248

	trace_xfs_attr_node_addname(args);

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

1249 1250
	error = xfs_attr3_leaf_add(blk->bp, state->args);
	if (error == -ENOSPC) {
L
Linus Torvalds 已提交
1251 1252 1253 1254 1255 1256 1257
		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);
1258
			state = NULL;
D
Dave Chinner 已提交
1259
			error = xfs_attr3_leaf_to_node(args);
1260
			if (error)
1261
				goto out;
L
Linus Torvalds 已提交
1262 1263

			/*
1264 1265 1266 1267 1268
			 * 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 已提交
1269
			 */
1270
			trace_xfs_attr_node_addname_return(
1271
					attr->xattri_dela_state, args->dp);
1272
			return -EAGAIN;
L
Linus Torvalds 已提交
1273 1274 1275 1276 1277 1278 1279 1280
		}

		/*
		 * 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.
		 */
1281
		error = xfs_da3_split(state);
1282
		if (error)
1283
			goto out;
L
Linus Torvalds 已提交
1284 1285 1286 1287
	} else {
		/*
		 * Addition succeeded, update Btree hashvals.
		 */
1288
		xfs_da3_fixhashpath(state, &state->path);
L
Linus Torvalds 已提交
1289 1290
	}

1291 1292 1293
out:
	if (state)
		xfs_da_state_free(state);
1294
	return error;
1295 1296 1297 1298 1299
}


STATIC int
xfs_attr_node_addname_clear_incomplete(
1300
	struct xfs_attr_item		*attr)
1301
{
1302
	struct xfs_da_args		*args = attr->xattri_da_args;
1303
	struct xfs_da_state		*state = NULL;
1304
	struct xfs_mount		*mp = args->dp->i_mount;
1305 1306 1307
	int				retval = 0;
	int				error = 0;

1308 1309 1310 1311
	/*
	 * 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.
	 */
1312 1313
	if (!xfs_has_larp(mp))
		args->attr_filter |= XFS_ATTR_INCOMPLETE;
1314 1315 1316 1317 1318
	state = xfs_da_state_alloc(args);
	state->inleaf = 0;
	error = xfs_da3_node_lookup_int(state, &retval);
	if (error)
		goto out;
L
Linus Torvalds 已提交
1319

1320
	error = xfs_attr_node_removename(args, state);
L
Linus Torvalds 已提交
1321

1322 1323 1324 1325 1326
	/*
	 * Check to see if the tree needs to be collapsed.
	 */
	if (retval && (state->path.active > 1)) {
		error = xfs_da3_join(state);
L
Linus Torvalds 已提交
1327 1328 1329 1330 1331 1332 1333 1334 1335
		if (error)
			goto out;
	}
	retval = error = 0;

out:
	if (state)
		xfs_da_state_free(state);
	if (error)
E
Eric Sandeen 已提交
1336 1337
		return error;
	return retval;
L
Linus Torvalds 已提交
1338 1339
}

1340 1341 1342 1343 1344 1345 1346 1347 1348 1349 1350 1351 1352 1353 1354 1355 1356 1357 1358 1359 1360 1361 1362 1363 1364 1365 1366 1367 1368 1369
/*
 * 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);

1370
	return error;
1371 1372
}

1373 1374 1375 1376 1377 1378 1379 1380 1381 1382 1383 1384 1385 1386 1387 1388 1389 1390 1391 1392 1393 1394 1395 1396 1397 1398
/*
 * 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);
}

1399 1400 1401 1402 1403 1404 1405
/*
 * 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(
1406
	struct xfs_attr_item		*attr)
1407
{
1408 1409
	struct xfs_da_args		*args = attr->xattri_da_args;
	struct xfs_da_state		**state = &attr->xattri_da_state;
1410
	int				error;
1411 1412 1413

	error = xfs_attr_node_hasname(args, state);
	if (error != -EEXIST)
1414
		goto out;
1415
	error = 0;
1416 1417 1418 1419 1420 1421 1422 1423

	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)
1424
			goto out;
1425

1426
		error = xfs_attr_rmtval_invalidate(args);
1427
	}
1428 1429 1430
out:
	if (error)
		xfs_da_state_free(*state);
1431

1432
	return error;
1433 1434
}

1435
STATIC int
1436
xfs_attr_node_removename(
1437 1438 1439 1440 1441 1442 1443 1444 1445 1446 1447 1448 1449 1450 1451 1452 1453
	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 已提交
1454
/*
1455
 * Remove the attribute specified in @args.
L
Linus Torvalds 已提交
1456 1457 1458 1459
 *
 * 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).
1460 1461 1462 1463 1464
 *
 * 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 已提交
1465
 */
1466 1467
int
xfs_attr_remove_iter(
1468
	struct xfs_attr_item		*attr)
L
Linus Torvalds 已提交
1469
{
1470 1471
	struct xfs_da_args		*args = attr->xattri_da_args;
	struct xfs_da_state		*state = attr->xattri_da_state;
1472
	int				retval, error = 0;
1473
	struct xfs_inode		*dp = args->dp;
L
Linus Torvalds 已提交
1474

1475 1476
	trace_xfs_attr_node_removename(args);

1477
	switch (attr->xattri_dela_state) {
1478 1479 1480
	case XFS_DAS_UNINIT:
		if (!xfs_inode_hasattr(dp))
			return -ENOATTR;
L
Linus Torvalds 已提交
1481

1482 1483 1484 1485 1486
		/*
		 * 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)
1487
			return xfs_attr_sf_removename(args);
1488 1489 1490

		if (xfs_attr_is_leaf(dp))
			return xfs_attr_leaf_removename(args);
1491 1492

		/*
1493 1494
		 * Node format may require transaction rolls. Set up the
		 * state context and fall into the state machine.
1495
		 */
1496 1497
		if (!attr->xattri_da_state) {
			error = xfs_attr_node_removename_setup(attr);
1498 1499
			if (error)
				return error;
1500
			state = attr->xattri_da_state;
1501 1502
		}

1503
		fallthrough;
1504
	case XFS_DAS_RMTBLK:
1505
		attr->xattri_dela_state = XFS_DAS_RMTBLK;
L
Linus Torvalds 已提交
1506 1507

		/*
1508 1509 1510 1511
		 * 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 已提交
1512
		 */
1513 1514 1515 1516 1517
		if (args->rmtblkno > 0) {
			/*
			 * May return -EAGAIN. Roll and repeat until all remote
			 * blocks are removed.
			 */
1518
			error = xfs_attr_rmtval_remove(attr);
1519 1520
			if (error == -EAGAIN) {
				trace_xfs_attr_remove_iter_return(
1521
					attr->xattri_dela_state, args->dp);
1522
				return error;
1523
			} else if (error) {
1524
				goto out;
1525
			}
L
Linus Torvalds 已提交
1526

1527 1528 1529 1530 1531 1532 1533 1534 1535
			/*
			 * 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;
1536 1537 1538 1539

			attr->xattri_dela_state = XFS_DAS_RM_NAME;
			trace_xfs_attr_remove_iter_return(
					attr->xattri_dela_state, args->dp);
1540 1541 1542
			return -EAGAIN;
		}

1543
		fallthrough;
1544 1545 1546 1547 1548
	case XFS_DAS_RM_NAME:
		/*
		 * If we came here fresh from a transaction roll, reattach all
		 * the buffers to the current transaction.
		 */
1549
		if (attr->xattri_dela_state == XFS_DAS_RM_NAME) {
1550 1551 1552 1553
			error = xfs_attr_refillstate(state);
			if (error)
				goto out;
		}
L
Linus Torvalds 已提交
1554

1555
		retval = xfs_attr_node_removename(args, state);
1556 1557 1558 1559 1560 1561 1562 1563 1564 1565

		/*
		 * 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;

1566
			attr->xattri_dela_state = XFS_DAS_RM_SHRINK;
1567
			trace_xfs_attr_remove_iter_return(
1568
					attr->xattri_dela_state, args->dp);
1569 1570 1571
			return -EAGAIN;
		}

1572
		fallthrough;
1573 1574 1575 1576 1577 1578 1579 1580 1581 1582 1583 1584 1585 1586 1587
	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 已提交
1588
out:
1589 1590
	if (state)
		xfs_da_state_free(state);
E
Eric Sandeen 已提交
1591
	return error;
L
Linus Torvalds 已提交
1592 1593 1594 1595 1596 1597
}

/*
 * 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
1598
 * after some set of transaction commits have released these buffers.
L
Linus Torvalds 已提交
1599 1600 1601 1602 1603 1604 1605 1606
 */
STATIC int
xfs_attr_fillstate(xfs_da_state_t *state)
{
	xfs_da_state_path_t *path;
	xfs_da_state_blk_t *blk;
	int level;

1607 1608
	trace_xfs_attr_fillstate(state->args);

L
Linus Torvalds 已提交
1609 1610 1611 1612 1613 1614 1615 1616
	/*
	 * 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 已提交
1617
			blk->disk_blkno = xfs_buf_daddr(blk->bp);
L
Linus Torvalds 已提交
1618 1619 1620 1621 1622 1623 1624 1625 1626 1627 1628 1629 1630 1631
			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 已提交
1632
			blk->disk_blkno = xfs_buf_daddr(blk->bp);
L
Linus Torvalds 已提交
1633 1634 1635 1636 1637 1638
			blk->bp = NULL;
		} else {
			blk->disk_blkno = 0;
		}
	}

E
Eric Sandeen 已提交
1639
	return 0;
L
Linus Torvalds 已提交
1640 1641 1642 1643 1644
}

/*
 * Reattach the buffers to the state structure based on the disk block
 * numbers stored in the state structure.
1645
 * This is done after some set of transaction commits have released those
L
Linus Torvalds 已提交
1646 1647 1648 1649 1650 1651 1652 1653 1654
 * 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;

1655 1656
	trace_xfs_attr_refillstate(state->args);

L
Linus Torvalds 已提交
1657 1658 1659 1660 1661 1662 1663 1664
	/*
	 * 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 已提交
1665 1666 1667
			error = xfs_da3_node_read_mapped(state->args->trans,
					state->args->dp, blk->disk_blkno,
					&blk->bp, XFS_ATTR_FORK);
L
Linus Torvalds 已提交
1668
			if (error)
E
Eric Sandeen 已提交
1669
				return error;
L
Linus Torvalds 已提交
1670 1671 1672 1673 1674 1675 1676 1677 1678 1679 1680 1681 1682
		} 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 已提交
1683 1684 1685
			error = xfs_da3_node_read_mapped(state->args->trans,
					state->args->dp, blk->disk_blkno,
					&blk->bp, XFS_ATTR_FORK);
L
Linus Torvalds 已提交
1686
			if (error)
E
Eric Sandeen 已提交
1687
				return error;
L
Linus Torvalds 已提交
1688 1689 1690 1691 1692
		} else {
			blk->bp = NULL;
		}
	}

E
Eric Sandeen 已提交
1693
	return 0;
L
Linus Torvalds 已提交
1694 1695 1696
}

/*
1697
 * Retrieve the attribute data from a node attribute list.
L
Linus Torvalds 已提交
1698 1699 1700 1701
 *
 * 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.
1702 1703
 *
 * Returns 0 on successful retrieval, otherwise an error.
L
Linus Torvalds 已提交
1704
 */
1705
STATIC int
1706 1707
xfs_attr_node_get(
	struct xfs_da_args	*args)
L
Linus Torvalds 已提交
1708
{
1709 1710 1711 1712
	struct xfs_da_state	*state;
	struct xfs_da_state_blk	*blk;
	int			i;
	int			error;
L
Linus Torvalds 已提交
1713

1714 1715
	trace_xfs_attr_node_get(args);

L
Linus Torvalds 已提交
1716 1717 1718
	/*
	 * Search to see if name exists, and get back a pointer to it.
	 */
1719 1720
	error = xfs_attr_node_hasname(args, &state);
	if (error != -EEXIST)
1721 1722 1723 1724 1725 1726
		goto out_release;

	/*
	 * Get the value, local or "remote"
	 */
	blk = &state->path.blk[state->path.active - 1];
1727
	error = xfs_attr3_leaf_getvalue(blk->bp, args);
L
Linus Torvalds 已提交
1728 1729 1730 1731

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

1738 1739 1740
	if (state)
		xfs_da_state_free(state);
	return error;
L
Linus Torvalds 已提交
1741
}
1742 1743 1744 1745 1746 1747 1748 1749 1750 1751 1752 1753 1754 1755 1756 1757 1758

/* 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);
}