xfs_dir2_node.c 63.2 KB
Newer Older
D
Dave Chinner 已提交
1
// SPDX-License-Identifier: GPL-2.0
L
Linus Torvalds 已提交
2
/*
3
 * Copyright (c) 2000-2005 Silicon Graphics, Inc.
4
 * Copyright (c) 2013 Red Hat, Inc.
5
 * All Rights Reserved.
L
Linus Torvalds 已提交
6 7
 */
#include "xfs.h"
8
#include "xfs_fs.h"
9
#include "xfs_format.h"
10 11
#include "xfs_log_format.h"
#include "xfs_trans_resv.h"
L
Linus Torvalds 已提交
12
#include "xfs_mount.h"
13
#include "xfs_da_format.h"
14
#include "xfs_da_btree.h"
L
Linus Torvalds 已提交
15 16
#include "xfs_inode.h"
#include "xfs_bmap.h"
17
#include "xfs_dir2.h"
C
Christoph Hellwig 已提交
18
#include "xfs_dir2_priv.h"
L
Linus Torvalds 已提交
19
#include "xfs_error.h"
C
Christoph Hellwig 已提交
20
#include "xfs_trace.h"
21
#include "xfs_trans.h"
22 23
#include "xfs_buf_item.h"
#include "xfs_cksum.h"
24
#include "xfs_log.h"
L
Linus Torvalds 已提交
25 26 27 28

/*
 * Function declarations.
 */
29 30
static int xfs_dir2_leafn_add(struct xfs_buf *bp, xfs_da_args_t *args,
			      int index);
L
Linus Torvalds 已提交
31 32 33
static void xfs_dir2_leafn_rebalance(xfs_da_state_t *state,
				     xfs_da_state_blk_t *blk1,
				     xfs_da_state_blk_t *blk2);
34
static int xfs_dir2_leafn_remove(xfs_da_args_t *args, struct xfs_buf *bp,
L
Linus Torvalds 已提交
35 36 37 38 39
				 int index, xfs_da_state_blk_t *dblk,
				 int *rval);
static int xfs_dir2_node_addname_int(xfs_da_args_t *args,
				     xfs_da_state_blk_t *fblk);

40 41 42 43
/*
 * Check internal consistency of a leafn block.
 */
#ifdef DEBUG
44
static xfs_failaddr_t
45
xfs_dir3_leafn_check(
46
	struct xfs_inode	*dp,
47 48 49 50 51
	struct xfs_buf		*bp)
{
	struct xfs_dir2_leaf	*leaf = bp->b_addr;
	struct xfs_dir3_icleaf_hdr leafhdr;

52
	dp->d_ops->leaf_hdr_from_disk(&leafhdr, leaf);
53 54 55 56

	if (leafhdr.magic == XFS_DIR3_LEAFN_MAGIC) {
		struct xfs_dir3_leaf_hdr *leaf3 = bp->b_addr;
		if (be64_to_cpu(leaf3->info.blkno) != bp->b_bn)
57
			return __this_address;
58
	} else if (leafhdr.magic != XFS_DIR2_LEAFN_MAGIC)
59
		return __this_address;
60

61
	return xfs_dir3_leaf_check_int(dp->i_mount, dp, &leafhdr, leaf);
62
}
63 64 65 66 67 68 69 70 71 72 73 74

static inline void
xfs_dir3_leaf_check(
	struct xfs_inode	*dp,
	struct xfs_buf		*bp)
{
	xfs_failaddr_t		fa;

	fa = xfs_dir3_leafn_check(dp, bp);
	if (!fa)
		return;
	xfs_corruption_error(__func__, XFS_ERRLEVEL_LOW, dp->i_mount,
75 76
			bp->b_addr, BBTOB(bp->b_length), __FILE__, __LINE__,
			fa);
77 78
	ASSERT(0);
}
79
#else
80
#define	xfs_dir3_leaf_check(dp, bp)
81 82
#endif

83
static xfs_failaddr_t
84
xfs_dir3_free_verify(
D
Dave Chinner 已提交
85 86 87 88 89
	struct xfs_buf		*bp)
{
	struct xfs_mount	*mp = bp->b_target->bt_mount;
	struct xfs_dir2_free_hdr *hdr = bp->b_addr;

90 91 92 93
	if (xfs_sb_version_hascrc(&mp->m_sb)) {
		struct xfs_dir3_blk_hdr *hdr3 = bp->b_addr;

		if (hdr3->magic != cpu_to_be32(XFS_DIR3_FREE_MAGIC))
94
			return __this_address;
95
		if (!uuid_equal(&hdr3->uuid, &mp->m_sb.sb_meta_uuid))
96
			return __this_address;
97
		if (be64_to_cpu(hdr3->blkno) != bp->b_bn)
98
			return __this_address;
99
		if (!xfs_log_check_lsn(mp, be64_to_cpu(hdr3->lsn)))
100
			return __this_address;
101 102
	} else {
		if (hdr->magic != cpu_to_be32(XFS_DIR2_FREE_MAGIC))
103
			return __this_address;
D
Dave Chinner 已提交
104
	}
105 106 107

	/* XXX: should bounds check the xfs_dir3_icfree_hdr here */

108
	return NULL;
109
}
D
Dave Chinner 已提交
110

111
static void
112
xfs_dir3_free_read_verify(
113 114
	struct xfs_buf	*bp)
{
115
	struct xfs_mount	*mp = bp->b_target->bt_mount;
116
	xfs_failaddr_t		fa;
117

118 119
	if (xfs_sb_version_hascrc(&mp->m_sb) &&
	    !xfs_buf_verify_cksum(bp, XFS_DIR3_FREE_CRC_OFF))
120 121 122 123 124 125
		xfs_verifier_error(bp, -EFSBADCRC, __this_address);
	else {
		fa = xfs_dir3_free_verify(bp);
		if (fa)
			xfs_verifier_error(bp, -EFSCORRUPTED, fa);
	}
126 127
}

128
static void
129
xfs_dir3_free_write_verify(
130 131
	struct xfs_buf	*bp)
{
132
	struct xfs_mount	*mp = bp->b_target->bt_mount;
C
Carlos Maiolino 已提交
133
	struct xfs_buf_log_item	*bip = bp->b_log_item;
134
	struct xfs_dir3_blk_hdr	*hdr3 = bp->b_addr;
135
	xfs_failaddr_t		fa;
136

137 138 139
	fa = xfs_dir3_free_verify(bp);
	if (fa) {
		xfs_verifier_error(bp, -EFSCORRUPTED, fa);
140 141 142 143 144 145 146 147 148
		return;
	}

	if (!xfs_sb_version_hascrc(&mp->m_sb))
		return;

	if (bip)
		hdr3->lsn = cpu_to_be64(bip->bli_item.li_lsn);

149
	xfs_buf_update_cksum(bp, XFS_DIR3_FREE_CRC_OFF);
D
Dave Chinner 已提交
150 151
}

152
const struct xfs_buf_ops xfs_dir3_free_buf_ops = {
153
	.name = "xfs_dir3_free",
154 155
	.verify_read = xfs_dir3_free_read_verify,
	.verify_write = xfs_dir3_free_write_verify,
156
	.verify_struct = xfs_dir3_free_verify,
157 158
};

159
/* Everything ok in the free block header? */
160
static xfs_failaddr_t
161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177
xfs_dir3_free_header_check(
	struct xfs_inode	*dp,
	xfs_dablk_t		fbno,
	struct xfs_buf		*bp)
{
	struct xfs_mount	*mp = dp->i_mount;
	unsigned int		firstdb;
	int			maxbests;

	maxbests = dp->d_ops->free_max_bests(mp->m_dir_geo);
	firstdb = (xfs_dir2_da_to_db(mp->m_dir_geo, fbno) -
		   xfs_dir2_byte_to_db(mp->m_dir_geo, XFS_DIR2_FREE_OFFSET)) *
			maxbests;
	if (xfs_sb_version_hascrc(&mp->m_sb)) {
		struct xfs_dir3_free_hdr *hdr3 = bp->b_addr;

		if (be32_to_cpu(hdr3->firstdb) != firstdb)
178
			return __this_address;
179
		if (be32_to_cpu(hdr3->nvalid) > maxbests)
180
			return __this_address;
181
		if (be32_to_cpu(hdr3->nvalid) < be32_to_cpu(hdr3->nused))
182
			return __this_address;
183 184 185 186
	} else {
		struct xfs_dir2_free_hdr *hdr = bp->b_addr;

		if (be32_to_cpu(hdr->firstdb) != firstdb)
187
			return __this_address;
188
		if (be32_to_cpu(hdr->nvalid) > maxbests)
189
			return __this_address;
190
		if (be32_to_cpu(hdr->nvalid) < be32_to_cpu(hdr->nused))
191
			return __this_address;
192
	}
193
	return NULL;
194
}
195

D
Dave Chinner 已提交
196
static int
197
__xfs_dir3_free_read(
D
Dave Chinner 已提交
198 199 200 201 202 203
	struct xfs_trans	*tp,
	struct xfs_inode	*dp,
	xfs_dablk_t		fbno,
	xfs_daddr_t		mappedbno,
	struct xfs_buf		**bpp)
{
204
	xfs_failaddr_t		fa;
205 206 207
	int			err;

	err = xfs_da_read_buf(tp, dp, fbno, mappedbno, bpp,
208
				XFS_DATA_FORK, &xfs_dir3_free_buf_ops);
209 210 211 212
	if (err || !*bpp)
		return err;

	/* Check things that we can't do in the verifier. */
213 214 215
	fa = xfs_dir3_free_header_check(dp, fbno, *bpp);
	if (fa) {
		xfs_verifier_error(*bpp, -EFSCORRUPTED, fa);
216 217 218
		xfs_trans_brelse(tp, *bpp);
		return -EFSCORRUPTED;
	}
219 220

	/* try read returns without an error or *bpp if it lands in a hole */
221
	if (tp)
222
		xfs_trans_buf_set_type(tp, *bpp, XFS_BLFT_DIR_FREE_BUF);
223 224

	return 0;
D
Dave Chinner 已提交
225 226 227 228 229 230 231 232 233
}

int
xfs_dir2_free_read(
	struct xfs_trans	*tp,
	struct xfs_inode	*dp,
	xfs_dablk_t		fbno,
	struct xfs_buf		**bpp)
{
234
	return __xfs_dir3_free_read(tp, dp, fbno, -1, bpp);
D
Dave Chinner 已提交
235 236 237 238 239 240 241 242 243
}

static int
xfs_dir2_free_try_read(
	struct xfs_trans	*tp,
	struct xfs_inode	*dp,
	xfs_dablk_t		fbno,
	struct xfs_buf		**bpp)
{
244 245 246 247 248
	return __xfs_dir3_free_read(tp, dp, fbno, -2, bpp);
}

static int
xfs_dir3_free_get_buf(
249
	xfs_da_args_t		*args,
250 251 252
	xfs_dir2_db_t		fbno,
	struct xfs_buf		**bpp)
{
253 254
	struct xfs_trans	*tp = args->trans;
	struct xfs_inode	*dp = args->dp;
255 256 257 258 259
	struct xfs_mount	*mp = dp->i_mount;
	struct xfs_buf		*bp;
	int			error;
	struct xfs_dir3_icfree_hdr hdr;

260
	error = xfs_da_get_buf(tp, dp, xfs_dir2_db_to_da(args->geo, fbno),
261 262 263 264
				   -1, &bp, XFS_DATA_FORK);
	if (error)
		return error;

265
	xfs_trans_buf_set_type(tp, bp, XFS_BLFT_DIR_FREE_BUF);
266 267 268 269 270 271
	bp->b_ops = &xfs_dir3_free_buf_ops;

	/*
	 * Initialize the new block to be empty, and remember
	 * its first slot as our empty slot.
	 */
272 273 274
	memset(bp->b_addr, 0, sizeof(struct xfs_dir3_free_hdr));
	memset(&hdr, 0, sizeof(hdr));

275 276 277 278
	if (xfs_sb_version_hascrc(&mp->m_sb)) {
		struct xfs_dir3_free_hdr *hdr3 = bp->b_addr;

		hdr.magic = XFS_DIR3_FREE_MAGIC;
279

280 281
		hdr3->hdr.blkno = cpu_to_be64(bp->b_bn);
		hdr3->hdr.owner = cpu_to_be64(dp->i_ino);
282
		uuid_copy(&hdr3->hdr.uuid, &mp->m_sb.sb_meta_uuid);
283 284
	} else
		hdr.magic = XFS_DIR2_FREE_MAGIC;
285
	dp->d_ops->free_hdr_to_disk(bp->b_addr, &hdr);
286 287
	*bpp = bp;
	return 0;
D
Dave Chinner 已提交
288 289
}

L
Linus Torvalds 已提交
290 291 292
/*
 * Log entries from a freespace block.
 */
293
STATIC void
L
Linus Torvalds 已提交
294
xfs_dir2_free_log_bests(
295
	struct xfs_da_args	*args,
296
	struct xfs_buf		*bp,
L
Linus Torvalds 已提交
297 298 299 300
	int			first,		/* first entry to log */
	int			last)		/* last entry to log */
{
	xfs_dir2_free_t		*free;		/* freespace structure */
301
	__be16			*bests;
L
Linus Torvalds 已提交
302

303
	free = bp->b_addr;
304
	bests = args->dp->d_ops->free_bests_p(free);
305 306
	ASSERT(free->hdr.magic == cpu_to_be32(XFS_DIR2_FREE_MAGIC) ||
	       free->hdr.magic == cpu_to_be32(XFS_DIR3_FREE_MAGIC));
307
	xfs_trans_log_buf(args->trans, bp,
308 309 310
		(uint)((char *)&bests[first] - (char *)free),
		(uint)((char *)&bests[last] - (char *)free +
		       sizeof(bests[0]) - 1));
L
Linus Torvalds 已提交
311 312 313 314 315 316 317
}

/*
 * Log header from a freespace block.
 */
static void
xfs_dir2_free_log_header(
318
	struct xfs_da_args	*args,
319
	struct xfs_buf		*bp)
L
Linus Torvalds 已提交
320
{
321
#ifdef DEBUG
L
Linus Torvalds 已提交
322 323
	xfs_dir2_free_t		*free;		/* freespace structure */

324
	free = bp->b_addr;
325 326
	ASSERT(free->hdr.magic == cpu_to_be32(XFS_DIR2_FREE_MAGIC) ||
	       free->hdr.magic == cpu_to_be32(XFS_DIR3_FREE_MAGIC));
327
#endif
328 329
	xfs_trans_log_buf(args->trans, bp, 0,
			  args->dp->d_ops->free_hdr_size - 1);
L
Linus Torvalds 已提交
330 331 332 333 334 335 336 337 338 339
}

/*
 * Convert a leaf-format directory to a node-format directory.
 * We need to change the magic number of the leaf block, and copy
 * the freespace table out of the leaf block into its own block.
 */
int						/* error */
xfs_dir2_leaf_to_node(
	xfs_da_args_t		*args,		/* operation arguments */
340
	struct xfs_buf		*lbp)		/* leaf buffer */
L
Linus Torvalds 已提交
341 342 343
{
	xfs_inode_t		*dp;		/* incore directory inode */
	int			error;		/* error return value */
344
	struct xfs_buf		*fbp;		/* freespace buffer */
L
Linus Torvalds 已提交
345 346
	xfs_dir2_db_t		fdb;		/* freespace block number */
	xfs_dir2_free_t		*free;		/* freespace structure */
347
	__be16			*from;		/* pointer to freespace entry */
L
Linus Torvalds 已提交
348 349 350 351 352
	int			i;		/* leaf freespace index */
	xfs_dir2_leaf_t		*leaf;		/* leaf structure */
	xfs_dir2_leaf_tail_t	*ltp;		/* leaf tail structure */
	int			n;		/* count of live freespc ents */
	xfs_dir2_data_off_t	off;		/* freespace entry value */
353
	__be16			*to;		/* pointer to freespace entry */
L
Linus Torvalds 已提交
354
	xfs_trans_t		*tp;		/* transaction pointer */
355
	struct xfs_dir3_icfree_hdr freehdr;
L
Linus Torvalds 已提交
356

C
Christoph Hellwig 已提交
357 358
	trace_xfs_dir2_leaf_to_node(args);

L
Linus Torvalds 已提交
359 360 361 362 363 364 365 366
	dp = args->dp;
	tp = args->trans;
	/*
	 * Add a freespace block to the directory.
	 */
	if ((error = xfs_dir2_grow_inode(args, XFS_DIR2_FREE_SPACE, &fdb))) {
		return error;
	}
367
	ASSERT(fdb == xfs_dir2_byte_to_db(args->geo, XFS_DIR2_FREE_OFFSET));
L
Linus Torvalds 已提交
368 369 370
	/*
	 * Get the buffer for the new freespace block.
	 */
371
	error = xfs_dir3_free_get_buf(args, fdb, &fbp);
372
	if (error)
L
Linus Torvalds 已提交
373
		return error;
374

375
	free = fbp->b_addr;
376
	dp->d_ops->free_hdr_from_disk(&freehdr, free);
377
	leaf = lbp->b_addr;
378
	ltp = xfs_dir2_leaf_tail_p(args->geo, leaf);
379 380 381
	if (be32_to_cpu(ltp->bestcount) >
				(uint)dp->i_d.di_size / args->geo->blksize)
		return -EFSCORRUPTED;
382

L
Linus Torvalds 已提交
383 384 385 386
	/*
	 * Copy freespace entries from the leaf block to the new block.
	 * Count active entries.
	 */
387
	from = xfs_dir2_leaf_bests_p(ltp);
388
	to = dp->d_ops->free_bests_p(free);
389
	for (i = n = 0; i < be32_to_cpu(ltp->bestcount); i++, from++, to++) {
390
		if ((off = be16_to_cpu(*from)) != NULLDATAOFF)
L
Linus Torvalds 已提交
391
			n++;
392
		*to = cpu_to_be16(off);
L
Linus Torvalds 已提交
393
	}
394

L
Linus Torvalds 已提交
395
	/*
396
	 * Now initialize the freespace block header.
L
Linus Torvalds 已提交
397
	 */
398 399 400
	freehdr.nused = n;
	freehdr.nvalid = be32_to_cpu(ltp->bestcount);

401
	dp->d_ops->free_hdr_to_disk(fbp->b_addr, &freehdr);
402 403
	xfs_dir2_free_log_bests(args, fbp, 0, freehdr.nvalid - 1);
	xfs_dir2_free_log_header(args, fbp);
404

405 406 407 408 409 410 411 412 413 414 415
	/*
	 * Converting the leaf to a leafnode is just a matter of changing the
	 * magic number and the ops. Do the change directly to the buffer as
	 * it's less work (and less code) than decoding the header to host
	 * format and back again.
	 */
	if (leaf->hdr.info.magic == cpu_to_be16(XFS_DIR2_LEAF1_MAGIC))
		leaf->hdr.info.magic = cpu_to_be16(XFS_DIR2_LEAFN_MAGIC);
	else
		leaf->hdr.info.magic = cpu_to_be16(XFS_DIR3_LEAFN_MAGIC);
	lbp->b_ops = &xfs_dir3_leafn_buf_ops;
416
	xfs_trans_buf_set_type(tp, lbp, XFS_BLFT_DIR_LEAFN_BUF);
417
	xfs_dir3_leaf_log_header(args, lbp);
418
	xfs_dir3_leaf_check(dp, lbp);
L
Linus Torvalds 已提交
419 420 421 422 423 424 425 426 427
	return 0;
}

/*
 * Add a leaf entry to a leaf block in a node-form directory.
 * The other work necessary is done from the caller.
 */
static int					/* error */
xfs_dir2_leafn_add(
428
	struct xfs_buf		*bp,		/* leaf buffer */
L
Linus Torvalds 已提交
429 430 431 432 433 434 435 436 437 438 439
	xfs_da_args_t		*args,		/* operation arguments */
	int			index)		/* insertion pt for new entry */
{
	int			compact;	/* compacting stale leaves */
	xfs_inode_t		*dp;		/* incore directory inode */
	int			highstale;	/* next stale entry */
	xfs_dir2_leaf_t		*leaf;		/* leaf structure */
	xfs_dir2_leaf_entry_t	*lep;		/* leaf entry */
	int			lfloghigh;	/* high leaf entry logging */
	int			lfloglow;	/* low leaf entry logging */
	int			lowstale;	/* previous stale entry */
440 441
	struct xfs_dir3_icleaf_hdr leafhdr;
	struct xfs_dir2_leaf_entry *ents;
L
Linus Torvalds 已提交
442

C
Christoph Hellwig 已提交
443 444
	trace_xfs_dir2_leafn_add(args, index);

L
Linus Torvalds 已提交
445
	dp = args->dp;
446
	leaf = bp->b_addr;
447
	dp->d_ops->leaf_hdr_from_disk(&leafhdr, leaf);
448
	ents = dp->d_ops->leaf_ents_p(leaf);
L
Linus Torvalds 已提交
449 450 451 452 453 454

	/*
	 * Quick check just to make sure we are not going to index
	 * into other peoples memory
	 */
	if (index < 0)
D
Dave Chinner 已提交
455
		return -EFSCORRUPTED;
L
Linus Torvalds 已提交
456 457 458 459 460 461 462 463

	/*
	 * If there are already the maximum number of leaf entries in
	 * the block, if there are no stale entries it won't fit.
	 * Caller will do a split.  If there are stale entries we'll do
	 * a compact.
	 */

464
	if (leafhdr.count == dp->d_ops->leaf_max_ents(args->geo)) {
465
		if (!leafhdr.stale)
D
Dave Chinner 已提交
466
			return -ENOSPC;
467
		compact = leafhdr.stale > 1;
L
Linus Torvalds 已提交
468 469
	} else
		compact = 0;
470 471 472
	ASSERT(index == 0 || be32_to_cpu(ents[index - 1].hashval) <= args->hashval);
	ASSERT(index == leafhdr.count ||
	       be32_to_cpu(ents[index].hashval) >= args->hashval);
L
Linus Torvalds 已提交
473

474
	if (args->op_flags & XFS_DA_OP_JUSTCHECK)
L
Linus Torvalds 已提交
475 476 477 478 479 480
		return 0;

	/*
	 * Compact out all but one stale leaf entry.  Leaves behind
	 * the entry closest to index.
	 */
481 482 483 484 485 486 487 488
	if (compact)
		xfs_dir3_leaf_compact_x1(&leafhdr, ents, &index, &lowstale,
					 &highstale, &lfloglow, &lfloghigh);
	else if (leafhdr.stale) {
		/*
		 * Set impossible logging indices for this case.
		 */
		lfloglow = leafhdr.count;
L
Linus Torvalds 已提交
489 490
		lfloghigh = -1;
	}
491

L
Linus Torvalds 已提交
492 493 494
	/*
	 * Insert the new entry, log everything.
	 */
495
	lep = xfs_dir3_leaf_find_entry(&leafhdr, ents, index, compact, lowstale,
496 497
				       highstale, &lfloglow, &lfloghigh);

498
	lep->hashval = cpu_to_be32(args->hashval);
499
	lep->address = cpu_to_be32(xfs_dir2_db_off_to_dataptr(args->geo,
500
				args->blkno, args->index));
501

502
	dp->d_ops->leaf_hdr_to_disk(leaf, &leafhdr);
503 504
	xfs_dir3_leaf_log_header(args, bp);
	xfs_dir3_leaf_log_ents(args, bp, lfloglow, lfloghigh);
505
	xfs_dir3_leaf_check(dp, bp);
L
Linus Torvalds 已提交
506 507 508 509
	return 0;
}

#ifdef DEBUG
510 511
static void
xfs_dir2_free_hdr_check(
512
	struct xfs_inode *dp,
513 514 515 516 517
	struct xfs_buf	*bp,
	xfs_dir2_db_t	db)
{
	struct xfs_dir3_icfree_hdr hdr;

518
	dp->d_ops->free_hdr_from_disk(&hdr, bp->b_addr);
519

520 521
	ASSERT((hdr.firstdb %
		dp->d_ops->free_max_bests(dp->i_mount->m_dir_geo)) == 0);
522 523 524 525
	ASSERT(hdr.firstdb <= db);
	ASSERT(db < hdr.firstdb + hdr.nvalid);
}
#else
526
#define xfs_dir2_free_hdr_check(dp, bp, db)
L
Linus Torvalds 已提交
527 528 529 530 531 532 533
#endif	/* DEBUG */

/*
 * Return the last hash value in the leaf.
 * Stale entries are ok.
 */
xfs_dahash_t					/* hash value */
534
xfs_dir2_leaf_lasthash(
535
	struct xfs_inode *dp,
536
	struct xfs_buf	*bp,			/* leaf buffer */
L
Linus Torvalds 已提交
537 538
	int		*count)			/* count of entries in leaf */
{
539 540 541 542
	struct xfs_dir2_leaf	*leaf = bp->b_addr;
	struct xfs_dir2_leaf_entry *ents;
	struct xfs_dir3_icleaf_hdr leafhdr;

543
	dp->d_ops->leaf_hdr_from_disk(&leafhdr, leaf);
544 545

	ASSERT(leafhdr.magic == XFS_DIR2_LEAFN_MAGIC ||
546 547 548
	       leafhdr.magic == XFS_DIR3_LEAFN_MAGIC ||
	       leafhdr.magic == XFS_DIR2_LEAF1_MAGIC ||
	       leafhdr.magic == XFS_DIR3_LEAF1_MAGIC);
L
Linus Torvalds 已提交
549 550

	if (count)
551 552
		*count = leafhdr.count;
	if (!leafhdr.count)
L
Linus Torvalds 已提交
553
		return 0;
554

555
	ents = dp->d_ops->leaf_ents_p(leaf);
556
	return be32_to_cpu(ents[leafhdr.count - 1].hashval);
L
Linus Torvalds 已提交
557 558 559
}

/*
560 561
 * Look up a leaf entry for space to add a name in a node-format leaf block.
 * The extrablk in state is a freespace block.
L
Linus Torvalds 已提交
562
 */
563 564
STATIC int
xfs_dir2_leafn_lookup_for_addname(
565
	struct xfs_buf		*bp,		/* leaf buffer */
L
Linus Torvalds 已提交
566 567 568 569
	xfs_da_args_t		*args,		/* operation arguments */
	int			*indexp,	/* out: leaf entry index */
	xfs_da_state_t		*state)		/* state to fill in */
{
570
	struct xfs_buf		*curbp = NULL;	/* current data/free buffer */
571 572
	xfs_dir2_db_t		curdb = -1;	/* current data block number */
	xfs_dir2_db_t		curfdb = -1;	/* current free block number */
L
Linus Torvalds 已提交
573 574 575
	xfs_inode_t		*dp;		/* incore directory inode */
	int			error;		/* error return value */
	int			fi;		/* free entry index */
576
	xfs_dir2_free_t		*free = NULL;	/* free block structure */
L
Linus Torvalds 已提交
577 578
	int			index;		/* leaf entry index */
	xfs_dir2_leaf_t		*leaf;		/* leaf structure */
579
	int			length;		/* length of new data entry */
L
Linus Torvalds 已提交
580 581 582 583 584
	xfs_dir2_leaf_entry_t	*lep;		/* leaf entry */
	xfs_mount_t		*mp;		/* filesystem mount point */
	xfs_dir2_db_t		newdb;		/* new data block number */
	xfs_dir2_db_t		newfdb;		/* new free block number */
	xfs_trans_t		*tp;		/* transaction pointer */
585 586
	struct xfs_dir2_leaf_entry *ents;
	struct xfs_dir3_icleaf_hdr leafhdr;
L
Linus Torvalds 已提交
587 588 589 590

	dp = args->dp;
	tp = args->trans;
	mp = dp->i_mount;
591
	leaf = bp->b_addr;
592
	dp->d_ops->leaf_hdr_from_disk(&leafhdr, leaf);
593
	ents = dp->d_ops->leaf_ents_p(leaf);
594

595
	xfs_dir3_leaf_check(dp, bp);
596 597
	ASSERT(leafhdr.count > 0);

L
Linus Torvalds 已提交
598 599 600 601 602 603 604
	/*
	 * Look up the hash value in the leaf entries.
	 */
	index = xfs_dir2_leaf_search_hash(args, bp);
	/*
	 * Do we have a buffer coming in?
	 */
605 606
	if (state->extravalid) {
		/* If so, it's a free block buffer, get the block number. */
L
Linus Torvalds 已提交
607
		curbp = state->extrablk.bp;
608
		curfdb = state->extrablk.blkno;
609
		free = curbp->b_addr;
610 611
		ASSERT(free->hdr.magic == cpu_to_be32(XFS_DIR2_FREE_MAGIC) ||
		       free->hdr.magic == cpu_to_be32(XFS_DIR3_FREE_MAGIC));
L
Linus Torvalds 已提交
612
	}
613
	length = dp->d_ops->data_entsize(args->namelen);
L
Linus Torvalds 已提交
614 615 616
	/*
	 * Loop over leaf entries with the right hash value.
	 */
617 618 619
	for (lep = &ents[index];
	     index < leafhdr.count && be32_to_cpu(lep->hashval) == args->hashval;
	     lep++, index++) {
L
Linus Torvalds 已提交
620 621 622
		/*
		 * Skip stale leaf entries.
		 */
623
		if (be32_to_cpu(lep->address) == XFS_DIR2_NULL_DATAPTR)
L
Linus Torvalds 已提交
624 625 626 627
			continue;
		/*
		 * Pull the data block number from the entry.
		 */
628 629
		newdb = xfs_dir2_dataptr_to_db(args->geo,
					       be32_to_cpu(lep->address));
L
Linus Torvalds 已提交
630 631 632 633
		/*
		 * For addname, we're looking for a place to put the new entry.
		 * We want to use a data block with an entry of equal
		 * hash value to ours if there is one with room.
634 635 636
		 *
		 * If this block isn't the data block we already have
		 * in hand, take a look at it.
L
Linus Torvalds 已提交
637
		 */
638
		if (newdb != curdb) {
639 640
			__be16 *bests;

641
			curdb = newdb;
L
Linus Torvalds 已提交
642
			/*
643 644
			 * Convert the data block to the free block
			 * holding its freespace information.
L
Linus Torvalds 已提交
645
			 */
646
			newfdb = dp->d_ops->db_to_fdb(args->geo, newdb);
L
Linus Torvalds 已提交
647
			/*
648
			 * If it's not the one we have in hand, read it in.
L
Linus Torvalds 已提交
649
			 */
650
			if (newfdb != curfdb) {
L
Linus Torvalds 已提交
651
				/*
652
				 * If we had one before, drop it.
L
Linus Torvalds 已提交
653 654
				 */
				if (curbp)
655
					xfs_trans_brelse(tp, curbp);
D
Dave Chinner 已提交
656 657

				error = xfs_dir2_free_read(tp, dp,
658 659
						xfs_dir2_db_to_da(args->geo,
								  newfdb),
D
Dave Chinner 已提交
660
						&curbp);
661
				if (error)
L
Linus Torvalds 已提交
662
					return error;
663
				free = curbp->b_addr;
664

665
				xfs_dir2_free_hdr_check(dp, curbp, curdb);
L
Linus Torvalds 已提交
666 667
			}
			/*
668
			 * Get the index for our entry.
L
Linus Torvalds 已提交
669
			 */
670
			fi = dp->d_ops->db_to_fdindex(args->geo, curdb);
L
Linus Torvalds 已提交
671
			/*
672
			 * If it has room, return it.
L
Linus Torvalds 已提交
673
			 */
674
			bests = dp->d_ops->free_bests_p(free);
675
			if (unlikely(bests[fi] == cpu_to_be16(NULLDATAOFF))) {
676 677 678
				XFS_ERROR_REPORT("xfs_dir2_leafn_lookup_int",
							XFS_ERRLEVEL_LOW, mp);
				if (curfdb != newfdb)
679
					xfs_trans_brelse(tp, curbp);
D
Dave Chinner 已提交
680
				return -EFSCORRUPTED;
L
Linus Torvalds 已提交
681
			}
682
			curfdb = newfdb;
683
			if (be16_to_cpu(bests[fi]) >= length)
684
				goto out;
L
Linus Torvalds 已提交
685 686
		}
	}
687 688 689
	/* Didn't find any space */
	fi = -1;
out:
690
	ASSERT(args->op_flags & XFS_DA_OP_OKNOENT);
691 692 693 694 695 696
	if (curbp) {
		/* Giving back a free block. */
		state->extravalid = 1;
		state->extrablk.bp = curbp;
		state->extrablk.index = fi;
		state->extrablk.blkno = curfdb;
697 698 699 700 701 702

		/*
		 * Important: this magic number is not in the buffer - it's for
		 * buffer type information and therefore only the free/data type
		 * matters here, not whether CRCs are enabled or not.
		 */
703 704 705 706
		state->extrablk.magic = XFS_DIR2_FREE_MAGIC;
	} else {
		state->extravalid = 0;
	}
L
Linus Torvalds 已提交
707
	/*
708
	 * Return the index, that will be the insertion point.
L
Linus Torvalds 已提交
709
	 */
710
	*indexp = index;
D
Dave Chinner 已提交
711
	return -ENOENT;
712 713 714 715 716 717 718 719
}

/*
 * Look up a leaf entry in a node-format leaf block.
 * The extrablk in state a data block.
 */
STATIC int
xfs_dir2_leafn_lookup_for_entry(
720
	struct xfs_buf		*bp,		/* leaf buffer */
721 722 723 724
	xfs_da_args_t		*args,		/* operation arguments */
	int			*indexp,	/* out: leaf entry index */
	xfs_da_state_t		*state)		/* state to fill in */
{
725
	struct xfs_buf		*curbp = NULL;	/* current data/free buffer */
726 727 728 729 730 731 732 733 734 735
	xfs_dir2_db_t		curdb = -1;	/* current data block number */
	xfs_dir2_data_entry_t	*dep;		/* data block entry */
	xfs_inode_t		*dp;		/* incore directory inode */
	int			error;		/* error return value */
	int			index;		/* leaf entry index */
	xfs_dir2_leaf_t		*leaf;		/* leaf structure */
	xfs_dir2_leaf_entry_t	*lep;		/* leaf entry */
	xfs_mount_t		*mp;		/* filesystem mount point */
	xfs_dir2_db_t		newdb;		/* new data block number */
	xfs_trans_t		*tp;		/* transaction pointer */
736
	enum xfs_dacmp		cmp;		/* comparison result */
737 738
	struct xfs_dir2_leaf_entry *ents;
	struct xfs_dir3_icleaf_hdr leafhdr;
739 740 741 742

	dp = args->dp;
	tp = args->trans;
	mp = dp->i_mount;
743
	leaf = bp->b_addr;
744
	dp->d_ops->leaf_hdr_from_disk(&leafhdr, leaf);
745
	ents = dp->d_ops->leaf_ents_p(leaf);
746

747
	xfs_dir3_leaf_check(dp, bp);
748 749
	ASSERT(leafhdr.count > 0);

750 751 752 753 754 755 756 757 758 759 760 761 762 763
	/*
	 * Look up the hash value in the leaf entries.
	 */
	index = xfs_dir2_leaf_search_hash(args, bp);
	/*
	 * Do we have a buffer coming in?
	 */
	if (state->extravalid) {
		curbp = state->extrablk.bp;
		curdb = state->extrablk.blkno;
	}
	/*
	 * Loop over leaf entries with the right hash value.
	 */
764 765 766
	for (lep = &ents[index];
	     index < leafhdr.count && be32_to_cpu(lep->hashval) == args->hashval;
	     lep++, index++) {
767 768 769 770 771
		/*
		 * Skip stale leaf entries.
		 */
		if (be32_to_cpu(lep->address) == XFS_DIR2_NULL_DATAPTR)
			continue;
L
Linus Torvalds 已提交
772
		/*
773 774
		 * Pull the data block number from the entry.
		 */
775 776
		newdb = xfs_dir2_dataptr_to_db(args->geo,
					       be32_to_cpu(lep->address));
777 778 779 780 781
		/*
		 * Not adding a new entry, so we really want to find
		 * the name given to us.
		 *
		 * If it's a different data block, go get it.
L
Linus Torvalds 已提交
782
		 */
783 784
		if (newdb != curdb) {
			/*
785 786
			 * If we had a block before that we aren't saving
			 * for a CI name, drop it
787
			 */
788 789
			if (curbp && (args->cmpresult == XFS_CMP_DIFFERENT ||
						curdb != state->extrablk.blkno))
790
				xfs_trans_brelse(tp, curbp);
791
			/*
792 793
			 * If needing the block that is saved with a CI match,
			 * use it otherwise read in the new data block.
794
			 */
795 796 797 798 799
			if (args->cmpresult != XFS_CMP_DIFFERENT &&
					newdb == state->extrablk.blkno) {
				ASSERT(state->extravalid);
				curbp = state->extrablk.bp;
			} else {
800
				error = xfs_dir3_data_read(tp, dp,
801 802
						xfs_dir2_db_to_da(args->geo,
								  newdb),
803
						-1, &curbp);
804 805 806
				if (error)
					return error;
			}
807
			xfs_dir3_data_check(dp, curbp);
808
			curdb = newdb;
L
Linus Torvalds 已提交
809 810
		}
		/*
811
		 * Point to the data entry.
L
Linus Torvalds 已提交
812
		 */
813
		dep = (xfs_dir2_data_entry_t *)((char *)curbp->b_addr +
814 815
			xfs_dir2_dataptr_to_off(args->geo,
						be32_to_cpu(lep->address)));
816
		/*
817 818
		 * Compare the entry and if it's an exact match, return
		 * EEXIST immediately. If it's the first case-insensitive
819
		 * match, store the block & inode number and continue looking.
820
		 */
821 822
		cmp = mp->m_dirnameops->compname(args, dep->name, dep->namelen);
		if (cmp != XFS_CMP_DIFFERENT && cmp != args->cmpresult) {
823 824 825
			/* If there is a CI match block, drop it */
			if (args->cmpresult != XFS_CMP_DIFFERENT &&
						curdb != state->extrablk.blkno)
826
				xfs_trans_brelse(tp, state->extrablk.bp);
827
			args->cmpresult = cmp;
828
			args->inumber = be64_to_cpu(dep->inumber);
829
			args->filetype = dp->d_ops->data_get_ftype(dep);
830 831 832 833 834
			*indexp = index;
			state->extravalid = 1;
			state->extrablk.bp = curbp;
			state->extrablk.blkno = curdb;
			state->extrablk.index = (int)((char *)dep -
835
							(char *)curbp->b_addr);
836
			state->extrablk.magic = XFS_DIR2_DATA_MAGIC;
837
			curbp->b_ops = &xfs_dir3_data_buf_ops;
838
			xfs_trans_buf_set_type(tp, curbp, XFS_BLFT_DIR_DATA_BUF);
839
			if (cmp == XFS_CMP_EXACT)
D
Dave Chinner 已提交
840
				return -EEXIST;
L
Linus Torvalds 已提交
841 842
		}
	}
843
	ASSERT(index == leafhdr.count || (args->op_flags & XFS_DA_OP_OKNOENT));
844
	if (curbp) {
845 846 847 848 849 850 851
		if (args->cmpresult == XFS_CMP_DIFFERENT) {
			/* Giving back last used data block. */
			state->extravalid = 1;
			state->extrablk.bp = curbp;
			state->extrablk.index = -1;
			state->extrablk.blkno = curdb;
			state->extrablk.magic = XFS_DIR2_DATA_MAGIC;
852
			curbp->b_ops = &xfs_dir3_data_buf_ops;
853
			xfs_trans_buf_set_type(tp, curbp, XFS_BLFT_DIR_DATA_BUF);
854 855 856
		} else {
			/* If the curbp is not the CI match block, drop it */
			if (state->extrablk.bp != curbp)
857
				xfs_trans_brelse(tp, curbp);
858
		}
859 860 861
	} else {
		state->extravalid = 0;
	}
L
Linus Torvalds 已提交
862
	*indexp = index;
D
Dave Chinner 已提交
863
	return -ENOENT;
864 865 866 867 868 869 870 871 872
}

/*
 * Look up a leaf entry in a node-format leaf block.
 * If this is an addname then the extrablk in state is a freespace block,
 * otherwise it's a data block.
 */
int
xfs_dir2_leafn_lookup_int(
873
	struct xfs_buf		*bp,		/* leaf buffer */
874 875 876 877
	xfs_da_args_t		*args,		/* operation arguments */
	int			*indexp,	/* out: leaf entry index */
	xfs_da_state_t		*state)		/* state to fill in */
{
878
	if (args->op_flags & XFS_DA_OP_ADDNAME)
879 880 881
		return xfs_dir2_leafn_lookup_for_addname(bp, args, indexp,
							state);
	return xfs_dir2_leafn_lookup_for_entry(bp, args, indexp, state);
L
Linus Torvalds 已提交
882 883 884 885 886 887 888
}

/*
 * Move count leaf entries from source to destination leaf.
 * Log entries and headers.  Stale entries are preserved.
 */
static void
889 890 891 892 893 894 895 896 897 898 899
xfs_dir3_leafn_moveents(
	xfs_da_args_t			*args,	/* operation arguments */
	struct xfs_buf			*bp_s,	/* source */
	struct xfs_dir3_icleaf_hdr	*shdr,
	struct xfs_dir2_leaf_entry	*sents,
	int				start_s,/* source leaf index */
	struct xfs_buf			*bp_d,	/* destination */
	struct xfs_dir3_icleaf_hdr	*dhdr,
	struct xfs_dir2_leaf_entry	*dents,
	int				start_d,/* destination leaf index */
	int				count)	/* count of leaves to copy */
L
Linus Torvalds 已提交
900
{
901
	int				stale;	/* count stale leaves copied */
L
Linus Torvalds 已提交
902

C
Christoph Hellwig 已提交
903 904
	trace_xfs_dir2_leafn_moveents(args, start_s, start_d, count);

L
Linus Torvalds 已提交
905 906 907
	/*
	 * Silently return if nothing to do.
	 */
908
	if (count == 0)
L
Linus Torvalds 已提交
909
		return;
910

L
Linus Torvalds 已提交
911 912 913 914 915
	/*
	 * If the destination index is not the end of the current
	 * destination leaf entries, open up a hole in the destination
	 * to hold the new entries.
	 */
916 917 918
	if (start_d < dhdr->count) {
		memmove(&dents[start_d + count], &dents[start_d],
			(dhdr->count - start_d) * sizeof(xfs_dir2_leaf_entry_t));
919
		xfs_dir3_leaf_log_ents(args, bp_d, start_d + count,
920
				       count + dhdr->count - 1);
L
Linus Torvalds 已提交
921 922 923 924 925
	}
	/*
	 * If the source has stale leaves, count the ones in the copy range
	 * so we can update the header correctly.
	 */
926
	if (shdr->stale) {
L
Linus Torvalds 已提交
927 928 929
		int	i;			/* temp leaf index */

		for (i = start_s, stale = 0; i < start_s + count; i++) {
930 931
			if (sents[i].address ==
					cpu_to_be32(XFS_DIR2_NULL_DATAPTR))
L
Linus Torvalds 已提交
932 933 934 935 936 937 938
				stale++;
		}
	} else
		stale = 0;
	/*
	 * Copy the leaf entries from source to destination.
	 */
939
	memcpy(&dents[start_d], &sents[start_s],
L
Linus Torvalds 已提交
940
		count * sizeof(xfs_dir2_leaf_entry_t));
941
	xfs_dir3_leaf_log_ents(args, bp_d, start_d, start_d + count - 1);
942

L
Linus Torvalds 已提交
943 944 945 946
	/*
	 * If there are source entries after the ones we copied,
	 * delete the ones we copied by sliding the next ones down.
	 */
947 948
	if (start_s + count < shdr->count) {
		memmove(&sents[start_s], &sents[start_s + count],
L
Linus Torvalds 已提交
949
			count * sizeof(xfs_dir2_leaf_entry_t));
950
		xfs_dir3_leaf_log_ents(args, bp_s, start_s, start_s + count - 1);
L
Linus Torvalds 已提交
951
	}
952

L
Linus Torvalds 已提交
953 954 955
	/*
	 * Update the headers and log them.
	 */
956 957 958 959
	shdr->count -= count;
	shdr->stale -= stale;
	dhdr->count += count;
	dhdr->stale += stale;
L
Linus Torvalds 已提交
960 961 962 963 964 965 966 967
}

/*
 * Determine the sort order of two leaf blocks.
 * Returns 1 if both are valid and leaf2 should be before leaf1, else 0.
 */
int						/* sort order */
xfs_dir2_leafn_order(
968
	struct xfs_inode	*dp,
969 970
	struct xfs_buf		*leaf1_bp,		/* leaf1 buffer */
	struct xfs_buf		*leaf2_bp)		/* leaf2 buffer */
L
Linus Torvalds 已提交
971
{
972 973 974 975 976 977 978
	struct xfs_dir2_leaf	*leaf1 = leaf1_bp->b_addr;
	struct xfs_dir2_leaf	*leaf2 = leaf2_bp->b_addr;
	struct xfs_dir2_leaf_entry *ents1;
	struct xfs_dir2_leaf_entry *ents2;
	struct xfs_dir3_icleaf_hdr hdr1;
	struct xfs_dir3_icleaf_hdr hdr2;

979 980
	dp->d_ops->leaf_hdr_from_disk(&hdr1, leaf1);
	dp->d_ops->leaf_hdr_from_disk(&hdr2, leaf2);
981 982
	ents1 = dp->d_ops->leaf_ents_p(leaf1);
	ents2 = dp->d_ops->leaf_ents_p(leaf2);
983 984 985 986 987

	if (hdr1.count > 0 && hdr2.count > 0 &&
	    (be32_to_cpu(ents2[0].hashval) < be32_to_cpu(ents1[0].hashval) ||
	     be32_to_cpu(ents2[hdr2.count - 1].hashval) <
				be32_to_cpu(ents1[hdr1.count - 1].hashval)))
L
Linus Torvalds 已提交
988 989 990 991 992 993 994 995 996 997 998 999 1000 1001 1002 1003 1004 1005 1006 1007 1008 1009 1010
		return 1;
	return 0;
}

/*
 * Rebalance leaf entries between two leaf blocks.
 * This is actually only called when the second block is new,
 * though the code deals with the general case.
 * A new entry will be inserted in one of the blocks, and that
 * entry is taken into account when balancing.
 */
static void
xfs_dir2_leafn_rebalance(
	xfs_da_state_t		*state,		/* btree cursor */
	xfs_da_state_blk_t	*blk1,		/* first btree block */
	xfs_da_state_blk_t	*blk2)		/* second btree block */
{
	xfs_da_args_t		*args;		/* operation arguments */
	int			count;		/* count (& direction) leaves */
	int			isleft;		/* new goes in left leaf */
	xfs_dir2_leaf_t		*leaf1;		/* first leaf structure */
	xfs_dir2_leaf_t		*leaf2;		/* second leaf structure */
	int			mid;		/* midpoint leaf index */
D
Dave Chinner 已提交
1011
#if defined(DEBUG) || defined(XFS_WARN)
L
Linus Torvalds 已提交
1012 1013 1014 1015
	int			oldstale;	/* old count of stale leaves */
#endif
	int			oldsum;		/* old total leaf count */
	int			swap;		/* swapped leaf blocks */
1016 1017 1018 1019
	struct xfs_dir2_leaf_entry *ents1;
	struct xfs_dir2_leaf_entry *ents2;
	struct xfs_dir3_icleaf_hdr hdr1;
	struct xfs_dir3_icleaf_hdr hdr2;
1020
	struct xfs_inode	*dp = state->args->dp;
L
Linus Torvalds 已提交
1021 1022 1023 1024 1025

	args = state->args;
	/*
	 * If the block order is wrong, swap the arguments.
	 */
1026
	if ((swap = xfs_dir2_leafn_order(dp, blk1->bp, blk2->bp))) {
L
Linus Torvalds 已提交
1027 1028 1029 1030 1031 1032
		xfs_da_state_blk_t	*tmp;	/* temp for block swap */

		tmp = blk1;
		blk1 = blk2;
		blk2 = tmp;
	}
1033 1034
	leaf1 = blk1->bp->b_addr;
	leaf2 = blk2->bp->b_addr;
1035 1036
	dp->d_ops->leaf_hdr_from_disk(&hdr1, leaf1);
	dp->d_ops->leaf_hdr_from_disk(&hdr2, leaf2);
1037 1038
	ents1 = dp->d_ops->leaf_ents_p(leaf1);
	ents2 = dp->d_ops->leaf_ents_p(leaf2);
1039 1040

	oldsum = hdr1.count + hdr2.count;
D
Dave Chinner 已提交
1041
#if defined(DEBUG) || defined(XFS_WARN)
1042
	oldstale = hdr1.stale + hdr2.stale;
L
Linus Torvalds 已提交
1043 1044
#endif
	mid = oldsum >> 1;
1045

L
Linus Torvalds 已提交
1046 1047 1048 1049 1050 1051 1052
	/*
	 * If the old leaf count was odd then the new one will be even,
	 * so we need to divide the new count evenly.
	 */
	if (oldsum & 1) {
		xfs_dahash_t	midhash;	/* middle entry hash value */

1053 1054
		if (mid >= hdr1.count)
			midhash = be32_to_cpu(ents2[mid - hdr1.count].hashval);
L
Linus Torvalds 已提交
1055
		else
1056
			midhash = be32_to_cpu(ents1[mid].hashval);
L
Linus Torvalds 已提交
1057 1058 1059 1060 1061 1062 1063 1064 1065 1066 1067 1068 1069
		isleft = args->hashval <= midhash;
	}
	/*
	 * If the old count is even then the new count is odd, so there's
	 * no preferred side for the new entry.
	 * Pick the left one.
	 */
	else
		isleft = 1;
	/*
	 * Calculate moved entry count.  Positive means left-to-right,
	 * negative means right-to-left.  Then move the entries.
	 */
1070
	count = hdr1.count - mid + (isleft == 0);
L
Linus Torvalds 已提交
1071
	if (count > 0)
1072 1073 1074
		xfs_dir3_leafn_moveents(args, blk1->bp, &hdr1, ents1,
					hdr1.count - count, blk2->bp,
					&hdr2, ents2, 0, count);
L
Linus Torvalds 已提交
1075
	else if (count < 0)
1076 1077 1078 1079 1080 1081 1082 1083
		xfs_dir3_leafn_moveents(args, blk2->bp, &hdr2, ents2, 0,
					blk1->bp, &hdr1, ents1,
					hdr1.count, count);

	ASSERT(hdr1.count + hdr2.count == oldsum);
	ASSERT(hdr1.stale + hdr2.stale == oldstale);

	/* log the changes made when moving the entries */
1084 1085
	dp->d_ops->leaf_hdr_to_disk(leaf1, &hdr1);
	dp->d_ops->leaf_hdr_to_disk(leaf2, &hdr2);
1086 1087
	xfs_dir3_leaf_log_header(args, blk1->bp);
	xfs_dir3_leaf_log_header(args, blk2->bp);
1088

1089 1090
	xfs_dir3_leaf_check(dp, blk1->bp);
	xfs_dir3_leaf_check(dp, blk2->bp);
1091

L
Linus Torvalds 已提交
1092 1093 1094
	/*
	 * Mark whether we're inserting into the old or new leaf.
	 */
1095
	if (hdr1.count < hdr2.count)
L
Linus Torvalds 已提交
1096
		state->inleaf = swap;
1097
	else if (hdr1.count > hdr2.count)
L
Linus Torvalds 已提交
1098 1099
		state->inleaf = !swap;
	else
1100
		state->inleaf = swap ^ (blk1->index <= hdr1.count);
L
Linus Torvalds 已提交
1101 1102 1103 1104
	/*
	 * Adjust the expected index for insertion.
	 */
	if (!state->inleaf)
1105
		blk2->index = blk1->index - hdr1.count;
1106 1107 1108 1109

	/*
	 * Finally sanity check just to make sure we are not returning a
	 * negative index
L
Linus Torvalds 已提交
1110
	 */
1111
	if (blk2->index < 0) {
L
Linus Torvalds 已提交
1112 1113
		state->inleaf = 1;
		blk2->index = 0;
1114
		xfs_alert(dp->i_mount,
1115
	"%s: picked the wrong leaf? reverting original leaf: blk1->index %d",
1116
			__func__, blk1->index);
L
Linus Torvalds 已提交
1117 1118 1119
	}
}

D
Dave Chinner 已提交
1120
static int
1121
xfs_dir3_data_block_free(
D
Dave Chinner 已提交
1122 1123 1124 1125 1126 1127 1128 1129 1130
	xfs_da_args_t		*args,
	struct xfs_dir2_data_hdr *hdr,
	struct xfs_dir2_free	*free,
	xfs_dir2_db_t		fdb,
	int			findex,
	struct xfs_buf		*fbp,
	int			longest)
{
	int			logfree = 0;
1131 1132
	__be16			*bests;
	struct xfs_dir3_icfree_hdr freehdr;
1133
	struct xfs_inode	*dp = args->dp;
D
Dave Chinner 已提交
1134

1135
	dp->d_ops->free_hdr_from_disk(&freehdr, free);
1136
	bests = dp->d_ops->free_bests_p(free);
1137
	if (hdr) {
D
Dave Chinner 已提交
1138
		/*
1139 1140
		 * Data block is not empty, just set the free entry to the new
		 * value.
D
Dave Chinner 已提交
1141
		 */
1142
		bests[findex] = cpu_to_be16(longest);
1143
		xfs_dir2_free_log_bests(args, fbp, findex, findex);
1144 1145
		return 0;
	}
D
Dave Chinner 已提交
1146

1147 1148
	/* One less used entry in the free table. */
	freehdr.nused--;
D
Dave Chinner 已提交
1149

1150 1151 1152 1153 1154 1155 1156 1157 1158 1159 1160
	/*
	 * If this was the last entry in the table, we can trim the table size
	 * back.  There might be other entries at the end referring to
	 * non-existent data blocks, get those too.
	 */
	if (findex == freehdr.nvalid - 1) {
		int	i;		/* free entry index */

		for (i = findex - 1; i >= 0; i--) {
			if (bests[i] != cpu_to_be16(NULLDATAOFF))
				break;
D
Dave Chinner 已提交
1161
		}
1162 1163
		freehdr.nvalid = i + 1;
		logfree = 0;
D
Dave Chinner 已提交
1164
	} else {
1165 1166 1167 1168 1169
		/* Not the last entry, just punch it out.  */
		bests[findex] = cpu_to_be16(NULLDATAOFF);
		logfree = 1;
	}

1170
	dp->d_ops->free_hdr_to_disk(free, &freehdr);
1171
	xfs_dir2_free_log_header(args, fbp);
1172 1173 1174 1175 1176 1177 1178 1179 1180 1181 1182 1183

	/*
	 * If there are no useful entries left in the block, get rid of the
	 * block if we can.
	 */
	if (!freehdr.nused) {
		int error;

		error = xfs_dir2_shrink_inode(args, fdb, fbp);
		if (error == 0) {
			fbp = NULL;
			logfree = 0;
D
Dave Chinner 已提交
1184
		} else if (error != -ENOSPC || args->total != 0)
1185
			return error;
D
Dave Chinner 已提交
1186
		/*
1187 1188 1189
		 * It's possible to get ENOSPC if there is no
		 * space reservation.  In this case some one
		 * else will eventually get rid of this block.
D
Dave Chinner 已提交
1190 1191 1192 1193 1194
		 */
	}

	/* Log the free entry that changed, unless we got rid of it.  */
	if (logfree)
1195
		xfs_dir2_free_log_bests(args, fbp, findex, findex);
D
Dave Chinner 已提交
1196 1197 1198
	return 0;
}

L
Linus Torvalds 已提交
1199 1200 1201 1202 1203 1204 1205 1206
/*
 * Remove an entry from a node directory.
 * This removes the leaf entry and the data entry,
 * and updates the free block if necessary.
 */
static int					/* error */
xfs_dir2_leafn_remove(
	xfs_da_args_t		*args,		/* operation arguments */
1207
	struct xfs_buf		*bp,		/* leaf buffer */
L
Linus Torvalds 已提交
1208 1209 1210 1211
	int			index,		/* leaf entry index */
	xfs_da_state_blk_t	*dblk,		/* data block */
	int			*rval)		/* resulting block needs join */
{
1212
	xfs_dir2_data_hdr_t	*hdr;		/* data block header */
L
Linus Torvalds 已提交
1213
	xfs_dir2_db_t		db;		/* data block number */
1214
	struct xfs_buf		*dbp;		/* data block buffer */
L
Linus Torvalds 已提交
1215 1216 1217 1218 1219 1220 1221 1222 1223
	xfs_dir2_data_entry_t	*dep;		/* data block entry */
	xfs_inode_t		*dp;		/* incore directory inode */
	xfs_dir2_leaf_t		*leaf;		/* leaf structure */
	xfs_dir2_leaf_entry_t	*lep;		/* leaf entry */
	int			longest;	/* longest data free entry */
	int			off;		/* data block entry offset */
	int			needlog;	/* need to log data header */
	int			needscan;	/* need to rescan data frees */
	xfs_trans_t		*tp;		/* transaction pointer */
1224
	struct xfs_dir2_data_free *bf;		/* bestfree table */
1225 1226
	struct xfs_dir3_icleaf_hdr leafhdr;
	struct xfs_dir2_leaf_entry *ents;
L
Linus Torvalds 已提交
1227

C
Christoph Hellwig 已提交
1228 1229
	trace_xfs_dir2_leafn_remove(args, index);

L
Linus Torvalds 已提交
1230 1231
	dp = args->dp;
	tp = args->trans;
1232
	leaf = bp->b_addr;
1233
	dp->d_ops->leaf_hdr_from_disk(&leafhdr, leaf);
1234
	ents = dp->d_ops->leaf_ents_p(leaf);
1235

L
Linus Torvalds 已提交
1236 1237 1238
	/*
	 * Point to the entry we're removing.
	 */
1239 1240
	lep = &ents[index];

L
Linus Torvalds 已提交
1241 1242 1243
	/*
	 * Extract the data block and offset from the entry.
	 */
1244
	db = xfs_dir2_dataptr_to_db(args->geo, be32_to_cpu(lep->address));
L
Linus Torvalds 已提交
1245
	ASSERT(dblk->blkno == db);
1246
	off = xfs_dir2_dataptr_to_off(args->geo, be32_to_cpu(lep->address));
L
Linus Torvalds 已提交
1247
	ASSERT(dblk->index == off);
1248

L
Linus Torvalds 已提交
1249 1250 1251 1252
	/*
	 * Kill the leaf entry by marking it stale.
	 * Log the leaf block changes.
	 */
1253
	leafhdr.stale++;
1254
	dp->d_ops->leaf_hdr_to_disk(leaf, &leafhdr);
1255
	xfs_dir3_leaf_log_header(args, bp);
1256

1257
	lep->address = cpu_to_be32(XFS_DIR2_NULL_DATAPTR);
1258
	xfs_dir3_leaf_log_ents(args, bp, index, index);
1259

L
Linus Torvalds 已提交
1260 1261 1262 1263 1264
	/*
	 * Make the data entry free.  Keep track of the longest freespace
	 * in the data block in case it changes.
	 */
	dbp = dblk->bp;
1265
	hdr = dbp->b_addr;
1266
	dep = (xfs_dir2_data_entry_t *)((char *)hdr + off);
1267
	bf = dp->d_ops->data_bestfree_p(hdr);
1268
	longest = be16_to_cpu(bf[0].length);
L
Linus Torvalds 已提交
1269
	needlog = needscan = 0;
1270
	xfs_dir2_data_make_free(args, dbp, off,
1271
		dp->d_ops->data_entsize(dep->namelen), &needlog, &needscan);
L
Linus Torvalds 已提交
1272 1273 1274 1275 1276
	/*
	 * Rescan the data block freespaces for bestfree.
	 * Log the data block header if needed.
	 */
	if (needscan)
1277
		xfs_dir2_data_freescan(dp, hdr, &needlog);
L
Linus Torvalds 已提交
1278
	if (needlog)
1279
		xfs_dir2_data_log_header(args, dbp);
1280
	xfs_dir3_data_check(dp, dbp);
L
Linus Torvalds 已提交
1281 1282 1283 1284
	/*
	 * If the longest data block freespace changes, need to update
	 * the corresponding freeblock entry.
	 */
1285
	if (longest < be16_to_cpu(bf[0].length)) {
L
Linus Torvalds 已提交
1286
		int		error;		/* error return value */
1287
		struct xfs_buf	*fbp;		/* freeblock buffer */
L
Linus Torvalds 已提交
1288 1289 1290 1291 1292 1293 1294 1295
		xfs_dir2_db_t	fdb;		/* freeblock block number */
		int		findex;		/* index in freeblock entries */
		xfs_dir2_free_t	*free;		/* freeblock structure */

		/*
		 * Convert the data block number to a free block,
		 * read in the free block.
		 */
1296
		fdb = dp->d_ops->db_to_fdb(args->geo, db);
1297 1298
		error = xfs_dir2_free_read(tp, dp,
					   xfs_dir2_db_to_da(args->geo, fdb),
D
Dave Chinner 已提交
1299
					   &fbp);
1300
		if (error)
L
Linus Torvalds 已提交
1301
			return error;
1302
		free = fbp->b_addr;
1303 1304 1305
#ifdef DEBUG
	{
		struct xfs_dir3_icfree_hdr freehdr;
1306
		dp->d_ops->free_hdr_from_disk(&freehdr, free);
1307
		ASSERT(freehdr.firstdb == dp->d_ops->free_max_bests(args->geo) *
1308 1309
			(fdb - xfs_dir2_byte_to_db(args->geo,
						   XFS_DIR2_FREE_OFFSET)));
1310 1311
	}
#endif
L
Linus Torvalds 已提交
1312 1313 1314
		/*
		 * Calculate which entry we need to fix.
		 */
1315
		findex = dp->d_ops->db_to_fdindex(args->geo, db);
1316
		longest = be16_to_cpu(bf[0].length);
L
Linus Torvalds 已提交
1317 1318 1319 1320
		/*
		 * If the data block is now empty we can get rid of it
		 * (usually).
		 */
1321
		if (longest == args->geo->blksize -
1322
			       dp->d_ops->data_entry_offset) {
L
Linus Torvalds 已提交
1323 1324 1325 1326 1327 1328
			/*
			 * Try to punch out the data block.
			 */
			error = xfs_dir2_shrink_inode(args, db, dbp);
			if (error == 0) {
				dblk->bp = NULL;
1329
				hdr = NULL;
L
Linus Torvalds 已提交
1330 1331 1332 1333 1334 1335
			}
			/*
			 * We can get ENOSPC if there's no space reservation.
			 * In this case just drop the buffer and some one else
			 * will eventually get rid of the empty block.
			 */
D
Dave Chinner 已提交
1336
			else if (!(error == -ENOSPC && args->total == 0))
L
Linus Torvalds 已提交
1337 1338 1339 1340 1341 1342
				return error;
		}
		/*
		 * If we got rid of the data block, we can eliminate that entry
		 * in the free block.
		 */
1343
		error = xfs_dir3_data_block_free(args, hdr, free,
D
Dave Chinner 已提交
1344 1345 1346
						 fdb, findex, fbp, longest);
		if (error)
			return error;
L
Linus Torvalds 已提交
1347
	}
D
Dave Chinner 已提交
1348

1349
	xfs_dir3_leaf_check(dp, bp);
L
Linus Torvalds 已提交
1350
	/*
M
Malcolm Parsons 已提交
1351
	 * Return indication of whether this leaf block is empty enough
L
Linus Torvalds 已提交
1352 1353
	 * to justify trying to join it with a neighbor.
	 */
1354
	*rval = (dp->d_ops->leaf_hdr_size +
1355
		 (uint)sizeof(ents[0]) * (leafhdr.count - leafhdr.stale)) <
1356
		args->geo->magicpct;
L
Linus Torvalds 已提交
1357 1358 1359 1360 1361 1362 1363 1364 1365 1366 1367 1368 1369 1370 1371
	return 0;
}

/*
 * Split the leaf entries in the old block into old and new blocks.
 */
int						/* error */
xfs_dir2_leafn_split(
	xfs_da_state_t		*state,		/* btree cursor */
	xfs_da_state_blk_t	*oldblk,	/* original block */
	xfs_da_state_blk_t	*newblk)	/* newly created block */
{
	xfs_da_args_t		*args;		/* operation arguments */
	xfs_dablk_t		blkno;		/* new leaf block number */
	int			error;		/* error return value */
1372
	struct xfs_inode	*dp;
L
Linus Torvalds 已提交
1373 1374 1375 1376 1377

	/*
	 * Allocate space for a new leaf node.
	 */
	args = state->args;
1378
	dp = args->dp;
L
Linus Torvalds 已提交
1379 1380 1381 1382 1383 1384 1385 1386
	ASSERT(oldblk->magic == XFS_DIR2_LEAFN_MAGIC);
	error = xfs_da_grow_inode(args, &blkno);
	if (error) {
		return error;
	}
	/*
	 * Initialize the new leaf block.
	 */
1387
	error = xfs_dir3_leaf_get_buf(args, xfs_dir2_da_to_db(args->geo, blkno),
1388 1389
				      &newblk->bp, XFS_DIR2_LEAFN_MAGIC);
	if (error)
L
Linus Torvalds 已提交
1390
		return error;
1391

L
Linus Torvalds 已提交
1392 1393 1394 1395 1396 1397 1398
	newblk->blkno = blkno;
	newblk->magic = XFS_DIR2_LEAFN_MAGIC;
	/*
	 * Rebalance the entries across the two leaves, link the new
	 * block into the leaves.
	 */
	xfs_dir2_leafn_rebalance(state, oldblk, newblk);
1399
	error = xfs_da3_blk_link(state, oldblk, newblk);
L
Linus Torvalds 已提交
1400 1401 1402 1403 1404 1405 1406 1407 1408 1409 1410 1411 1412
	if (error) {
		return error;
	}
	/*
	 * Insert the new entry in the correct block.
	 */
	if (state->inleaf)
		error = xfs_dir2_leafn_add(oldblk->bp, args, oldblk->index);
	else
		error = xfs_dir2_leafn_add(newblk->bp, args, newblk->index);
	/*
	 * Update last hashval in each block since we added the name.
	 */
1413 1414
	oldblk->hashval = xfs_dir2_leaf_lasthash(dp, oldblk->bp, NULL);
	newblk->hashval = xfs_dir2_leaf_lasthash(dp, newblk->bp, NULL);
1415 1416
	xfs_dir3_leaf_check(dp, oldblk->bp);
	xfs_dir3_leaf_check(dp, newblk->bp);
L
Linus Torvalds 已提交
1417 1418 1419 1420 1421 1422 1423 1424 1425 1426 1427 1428 1429 1430 1431 1432 1433 1434 1435
	return error;
}

/*
 * Check a leaf block and its neighbors to see if the block should be
 * collapsed into one or the other neighbor.  Always keep the block
 * with the smaller block number.
 * If the current block is over 50% full, don't try to join it, return 0.
 * If the block is empty, fill in the state structure and return 2.
 * If it can be collapsed, fill in the state structure and return 1.
 * If nothing can be done, return 0.
 */
int						/* error */
xfs_dir2_leafn_toosmall(
	xfs_da_state_t		*state,		/* btree cursor */
	int			*action)	/* resulting action to take */
{
	xfs_da_state_blk_t	*blk;		/* leaf block */
	xfs_dablk_t		blkno;		/* leaf block number */
1436
	struct xfs_buf		*bp;		/* leaf buffer */
L
Linus Torvalds 已提交
1437 1438 1439 1440 1441 1442 1443
	int			bytes;		/* bytes in use */
	int			count;		/* leaf live entry count */
	int			error;		/* error return value */
	int			forward;	/* sibling block direction */
	int			i;		/* sibling counter */
	xfs_dir2_leaf_t		*leaf;		/* leaf structure */
	int			rval;		/* result from path_shift */
1444 1445
	struct xfs_dir3_icleaf_hdr leafhdr;
	struct xfs_dir2_leaf_entry *ents;
1446
	struct xfs_inode	*dp = state->args->dp;
L
Linus Torvalds 已提交
1447 1448 1449 1450 1451 1452 1453

	/*
	 * Check for the degenerate case of the block being over 50% full.
	 * If so, it's not worth even looking to see if we might be able
	 * to coalesce with a sibling.
	 */
	blk = &state->path.blk[state->path.active - 1];
1454
	leaf = blk->bp->b_addr;
1455
	dp->d_ops->leaf_hdr_from_disk(&leafhdr, leaf);
1456 1457
	ents = dp->d_ops->leaf_ents_p(leaf);
	xfs_dir3_leaf_check(dp, blk->bp);
1458 1459

	count = leafhdr.count - leafhdr.stale;
1460
	bytes = dp->d_ops->leaf_hdr_size + count * sizeof(ents[0]);
1461
	if (bytes > (state->args->geo->blksize >> 1)) {
L
Linus Torvalds 已提交
1462 1463 1464 1465 1466 1467 1468 1469 1470 1471 1472 1473 1474 1475 1476 1477 1478
		/*
		 * Blk over 50%, don't try to join.
		 */
		*action = 0;
		return 0;
	}
	/*
	 * Check for the degenerate case of the block being empty.
	 * If the block is empty, we'll simply delete it, no need to
	 * coalesce it with a sibling block.  We choose (arbitrarily)
	 * to merge with the forward block unless it is NULL.
	 */
	if (count == 0) {
		/*
		 * Make altpath point to the block we want to keep and
		 * path point to the block we want to drop (this one).
		 */
1479
		forward = (leafhdr.forw != 0);
L
Linus Torvalds 已提交
1480
		memcpy(&state->altpath, &state->path, sizeof(state->path));
1481
		error = xfs_da3_path_shift(state, &state->altpath, forward, 0,
L
Linus Torvalds 已提交
1482 1483 1484 1485 1486 1487 1488 1489 1490 1491 1492 1493 1494
			&rval);
		if (error)
			return error;
		*action = rval ? 2 : 0;
		return 0;
	}
	/*
	 * Examine each sibling block to see if we can coalesce with
	 * at least 25% free space to spare.  We need to figure out
	 * whether to merge with the forward or the backward block.
	 * We prefer coalescing with the lower numbered sibling so as
	 * to shrink a directory over time.
	 */
1495
	forward = leafhdr.forw < leafhdr.back;
L
Linus Torvalds 已提交
1496
	for (i = 0, bp = NULL; i < 2; forward = !forward, i++) {
1497 1498 1499
		struct xfs_dir3_icleaf_hdr hdr2;

		blkno = forward ? leafhdr.forw : leafhdr.back;
L
Linus Torvalds 已提交
1500 1501 1502 1503 1504
		if (blkno == 0)
			continue;
		/*
		 * Read the sibling leaf block.
		 */
1505
		error = xfs_dir3_leafn_read(state->args->trans, dp,
D
Dave Chinner 已提交
1506
					    blkno, -1, &bp);
1507
		if (error)
L
Linus Torvalds 已提交
1508
			return error;
D
Dave Chinner 已提交
1509

L
Linus Torvalds 已提交
1510 1511 1512
		/*
		 * Count bytes in the two blocks combined.
		 */
1513
		count = leafhdr.count - leafhdr.stale;
1514 1515
		bytes = state->args->geo->blksize -
			(state->args->geo->blksize >> 2);
1516

1517
		leaf = bp->b_addr;
1518
		dp->d_ops->leaf_hdr_from_disk(&hdr2, leaf);
1519
		ents = dp->d_ops->leaf_ents_p(leaf);
1520 1521 1522
		count += hdr2.count - hdr2.stale;
		bytes -= count * sizeof(ents[0]);

L
Linus Torvalds 已提交
1523 1524 1525 1526 1527
		/*
		 * Fits with at least 25% to spare.
		 */
		if (bytes >= 0)
			break;
1528
		xfs_trans_brelse(state->args->trans, bp);
L
Linus Torvalds 已提交
1529 1530 1531 1532 1533 1534 1535 1536
	}
	/*
	 * Didn't like either block, give up.
	 */
	if (i >= 2) {
		*action = 0;
		return 0;
	}
1537

L
Linus Torvalds 已提交
1538 1539 1540 1541 1542 1543
	/*
	 * Make altpath point to the block we want to keep (the lower
	 * numbered block) and path point to the block we want to drop.
	 */
	memcpy(&state->altpath, &state->path, sizeof(state->path));
	if (blkno < blk->blkno)
1544
		error = xfs_da3_path_shift(state, &state->altpath, forward, 0,
L
Linus Torvalds 已提交
1545 1546
			&rval);
	else
1547
		error = xfs_da3_path_shift(state, &state->path, forward, 0,
L
Linus Torvalds 已提交
1548 1549 1550 1551 1552 1553 1554 1555 1556 1557 1558 1559 1560 1561 1562 1563 1564 1565 1566 1567 1568
			&rval);
	if (error) {
		return error;
	}
	*action = rval ? 0 : 1;
	return 0;
}

/*
 * Move all the leaf entries from drop_blk to save_blk.
 * This is done as part of a join operation.
 */
void
xfs_dir2_leafn_unbalance(
	xfs_da_state_t		*state,		/* cursor */
	xfs_da_state_blk_t	*drop_blk,	/* dead block */
	xfs_da_state_blk_t	*save_blk)	/* surviving block */
{
	xfs_da_args_t		*args;		/* operation arguments */
	xfs_dir2_leaf_t		*drop_leaf;	/* dead leaf structure */
	xfs_dir2_leaf_t		*save_leaf;	/* surviving leaf structure */
1569 1570 1571 1572
	struct xfs_dir3_icleaf_hdr savehdr;
	struct xfs_dir3_icleaf_hdr drophdr;
	struct xfs_dir2_leaf_entry *sents;
	struct xfs_dir2_leaf_entry *dents;
1573
	struct xfs_inode	*dp = state->args->dp;
L
Linus Torvalds 已提交
1574 1575 1576 1577

	args = state->args;
	ASSERT(drop_blk->magic == XFS_DIR2_LEAFN_MAGIC);
	ASSERT(save_blk->magic == XFS_DIR2_LEAFN_MAGIC);
1578 1579
	drop_leaf = drop_blk->bp->b_addr;
	save_leaf = save_blk->bp->b_addr;
1580

1581 1582 1583 1584
	dp->d_ops->leaf_hdr_from_disk(&savehdr, save_leaf);
	dp->d_ops->leaf_hdr_from_disk(&drophdr, drop_leaf);
	sents = dp->d_ops->leaf_ents_p(save_leaf);
	dents = dp->d_ops->leaf_ents_p(drop_leaf);
1585

L
Linus Torvalds 已提交
1586 1587 1588 1589
	/*
	 * If there are any stale leaf entries, take this opportunity
	 * to purge them.
	 */
1590 1591 1592 1593 1594
	if (drophdr.stale)
		xfs_dir3_leaf_compact(args, &drophdr, drop_blk->bp);
	if (savehdr.stale)
		xfs_dir3_leaf_compact(args, &savehdr, save_blk->bp);

L
Linus Torvalds 已提交
1595 1596 1597
	/*
	 * Move the entries from drop to the appropriate end of save.
	 */
1598
	drop_blk->hashval = be32_to_cpu(dents[drophdr.count - 1].hashval);
1599
	if (xfs_dir2_leafn_order(dp, save_blk->bp, drop_blk->bp))
1600 1601 1602
		xfs_dir3_leafn_moveents(args, drop_blk->bp, &drophdr, dents, 0,
					save_blk->bp, &savehdr, sents, 0,
					drophdr.count);
L
Linus Torvalds 已提交
1603
	else
1604 1605 1606 1607 1608 1609
		xfs_dir3_leafn_moveents(args, drop_blk->bp, &drophdr, dents, 0,
					save_blk->bp, &savehdr, sents,
					savehdr.count, drophdr.count);
	save_blk->hashval = be32_to_cpu(sents[savehdr.count - 1].hashval);

	/* log the changes made when moving the entries */
1610 1611
	dp->d_ops->leaf_hdr_to_disk(save_leaf, &savehdr);
	dp->d_ops->leaf_hdr_to_disk(drop_leaf, &drophdr);
1612 1613
	xfs_dir3_leaf_log_header(args, save_blk->bp);
	xfs_dir3_leaf_log_header(args, drop_blk->bp);
1614

1615 1616
	xfs_dir3_leaf_check(dp, save_blk->bp);
	xfs_dir3_leaf_check(dp, drop_blk->bp);
L
Linus Torvalds 已提交
1617 1618 1619 1620 1621 1622 1623 1624 1625 1626 1627 1628 1629 1630
}

/*
 * Top-level node form directory addname routine.
 */
int						/* error */
xfs_dir2_node_addname(
	xfs_da_args_t		*args)		/* operation arguments */
{
	xfs_da_state_blk_t	*blk;		/* leaf block for insert */
	int			error;		/* error return value */
	int			rval;		/* sub-return value */
	xfs_da_state_t		*state;		/* btree cursor */

C
Christoph Hellwig 已提交
1631 1632
	trace_xfs_dir2_node_addname(args);

L
Linus Torvalds 已提交
1633 1634 1635 1636 1637 1638 1639 1640 1641 1642
	/*
	 * Allocate and initialize the state (btree cursor).
	 */
	state = xfs_da_state_alloc();
	state->args = args;
	state->mp = args->dp->i_mount;
	/*
	 * Look up the name.  We're not supposed to find it, but
	 * this gives us the insertion point.
	 */
1643
	error = xfs_da3_node_lookup_int(state, &rval);
L
Linus Torvalds 已提交
1644 1645
	if (error)
		rval = error;
D
Dave Chinner 已提交
1646
	if (rval != -ENOENT) {
L
Linus Torvalds 已提交
1647 1648 1649 1650 1651 1652 1653 1654 1655 1656 1657 1658 1659 1660 1661 1662 1663 1664 1665 1666 1667
		goto done;
	}
	/*
	 * Add the data entry to a data block.
	 * Extravalid is set to a freeblock found by lookup.
	 */
	rval = xfs_dir2_node_addname_int(args,
		state->extravalid ? &state->extrablk : NULL);
	if (rval) {
		goto done;
	}
	blk = &state->path.blk[state->path.active - 1];
	ASSERT(blk->magic == XFS_DIR2_LEAFN_MAGIC);
	/*
	 * Add the new leaf entry.
	 */
	rval = xfs_dir2_leafn_add(blk->bp, args, blk->index);
	if (rval == 0) {
		/*
		 * It worked, fix the hash values up the btree.
		 */
1668
		if (!(args->op_flags & XFS_DA_OP_JUSTCHECK))
1669
			xfs_da3_fixhashpath(state, &state->path);
L
Linus Torvalds 已提交
1670 1671 1672 1673 1674
	} else {
		/*
		 * It didn't work, we need to split the leaf block.
		 */
		if (args->total == 0) {
D
Dave Chinner 已提交
1675
			ASSERT(rval == -ENOSPC);
L
Linus Torvalds 已提交
1676 1677 1678 1679 1680
			goto done;
		}
		/*
		 * Split the leaf block and insert the new entry.
		 */
1681
		rval = xfs_da3_split(state);
L
Linus Torvalds 已提交
1682 1683 1684 1685 1686 1687 1688 1689 1690 1691 1692 1693 1694 1695 1696 1697
	}
done:
	xfs_da_state_free(state);
	return rval;
}

/*
 * Add the data entry for a node-format directory name addition.
 * The leaf entry is added in xfs_dir2_leafn_add.
 * We may enter with a freespace block that the lookup found.
 */
static int					/* error */
xfs_dir2_node_addname_int(
	xfs_da_args_t		*args,		/* operation arguments */
	xfs_da_state_blk_t	*fblk)		/* optional freespace block */
{
1698
	xfs_dir2_data_hdr_t	*hdr;		/* data block header */
L
Linus Torvalds 已提交
1699
	xfs_dir2_db_t		dbno;		/* data block number */
1700
	struct xfs_buf		*dbp;		/* data block buffer */
L
Linus Torvalds 已提交
1701 1702 1703 1704 1705
	xfs_dir2_data_entry_t	*dep;		/* data entry pointer */
	xfs_inode_t		*dp;		/* incore directory inode */
	xfs_dir2_data_unused_t	*dup;		/* data unused entry pointer */
	int			error;		/* error return value */
	xfs_dir2_db_t		fbno;		/* freespace block number */
1706
	struct xfs_buf		*fbp;		/* freespace buffer */
L
Linus Torvalds 已提交
1707 1708 1709 1710 1711 1712 1713 1714 1715
	int			findex;		/* freespace entry index */
	xfs_dir2_free_t		*free=NULL;	/* freespace block structure */
	xfs_dir2_db_t		ifbno;		/* initial freespace block no */
	xfs_dir2_db_t		lastfbno=0;	/* highest freespace block no */
	int			length;		/* length of the new entry */
	int			logfree;	/* need to log free entry */
	xfs_mount_t		*mp;		/* filesystem mount point */
	int			needlog;	/* need to log data header */
	int			needscan;	/* need to rescan data frees */
1716
	__be16			*tagp;		/* data entry tag pointer */
L
Linus Torvalds 已提交
1717
	xfs_trans_t		*tp;		/* transaction pointer */
1718 1719
	__be16			*bests;
	struct xfs_dir3_icfree_hdr freehdr;
1720
	struct xfs_dir2_data_free *bf;
1721
	xfs_dir2_data_aoff_t	aoff;
L
Linus Torvalds 已提交
1722 1723 1724 1725

	dp = args->dp;
	mp = dp->i_mount;
	tp = args->trans;
1726
	length = dp->d_ops->data_entsize(args->namelen);
L
Linus Torvalds 已提交
1727 1728 1729 1730 1731 1732 1733 1734 1735 1736 1737
	/*
	 * If we came in with a freespace block that means that lookup
	 * found an entry with our hash value.  This is the freespace
	 * block for that data entry.
	 */
	if (fblk) {
		fbp = fblk->bp;
		/*
		 * Remember initial freespace block number.
		 */
		ifbno = fblk->blkno;
1738
		free = fbp->b_addr;
L
Linus Torvalds 已提交
1739
		findex = fblk->index;
1740
		bests = dp->d_ops->free_bests_p(free);
1741
		dp->d_ops->free_hdr_from_disk(&freehdr, free);
1742

L
Linus Torvalds 已提交
1743 1744 1745 1746 1747 1748
		/*
		 * This means the free entry showed that the data block had
		 * space for our entry, so we remembered it.
		 * Use that data block.
		 */
		if (findex >= 0) {
1749 1750 1751 1752 1753 1754 1755 1756 1757
			ASSERT(findex < freehdr.nvalid);
			ASSERT(be16_to_cpu(bests[findex]) != NULLDATAOFF);
			ASSERT(be16_to_cpu(bests[findex]) >= length);
			dbno = freehdr.firstdb + findex;
		} else {
			/*
			 * The data block looked at didn't have enough room.
			 * We'll start at the beginning of the freespace entries.
			 */
L
Linus Torvalds 已提交
1758 1759 1760
			dbno = -1;
			findex = 0;
		}
1761 1762 1763 1764
	} else {
		/*
		 * Didn't come in with a freespace block, so no data block.
		 */
L
Linus Torvalds 已提交
1765 1766 1767 1768
		ifbno = dbno = -1;
		fbp = NULL;
		findex = 0;
	}
1769

L
Linus Torvalds 已提交
1770 1771 1772 1773 1774 1775 1776 1777
	/*
	 * If we don't have a data block yet, we're going to scan the
	 * freespace blocks looking for one.  Figure out what the
	 * highest freespace block number is.
	 */
	if (dbno == -1) {
		xfs_fileoff_t	fo;		/* freespace block number */

1778
		if ((error = xfs_bmap_last_offset(dp, &fo, XFS_DATA_FORK)))
L
Linus Torvalds 已提交
1779
			return error;
1780
		lastfbno = xfs_dir2_da_to_db(args->geo, (xfs_dablk_t)fo);
L
Linus Torvalds 已提交
1781 1782 1783 1784 1785 1786 1787 1788 1789 1790 1791 1792 1793 1794 1795 1796 1797
		fbno = ifbno;
	}
	/*
	 * While we haven't identified a data block, search the freeblock
	 * data for a good data block.  If we find a null freeblock entry,
	 * indicating a hole in the data blocks, remember that.
	 */
	while (dbno == -1) {
		/*
		 * If we don't have a freeblock in hand, get the next one.
		 */
		if (fbp == NULL) {
			/*
			 * Happens the first time through unless lookup gave
			 * us a freespace block to start with.
			 */
			if (++fbno == 0)
1798
				fbno = xfs_dir2_byte_to_db(args->geo,
1799
							XFS_DIR2_FREE_OFFSET);
L
Linus Torvalds 已提交
1800 1801 1802 1803 1804 1805 1806 1807 1808 1809 1810 1811 1812 1813 1814 1815
			/*
			 * If it's ifbno we already looked at it.
			 */
			if (fbno == ifbno)
				fbno++;
			/*
			 * If it's off the end we're done.
			 */
			if (fbno >= lastfbno)
				break;
			/*
			 * Read the block.  There can be holes in the
			 * freespace blocks, so this might not succeed.
			 * This should be really rare, so there's no reason
			 * to avoid it.
			 */
D
Dave Chinner 已提交
1816
			error = xfs_dir2_free_try_read(tp, dp,
1817 1818
					xfs_dir2_db_to_da(args->geo, fbno),
					&fbp);
1819
			if (error)
L
Linus Torvalds 已提交
1820
				return error;
1821
			if (!fbp)
L
Linus Torvalds 已提交
1822
				continue;
1823
			free = fbp->b_addr;
L
Linus Torvalds 已提交
1824 1825 1826 1827
			findex = 0;
		}
		/*
		 * Look at the current free entry.  Is it good enough?
1828 1829 1830 1831 1832
		 *
		 * The bests initialisation should be where the bufer is read in
		 * the above branch. But gcc is too stupid to realise that bests
		 * and the freehdr are actually initialised if they are placed
		 * there, so we have to do it here to avoid warnings. Blech.
L
Linus Torvalds 已提交
1833
		 */
1834
		bests = dp->d_ops->free_bests_p(free);
1835
		dp->d_ops->free_hdr_from_disk(&freehdr, free);
1836 1837 1838
		if (be16_to_cpu(bests[findex]) != NULLDATAOFF &&
		    be16_to_cpu(bests[findex]) >= length)
			dbno = freehdr.firstdb + findex;
L
Linus Torvalds 已提交
1839 1840 1841 1842
		else {
			/*
			 * Are we done with the freeblock?
			 */
1843
			if (++findex == freehdr.nvalid) {
L
Linus Torvalds 已提交
1844 1845 1846
				/*
				 * Drop the block.
				 */
1847
				xfs_trans_brelse(tp, fbp);
L
Linus Torvalds 已提交
1848 1849 1850 1851 1852 1853 1854 1855 1856 1857 1858 1859 1860 1861
				fbp = NULL;
				if (fblk && fblk->bp)
					fblk->bp = NULL;
			}
		}
	}
	/*
	 * If we don't have a data block, we need to allocate one and make
	 * the freespace entries refer to it.
	 */
	if (unlikely(dbno == -1)) {
		/*
		 * Not allowed to allocate, return failure.
		 */
1862
		if ((args->op_flags & XFS_DA_OP_JUSTCHECK) || args->total == 0)
D
Dave Chinner 已提交
1863
			return -ENOSPC;
1864

L
Linus Torvalds 已提交
1865 1866 1867 1868 1869 1870
		/*
		 * Allocate and initialize the new data block.
		 */
		if (unlikely((error = xfs_dir2_grow_inode(args,
							 XFS_DIR2_DATA_SPACE,
							 &dbno)) ||
1871
		    (error = xfs_dir3_data_init(args, dbno, &dbp))))
L
Linus Torvalds 已提交
1872
			return error;
1873

L
Linus Torvalds 已提交
1874 1875 1876 1877
		/*
		 * If (somehow) we have a freespace block, get rid of it.
		 */
		if (fbp)
1878
			xfs_trans_brelse(tp, fbp);
L
Linus Torvalds 已提交
1879 1880 1881 1882 1883 1884 1885
		if (fblk && fblk->bp)
			fblk->bp = NULL;

		/*
		 * Get the freespace block corresponding to the data block
		 * that was just allocated.
		 */
1886
		fbno = dp->d_ops->db_to_fdb(args->geo, dbno);
D
Dave Chinner 已提交
1887
		error = xfs_dir2_free_try_read(tp, dp,
1888 1889
				       xfs_dir2_db_to_da(args->geo, fbno),
				       &fbp);
1890
		if (error)
L
Linus Torvalds 已提交
1891
			return error;
1892

L
Linus Torvalds 已提交
1893 1894 1895 1896
		/*
		 * If there wasn't a freespace block, the read will
		 * return a NULL fbp.  Allocate and initialize a new one.
		 */
1897 1898 1899 1900
		if (!fbp) {
			error = xfs_dir2_grow_inode(args, XFS_DIR2_FREE_SPACE,
						    &fbno);
			if (error)
L
Linus Torvalds 已提交
1901 1902
				return error;

1903
			if (dp->d_ops->db_to_fdb(args->geo, dbno) != fbno) {
1904
				xfs_alert(mp,
1905
"%s: dir ino %llu needed freesp block %lld for data block %lld, got %lld ifbno %llu lastfbno %d",
1906
					__func__, (unsigned long long)dp->i_ino,
1907 1908
					(long long)dp->d_ops->db_to_fdb(
								args->geo, dbno),
L
Linus Torvalds 已提交
1909 1910 1911
					(long long)dbno, (long long)fbno,
					(unsigned long long)ifbno, lastfbno);
				if (fblk) {
1912
					xfs_alert(mp,
1913
				" fblk "PTR_FMT" blkno %llu index %d magic 0x%x",
L
Linus Torvalds 已提交
1914 1915 1916 1917 1918
						fblk,
						(unsigned long long)fblk->blkno,
						fblk->index,
						fblk->magic);
				} else {
1919
					xfs_alert(mp, " ... fblk is NULL");
L
Linus Torvalds 已提交
1920 1921 1922
				}
				XFS_ERROR_REPORT("xfs_dir2_node_addname_int",
						 XFS_ERRLEVEL_LOW, mp);
D
Dave Chinner 已提交
1923
				return -EFSCORRUPTED;
L
Linus Torvalds 已提交
1924 1925 1926 1927 1928
			}

			/*
			 * Get a buffer for the new block.
			 */
1929
			error = xfs_dir3_free_get_buf(args, fbno, &fbp);
1930
			if (error)
L
Linus Torvalds 已提交
1931
				return error;
1932
			free = fbp->b_addr;
1933
			bests = dp->d_ops->free_bests_p(free);
1934
			dp->d_ops->free_hdr_from_disk(&freehdr, free);
L
Linus Torvalds 已提交
1935 1936

			/*
1937
			 * Remember the first slot as our empty slot.
L
Linus Torvalds 已提交
1938
			 */
1939
			freehdr.firstdb =
1940
				(fbno - xfs_dir2_byte_to_db(args->geo,
1941
							XFS_DIR2_FREE_OFFSET)) *
1942
					dp->d_ops->free_max_bests(args->geo);
L
Linus Torvalds 已提交
1943
		} else {
1944
			free = fbp->b_addr;
1945
			bests = dp->d_ops->free_bests_p(free);
1946
			dp->d_ops->free_hdr_from_disk(&freehdr, free);
L
Linus Torvalds 已提交
1947 1948 1949 1950 1951
		}

		/*
		 * Set the freespace block index from the data block number.
		 */
1952
		findex = dp->d_ops->db_to_fdindex(args->geo, dbno);
L
Linus Torvalds 已提交
1953 1954 1955 1956
		/*
		 * If it's after the end of the current entries in the
		 * freespace block, extend that table.
		 */
1957
		if (findex >= freehdr.nvalid) {
1958
			ASSERT(findex < dp->d_ops->free_max_bests(args->geo));
1959
			freehdr.nvalid = findex + 1;
L
Linus Torvalds 已提交
1960 1961 1962
			/*
			 * Tag new entry so nused will go up.
			 */
1963
			bests[findex] = cpu_to_be16(NULLDATAOFF);
L
Linus Torvalds 已提交
1964 1965 1966 1967 1968
		}
		/*
		 * If this entry was for an empty data block
		 * (this should always be true) then update the header.
		 */
1969 1970
		if (bests[findex] == cpu_to_be16(NULLDATAOFF)) {
			freehdr.nused++;
1971
			dp->d_ops->free_hdr_to_disk(fbp->b_addr, &freehdr);
1972
			xfs_dir2_free_log_header(args, fbp);
L
Linus Torvalds 已提交
1973 1974 1975 1976 1977 1978
		}
		/*
		 * Update the real value in the table.
		 * We haven't allocated the data entry yet so this will
		 * change again.
		 */
1979
		hdr = dbp->b_addr;
1980
		bf = dp->d_ops->data_bestfree_p(hdr);
1981
		bests[findex] = bf[0].length;
L
Linus Torvalds 已提交
1982 1983 1984 1985 1986 1987 1988 1989 1990
		logfree = 1;
	}
	/*
	 * We had a data block so we don't have to make a new one.
	 */
	else {
		/*
		 * If just checking, we succeeded.
		 */
1991
		if (args->op_flags & XFS_DA_OP_JUSTCHECK)
L
Linus Torvalds 已提交
1992
			return 0;
1993

L
Linus Torvalds 已提交
1994 1995 1996
		/*
		 * Read the data block in.
		 */
1997 1998
		error = xfs_dir3_data_read(tp, dp,
					   xfs_dir2_db_to_da(args->geo, dbno),
1999
					   -1, &dbp);
2000
		if (error)
L
Linus Torvalds 已提交
2001
			return error;
2002
		hdr = dbp->b_addr;
2003
		bf = dp->d_ops->data_bestfree_p(hdr);
L
Linus Torvalds 已提交
2004 2005
		logfree = 0;
	}
2006
	ASSERT(be16_to_cpu(bf[0].length) >= length);
L
Linus Torvalds 已提交
2007 2008 2009 2010
	/*
	 * Point to the existing unused space.
	 */
	dup = (xfs_dir2_data_unused_t *)
2011
	      ((char *)hdr + be16_to_cpu(bf[0].offset));
L
Linus Torvalds 已提交
2012 2013 2014 2015
	needscan = needlog = 0;
	/*
	 * Mark the first part of the unused space, inuse for us.
	 */
2016 2017 2018 2019 2020 2021 2022
	aoff = (xfs_dir2_data_aoff_t)((char *)dup - (char *)hdr);
	error = xfs_dir2_data_use_free(args, dbp, dup, aoff, length,
			&needlog, &needscan);
	if (error) {
		xfs_trans_brelse(tp, dbp);
		return error;
	}
L
Linus Torvalds 已提交
2023 2024 2025 2026
	/*
	 * Fill in the new entry and log it.
	 */
	dep = (xfs_dir2_data_entry_t *)dup;
2027
	dep->inumber = cpu_to_be64(args->inumber);
L
Linus Torvalds 已提交
2028 2029
	dep->namelen = args->namelen;
	memcpy(dep->name, args->name, dep->namelen);
2030 2031
	dp->d_ops->data_put_ftype(dep, args->filetype);
	tagp = dp->d_ops->data_entry_tag_p(dep);
2032
	*tagp = cpu_to_be16((char *)dep - (char *)hdr);
2033
	xfs_dir2_data_log_entry(args, dbp, dep);
L
Linus Torvalds 已提交
2034 2035 2036 2037
	/*
	 * Rescan the block for bestfree if needed.
	 */
	if (needscan)
2038
		xfs_dir2_data_freescan(dp, hdr, &needlog);
L
Linus Torvalds 已提交
2039 2040 2041 2042
	/*
	 * Log the data block header if needed.
	 */
	if (needlog)
2043
		xfs_dir2_data_log_header(args, dbp);
L
Linus Torvalds 已提交
2044 2045 2046
	/*
	 * If the freespace entry is now wrong, update it.
	 */
2047
	bests = dp->d_ops->free_bests_p(free); /* gcc is so stupid */
2048 2049
	if (be16_to_cpu(bests[findex]) != be16_to_cpu(bf[0].length)) {
		bests[findex] = bf[0].length;
L
Linus Torvalds 已提交
2050 2051 2052 2053 2054 2055
		logfree = 1;
	}
	/*
	 * Log the freespace entry if needed.
	 */
	if (logfree)
2056
		xfs_dir2_free_log_bests(args, fbp, findex, findex);
L
Linus Torvalds 已提交
2057 2058 2059 2060
	/*
	 * Return the data block and offset in args, then drop the data block.
	 */
	args->blkno = (xfs_dablk_t)dbno;
2061
	args->index = be16_to_cpu(*tagp);
L
Linus Torvalds 已提交
2062 2063 2064 2065 2066
	return 0;
}

/*
 * Lookup an entry in a node-format directory.
2067
 * All the real work happens in xfs_da3_node_lookup_int.
L
Linus Torvalds 已提交
2068 2069 2070 2071 2072 2073 2074 2075 2076 2077 2078
 * The only real output is the inode number of the entry.
 */
int						/* error */
xfs_dir2_node_lookup(
	xfs_da_args_t	*args)			/* operation arguments */
{
	int		error;			/* error return value */
	int		i;			/* btree level */
	int		rval;			/* operation return value */
	xfs_da_state_t	*state;			/* btree cursor */

C
Christoph Hellwig 已提交
2079 2080
	trace_xfs_dir2_node_lookup(args);

L
Linus Torvalds 已提交
2081 2082 2083 2084 2085 2086 2087 2088 2089
	/*
	 * Allocate and initialize the btree cursor.
	 */
	state = xfs_da_state_alloc();
	state->args = args;
	state->mp = args->dp->i_mount;
	/*
	 * Fill in the path to the entry in the cursor.
	 */
2090
	error = xfs_da3_node_lookup_int(state, &rval);
L
Linus Torvalds 已提交
2091 2092
	if (error)
		rval = error;
D
Dave Chinner 已提交
2093 2094
	else if (rval == -ENOENT && args->cmpresult == XFS_CMP_CASE) {
		/* If a CI match, dup the actual name and return -EEXIST */
2095 2096
		xfs_dir2_data_entry_t	*dep;

2097 2098 2099
		dep = (xfs_dir2_data_entry_t *)
			((char *)state->extrablk.bp->b_addr +
						 state->extrablk.index);
2100 2101
		rval = xfs_dir_cilookup_result(args, dep->name, dep->namelen);
	}
L
Linus Torvalds 已提交
2102 2103 2104 2105
	/*
	 * Release the btree blocks and leaf block.
	 */
	for (i = 0; i < state->path.active; i++) {
2106
		xfs_trans_brelse(args->trans, state->path.blk[i].bp);
L
Linus Torvalds 已提交
2107 2108 2109 2110 2111 2112
		state->path.blk[i].bp = NULL;
	}
	/*
	 * Release the data block if we have it.
	 */
	if (state->extravalid && state->extrablk.bp) {
2113
		xfs_trans_brelse(args->trans, state->extrablk.bp);
L
Linus Torvalds 已提交
2114 2115 2116 2117 2118 2119 2120 2121 2122 2123 2124
		state->extrablk.bp = NULL;
	}
	xfs_da_state_free(state);
	return rval;
}

/*
 * Remove an entry from a node-format directory.
 */
int						/* error */
xfs_dir2_node_removename(
2125
	struct xfs_da_args	*args)		/* operation arguments */
L
Linus Torvalds 已提交
2126
{
2127
	struct xfs_da_state_blk	*blk;		/* leaf block */
L
Linus Torvalds 已提交
2128 2129
	int			error;		/* error return value */
	int			rval;		/* operation return value */
2130
	struct xfs_da_state	*state;		/* btree cursor */
L
Linus Torvalds 已提交
2131

C
Christoph Hellwig 已提交
2132 2133
	trace_xfs_dir2_node_removename(args);

L
Linus Torvalds 已提交
2134 2135 2136 2137 2138 2139
	/*
	 * Allocate and initialize the btree cursor.
	 */
	state = xfs_da_state_alloc();
	state->args = args;
	state->mp = args->dp->i_mount;
2140 2141

	/* Look up the entry we're deleting, set up the cursor. */
2142
	error = xfs_da3_node_lookup_int(state, &rval);
2143
	if (error)
2144 2145 2146
		goto out_free;

	/* Didn't find it, upper layer screwed up. */
D
Dave Chinner 已提交
2147
	if (rval != -EEXIST) {
2148 2149
		error = rval;
		goto out_free;
L
Linus Torvalds 已提交
2150
	}
2151

L
Linus Torvalds 已提交
2152 2153 2154 2155 2156 2157 2158 2159 2160
	blk = &state->path.blk[state->path.active - 1];
	ASSERT(blk->magic == XFS_DIR2_LEAFN_MAGIC);
	ASSERT(state->extravalid);
	/*
	 * Remove the leaf and data entries.
	 * Extrablk refers to the data block.
	 */
	error = xfs_dir2_leafn_remove(args, blk->bp, blk->index,
		&state->extrablk, &rval);
2161
	if (error)
2162
		goto out_free;
L
Linus Torvalds 已提交
2163 2164 2165
	/*
	 * Fix the hash values up the btree.
	 */
2166
	xfs_da3_fixhashpath(state, &state->path);
L
Linus Torvalds 已提交
2167 2168 2169 2170
	/*
	 * If we need to join leaf blocks, do it.
	 */
	if (rval && state->path.active > 1)
2171
		error = xfs_da3_join(state);
L
Linus Torvalds 已提交
2172 2173 2174 2175 2176
	/*
	 * If no errors so far, try conversion to leaf format.
	 */
	if (!error)
		error = xfs_dir2_node_to_leaf(state);
2177
out_free:
L
Linus Torvalds 已提交
2178 2179 2180 2181 2182 2183 2184 2185 2186 2187 2188 2189
	xfs_da_state_free(state);
	return error;
}

/*
 * Replace an entry's inode number in a node-format directory.
 */
int						/* error */
xfs_dir2_node_replace(
	xfs_da_args_t		*args)		/* operation arguments */
{
	xfs_da_state_blk_t	*blk;		/* leaf block */
2190
	xfs_dir2_data_hdr_t	*hdr;		/* data block header */
L
Linus Torvalds 已提交
2191 2192 2193 2194
	xfs_dir2_data_entry_t	*dep;		/* data entry changed */
	int			error;		/* error return value */
	int			i;		/* btree level */
	xfs_ino_t		inum;		/* new inode number */
2195
	int			ftype;		/* new file type */
L
Linus Torvalds 已提交
2196 2197 2198 2199 2200
	xfs_dir2_leaf_t		*leaf;		/* leaf structure */
	xfs_dir2_leaf_entry_t	*lep;		/* leaf entry being changed */
	int			rval;		/* internal return value */
	xfs_da_state_t		*state;		/* btree cursor */

C
Christoph Hellwig 已提交
2201 2202
	trace_xfs_dir2_node_replace(args);

L
Linus Torvalds 已提交
2203 2204 2205 2206 2207 2208
	/*
	 * Allocate and initialize the btree cursor.
	 */
	state = xfs_da_state_alloc();
	state->args = args;
	state->mp = args->dp->i_mount;
2209 2210 2211 2212 2213

	/*
	 * We have to save new inode number and ftype since
	 * xfs_da3_node_lookup_int() is going to overwrite them
	 */
L
Linus Torvalds 已提交
2214
	inum = args->inumber;
2215 2216
	ftype = args->filetype;

L
Linus Torvalds 已提交
2217 2218 2219
	/*
	 * Lookup the entry to change in the btree.
	 */
2220
	error = xfs_da3_node_lookup_int(state, &rval);
L
Linus Torvalds 已提交
2221 2222 2223 2224 2225 2226 2227
	if (error) {
		rval = error;
	}
	/*
	 * It should be found, since the vnodeops layer has looked it up
	 * and locked it.  But paranoia is good.
	 */
D
Dave Chinner 已提交
2228
	if (rval == -EEXIST) {
2229
		struct xfs_dir2_leaf_entry *ents;
L
Linus Torvalds 已提交
2230 2231 2232 2233 2234
		/*
		 * Find the leaf entry.
		 */
		blk = &state->path.blk[state->path.active - 1];
		ASSERT(blk->magic == XFS_DIR2_LEAFN_MAGIC);
2235
		leaf = blk->bp->b_addr;
2236
		ents = args->dp->d_ops->leaf_ents_p(leaf);
2237
		lep = &ents[blk->index];
L
Linus Torvalds 已提交
2238 2239 2240 2241
		ASSERT(state->extravalid);
		/*
		 * Point to the data entry.
		 */
2242
		hdr = state->extrablk.bp->b_addr;
2243 2244
		ASSERT(hdr->magic == cpu_to_be32(XFS_DIR2_DATA_MAGIC) ||
		       hdr->magic == cpu_to_be32(XFS_DIR3_DATA_MAGIC));
L
Linus Torvalds 已提交
2245
		dep = (xfs_dir2_data_entry_t *)
2246
		      ((char *)hdr +
2247 2248
		       xfs_dir2_dataptr_to_off(args->geo,
					       be32_to_cpu(lep->address)));
2249
		ASSERT(inum != be64_to_cpu(dep->inumber));
L
Linus Torvalds 已提交
2250 2251 2252
		/*
		 * Fill in the new inode number and log the entry.
		 */
2253
		dep->inumber = cpu_to_be64(inum);
2254
		args->dp->d_ops->data_put_ftype(dep, ftype);
2255
		xfs_dir2_data_log_entry(args, state->extrablk.bp, dep);
L
Linus Torvalds 已提交
2256 2257 2258 2259 2260 2261
		rval = 0;
	}
	/*
	 * Didn't find it, and we're holding a data block.  Drop it.
	 */
	else if (state->extravalid) {
2262
		xfs_trans_brelse(args->trans, state->extrablk.bp);
L
Linus Torvalds 已提交
2263 2264 2265 2266 2267 2268
		state->extrablk.bp = NULL;
	}
	/*
	 * Release all the buffers in the cursor.
	 */
	for (i = 0; i < state->path.active; i++) {
2269
		xfs_trans_brelse(args->trans, state->path.blk[i].bp);
L
Linus Torvalds 已提交
2270 2271 2272 2273 2274 2275 2276 2277 2278 2279 2280 2281 2282 2283 2284 2285
		state->path.blk[i].bp = NULL;
	}
	xfs_da_state_free(state);
	return rval;
}

/*
 * Trim off a trailing empty freespace block.
 * Return (in rvalp) 1 if we did it, 0 if not.
 */
int						/* error */
xfs_dir2_node_trim_free(
	xfs_da_args_t		*args,		/* operation arguments */
	xfs_fileoff_t		fo,		/* free block number */
	int			*rvalp)		/* out: did something */
{
2286
	struct xfs_buf		*bp;		/* freespace buffer */
L
Linus Torvalds 已提交
2287 2288 2289 2290
	xfs_inode_t		*dp;		/* incore directory inode */
	int			error;		/* error return code */
	xfs_dir2_free_t		*free;		/* freespace structure */
	xfs_trans_t		*tp;		/* transaction pointer */
2291
	struct xfs_dir3_icfree_hdr freehdr;
L
Linus Torvalds 已提交
2292 2293 2294

	dp = args->dp;
	tp = args->trans;
2295 2296 2297

	*rvalp = 0;

L
Linus Torvalds 已提交
2298 2299 2300
	/*
	 * Read the freespace block.
	 */
D
Dave Chinner 已提交
2301
	error = xfs_dir2_free_try_read(tp, dp, fo, &bp);
2302
	if (error)
L
Linus Torvalds 已提交
2303 2304 2305 2306 2307
		return error;
	/*
	 * There can be holes in freespace.  If fo is a hole, there's
	 * nothing to do.
	 */
D
Dave Chinner 已提交
2308
	if (!bp)
L
Linus Torvalds 已提交
2309
		return 0;
2310
	free = bp->b_addr;
2311
	dp->d_ops->free_hdr_from_disk(&freehdr, free);
2312

L
Linus Torvalds 已提交
2313 2314 2315
	/*
	 * If there are used entries, there's nothing to do.
	 */
2316
	if (freehdr.nused > 0) {
2317
		xfs_trans_brelse(tp, bp);
L
Linus Torvalds 已提交
2318 2319 2320 2321 2322
		return 0;
	}
	/*
	 * Blow the block away.
	 */
2323 2324 2325
	error = xfs_dir2_shrink_inode(args,
			xfs_dir2_da_to_db(args->geo, (xfs_dablk_t)fo), bp);
	if (error) {
L
Linus Torvalds 已提交
2326 2327 2328 2329 2330
		/*
		 * Can't fail with ENOSPC since that only happens with no
		 * space reservation, when breaking up an extent into two
		 * pieces.  This is the last block of an extent.
		 */
D
Dave Chinner 已提交
2331
		ASSERT(error != -ENOSPC);
2332
		xfs_trans_brelse(tp, bp);
L
Linus Torvalds 已提交
2333 2334 2335 2336 2337 2338 2339 2340
		return error;
	}
	/*
	 * Return that we succeeded.
	 */
	*rvalp = 1;
	return 0;
}