extents.c 162.0 KB
Newer Older
1
// SPDX-License-Identifier: GPL-2.0
A
Alex Tomas 已提交
2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21
/*
 * Copyright (c) 2003-2006, Cluster File Systems, Inc, info@clusterfs.com
 * Written by Alex Tomas <alex@clusterfs.com>
 *
 * Architecture independence:
 *   Copyright (c) 2005, Bull S.A.
 *   Written by Pierre Peiffer <pierre.peiffer@bull.net>
 */

/*
 * Extents support for EXT4
 *
 * TODO:
 *   - ext4*_error() should be used in some situations
 *   - analyze all BUG()/BUG_ON(), use -EIO where appropriate
 *   - smart tree reduction
 */

#include <linux/fs.h>
#include <linux/time.h>
22
#include <linux/jbd2.h>
A
Alex Tomas 已提交
23 24 25 26 27
#include <linux/highuid.h>
#include <linux/pagemap.h>
#include <linux/quotaops.h>
#include <linux/string.h>
#include <linux/slab.h>
28
#include <linux/uaccess.h>
29
#include <linux/fiemap.h>
30
#include <linux/backing-dev.h>
31
#include "ext4_jbd2.h"
32
#include "ext4_extents.h"
33
#include "xattr.h"
A
Alex Tomas 已提交
34

35 36
#include <trace/events/ext4.h>

37 38 39 40 41
/*
 * used by extent splitting.
 */
#define EXT4_EXT_MAY_ZEROOUT	0x1  /* safe to zeroout if split fails \
					due to ENOSPC */
42 43
#define EXT4_EXT_MARK_UNWRIT1	0x2  /* mark first half unwritten */
#define EXT4_EXT_MARK_UNWRIT2	0x4  /* mark second half unwritten */
44

45 46 47
#define EXT4_EXT_DATA_VALID1	0x8  /* first half contains valid data */
#define EXT4_EXT_DATA_VALID2	0x10 /* second half contains valid data */

48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64
static __le32 ext4_extent_block_csum(struct inode *inode,
				     struct ext4_extent_header *eh)
{
	struct ext4_inode_info *ei = EXT4_I(inode);
	struct ext4_sb_info *sbi = EXT4_SB(inode->i_sb);
	__u32 csum;

	csum = ext4_chksum(sbi, ei->i_csum_seed, (__u8 *)eh,
			   EXT4_EXTENT_TAIL_OFFSET(eh));
	return cpu_to_le32(csum);
}

static int ext4_extent_block_csum_verify(struct inode *inode,
					 struct ext4_extent_header *eh)
{
	struct ext4_extent_tail *et;

65
	if (!ext4_has_metadata_csum(inode->i_sb))
66 67 68 69 70 71 72 73 74 75 76 77 78
		return 1;

	et = find_ext4_extent_tail(eh);
	if (et->et_checksum != ext4_extent_block_csum(inode, eh))
		return 0;
	return 1;
}

static void ext4_extent_block_csum_set(struct inode *inode,
				       struct ext4_extent_header *eh)
{
	struct ext4_extent_tail *et;

79
	if (!ext4_has_metadata_csum(inode->i_sb))
80 81 82 83 84 85
		return;

	et = find_ext4_extent_tail(eh);
	et->et_checksum = ext4_extent_block_csum(inode, eh);
}

A
Allison Henderson 已提交
86 87
static int ext4_split_extent(handle_t *handle,
				struct inode *inode,
88
				struct ext4_ext_path **ppath,
A
Allison Henderson 已提交
89 90 91 92
				struct ext4_map_blocks *map,
				int split_flag,
				int flags);

93 94
static int ext4_split_extent_at(handle_t *handle,
			     struct inode *inode,
95
			     struct ext4_ext_path **ppath,
96 97 98 99
			     ext4_lblk_t split,
			     int split_flag,
			     int flags);

100
static int ext4_find_delayed_extent(struct inode *inode,
Z
Zheng Liu 已提交
101
				    struct extent_status *newes);
102

103 104 105
static int ext4_ext_truncate_extend_restart(handle_t *handle,
					    struct inode *inode,
					    int needed)
A
Alex Tomas 已提交
106 107 108
{
	int err;

109 110
	if (!ext4_handle_valid(handle))
		return 0;
111
	if (handle->h_buffer_credits >= needed)
112
		return 0;
113 114 115 116 117 118
	/*
	 * If we need to extend the journal get a few extra blocks
	 * while we're at it for efficiency's sake.
	 */
	needed += 3;
	err = ext4_journal_extend(handle, needed - handle->h_buffer_credits);
119
	if (err <= 0)
120
		return err;
121
	err = ext4_truncate_restart_trans(handle, inode, needed);
122 123
	if (err == 0)
		err = -EAGAIN;
124 125

	return err;
A
Alex Tomas 已提交
126 127 128 129 130 131 132 133 134 135 136 137
}

/*
 * could return:
 *  - EROFS
 *  - ENOMEM
 */
static int ext4_ext_get_access(handle_t *handle, struct inode *inode,
				struct ext4_ext_path *path)
{
	if (path->p_bh) {
		/* path points to block */
138
		BUFFER_TRACE(path->p_bh, "get_write_access");
A
Alex Tomas 已提交
139 140 141 142 143 144 145 146 147 148 149 150 151
		return ext4_journal_get_write_access(handle, path->p_bh);
	}
	/* path points to leaf/index in inode body */
	/* we use in-core data, no need to protect them */
	return 0;
}

/*
 * could return:
 *  - EROFS
 *  - ENOMEM
 *  - EIO
 */
152 153
int __ext4_ext_dirty(const char *where, unsigned int line, handle_t *handle,
		     struct inode *inode, struct ext4_ext_path *path)
A
Alex Tomas 已提交
154 155
{
	int err;
156 157

	WARN_ON(!rwsem_is_locked(&EXT4_I(inode)->i_data_sem));
A
Alex Tomas 已提交
158
	if (path->p_bh) {
159
		ext4_extent_block_csum_set(inode, ext_block_hdr(path->p_bh));
A
Alex Tomas 已提交
160
		/* path points to block */
161 162
		err = __ext4_handle_dirty_metadata(where, line, handle,
						   inode, path->p_bh);
A
Alex Tomas 已提交
163 164 165 166 167 168 169
	} else {
		/* path points to leaf/index in inode body */
		err = ext4_mark_inode_dirty(handle, inode);
	}
	return err;
}

170
static ext4_fsblk_t ext4_ext_find_goal(struct inode *inode,
A
Alex Tomas 已提交
171
			      struct ext4_ext_path *path,
A
Aneesh Kumar K.V 已提交
172
			      ext4_lblk_t block)
A
Alex Tomas 已提交
173 174
{
	if (path) {
175
		int depth = path->p_depth;
A
Alex Tomas 已提交
176 177
		struct ext4_extent *ex;

178 179 180 181 182 183 184 185 186 187 188 189 190 191
		/*
		 * Try to predict block placement assuming that we are
		 * filling in a file which will eventually be
		 * non-sparse --- i.e., in the case of libbfd writing
		 * an ELF object sections out-of-order but in a way
		 * the eventually results in a contiguous object or
		 * executable file, or some database extending a table
		 * space file.  However, this is actually somewhat
		 * non-ideal if we are writing a sparse file such as
		 * qemu or KVM writing a raw image file that is going
		 * to stay fairly sparse, since it will end up
		 * fragmenting the file system's free space.  Maybe we
		 * should have some hueristics or some way to allow
		 * userspace to pass a hint to file system,
T
Tao Ma 已提交
192
		 * especially if the latter case turns out to be
193 194
		 * common.
		 */
195
		ex = path[depth].p_ext;
196 197 198 199 200 201 202 203 204
		if (ex) {
			ext4_fsblk_t ext_pblk = ext4_ext_pblock(ex);
			ext4_lblk_t ext_block = le32_to_cpu(ex->ee_block);

			if (block > ext_block)
				return ext_pblk + (block - ext_block);
			else
				return ext_pblk - (ext_block - block);
		}
A
Alex Tomas 已提交
205

206 207
		/* it looks like index is empty;
		 * try to find starting block from index itself */
A
Alex Tomas 已提交
208 209 210 211 212
		if (path[depth].p_bh)
			return path[depth].p_bh->b_blocknr;
	}

	/* OK. use inode's group */
213
	return ext4_inode_to_goal_block(inode);
A
Alex Tomas 已提交
214 215
}

A
Aneesh Kumar K.V 已提交
216 217 218
/*
 * Allocation for a meta data block
 */
219
static ext4_fsblk_t
A
Aneesh Kumar K.V 已提交
220
ext4_ext_new_meta_block(handle_t *handle, struct inode *inode,
A
Alex Tomas 已提交
221
			struct ext4_ext_path *path,
222
			struct ext4_extent *ex, int *err, unsigned int flags)
A
Alex Tomas 已提交
223
{
224
	ext4_fsblk_t goal, newblock;
A
Alex Tomas 已提交
225 226

	goal = ext4_ext_find_goal(inode, path, le32_to_cpu(ex->ee_block));
227 228
	newblock = ext4_new_meta_blocks(handle, inode, goal, flags,
					NULL, err);
A
Alex Tomas 已提交
229 230 231
	return newblock;
}

232
static inline int ext4_ext_space_block(struct inode *inode, int check)
A
Alex Tomas 已提交
233 234 235 236 237
{
	int size;

	size = (inode->i_sb->s_blocksize - sizeof(struct ext4_extent_header))
			/ sizeof(struct ext4_extent);
238
#ifdef AGGRESSIVE_TEST
239 240
	if (!check && size > 6)
		size = 6;
A
Alex Tomas 已提交
241 242 243 244
#endif
	return size;
}

245
static inline int ext4_ext_space_block_idx(struct inode *inode, int check)
A
Alex Tomas 已提交
246 247 248 249 250
{
	int size;

	size = (inode->i_sb->s_blocksize - sizeof(struct ext4_extent_header))
			/ sizeof(struct ext4_extent_idx);
251
#ifdef AGGRESSIVE_TEST
252 253
	if (!check && size > 5)
		size = 5;
A
Alex Tomas 已提交
254 255 256 257
#endif
	return size;
}

258
static inline int ext4_ext_space_root(struct inode *inode, int check)
A
Alex Tomas 已提交
259 260 261 262 263 264
{
	int size;

	size = sizeof(EXT4_I(inode)->i_data);
	size -= sizeof(struct ext4_extent_header);
	size /= sizeof(struct ext4_extent);
265
#ifdef AGGRESSIVE_TEST
266 267
	if (!check && size > 3)
		size = 3;
A
Alex Tomas 已提交
268 269 270 271
#endif
	return size;
}

272
static inline int ext4_ext_space_root_idx(struct inode *inode, int check)
A
Alex Tomas 已提交
273 274 275 276 277 278
{
	int size;

	size = sizeof(EXT4_I(inode)->i_data);
	size -= sizeof(struct ext4_extent_header);
	size /= sizeof(struct ext4_extent_idx);
279
#ifdef AGGRESSIVE_TEST
280 281
	if (!check && size > 4)
		size = 4;
A
Alex Tomas 已提交
282 283 284 285
#endif
	return size;
}

286 287
static inline int
ext4_force_split_extent_at(handle_t *handle, struct inode *inode,
288
			   struct ext4_ext_path **ppath, ext4_lblk_t lblk,
289 290
			   int nofail)
{
291
	struct ext4_ext_path *path = *ppath;
292 293
	int unwritten = ext4_ext_is_unwritten(path[path->p_depth].p_ext);

294
	return ext4_split_extent_at(handle, inode, ppath, lblk, unwritten ?
295 296 297 298 299
			EXT4_EXT_MARK_UNWRIT1|EXT4_EXT_MARK_UNWRIT2 : 0,
			EXT4_EX_NOCACHE | EXT4_GET_BLOCKS_PRE_IO |
			(nofail ? EXT4_GET_BLOCKS_METADATA_NOFAIL:0));
}

300 301 302 303 304
/*
 * Calculate the number of metadata blocks needed
 * to allocate @blocks
 * Worse case is one block per extent
 */
305
int ext4_ext_calc_metadata_amount(struct inode *inode, ext4_lblk_t lblock)
306
{
307
	struct ext4_inode_info *ei = EXT4_I(inode);
308
	int idxs;
309

310 311
	idxs = ((inode->i_sb->s_blocksize - sizeof(struct ext4_extent_header))
		/ sizeof(struct ext4_extent_idx));
312 313

	/*
314 315 316 317 318 319
	 * If the new delayed allocation block is contiguous with the
	 * previous da block, it can share index blocks with the
	 * previous block, so we only need to allocate a new index
	 * block every idxs leaf blocks.  At ldxs**2 blocks, we need
	 * an additional index block, and at ldxs**3 blocks, yet
	 * another index blocks.
320
	 */
321 322
	if (ei->i_da_metadata_calc_len &&
	    ei->i_da_metadata_calc_last_lblock+1 == lblock) {
323 324
		int num = 0;

325 326 327 328 329 330 331 332 333 334 335 336
		if ((ei->i_da_metadata_calc_len % idxs) == 0)
			num++;
		if ((ei->i_da_metadata_calc_len % (idxs*idxs)) == 0)
			num++;
		if ((ei->i_da_metadata_calc_len % (idxs*idxs*idxs)) == 0) {
			num++;
			ei->i_da_metadata_calc_len = 0;
		} else
			ei->i_da_metadata_calc_len++;
		ei->i_da_metadata_calc_last_lblock++;
		return num;
	}
337

338 339 340 341 342 343 344
	/*
	 * In the worst case we need a new set of index blocks at
	 * every level of the inode's extent tree.
	 */
	ei->i_da_metadata_calc_len = 1;
	ei->i_da_metadata_calc_last_lblock = lblock;
	return ext_depth(inode) + 1;
345 346
}

347 348 349 350 351 352 353
static int
ext4_ext_max_entries(struct inode *inode, int depth)
{
	int max;

	if (depth == ext_depth(inode)) {
		if (depth == 0)
354
			max = ext4_ext_space_root(inode, 1);
355
		else
356
			max = ext4_ext_space_root_idx(inode, 1);
357 358
	} else {
		if (depth == 0)
359
			max = ext4_ext_space_block(inode, 1);
360
		else
361
			max = ext4_ext_space_block_idx(inode, 1);
362 363 364 365 366
	}

	return max;
}

367 368
static int ext4_valid_extent(struct inode *inode, struct ext4_extent *ext)
{
369
	ext4_fsblk_t block = ext4_ext_pblock(ext);
370
	int len = ext4_ext_get_actual_len(ext);
371
	ext4_lblk_t lblock = le32_to_cpu(ext->ee_block);
372

373 374 375 376 377 378
	/*
	 * We allow neither:
	 *  - zero length
	 *  - overflow/wrap-around
	 */
	if (lblock + len <= lblock)
379
		return 0;
380
	return ext4_data_block_valid(EXT4_SB(inode->i_sb), block, len);
381 382 383 384 385
}

static int ext4_valid_extent_idx(struct inode *inode,
				struct ext4_extent_idx *ext_idx)
{
386
	ext4_fsblk_t block = ext4_idx_pblock(ext_idx);
387

388
	return ext4_data_block_valid(EXT4_SB(inode->i_sb), block, 1);
389 390 391 392 393 394 395 396 397 398 399 400 401 402
}

static int ext4_valid_extent_entries(struct inode *inode,
				struct ext4_extent_header *eh,
				int depth)
{
	unsigned short entries;
	if (eh->eh_entries == 0)
		return 1;

	entries = le16_to_cpu(eh->eh_entries);

	if (depth == 0) {
		/* leaf entries */
403
		struct ext4_extent *ext = EXT_FIRST_EXTENT(eh);
404 405 406 407 408
		struct ext4_super_block *es = EXT4_SB(inode->i_sb)->s_es;
		ext4_fsblk_t pblock = 0;
		ext4_lblk_t lblock = 0;
		ext4_lblk_t prev = 0;
		int len = 0;
409 410 411
		while (entries) {
			if (!ext4_valid_extent(inode, ext))
				return 0;
412 413 414 415 416 417 418 419 420

			/* Check for overlapping extents */
			lblock = le32_to_cpu(ext->ee_block);
			len = ext4_ext_get_actual_len(ext);
			if ((lblock <= prev) && prev) {
				pblock = ext4_ext_pblock(ext);
				es->s_last_error_block = cpu_to_le64(pblock);
				return 0;
			}
421 422
			ext++;
			entries--;
423
			prev = lblock + len - 1;
424 425
		}
	} else {
426
		struct ext4_extent_idx *ext_idx = EXT_FIRST_INDEX(eh);
427 428 429 430 431 432 433 434 435 436
		while (entries) {
			if (!ext4_valid_extent_idx(inode, ext_idx))
				return 0;
			ext_idx++;
			entries--;
		}
	}
	return 1;
}

437 438
static int __ext4_ext_check(const char *function, unsigned int line,
			    struct inode *inode, struct ext4_extent_header *eh,
439
			    int depth, ext4_fsblk_t pblk)
440 441
{
	const char *error_msg;
442
	int max = 0, err = -EFSCORRUPTED;
443 444 445 446 447 448 449 450 451 452 453 454 455 456 457 458 459 460 461 462 463 464

	if (unlikely(eh->eh_magic != EXT4_EXT_MAGIC)) {
		error_msg = "invalid magic";
		goto corrupted;
	}
	if (unlikely(le16_to_cpu(eh->eh_depth) != depth)) {
		error_msg = "unexpected eh_depth";
		goto corrupted;
	}
	if (unlikely(eh->eh_max == 0)) {
		error_msg = "invalid eh_max";
		goto corrupted;
	}
	max = ext4_ext_max_entries(inode, depth);
	if (unlikely(le16_to_cpu(eh->eh_max) > max)) {
		error_msg = "too large eh_max";
		goto corrupted;
	}
	if (unlikely(le16_to_cpu(eh->eh_entries) > le16_to_cpu(eh->eh_max))) {
		error_msg = "invalid eh_entries";
		goto corrupted;
	}
465 466 467 468
	if (!ext4_valid_extent_entries(inode, eh, depth)) {
		error_msg = "invalid extent entries";
		goto corrupted;
	}
V
Vegard Nossum 已提交
469 470 471 472
	if (unlikely(depth > 32)) {
		error_msg = "too large eh_depth";
		goto corrupted;
	}
473 474 475 476
	/* Verify checksum on non-root extent tree nodes */
	if (ext_depth(inode) != depth &&
	    !ext4_extent_block_csum_verify(inode, eh)) {
		error_msg = "extent tree corrupted";
477
		err = -EFSBADCRC;
478 479
		goto corrupted;
	}
480 481 482
	return 0;

corrupted:
483
	ext4_error_inode(inode, function, line, 0,
484 485 486 487 488 489
			 "pblk %llu bad header/extent: %s - magic %x, "
			 "entries %u, max %u(%u), depth %u(%u)",
			 (unsigned long long) pblk, error_msg,
			 le16_to_cpu(eh->eh_magic),
			 le16_to_cpu(eh->eh_entries), le16_to_cpu(eh->eh_max),
			 max, le16_to_cpu(eh->eh_depth), depth);
490
	return err;
491 492
}

493 494
#define ext4_ext_check(inode, eh, depth, pblk)			\
	__ext4_ext_check(__func__, __LINE__, (inode), (eh), (depth), (pblk))
495

496 497
int ext4_ext_check_inode(struct inode *inode)
{
498
	return ext4_ext_check(inode, ext_inode_hdr(inode), ext_depth(inode), 0);
499 500
}

501 502
static struct buffer_head *
__read_extent_tree_block(const char *function, unsigned int line,
503 504
			 struct inode *inode, ext4_fsblk_t pblk, int depth,
			 int flags)
505
{
506 507 508
	struct buffer_head		*bh;
	int				err;

509
	bh = sb_getblk_gfp(inode->i_sb, pblk, __GFP_MOVABLE | GFP_NOFS);
510 511
	if (unlikely(!bh))
		return ERR_PTR(-ENOMEM);
512

513 514 515 516 517 518
	if (!bh_uptodate_or_lock(bh)) {
		trace_ext4_ext_load_extent(inode, pblk, _RET_IP_);
		err = bh_submit_read(bh);
		if (err < 0)
			goto errout;
	}
519
	if (buffer_verified(bh) && !(flags & EXT4_EX_FORCE_CACHE))
520
		return bh;
521 522 523 524 525 526 527 528
	if (!ext4_has_feature_journal(inode->i_sb) ||
	    (inode->i_ino !=
	     le32_to_cpu(EXT4_SB(inode->i_sb)->s_es->s_journal_inum))) {
		err = __ext4_ext_check(function, line, inode,
				       ext_block_hdr(bh), depth, pblk);
		if (err)
			goto errout;
	}
529
	set_buffer_verified(bh);
530 531 532 533 534 535 536 537 538 539 540 541 542 543 544 545 546 547 548
	/*
	 * If this is a leaf block, cache all of its entries
	 */
	if (!(flags & EXT4_EX_NOCACHE) && depth == 0) {
		struct ext4_extent_header *eh = ext_block_hdr(bh);
		struct ext4_extent *ex = EXT_FIRST_EXTENT(eh);
		ext4_lblk_t prev = 0;
		int i;

		for (i = le16_to_cpu(eh->eh_entries); i > 0; i--, ex++) {
			unsigned int status = EXTENT_STATUS_WRITTEN;
			ext4_lblk_t lblk = le32_to_cpu(ex->ee_block);
			int len = ext4_ext_get_actual_len(ex);

			if (prev && (prev != lblk))
				ext4_es_cache_extent(inode, prev,
						     lblk - prev, ~0,
						     EXTENT_STATUS_HOLE);

549
			if (ext4_ext_is_unwritten(ex))
550 551 552 553 554 555
				status = EXTENT_STATUS_UNWRITTEN;
			ext4_es_cache_extent(inode, lblk, len,
					     ext4_ext_pblock(ex), status);
			prev = lblk + len;
		}
	}
556 557 558 559 560
	return bh;
errout:
	put_bh(bh);
	return ERR_PTR(err);

561 562
}

563 564 565
#define read_extent_tree_block(inode, pblk, depth, flags)		\
	__read_extent_tree_block(__func__, __LINE__, (inode), (pblk),   \
				 (depth), (flags))
566

567 568 569 570 571 572 573 574 575 576 577 578 579 580 581 582 583
/*
 * This function is called to cache a file's extent information in the
 * extent status tree
 */
int ext4_ext_precache(struct inode *inode)
{
	struct ext4_inode_info *ei = EXT4_I(inode);
	struct ext4_ext_path *path = NULL;
	struct buffer_head *bh;
	int i = 0, depth, ret = 0;

	if (!ext4_test_inode_flag(inode, EXT4_INODE_EXTENTS))
		return 0;	/* not an extent-mapped inode */

	down_read(&ei->i_data_sem);
	depth = ext_depth(inode);

K
Kees Cook 已提交
584
	path = kcalloc(depth + 1, sizeof(struct ext4_ext_path),
585 586 587 588 589 590 591 592 593 594 595 596 597 598 599 600 601 602 603 604 605 606 607 608 609 610 611 612 613 614 615 616 617 618 619 620 621 622 623 624 625 626 627 628 629 630 631
		       GFP_NOFS);
	if (path == NULL) {
		up_read(&ei->i_data_sem);
		return -ENOMEM;
	}

	/* Don't cache anything if there are no external extent blocks */
	if (depth == 0)
		goto out;
	path[0].p_hdr = ext_inode_hdr(inode);
	ret = ext4_ext_check(inode, path[0].p_hdr, depth, 0);
	if (ret)
		goto out;
	path[0].p_idx = EXT_FIRST_INDEX(path[0].p_hdr);
	while (i >= 0) {
		/*
		 * If this is a leaf block or we've reached the end of
		 * the index block, go up
		 */
		if ((i == depth) ||
		    path[i].p_idx > EXT_LAST_INDEX(path[i].p_hdr)) {
			brelse(path[i].p_bh);
			path[i].p_bh = NULL;
			i--;
			continue;
		}
		bh = read_extent_tree_block(inode,
					    ext4_idx_pblock(path[i].p_idx++),
					    depth - i - 1,
					    EXT4_EX_FORCE_CACHE);
		if (IS_ERR(bh)) {
			ret = PTR_ERR(bh);
			break;
		}
		i++;
		path[i].p_bh = bh;
		path[i].p_hdr = ext_block_hdr(bh);
		path[i].p_idx = EXT_FIRST_INDEX(path[i].p_hdr);
	}
	ext4_set_inode_state(inode, EXT4_STATE_EXT_PRECACHED);
out:
	up_read(&ei->i_data_sem);
	ext4_ext_drop_refs(path);
	kfree(path);
	return ret;
}

A
Alex Tomas 已提交
632 633 634 635 636 637 638 639
#ifdef EXT_DEBUG
static void ext4_ext_show_path(struct inode *inode, struct ext4_ext_path *path)
{
	int k, l = path->p_depth;

	ext_debug("path:");
	for (k = 0; k <= l; k++, path++) {
		if (path->p_idx) {
640
		  ext_debug("  %d->%llu", le32_to_cpu(path->p_idx->ei_block),
641
			    ext4_idx_pblock(path->p_idx));
A
Alex Tomas 已提交
642
		} else if (path->p_ext) {
643
			ext_debug("  %d:[%d]%d:%llu ",
A
Alex Tomas 已提交
644
				  le32_to_cpu(path->p_ext->ee_block),
645
				  ext4_ext_is_unwritten(path->p_ext),
A
Amit Arora 已提交
646
				  ext4_ext_get_actual_len(path->p_ext),
647
				  ext4_ext_pblock(path->p_ext));
A
Alex Tomas 已提交
648 649 650 651 652 653 654 655 656 657 658 659 660 661 662 663 664 665 666
		} else
			ext_debug("  []");
	}
	ext_debug("\n");
}

static void ext4_ext_show_leaf(struct inode *inode, struct ext4_ext_path *path)
{
	int depth = ext_depth(inode);
	struct ext4_extent_header *eh;
	struct ext4_extent *ex;
	int i;

	if (!path)
		return;

	eh = path[depth].p_hdr;
	ex = EXT_FIRST_EXTENT(eh);

667 668
	ext_debug("Displaying leaf extents for inode %lu\n", inode->i_ino);

A
Alex Tomas 已提交
669
	for (i = 0; i < le16_to_cpu(eh->eh_entries); i++, ex++) {
670
		ext_debug("%d:[%d]%d:%llu ", le32_to_cpu(ex->ee_block),
671
			  ext4_ext_is_unwritten(ex),
672
			  ext4_ext_get_actual_len(ex), ext4_ext_pblock(ex));
A
Alex Tomas 已提交
673 674 675
	}
	ext_debug("\n");
}
676 677 678 679 680 681 682 683 684 685 686 687 688 689 690 691 692 693 694 695 696 697 698 699 700 701

static void ext4_ext_show_move(struct inode *inode, struct ext4_ext_path *path,
			ext4_fsblk_t newblock, int level)
{
	int depth = ext_depth(inode);
	struct ext4_extent *ex;

	if (depth != level) {
		struct ext4_extent_idx *idx;
		idx = path[level].p_idx;
		while (idx <= EXT_MAX_INDEX(path[level].p_hdr)) {
			ext_debug("%d: move %d:%llu in new index %llu\n", level,
					le32_to_cpu(idx->ei_block),
					ext4_idx_pblock(idx),
					newblock);
			idx++;
		}

		return;
	}

	ex = path[depth].p_ext;
	while (ex <= EXT_MAX_EXTENT(path[depth].p_hdr)) {
		ext_debug("move %d:%llu:[%d]%d in new leaf %llu\n",
				le32_to_cpu(ex->ee_block),
				ext4_ext_pblock(ex),
702
				ext4_ext_is_unwritten(ex),
703 704 705 706 707 708
				ext4_ext_get_actual_len(ex),
				newblock);
		ex++;
	}
}

A
Alex Tomas 已提交
709
#else
710 711
#define ext4_ext_show_path(inode, path)
#define ext4_ext_show_leaf(inode, path)
712
#define ext4_ext_show_move(inode, path, newblock, level)
A
Alex Tomas 已提交
713 714
#endif

715
void ext4_ext_drop_refs(struct ext4_ext_path *path)
A
Alex Tomas 已提交
716
{
717
	int depth, i;
A
Alex Tomas 已提交
718

719 720 721
	if (!path)
		return;
	depth = path->p_depth;
A
Alex Tomas 已提交
722 723 724 725 726 727 728 729
	for (i = 0; i <= depth; i++, path++)
		if (path->p_bh) {
			brelse(path->p_bh);
			path->p_bh = NULL;
		}
}

/*
730 731
 * ext4_ext_binsearch_idx:
 * binary search for the closest index of the given block
732
 * the header must be checked before calling this
A
Alex Tomas 已提交
733 734
 */
static void
A
Aneesh Kumar K.V 已提交
735 736
ext4_ext_binsearch_idx(struct inode *inode,
			struct ext4_ext_path *path, ext4_lblk_t block)
A
Alex Tomas 已提交
737 738 739 740 741
{
	struct ext4_extent_header *eh = path->p_hdr;
	struct ext4_extent_idx *r, *l, *m;


742
	ext_debug("binsearch for %u(idx):  ", block);
A
Alex Tomas 已提交
743 744

	l = EXT_FIRST_INDEX(eh) + 1;
D
Dmitry Monakhov 已提交
745
	r = EXT_LAST_INDEX(eh);
A
Alex Tomas 已提交
746 747 748 749 750 751
	while (l <= r) {
		m = l + (r - l) / 2;
		if (block < le32_to_cpu(m->ei_block))
			r = m - 1;
		else
			l = m + 1;
752 753 754
		ext_debug("%p(%u):%p(%u):%p(%u) ", l, le32_to_cpu(l->ei_block),
				m, le32_to_cpu(m->ei_block),
				r, le32_to_cpu(r->ei_block));
A
Alex Tomas 已提交
755 756 757
	}

	path->p_idx = l - 1;
758
	ext_debug("  -> %u->%lld ", le32_to_cpu(path->p_idx->ei_block),
759
		  ext4_idx_pblock(path->p_idx));
A
Alex Tomas 已提交
760 761 762 763 764 765 766 767 768 769

#ifdef CHECK_BINSEARCH
	{
		struct ext4_extent_idx *chix, *ix;
		int k;

		chix = ix = EXT_FIRST_INDEX(eh);
		for (k = 0; k < le16_to_cpu(eh->eh_entries); k++, ix++) {
		  if (k != 0 &&
		      le32_to_cpu(ix->ei_block) <= le32_to_cpu(ix[-1].ei_block)) {
770 771 772 773
				printk(KERN_DEBUG "k=%d, ix=0x%p, "
				       "first=0x%p\n", k,
				       ix, EXT_FIRST_INDEX(eh));
				printk(KERN_DEBUG "%u <= %u\n",
A
Alex Tomas 已提交
774 775 776 777
				       le32_to_cpu(ix->ei_block),
				       le32_to_cpu(ix[-1].ei_block));
			}
			BUG_ON(k && le32_to_cpu(ix->ei_block)
D
Dave Kleikamp 已提交
778
					   <= le32_to_cpu(ix[-1].ei_block));
A
Alex Tomas 已提交
779 780 781 782 783 784 785 786 787 788 789
			if (block < le32_to_cpu(ix->ei_block))
				break;
			chix = ix;
		}
		BUG_ON(chix != path->p_idx);
	}
#endif

}

/*
790 791
 * ext4_ext_binsearch:
 * binary search for closest extent of the given block
792
 * the header must be checked before calling this
A
Alex Tomas 已提交
793 794
 */
static void
A
Aneesh Kumar K.V 已提交
795 796
ext4_ext_binsearch(struct inode *inode,
		struct ext4_ext_path *path, ext4_lblk_t block)
A
Alex Tomas 已提交
797 798 799 800 801 802
{
	struct ext4_extent_header *eh = path->p_hdr;
	struct ext4_extent *r, *l, *m;

	if (eh->eh_entries == 0) {
		/*
803 804
		 * this leaf is empty:
		 * we get such a leaf in split/add case
A
Alex Tomas 已提交
805 806 807 808
		 */
		return;
	}

809
	ext_debug("binsearch for %u:  ", block);
A
Alex Tomas 已提交
810 811

	l = EXT_FIRST_EXTENT(eh) + 1;
D
Dmitry Monakhov 已提交
812
	r = EXT_LAST_EXTENT(eh);
A
Alex Tomas 已提交
813 814 815 816 817 818 819

	while (l <= r) {
		m = l + (r - l) / 2;
		if (block < le32_to_cpu(m->ee_block))
			r = m - 1;
		else
			l = m + 1;
820 821 822
		ext_debug("%p(%u):%p(%u):%p(%u) ", l, le32_to_cpu(l->ee_block),
				m, le32_to_cpu(m->ee_block),
				r, le32_to_cpu(r->ee_block));
A
Alex Tomas 已提交
823 824 825
	}

	path->p_ext = l - 1;
826
	ext_debug("  -> %d:%llu:[%d]%d ",
D
Dave Kleikamp 已提交
827
			le32_to_cpu(path->p_ext->ee_block),
828
			ext4_ext_pblock(path->p_ext),
829
			ext4_ext_is_unwritten(path->p_ext),
A
Amit Arora 已提交
830
			ext4_ext_get_actual_len(path->p_ext));
A
Alex Tomas 已提交
831 832 833 834 835 836 837 838 839

#ifdef CHECK_BINSEARCH
	{
		struct ext4_extent *chex, *ex;
		int k;

		chex = ex = EXT_FIRST_EXTENT(eh);
		for (k = 0; k < le16_to_cpu(eh->eh_entries); k++, ex++) {
			BUG_ON(k && le32_to_cpu(ex->ee_block)
D
Dave Kleikamp 已提交
840
					  <= le32_to_cpu(ex[-1].ee_block));
A
Alex Tomas 已提交
841 842 843 844 845 846 847 848 849 850 851 852 853 854 855 856 857 858
			if (block < le32_to_cpu(ex->ee_block))
				break;
			chex = ex;
		}
		BUG_ON(chex != path->p_ext);
	}
#endif

}

int ext4_ext_tree_init(handle_t *handle, struct inode *inode)
{
	struct ext4_extent_header *eh;

	eh = ext_inode_hdr(inode);
	eh->eh_depth = 0;
	eh->eh_entries = 0;
	eh->eh_magic = EXT4_EXT_MAGIC;
859
	eh->eh_max = cpu_to_le16(ext4_ext_space_root(inode, 0));
A
Alex Tomas 已提交
860 861 862 863 864
	ext4_mark_inode_dirty(handle, inode);
	return 0;
}

struct ext4_ext_path *
865 866
ext4_find_extent(struct inode *inode, ext4_lblk_t block,
		 struct ext4_ext_path **orig_path, int flags)
A
Alex Tomas 已提交
867 868 869
{
	struct ext4_extent_header *eh;
	struct buffer_head *bh;
870 871
	struct ext4_ext_path *path = orig_path ? *orig_path : NULL;
	short int depth, i, ppos = 0;
872
	int ret;
A
Alex Tomas 已提交
873 874

	eh = ext_inode_hdr(inode);
875
	depth = ext_depth(inode);
876 877 878 879 880 881
	if (depth < 0 || depth > EXT4_MAX_EXTENT_DEPTH) {
		EXT4_ERROR_INODE(inode, "inode has invalid extent depth: %d",
				 depth);
		ret = -EFSCORRUPTED;
		goto err;
	}
A
Alex Tomas 已提交
882

883
	if (path) {
884
		ext4_ext_drop_refs(path);
885 886 887 888 889 890
		if (depth > path[0].p_maxdepth) {
			kfree(path);
			*orig_path = path = NULL;
		}
	}
	if (!path) {
891
		/* account possible depth increase */
K
Kees Cook 已提交
892
		path = kcalloc(depth + 2, sizeof(struct ext4_ext_path),
A
Alex Tomas 已提交
893
				GFP_NOFS);
894
		if (unlikely(!path))
A
Alex Tomas 已提交
895
			return ERR_PTR(-ENOMEM);
896
		path[0].p_maxdepth = depth + 1;
A
Alex Tomas 已提交
897 898
	}
	path[0].p_hdr = eh;
899
	path[0].p_bh = NULL;
A
Alex Tomas 已提交
900

901
	i = depth;
A
Alex Tomas 已提交
902 903 904 905
	/* walk through the tree */
	while (i) {
		ext_debug("depth %d: num %d, max %d\n",
			  ppos, le16_to_cpu(eh->eh_entries), le16_to_cpu(eh->eh_max));
906

A
Alex Tomas 已提交
907
		ext4_ext_binsearch_idx(inode, path + ppos, block);
908
		path[ppos].p_block = ext4_idx_pblock(path[ppos].p_idx);
A
Alex Tomas 已提交
909 910 911
		path[ppos].p_depth = i;
		path[ppos].p_ext = NULL;

912 913
		bh = read_extent_tree_block(inode, path[ppos].p_block, --i,
					    flags);
914
		if (IS_ERR(bh)) {
915
			ret = PTR_ERR(bh);
A
Alex Tomas 已提交
916
			goto err;
917
		}
918

A
Alex Tomas 已提交
919 920 921 922 923 924 925 926 927 928 929 930
		eh = ext_block_hdr(bh);
		ppos++;
		path[ppos].p_bh = bh;
		path[ppos].p_hdr = eh;
	}

	path[ppos].p_depth = i;
	path[ppos].p_ext = NULL;
	path[ppos].p_idx = NULL;

	/* find extent */
	ext4_ext_binsearch(inode, path + ppos, block);
931 932
	/* if not an empty leaf */
	if (path[ppos].p_ext)
933
		path[ppos].p_block = ext4_ext_pblock(path[ppos].p_ext);
A
Alex Tomas 已提交
934 935 936 937 938 939 940

	ext4_ext_show_path(inode, path);

	return path;

err:
	ext4_ext_drop_refs(path);
941 942 943
	kfree(path);
	if (orig_path)
		*orig_path = NULL;
944
	return ERR_PTR(ret);
A
Alex Tomas 已提交
945 946 947
}

/*
948 949 950
 * ext4_ext_insert_index:
 * insert new index [@logical;@ptr] into the block at @curp;
 * check where to insert: before @curp or after @curp
A
Alex Tomas 已提交
951
 */
952 953 954
static int ext4_ext_insert_index(handle_t *handle, struct inode *inode,
				 struct ext4_ext_path *curp,
				 int logical, ext4_fsblk_t ptr)
A
Alex Tomas 已提交
955 956 957 958
{
	struct ext4_extent_idx *ix;
	int len, err;

959 960
	err = ext4_ext_get_access(handle, inode, curp);
	if (err)
A
Alex Tomas 已提交
961 962
		return err;

963 964 965 966
	if (unlikely(logical == le32_to_cpu(curp->p_idx->ei_block))) {
		EXT4_ERROR_INODE(inode,
				 "logical %d == ei_block %d!",
				 logical, le32_to_cpu(curp->p_idx->ei_block));
967
		return -EFSCORRUPTED;
968
	}
969 970 971 972 973 974 975

	if (unlikely(le16_to_cpu(curp->p_hdr->eh_entries)
			     >= le16_to_cpu(curp->p_hdr->eh_max))) {
		EXT4_ERROR_INODE(inode,
				 "eh_entries %d >= eh_max %d!",
				 le16_to_cpu(curp->p_hdr->eh_entries),
				 le16_to_cpu(curp->p_hdr->eh_max));
976
		return -EFSCORRUPTED;
977 978
	}

A
Alex Tomas 已提交
979 980
	if (logical > le32_to_cpu(curp->p_idx->ei_block)) {
		/* insert after */
981
		ext_debug("insert new index %d after: %llu\n", logical, ptr);
A
Alex Tomas 已提交
982 983 984
		ix = curp->p_idx + 1;
	} else {
		/* insert before */
985
		ext_debug("insert new index %d before: %llu\n", logical, ptr);
A
Alex Tomas 已提交
986 987 988
		ix = curp->p_idx;
	}

989 990 991 992 993 994 995 996 997
	len = EXT_LAST_INDEX(curp->p_hdr) - ix + 1;
	BUG_ON(len < 0);
	if (len > 0) {
		ext_debug("insert new index %d: "
				"move %d indices from 0x%p to 0x%p\n",
				logical, len, ix, ix + 1);
		memmove(ix + 1, ix, len * sizeof(struct ext4_extent_idx));
	}

998 999
	if (unlikely(ix > EXT_MAX_INDEX(curp->p_hdr))) {
		EXT4_ERROR_INODE(inode, "ix > EXT_MAX_INDEX!");
1000
		return -EFSCORRUPTED;
1001 1002
	}

A
Alex Tomas 已提交
1003
	ix->ei_block = cpu_to_le32(logical);
1004
	ext4_idx_store_pblock(ix, ptr);
M
Marcin Slusarz 已提交
1005
	le16_add_cpu(&curp->p_hdr->eh_entries, 1);
A
Alex Tomas 已提交
1006

1007 1008
	if (unlikely(ix > EXT_LAST_INDEX(curp->p_hdr))) {
		EXT4_ERROR_INODE(inode, "ix > EXT_LAST_INDEX!");
1009
		return -EFSCORRUPTED;
1010
	}
A
Alex Tomas 已提交
1011 1012 1013 1014 1015 1016 1017 1018

	err = ext4_ext_dirty(handle, inode, curp);
	ext4_std_error(inode->i_sb, err);

	return err;
}

/*
1019 1020 1021 1022 1023 1024 1025 1026
 * ext4_ext_split:
 * inserts new subtree into the path, using free index entry
 * at depth @at:
 * - allocates all needed blocks (new leaf and all intermediate index blocks)
 * - makes decision where to split
 * - moves remaining extents and index entries (right to the split point)
 *   into the newly allocated blocks
 * - initializes subtree
A
Alex Tomas 已提交
1027 1028
 */
static int ext4_ext_split(handle_t *handle, struct inode *inode,
1029 1030 1031
			  unsigned int flags,
			  struct ext4_ext_path *path,
			  struct ext4_extent *newext, int at)
A
Alex Tomas 已提交
1032 1033 1034 1035 1036 1037
{
	struct buffer_head *bh = NULL;
	int depth = ext_depth(inode);
	struct ext4_extent_header *neh;
	struct ext4_extent_idx *fidx;
	int i = at, k, m, a;
1038
	ext4_fsblk_t newblock, oldblock;
A
Alex Tomas 已提交
1039
	__le32 border;
1040
	ext4_fsblk_t *ablocks = NULL; /* array of allocated blocks */
A
Alex Tomas 已提交
1041
	int err = 0;
1042
	size_t ext_size = 0;
A
Alex Tomas 已提交
1043 1044

	/* make decision: where to split? */
1045
	/* FIXME: now decision is simplest: at current extent */
A
Alex Tomas 已提交
1046

1047
	/* if current leaf will be split, then we should use
A
Alex Tomas 已提交
1048
	 * border from split point */
1049 1050
	if (unlikely(path[depth].p_ext > EXT_MAX_EXTENT(path[depth].p_hdr))) {
		EXT4_ERROR_INODE(inode, "p_ext > EXT_MAX_EXTENT!");
1051
		return -EFSCORRUPTED;
1052
	}
A
Alex Tomas 已提交
1053 1054
	if (path[depth].p_ext != EXT_MAX_EXTENT(path[depth].p_hdr)) {
		border = path[depth].p_ext[1].ee_block;
1055
		ext_debug("leaf will be split."
A
Alex Tomas 已提交
1056
				" next leaf starts at %d\n",
D
Dave Kleikamp 已提交
1057
				  le32_to_cpu(border));
A
Alex Tomas 已提交
1058 1059 1060 1061
	} else {
		border = newext->ee_block;
		ext_debug("leaf will be added."
				" next leaf starts at %d\n",
D
Dave Kleikamp 已提交
1062
				le32_to_cpu(border));
A
Alex Tomas 已提交
1063 1064 1065
	}

	/*
1066 1067
	 * If error occurs, then we break processing
	 * and mark filesystem read-only. index won't
A
Alex Tomas 已提交
1068
	 * be inserted and tree will be in consistent
1069
	 * state. Next mount will repair buffers too.
A
Alex Tomas 已提交
1070 1071 1072
	 */

	/*
1073 1074 1075
	 * Get array to track all allocated blocks.
	 * We need this to handle errors and free blocks
	 * upon them.
A
Alex Tomas 已提交
1076
	 */
K
Kees Cook 已提交
1077
	ablocks = kcalloc(depth, sizeof(ext4_fsblk_t), GFP_NOFS);
A
Alex Tomas 已提交
1078 1079 1080 1081 1082 1083
	if (!ablocks)
		return -ENOMEM;

	/* allocate all needed blocks */
	ext_debug("allocate %d blocks for indexes/leaf\n", depth - at);
	for (a = 0; a < depth - at; a++) {
A
Aneesh Kumar K.V 已提交
1084
		newblock = ext4_ext_new_meta_block(handle, inode, path,
1085
						   newext, &err, flags);
A
Alex Tomas 已提交
1086 1087 1088 1089 1090 1091 1092
		if (newblock == 0)
			goto cleanup;
		ablocks[a] = newblock;
	}

	/* initialize new leaf */
	newblock = ablocks[--a];
1093 1094
	if (unlikely(newblock == 0)) {
		EXT4_ERROR_INODE(inode, "newblock == 0!");
1095
		err = -EFSCORRUPTED;
1096 1097
		goto cleanup;
	}
1098
	bh = sb_getblk_gfp(inode->i_sb, newblock, __GFP_MOVABLE | GFP_NOFS);
1099
	if (unlikely(!bh)) {
1100
		err = -ENOMEM;
A
Alex Tomas 已提交
1101 1102 1103 1104
		goto cleanup;
	}
	lock_buffer(bh);

1105 1106
	err = ext4_journal_get_create_access(handle, bh);
	if (err)
A
Alex Tomas 已提交
1107 1108 1109 1110
		goto cleanup;

	neh = ext_block_hdr(bh);
	neh->eh_entries = 0;
1111
	neh->eh_max = cpu_to_le16(ext4_ext_space_block(inode, 0));
A
Alex Tomas 已提交
1112 1113 1114
	neh->eh_magic = EXT4_EXT_MAGIC;
	neh->eh_depth = 0;

1115
	/* move remainder of path[depth] to the new leaf */
1116 1117 1118 1119 1120
	if (unlikely(path[depth].p_hdr->eh_entries !=
		     path[depth].p_hdr->eh_max)) {
		EXT4_ERROR_INODE(inode, "eh_entries %d != eh_max %d!",
				 path[depth].p_hdr->eh_entries,
				 path[depth].p_hdr->eh_max);
1121
		err = -EFSCORRUPTED;
1122 1123
		goto cleanup;
	}
A
Alex Tomas 已提交
1124
	/* start copy from next extent */
1125 1126
	m = EXT_MAX_EXTENT(path[depth].p_hdr) - path[depth].p_ext++;
	ext4_ext_show_move(inode, path, newblock, depth);
A
Alex Tomas 已提交
1127
	if (m) {
1128 1129 1130
		struct ext4_extent *ex;
		ex = EXT_FIRST_EXTENT(neh);
		memmove(ex, path[depth].p_ext, sizeof(struct ext4_extent) * m);
M
Marcin Slusarz 已提交
1131
		le16_add_cpu(&neh->eh_entries, m);
A
Alex Tomas 已提交
1132 1133
	}

1134 1135 1136 1137
	/* zero out unused area in the extent block */
	ext_size = sizeof(struct ext4_extent_header) +
		sizeof(struct ext4_extent) * le16_to_cpu(neh->eh_entries);
	memset(bh->b_data + ext_size, 0, inode->i_sb->s_blocksize - ext_size);
1138
	ext4_extent_block_csum_set(inode, neh);
A
Alex Tomas 已提交
1139 1140 1141
	set_buffer_uptodate(bh);
	unlock_buffer(bh);

1142
	err = ext4_handle_dirty_metadata(handle, inode, bh);
1143
	if (err)
A
Alex Tomas 已提交
1144 1145 1146 1147 1148 1149
		goto cleanup;
	brelse(bh);
	bh = NULL;

	/* correct old leaf */
	if (m) {
1150 1151
		err = ext4_ext_get_access(handle, inode, path + depth);
		if (err)
A
Alex Tomas 已提交
1152
			goto cleanup;
M
Marcin Slusarz 已提交
1153
		le16_add_cpu(&path[depth].p_hdr->eh_entries, -m);
1154 1155
		err = ext4_ext_dirty(handle, inode, path + depth);
		if (err)
A
Alex Tomas 已提交
1156 1157 1158 1159 1160 1161
			goto cleanup;

	}

	/* create intermediate indexes */
	k = depth - at - 1;
1162 1163
	if (unlikely(k < 0)) {
		EXT4_ERROR_INODE(inode, "k %d < 0!", k);
1164
		err = -EFSCORRUPTED;
1165 1166
		goto cleanup;
	}
A
Alex Tomas 已提交
1167 1168 1169 1170 1171 1172 1173 1174
	if (k)
		ext_debug("create %d intermediate indices\n", k);
	/* insert new index into current index block */
	/* current depth stored in i var */
	i = depth - 1;
	while (k--) {
		oldblock = newblock;
		newblock = ablocks[--a];
1175
		bh = sb_getblk(inode->i_sb, newblock);
1176
		if (unlikely(!bh)) {
1177
			err = -ENOMEM;
A
Alex Tomas 已提交
1178 1179 1180 1181
			goto cleanup;
		}
		lock_buffer(bh);

1182 1183
		err = ext4_journal_get_create_access(handle, bh);
		if (err)
A
Alex Tomas 已提交
1184 1185 1186 1187 1188
			goto cleanup;

		neh = ext_block_hdr(bh);
		neh->eh_entries = cpu_to_le16(1);
		neh->eh_magic = EXT4_EXT_MAGIC;
1189
		neh->eh_max = cpu_to_le16(ext4_ext_space_block_idx(inode, 0));
A
Alex Tomas 已提交
1190 1191 1192
		neh->eh_depth = cpu_to_le16(depth - i);
		fidx = EXT_FIRST_INDEX(neh);
		fidx->ei_block = border;
1193
		ext4_idx_store_pblock(fidx, oldblock);
A
Alex Tomas 已提交
1194

1195 1196
		ext_debug("int.index at %d (block %llu): %u -> %llu\n",
				i, newblock, le32_to_cpu(border), oldblock);
A
Alex Tomas 已提交
1197

1198
		/* move remainder of path[i] to the new index block */
1199 1200 1201 1202 1203
		if (unlikely(EXT_MAX_INDEX(path[i].p_hdr) !=
					EXT_LAST_INDEX(path[i].p_hdr))) {
			EXT4_ERROR_INODE(inode,
					 "EXT_MAX_INDEX != EXT_LAST_INDEX ee_block %d!",
					 le32_to_cpu(path[i].p_ext->ee_block));
1204
			err = -EFSCORRUPTED;
1205 1206
			goto cleanup;
		}
1207 1208 1209 1210 1211
		/* start copy indexes */
		m = EXT_MAX_INDEX(path[i].p_hdr) - path[i].p_idx++;
		ext_debug("cur 0x%p, last 0x%p\n", path[i].p_idx,
				EXT_MAX_INDEX(path[i].p_hdr));
		ext4_ext_show_move(inode, path, newblock, i);
A
Alex Tomas 已提交
1212
		if (m) {
1213
			memmove(++fidx, path[i].p_idx,
A
Alex Tomas 已提交
1214
				sizeof(struct ext4_extent_idx) * m);
M
Marcin Slusarz 已提交
1215
			le16_add_cpu(&neh->eh_entries, m);
A
Alex Tomas 已提交
1216
		}
1217 1218 1219 1220 1221
		/* zero out unused area in the extent block */
		ext_size = sizeof(struct ext4_extent_header) +
		   (sizeof(struct ext4_extent) * le16_to_cpu(neh->eh_entries));
		memset(bh->b_data + ext_size, 0,
			inode->i_sb->s_blocksize - ext_size);
1222
		ext4_extent_block_csum_set(inode, neh);
A
Alex Tomas 已提交
1223 1224 1225
		set_buffer_uptodate(bh);
		unlock_buffer(bh);

1226
		err = ext4_handle_dirty_metadata(handle, inode, bh);
1227
		if (err)
A
Alex Tomas 已提交
1228 1229 1230 1231 1232 1233 1234 1235 1236
			goto cleanup;
		brelse(bh);
		bh = NULL;

		/* correct old index */
		if (m) {
			err = ext4_ext_get_access(handle, inode, path + i);
			if (err)
				goto cleanup;
M
Marcin Slusarz 已提交
1237
			le16_add_cpu(&path[i].p_hdr->eh_entries, -m);
A
Alex Tomas 已提交
1238 1239 1240 1241 1242 1243 1244 1245 1246 1247 1248 1249 1250 1251 1252 1253 1254 1255 1256 1257 1258 1259 1260 1261
			err = ext4_ext_dirty(handle, inode, path + i);
			if (err)
				goto cleanup;
		}

		i--;
	}

	/* insert new index */
	err = ext4_ext_insert_index(handle, inode, path + at,
				    le32_to_cpu(border), newblock);

cleanup:
	if (bh) {
		if (buffer_locked(bh))
			unlock_buffer(bh);
		brelse(bh);
	}

	if (err) {
		/* free all allocated blocks in error case */
		for (i = 0; i < depth; i++) {
			if (!ablocks[i])
				continue;
1262
			ext4_free_blocks(handle, inode, NULL, ablocks[i], 1,
1263
					 EXT4_FREE_BLOCKS_METADATA);
A
Alex Tomas 已提交
1264 1265 1266 1267 1268 1269 1270 1271
		}
	}
	kfree(ablocks);

	return err;
}

/*
1272 1273 1274 1275 1276 1277
 * ext4_ext_grow_indepth:
 * implements tree growing procedure:
 * - allocates new block
 * - moves top-level data (index block or leaf) into the new block
 * - initializes new top-level, creating index that points to the
 *   just created block
A
Alex Tomas 已提交
1278 1279
 */
static int ext4_ext_grow_indepth(handle_t *handle, struct inode *inode,
1280
				 unsigned int flags)
A
Alex Tomas 已提交
1281 1282 1283
{
	struct ext4_extent_header *neh;
	struct buffer_head *bh;
1284 1285
	ext4_fsblk_t newblock, goal = 0;
	struct ext4_super_block *es = EXT4_SB(inode->i_sb)->s_es;
A
Alex Tomas 已提交
1286
	int err = 0;
1287
	size_t ext_size = 0;
A
Alex Tomas 已提交
1288

1289 1290 1291 1292 1293 1294 1295 1296 1297 1298
	/* Try to prepend new index to old one */
	if (ext_depth(inode))
		goal = ext4_idx_pblock(EXT_FIRST_INDEX(ext_inode_hdr(inode)));
	if (goal > le32_to_cpu(es->s_first_data_block)) {
		flags |= EXT4_MB_HINT_TRY_GOAL;
		goal--;
	} else
		goal = ext4_inode_to_goal_block(inode);
	newblock = ext4_new_meta_blocks(handle, inode, goal, flags,
					NULL, &err);
A
Alex Tomas 已提交
1299 1300 1301
	if (newblock == 0)
		return err;

1302
	bh = sb_getblk_gfp(inode->i_sb, newblock, __GFP_MOVABLE | GFP_NOFS);
1303
	if (unlikely(!bh))
1304
		return -ENOMEM;
A
Alex Tomas 已提交
1305 1306
	lock_buffer(bh);

1307 1308
	err = ext4_journal_get_create_access(handle, bh);
	if (err) {
A
Alex Tomas 已提交
1309 1310 1311 1312
		unlock_buffer(bh);
		goto out;
	}

1313
	ext_size = sizeof(EXT4_I(inode)->i_data);
A
Alex Tomas 已提交
1314
	/* move top-level index/leaf into new block */
1315 1316 1317
	memmove(bh->b_data, EXT4_I(inode)->i_data, ext_size);
	/* zero out unused area in the extent block */
	memset(bh->b_data + ext_size, 0, inode->i_sb->s_blocksize - ext_size);
A
Alex Tomas 已提交
1318 1319 1320 1321 1322 1323

	/* set size of new block */
	neh = ext_block_hdr(bh);
	/* old root could have indexes or leaves
	 * so calculate e_max right way */
	if (ext_depth(inode))
1324
		neh->eh_max = cpu_to_le16(ext4_ext_space_block_idx(inode, 0));
A
Alex Tomas 已提交
1325
	else
1326
		neh->eh_max = cpu_to_le16(ext4_ext_space_block(inode, 0));
A
Alex Tomas 已提交
1327
	neh->eh_magic = EXT4_EXT_MAGIC;
1328
	ext4_extent_block_csum_set(inode, neh);
A
Alex Tomas 已提交
1329 1330 1331
	set_buffer_uptodate(bh);
	unlock_buffer(bh);

1332
	err = ext4_handle_dirty_metadata(handle, inode, bh);
1333
	if (err)
A
Alex Tomas 已提交
1334 1335
		goto out;

1336
	/* Update top-level index: num,max,pointer */
A
Alex Tomas 已提交
1337
	neh = ext_inode_hdr(inode);
1338 1339 1340 1341 1342 1343 1344 1345
	neh->eh_entries = cpu_to_le16(1);
	ext4_idx_store_pblock(EXT_FIRST_INDEX(neh), newblock);
	if (neh->eh_depth == 0) {
		/* Root extent block becomes index block */
		neh->eh_max = cpu_to_le16(ext4_ext_space_root_idx(inode, 0));
		EXT_FIRST_INDEX(neh)->ei_block =
			EXT_FIRST_EXTENT(neh)->ee_block;
	}
1346
	ext_debug("new root: num %d(%d), lblock %d, ptr %llu\n",
A
Alex Tomas 已提交
1347
		  le16_to_cpu(neh->eh_entries), le16_to_cpu(neh->eh_max),
1348
		  le32_to_cpu(EXT_FIRST_INDEX(neh)->ei_block),
1349
		  ext4_idx_pblock(EXT_FIRST_INDEX(neh)));
A
Alex Tomas 已提交
1350

1351
	le16_add_cpu(&neh->eh_depth, 1);
1352
	ext4_mark_inode_dirty(handle, inode);
A
Alex Tomas 已提交
1353 1354 1355 1356 1357 1358 1359
out:
	brelse(bh);

	return err;
}

/*
1360 1361 1362
 * ext4_ext_create_new_leaf:
 * finds empty index and adds new leaf.
 * if no free index is found, then it requests in-depth growing.
A
Alex Tomas 已提交
1363 1364
 */
static int ext4_ext_create_new_leaf(handle_t *handle, struct inode *inode,
1365 1366
				    unsigned int mb_flags,
				    unsigned int gb_flags,
1367
				    struct ext4_ext_path **ppath,
1368
				    struct ext4_extent *newext)
A
Alex Tomas 已提交
1369
{
1370
	struct ext4_ext_path *path = *ppath;
A
Alex Tomas 已提交
1371 1372 1373 1374 1375 1376 1377 1378 1379 1380 1381 1382 1383
	struct ext4_ext_path *curp;
	int depth, i, err = 0;

repeat:
	i = depth = ext_depth(inode);

	/* walk up to the tree and look for free index entry */
	curp = path + depth;
	while (i > 0 && !EXT_HAS_FREE_INDEX(curp)) {
		i--;
		curp--;
	}

1384 1385
	/* we use already allocated block for index block,
	 * so subsequent data blocks should be contiguous */
A
Alex Tomas 已提交
1386 1387 1388
	if (EXT_HAS_FREE_INDEX(curp)) {
		/* if we found index with free entry, then use that
		 * entry: create all needed subtree and add new leaf */
1389
		err = ext4_ext_split(handle, inode, mb_flags, path, newext, i);
1390 1391
		if (err)
			goto out;
A
Alex Tomas 已提交
1392 1393

		/* refill path */
1394
		path = ext4_find_extent(inode,
A
Aneesh Kumar K.V 已提交
1395
				    (ext4_lblk_t)le32_to_cpu(newext->ee_block),
1396
				    ppath, gb_flags);
A
Alex Tomas 已提交
1397 1398 1399 1400
		if (IS_ERR(path))
			err = PTR_ERR(path);
	} else {
		/* tree is full, time to grow in depth */
1401
		err = ext4_ext_grow_indepth(handle, inode, mb_flags);
A
Alex Tomas 已提交
1402 1403 1404 1405
		if (err)
			goto out;

		/* refill path */
1406
		path = ext4_find_extent(inode,
A
Aneesh Kumar K.V 已提交
1407
				   (ext4_lblk_t)le32_to_cpu(newext->ee_block),
1408
				    ppath, gb_flags);
A
Alex Tomas 已提交
1409 1410 1411 1412 1413 1414
		if (IS_ERR(path)) {
			err = PTR_ERR(path);
			goto out;
		}

		/*
1415 1416
		 * only first (depth 0 -> 1) produces free space;
		 * in all other cases we have to split the grown tree
A
Alex Tomas 已提交
1417 1418 1419
		 */
		depth = ext_depth(inode);
		if (path[depth].p_hdr->eh_entries == path[depth].p_hdr->eh_max) {
1420
			/* now we need to split */
A
Alex Tomas 已提交
1421 1422 1423 1424 1425 1426 1427 1428
			goto repeat;
		}
	}

out:
	return err;
}

1429 1430 1431 1432 1433 1434 1435
/*
 * search the closest allocated block to the left for *logical
 * and returns it at @logical + it's physical address at @phys
 * if *logical is the smallest allocated block, the function
 * returns 0 at @phys
 * return value contains 0 (success) or error code
 */
1436 1437 1438
static int ext4_ext_search_left(struct inode *inode,
				struct ext4_ext_path *path,
				ext4_lblk_t *logical, ext4_fsblk_t *phys)
1439 1440 1441
{
	struct ext4_extent_idx *ix;
	struct ext4_extent *ex;
1442
	int depth, ee_len;
1443

1444 1445
	if (unlikely(path == NULL)) {
		EXT4_ERROR_INODE(inode, "path == NULL *logical %d!", *logical);
1446
		return -EFSCORRUPTED;
1447
	}
1448 1449 1450 1451 1452 1453 1454 1455 1456 1457 1458
	depth = path->p_depth;
	*phys = 0;

	if (depth == 0 && path->p_ext == NULL)
		return 0;

	/* usually extent in the path covers blocks smaller
	 * then *logical, but it can be that extent is the
	 * first one in the file */

	ex = path[depth].p_ext;
1459
	ee_len = ext4_ext_get_actual_len(ex);
1460
	if (*logical < le32_to_cpu(ex->ee_block)) {
1461 1462 1463 1464
		if (unlikely(EXT_FIRST_EXTENT(path[depth].p_hdr) != ex)) {
			EXT4_ERROR_INODE(inode,
					 "EXT_FIRST_EXTENT != ex *logical %d ee_block %d!",
					 *logical, le32_to_cpu(ex->ee_block));
1465
			return -EFSCORRUPTED;
1466
		}
1467 1468
		while (--depth >= 0) {
			ix = path[depth].p_idx;
1469 1470 1471
			if (unlikely(ix != EXT_FIRST_INDEX(path[depth].p_hdr))) {
				EXT4_ERROR_INODE(inode,
				  "ix (%d) != EXT_FIRST_INDEX (%d) (depth %d)!",
1472
				  ix != NULL ? le32_to_cpu(ix->ei_block) : 0,
1473
				  EXT_FIRST_INDEX(path[depth].p_hdr) != NULL ?
1474
		le32_to_cpu(EXT_FIRST_INDEX(path[depth].p_hdr)->ei_block) : 0,
1475
				  depth);
1476
				return -EFSCORRUPTED;
1477
			}
1478 1479 1480 1481
		}
		return 0;
	}

1482 1483 1484 1485
	if (unlikely(*logical < (le32_to_cpu(ex->ee_block) + ee_len))) {
		EXT4_ERROR_INODE(inode,
				 "logical %d < ee_block %d + ee_len %d!",
				 *logical, le32_to_cpu(ex->ee_block), ee_len);
1486
		return -EFSCORRUPTED;
1487
	}
1488

1489
	*logical = le32_to_cpu(ex->ee_block) + ee_len - 1;
1490
	*phys = ext4_ext_pblock(ex) + ee_len - 1;
1491 1492 1493 1494 1495 1496
	return 0;
}

/*
 * search the closest allocated block to the right for *logical
 * and returns it at @logical + it's physical address at @phys
1497
 * if *logical is the largest allocated block, the function
1498 1499 1500
 * returns 0 at @phys
 * return value contains 0 (success) or error code
 */
1501 1502
static int ext4_ext_search_right(struct inode *inode,
				 struct ext4_ext_path *path,
1503 1504
				 ext4_lblk_t *logical, ext4_fsblk_t *phys,
				 struct ext4_extent **ret_ex)
1505 1506 1507 1508 1509 1510
{
	struct buffer_head *bh = NULL;
	struct ext4_extent_header *eh;
	struct ext4_extent_idx *ix;
	struct ext4_extent *ex;
	ext4_fsblk_t block;
1511 1512
	int depth;	/* Note, NOT eh_depth; depth from top of tree */
	int ee_len;
1513

1514 1515
	if (unlikely(path == NULL)) {
		EXT4_ERROR_INODE(inode, "path == NULL *logical %d!", *logical);
1516
		return -EFSCORRUPTED;
1517
	}
1518 1519 1520 1521 1522 1523 1524 1525 1526 1527 1528
	depth = path->p_depth;
	*phys = 0;

	if (depth == 0 && path->p_ext == NULL)
		return 0;

	/* usually extent in the path covers blocks smaller
	 * then *logical, but it can be that extent is the
	 * first one in the file */

	ex = path[depth].p_ext;
1529
	ee_len = ext4_ext_get_actual_len(ex);
1530
	if (*logical < le32_to_cpu(ex->ee_block)) {
1531 1532 1533 1534
		if (unlikely(EXT_FIRST_EXTENT(path[depth].p_hdr) != ex)) {
			EXT4_ERROR_INODE(inode,
					 "first_extent(path[%d].p_hdr) != ex",
					 depth);
1535
			return -EFSCORRUPTED;
1536
		}
1537 1538
		while (--depth >= 0) {
			ix = path[depth].p_idx;
1539 1540 1541 1542
			if (unlikely(ix != EXT_FIRST_INDEX(path[depth].p_hdr))) {
				EXT4_ERROR_INODE(inode,
						 "ix != EXT_FIRST_INDEX *logical %d!",
						 *logical);
1543
				return -EFSCORRUPTED;
1544
			}
1545
		}
1546
		goto found_extent;
1547 1548
	}

1549 1550 1551 1552
	if (unlikely(*logical < (le32_to_cpu(ex->ee_block) + ee_len))) {
		EXT4_ERROR_INODE(inode,
				 "logical %d < ee_block %d + ee_len %d!",
				 *logical, le32_to_cpu(ex->ee_block), ee_len);
1553
		return -EFSCORRUPTED;
1554
	}
1555 1556 1557 1558

	if (ex != EXT_LAST_EXTENT(path[depth].p_hdr)) {
		/* next allocated block in this leaf */
		ex++;
1559
		goto found_extent;
1560 1561 1562 1563 1564 1565
	}

	/* go up and search for index to the right */
	while (--depth >= 0) {
		ix = path[depth].p_idx;
		if (ix != EXT_LAST_INDEX(path[depth].p_hdr))
W
Wu Fengguang 已提交
1566
			goto got_index;
1567 1568
	}

W
Wu Fengguang 已提交
1569 1570
	/* we've gone up to the root and found no index to the right */
	return 0;
1571

W
Wu Fengguang 已提交
1572
got_index:
1573 1574 1575 1576
	/* we've found index to the right, let's
	 * follow it and find the closest allocated
	 * block to the right */
	ix++;
1577
	block = ext4_idx_pblock(ix);
1578
	while (++depth < path->p_depth) {
1579
		/* subtract from p_depth to get proper eh_depth */
1580
		bh = read_extent_tree_block(inode, block,
1581
					    path->p_depth - depth, 0);
1582 1583 1584
		if (IS_ERR(bh))
			return PTR_ERR(bh);
		eh = ext_block_hdr(bh);
1585
		ix = EXT_FIRST_INDEX(eh);
1586
		block = ext4_idx_pblock(ix);
1587 1588 1589
		put_bh(bh);
	}

1590
	bh = read_extent_tree_block(inode, block, path->p_depth - depth, 0);
1591 1592
	if (IS_ERR(bh))
		return PTR_ERR(bh);
1593 1594
	eh = ext_block_hdr(bh);
	ex = EXT_FIRST_EXTENT(eh);
1595
found_extent:
1596
	*logical = le32_to_cpu(ex->ee_block);
1597
	*phys = ext4_ext_pblock(ex);
1598 1599 1600
	*ret_ex = ex;
	if (bh)
		put_bh(bh);
1601 1602 1603
	return 0;
}

A
Alex Tomas 已提交
1604
/*
1605
 * ext4_ext_next_allocated_block:
1606
 * returns allocated block in subsequent extent or EXT_MAX_BLOCKS.
1607 1608 1609
 * NOTE: it considers block number from index entry as
 * allocated block. Thus, index entries have to be consistent
 * with leaves.
A
Alex Tomas 已提交
1610
 */
1611
ext4_lblk_t
A
Alex Tomas 已提交
1612 1613 1614 1615 1616 1617 1618 1619
ext4_ext_next_allocated_block(struct ext4_ext_path *path)
{
	int depth;

	BUG_ON(path == NULL);
	depth = path->p_depth;

	if (depth == 0 && path->p_ext == NULL)
1620
		return EXT_MAX_BLOCKS;
A
Alex Tomas 已提交
1621 1622 1623 1624

	while (depth >= 0) {
		if (depth == path->p_depth) {
			/* leaf */
1625 1626
			if (path[depth].p_ext &&
				path[depth].p_ext !=
A
Alex Tomas 已提交
1627 1628 1629 1630 1631 1632 1633 1634 1635 1636 1637
					EXT_LAST_EXTENT(path[depth].p_hdr))
			  return le32_to_cpu(path[depth].p_ext[1].ee_block);
		} else {
			/* index */
			if (path[depth].p_idx !=
					EXT_LAST_INDEX(path[depth].p_hdr))
			  return le32_to_cpu(path[depth].p_idx[1].ei_block);
		}
		depth--;
	}

1638
	return EXT_MAX_BLOCKS;
A
Alex Tomas 已提交
1639 1640 1641
}

/*
1642
 * ext4_ext_next_leaf_block:
1643
 * returns first allocated block from next leaf or EXT_MAX_BLOCKS
A
Alex Tomas 已提交
1644
 */
1645
static ext4_lblk_t ext4_ext_next_leaf_block(struct ext4_ext_path *path)
A
Alex Tomas 已提交
1646 1647 1648 1649 1650 1651 1652 1653
{
	int depth;

	BUG_ON(path == NULL);
	depth = path->p_depth;

	/* zero-tree has no leaf blocks at all */
	if (depth == 0)
1654
		return EXT_MAX_BLOCKS;
A
Alex Tomas 已提交
1655 1656 1657 1658 1659 1660 1661

	/* go to index block */
	depth--;

	while (depth >= 0) {
		if (path[depth].p_idx !=
				EXT_LAST_INDEX(path[depth].p_hdr))
A
Aneesh Kumar K.V 已提交
1662 1663
			return (ext4_lblk_t)
				le32_to_cpu(path[depth].p_idx[1].ei_block);
A
Alex Tomas 已提交
1664 1665 1666
		depth--;
	}

1667
	return EXT_MAX_BLOCKS;
A
Alex Tomas 已提交
1668 1669 1670
}

/*
1671 1672 1673
 * ext4_ext_correct_indexes:
 * if leaf gets modified and modified extent is first in the leaf,
 * then we have to correct all indexes above.
A
Alex Tomas 已提交
1674 1675
 * TODO: do we need to correct tree in all cases?
 */
A
Aneesh Kumar K.V 已提交
1676
static int ext4_ext_correct_indexes(handle_t *handle, struct inode *inode,
A
Alex Tomas 已提交
1677 1678 1679 1680 1681 1682 1683 1684 1685 1686
				struct ext4_ext_path *path)
{
	struct ext4_extent_header *eh;
	int depth = ext_depth(inode);
	struct ext4_extent *ex;
	__le32 border;
	int k, err = 0;

	eh = path[depth].p_hdr;
	ex = path[depth].p_ext;
1687 1688 1689 1690

	if (unlikely(ex == NULL || eh == NULL)) {
		EXT4_ERROR_INODE(inode,
				 "ex %p == NULL or eh %p == NULL", ex, eh);
1691
		return -EFSCORRUPTED;
1692
	}
A
Alex Tomas 已提交
1693 1694 1695 1696 1697 1698 1699 1700 1701 1702 1703 1704

	if (depth == 0) {
		/* there is no tree at all */
		return 0;
	}

	if (ex != EXT_FIRST_EXTENT(eh)) {
		/* we correct tree if first leaf got modified only */
		return 0;
	}

	/*
1705
	 * TODO: we need correction if border is smaller than current one
A
Alex Tomas 已提交
1706 1707 1708
	 */
	k = depth - 1;
	border = path[depth].p_ext->ee_block;
1709 1710
	err = ext4_ext_get_access(handle, inode, path + k);
	if (err)
A
Alex Tomas 已提交
1711 1712
		return err;
	path[k].p_idx->ei_block = border;
1713 1714
	err = ext4_ext_dirty(handle, inode, path + k);
	if (err)
A
Alex Tomas 已提交
1715 1716 1717 1718 1719 1720
		return err;

	while (k--) {
		/* change all left-side indexes */
		if (path[k+1].p_idx != EXT_FIRST_INDEX(path[k+1].p_hdr))
			break;
1721 1722
		err = ext4_ext_get_access(handle, inode, path + k);
		if (err)
A
Alex Tomas 已提交
1723 1724
			break;
		path[k].p_idx->ei_block = border;
1725 1726
		err = ext4_ext_dirty(handle, inode, path + k);
		if (err)
A
Alex Tomas 已提交
1727 1728 1729 1730 1731 1732
			break;
	}

	return err;
}

1733
int
A
Alex Tomas 已提交
1734 1735 1736
ext4_can_extents_be_merged(struct inode *inode, struct ext4_extent *ex1,
				struct ext4_extent *ex2)
{
1737
	unsigned short ext1_ee_len, ext2_ee_len;
A
Amit Arora 已提交
1738

1739
	if (ext4_ext_is_unwritten(ex1) != ext4_ext_is_unwritten(ex2))
A
Amit Arora 已提交
1740 1741 1742 1743 1744 1745
		return 0;

	ext1_ee_len = ext4_ext_get_actual_len(ex1);
	ext2_ee_len = ext4_ext_get_actual_len(ex2);

	if (le32_to_cpu(ex1->ee_block) + ext1_ee_len !=
A
Andrew Morton 已提交
1746
			le32_to_cpu(ex2->ee_block))
A
Alex Tomas 已提交
1747 1748
		return 0;

1749 1750 1751
	/*
	 * To allow future support for preallocated extents to be added
	 * as an RO_COMPAT feature, refuse to merge to extents if
1752
	 * this can result in the top bit of ee_len being set.
1753
	 */
1754
	if (ext1_ee_len + ext2_ee_len > EXT_INIT_MAX_LEN)
1755
		return 0;
1756 1757 1758 1759 1760 1761
	/*
	 * The check for IO to unwritten extent is somewhat racy as we
	 * increment i_unwritten / set EXT4_STATE_DIO_UNWRITTEN only after
	 * dropping i_data_sem. But reserved blocks should save us in that
	 * case.
	 */
1762
	if (ext4_ext_is_unwritten(ex1) &&
1763 1764
	    (ext4_test_inode_state(inode, EXT4_STATE_DIO_UNWRITTEN) ||
	     atomic_read(&EXT4_I(inode)->i_unwritten) ||
1765
	     (ext1_ee_len + ext2_ee_len > EXT_UNWRITTEN_MAX_LEN)))
1766
		return 0;
1767
#ifdef AGGRESSIVE_TEST
1768
	if (ext1_ee_len >= 4)
A
Alex Tomas 已提交
1769 1770 1771
		return 0;
#endif

1772
	if (ext4_ext_pblock(ex1) + ext1_ee_len == ext4_ext_pblock(ex2))
A
Alex Tomas 已提交
1773 1774 1775 1776
		return 1;
	return 0;
}

1777 1778 1779 1780 1781 1782 1783
/*
 * This function tries to merge the "ex" extent to the next extent in the tree.
 * It always tries to merge towards right. If you want to merge towards
 * left, pass "ex - 1" as argument instead of "ex".
 * Returns 0 if the extents (ex and ex+1) were _not_ merged and returns
 * 1 if they got merged.
 */
1784
static int ext4_ext_try_to_merge_right(struct inode *inode,
1785 1786
				 struct ext4_ext_path *path,
				 struct ext4_extent *ex)
1787 1788 1789
{
	struct ext4_extent_header *eh;
	unsigned int depth, len;
1790
	int merge_done = 0, unwritten;
1791 1792 1793 1794 1795 1796 1797 1798 1799

	depth = ext_depth(inode);
	BUG_ON(path[depth].p_hdr == NULL);
	eh = path[depth].p_hdr;

	while (ex < EXT_LAST_EXTENT(eh)) {
		if (!ext4_can_extents_be_merged(inode, ex, ex + 1))
			break;
		/* merge with next extent! */
1800
		unwritten = ext4_ext_is_unwritten(ex);
1801 1802
		ex->ee_len = cpu_to_le16(ext4_ext_get_actual_len(ex)
				+ ext4_ext_get_actual_len(ex + 1));
1803 1804
		if (unwritten)
			ext4_ext_mark_unwritten(ex);
1805 1806 1807 1808 1809 1810

		if (ex + 1 < EXT_LAST_EXTENT(eh)) {
			len = (EXT_LAST_EXTENT(eh) - ex - 1)
				* sizeof(struct ext4_extent);
			memmove(ex + 1, ex + 2, len);
		}
M
Marcin Slusarz 已提交
1811
		le16_add_cpu(&eh->eh_entries, -1);
1812 1813 1814
		merge_done = 1;
		WARN_ON(eh->eh_entries == 0);
		if (!eh->eh_entries)
1815
			EXT4_ERROR_INODE(inode, "eh->eh_entries = 0!");
1816 1817 1818 1819 1820
	}

	return merge_done;
}

1821 1822 1823 1824 1825 1826 1827 1828 1829 1830 1831 1832 1833 1834 1835 1836 1837 1838 1839 1840 1841 1842 1843 1844 1845 1846 1847 1848 1849 1850 1851 1852 1853
/*
 * This function does a very simple check to see if we can collapse
 * an extent tree with a single extent tree leaf block into the inode.
 */
static void ext4_ext_try_to_merge_up(handle_t *handle,
				     struct inode *inode,
				     struct ext4_ext_path *path)
{
	size_t s;
	unsigned max_root = ext4_ext_space_root(inode, 0);
	ext4_fsblk_t blk;

	if ((path[0].p_depth != 1) ||
	    (le16_to_cpu(path[0].p_hdr->eh_entries) != 1) ||
	    (le16_to_cpu(path[1].p_hdr->eh_entries) > max_root))
		return;

	/*
	 * We need to modify the block allocation bitmap and the block
	 * group descriptor to release the extent tree block.  If we
	 * can't get the journal credits, give up.
	 */
	if (ext4_journal_extend(handle, 2))
		return;

	/*
	 * Copy the extent data up to the inode
	 */
	blk = ext4_idx_pblock(path[0].p_idx);
	s = le16_to_cpu(path[1].p_hdr->eh_entries) *
		sizeof(struct ext4_extent_idx);
	s += sizeof(struct ext4_extent_header);

1854
	path[1].p_maxdepth = path[0].p_maxdepth;
1855 1856 1857 1858 1859 1860 1861 1862
	memcpy(path[0].p_hdr, path[1].p_hdr, s);
	path[0].p_depth = 0;
	path[0].p_ext = EXT_FIRST_EXTENT(path[0].p_hdr) +
		(path[1].p_ext - EXT_FIRST_EXTENT(path[1].p_hdr));
	path[0].p_hdr->eh_max = cpu_to_le16(max_root);

	brelse(path[1].p_bh);
	ext4_free_blocks(handle, inode, NULL, blk, 1,
1863
			 EXT4_FREE_BLOCKS_METADATA | EXT4_FREE_BLOCKS_FORGET);
1864 1865
}

1866 1867 1868 1869
/*
 * This function tries to merge the @ex extent to neighbours in the tree.
 * return 1 if merge left else 0.
 */
1870 1871
static void ext4_ext_try_to_merge(handle_t *handle,
				  struct inode *inode,
1872 1873 1874 1875 1876 1877 1878 1879 1880 1881 1882 1883 1884 1885
				  struct ext4_ext_path *path,
				  struct ext4_extent *ex) {
	struct ext4_extent_header *eh;
	unsigned int depth;
	int merge_done = 0;

	depth = ext_depth(inode);
	BUG_ON(path[depth].p_hdr == NULL);
	eh = path[depth].p_hdr;

	if (ex > EXT_FIRST_EXTENT(eh))
		merge_done = ext4_ext_try_to_merge_right(inode, path, ex - 1);

	if (!merge_done)
1886
		(void) ext4_ext_try_to_merge_right(inode, path, ex);
1887

1888
	ext4_ext_try_to_merge_up(handle, inode, path);
1889 1890
}

A
Amit Arora 已提交
1891 1892 1893 1894 1895 1896 1897 1898
/*
 * check if a portion of the "newext" extent overlaps with an
 * existing extent.
 *
 * If there is an overlap discovered, it updates the length of the newext
 * such that there will be no overlap, and then returns 1.
 * If there is no overlap found, it returns 0.
 */
1899 1900
static unsigned int ext4_ext_check_overlap(struct ext4_sb_info *sbi,
					   struct inode *inode,
1901 1902
					   struct ext4_extent *newext,
					   struct ext4_ext_path *path)
A
Amit Arora 已提交
1903
{
A
Aneesh Kumar K.V 已提交
1904
	ext4_lblk_t b1, b2;
A
Amit Arora 已提交
1905 1906 1907 1908
	unsigned int depth, len1;
	unsigned int ret = 0;

	b1 = le32_to_cpu(newext->ee_block);
A
Amit Arora 已提交
1909
	len1 = ext4_ext_get_actual_len(newext);
A
Amit Arora 已提交
1910 1911 1912
	depth = ext_depth(inode);
	if (!path[depth].p_ext)
		goto out;
1913
	b2 = EXT4_LBLK_CMASK(sbi, le32_to_cpu(path[depth].p_ext->ee_block));
A
Amit Arora 已提交
1914 1915 1916

	/*
	 * get the next allocated block if the extent in the path
1917
	 * is before the requested block(s)
A
Amit Arora 已提交
1918 1919 1920
	 */
	if (b2 < b1) {
		b2 = ext4_ext_next_allocated_block(path);
1921
		if (b2 == EXT_MAX_BLOCKS)
A
Amit Arora 已提交
1922
			goto out;
1923
		b2 = EXT4_LBLK_CMASK(sbi, b2);
A
Amit Arora 已提交
1924 1925
	}

A
Aneesh Kumar K.V 已提交
1926
	/* check for wrap through zero on extent logical start block*/
A
Amit Arora 已提交
1927
	if (b1 + len1 < b1) {
1928
		len1 = EXT_MAX_BLOCKS - b1;
A
Amit Arora 已提交
1929 1930 1931 1932 1933 1934 1935 1936 1937 1938 1939 1940 1941
		newext->ee_len = cpu_to_le16(len1);
		ret = 1;
	}

	/* check for overlap */
	if (b1 + len1 > b2) {
		newext->ee_len = cpu_to_le16(b2 - b1);
		ret = 1;
	}
out:
	return ret;
}

A
Alex Tomas 已提交
1942
/*
1943 1944 1945 1946
 * ext4_ext_insert_extent:
 * tries to merge requsted extent into the existing extent or
 * inserts requested extent as new one into the tree,
 * creating new leaf in the no-space case.
A
Alex Tomas 已提交
1947 1948
 */
int ext4_ext_insert_extent(handle_t *handle, struct inode *inode,
1949
				struct ext4_ext_path **ppath,
1950
				struct ext4_extent *newext, int gb_flags)
A
Alex Tomas 已提交
1951
{
1952
	struct ext4_ext_path *path = *ppath;
1953
	struct ext4_extent_header *eh;
A
Alex Tomas 已提交
1954 1955 1956
	struct ext4_extent *ex, *fex;
	struct ext4_extent *nearex; /* nearest extent */
	struct ext4_ext_path *npath = NULL;
A
Aneesh Kumar K.V 已提交
1957 1958
	int depth, len, err;
	ext4_lblk_t next;
1959
	int mb_flags = 0, unwritten;
A
Alex Tomas 已提交
1960

1961 1962
	if (gb_flags & EXT4_GET_BLOCKS_DELALLOC_RESERVE)
		mb_flags |= EXT4_MB_DELALLOC_RESERVED;
1963 1964
	if (unlikely(ext4_ext_get_actual_len(newext) == 0)) {
		EXT4_ERROR_INODE(inode, "ext4_ext_get_actual_len(newext) == 0");
1965
		return -EFSCORRUPTED;
1966
	}
A
Alex Tomas 已提交
1967 1968
	depth = ext_depth(inode);
	ex = path[depth].p_ext;
1969
	eh = path[depth].p_hdr;
1970 1971
	if (unlikely(path[depth].p_hdr == NULL)) {
		EXT4_ERROR_INODE(inode, "path[%d].p_hdr == NULL", depth);
1972
		return -EFSCORRUPTED;
1973
	}
A
Alex Tomas 已提交
1974 1975

	/* try to insert block into found extent and return */
1976
	if (ex && !(gb_flags & EXT4_GET_BLOCKS_PRE_IO)) {
A
Amit Arora 已提交
1977 1978

		/*
1979 1980
		 * Try to see whether we should rather test the extent on
		 * right from ex, or from the left of ex. This is because
1981
		 * ext4_find_extent() can return either extent on the
1982 1983
		 * left, or on the right from the searched position. This
		 * will make merging more effective.
A
Amit Arora 已提交
1984
		 */
1985 1986 1987 1988 1989 1990 1991 1992 1993 1994 1995 1996 1997 1998 1999 2000
		if (ex < EXT_LAST_EXTENT(eh) &&
		    (le32_to_cpu(ex->ee_block) +
		    ext4_ext_get_actual_len(ex) <
		    le32_to_cpu(newext->ee_block))) {
			ex += 1;
			goto prepend;
		} else if ((ex > EXT_FIRST_EXTENT(eh)) &&
			   (le32_to_cpu(newext->ee_block) +
			   ext4_ext_get_actual_len(newext) <
			   le32_to_cpu(ex->ee_block)))
			ex -= 1;

		/* Try to append newex to the ex */
		if (ext4_can_extents_be_merged(inode, ex, newext)) {
			ext_debug("append [%d]%d block to %u:[%d]%d"
				  "(from %llu)\n",
2001
				  ext4_ext_is_unwritten(newext),
2002 2003
				  ext4_ext_get_actual_len(newext),
				  le32_to_cpu(ex->ee_block),
2004
				  ext4_ext_is_unwritten(ex),
2005 2006 2007 2008 2009 2010
				  ext4_ext_get_actual_len(ex),
				  ext4_ext_pblock(ex));
			err = ext4_ext_get_access(handle, inode,
						  path + depth);
			if (err)
				return err;
2011
			unwritten = ext4_ext_is_unwritten(ex);
2012
			ex->ee_len = cpu_to_le16(ext4_ext_get_actual_len(ex)
A
Amit Arora 已提交
2013
					+ ext4_ext_get_actual_len(newext));
2014 2015
			if (unwritten)
				ext4_ext_mark_unwritten(ex);
2016 2017 2018 2019 2020 2021 2022 2023 2024 2025 2026
			eh = path[depth].p_hdr;
			nearex = ex;
			goto merge;
		}

prepend:
		/* Try to prepend newex to the ex */
		if (ext4_can_extents_be_merged(inode, newext, ex)) {
			ext_debug("prepend %u[%d]%d block to %u:[%d]%d"
				  "(from %llu)\n",
				  le32_to_cpu(newext->ee_block),
2027
				  ext4_ext_is_unwritten(newext),
2028 2029
				  ext4_ext_get_actual_len(newext),
				  le32_to_cpu(ex->ee_block),
2030
				  ext4_ext_is_unwritten(ex),
2031 2032 2033 2034 2035 2036 2037
				  ext4_ext_get_actual_len(ex),
				  ext4_ext_pblock(ex));
			err = ext4_ext_get_access(handle, inode,
						  path + depth);
			if (err)
				return err;

2038
			unwritten = ext4_ext_is_unwritten(ex);
2039 2040 2041 2042
			ex->ee_block = newext->ee_block;
			ext4_ext_store_pblock(ex, ext4_ext_pblock(newext));
			ex->ee_len = cpu_to_le16(ext4_ext_get_actual_len(ex)
					+ ext4_ext_get_actual_len(newext));
2043 2044
			if (unwritten)
				ext4_ext_mark_unwritten(ex);
2045 2046 2047 2048
			eh = path[depth].p_hdr;
			nearex = ex;
			goto merge;
		}
A
Alex Tomas 已提交
2049 2050 2051 2052 2053 2054 2055 2056 2057
	}

	depth = ext_depth(inode);
	eh = path[depth].p_hdr;
	if (le16_to_cpu(eh->eh_entries) < le16_to_cpu(eh->eh_max))
		goto has_space;

	/* probably next leaf has space for us? */
	fex = EXT_LAST_EXTENT(eh);
2058 2059
	next = EXT_MAX_BLOCKS;
	if (le32_to_cpu(newext->ee_block) > le32_to_cpu(fex->ee_block))
2060
		next = ext4_ext_next_leaf_block(path);
2061
	if (next != EXT_MAX_BLOCKS) {
2062
		ext_debug("next leaf block - %u\n", next);
A
Alex Tomas 已提交
2063
		BUG_ON(npath != NULL);
2064
		npath = ext4_find_extent(inode, next, NULL, 0);
A
Alex Tomas 已提交
2065 2066 2067 2068 2069
		if (IS_ERR(npath))
			return PTR_ERR(npath);
		BUG_ON(npath->p_depth != path->p_depth);
		eh = npath[depth].p_hdr;
		if (le16_to_cpu(eh->eh_entries) < le16_to_cpu(eh->eh_max)) {
L
Lucas De Marchi 已提交
2070
			ext_debug("next leaf isn't full(%d)\n",
A
Alex Tomas 已提交
2071 2072
				  le16_to_cpu(eh->eh_entries));
			path = npath;
2073
			goto has_space;
A
Alex Tomas 已提交
2074 2075 2076 2077 2078 2079
		}
		ext_debug("next leaf has no free space(%d,%d)\n",
			  le16_to_cpu(eh->eh_entries), le16_to_cpu(eh->eh_max));
	}

	/*
2080 2081
	 * There is no free space in the found leaf.
	 * We're gonna add a new leaf in the tree.
A
Alex Tomas 已提交
2082
	 */
2083
	if (gb_flags & EXT4_GET_BLOCKS_METADATA_NOFAIL)
2084
		mb_flags |= EXT4_MB_USE_RESERVED;
2085
	err = ext4_ext_create_new_leaf(handle, inode, mb_flags, gb_flags,
2086
				       ppath, newext);
A
Alex Tomas 已提交
2087 2088 2089 2090 2091 2092 2093 2094
	if (err)
		goto cleanup;
	depth = ext_depth(inode);
	eh = path[depth].p_hdr;

has_space:
	nearex = path[depth].p_ext;

2095 2096
	err = ext4_ext_get_access(handle, inode, path + depth);
	if (err)
A
Alex Tomas 已提交
2097 2098 2099 2100
		goto cleanup;

	if (!nearex) {
		/* there is no extent in this leaf, create first one */
2101
		ext_debug("first extent in the leaf: %u:%llu:[%d]%d\n",
D
Dave Kleikamp 已提交
2102
				le32_to_cpu(newext->ee_block),
2103
				ext4_ext_pblock(newext),
2104
				ext4_ext_is_unwritten(newext),
A
Amit Arora 已提交
2105
				ext4_ext_get_actual_len(newext));
2106 2107 2108
		nearex = EXT_FIRST_EXTENT(eh);
	} else {
		if (le32_to_cpu(newext->ee_block)
D
Dave Kleikamp 已提交
2109
			   > le32_to_cpu(nearex->ee_block)) {
2110
			/* Insert after */
2111 2112
			ext_debug("insert %u:%llu:[%d]%d before: "
					"nearest %p\n",
2113 2114
					le32_to_cpu(newext->ee_block),
					ext4_ext_pblock(newext),
2115
					ext4_ext_is_unwritten(newext),
2116 2117 2118 2119 2120 2121
					ext4_ext_get_actual_len(newext),
					nearex);
			nearex++;
		} else {
			/* Insert before */
			BUG_ON(newext->ee_block == nearex->ee_block);
2122 2123
			ext_debug("insert %u:%llu:[%d]%d after: "
					"nearest %p\n",
D
Dave Kleikamp 已提交
2124
					le32_to_cpu(newext->ee_block),
2125
					ext4_ext_pblock(newext),
2126
					ext4_ext_is_unwritten(newext),
A
Amit Arora 已提交
2127
					ext4_ext_get_actual_len(newext),
2128 2129 2130 2131
					nearex);
		}
		len = EXT_LAST_EXTENT(eh) - nearex + 1;
		if (len > 0) {
2132
			ext_debug("insert %u:%llu:[%d]%d: "
2133 2134 2135
					"move %d extents from 0x%p to 0x%p\n",
					le32_to_cpu(newext->ee_block),
					ext4_ext_pblock(newext),
2136
					ext4_ext_is_unwritten(newext),
2137 2138 2139 2140
					ext4_ext_get_actual_len(newext),
					len, nearex, nearex + 1);
			memmove(nearex + 1, nearex,
				len * sizeof(struct ext4_extent));
A
Alex Tomas 已提交
2141 2142 2143
		}
	}

M
Marcin Slusarz 已提交
2144
	le16_add_cpu(&eh->eh_entries, 1);
2145
	path[depth].p_ext = nearex;
A
Alex Tomas 已提交
2146
	nearex->ee_block = newext->ee_block;
2147
	ext4_ext_store_pblock(nearex, ext4_ext_pblock(newext));
A
Alex Tomas 已提交
2148 2149 2150
	nearex->ee_len = newext->ee_len;

merge:
2151
	/* try to merge extents */
2152
	if (!(gb_flags & EXT4_GET_BLOCKS_PRE_IO))
2153
		ext4_ext_try_to_merge(handle, inode, path, nearex);
A
Alex Tomas 已提交
2154 2155 2156 2157 2158 2159 2160


	/* time to correct all indexes above */
	err = ext4_ext_correct_indexes(handle, inode, path);
	if (err)
		goto cleanup;

2161
	err = ext4_ext_dirty(handle, inode, path + path->p_depth);
A
Alex Tomas 已提交
2162 2163

cleanup:
2164 2165
	ext4_ext_drop_refs(npath);
	kfree(npath);
A
Alex Tomas 已提交
2166 2167 2168
	return err;
}

2169 2170 2171
static int ext4_fill_fiemap_extents(struct inode *inode,
				    ext4_lblk_t block, ext4_lblk_t num,
				    struct fiemap_extent_info *fieinfo)
2172 2173 2174
{
	struct ext4_ext_path *path = NULL;
	struct ext4_extent *ex;
Z
Zheng Liu 已提交
2175
	struct extent_status es;
2176
	ext4_lblk_t next, next_del, start = 0, end = 0;
2177
	ext4_lblk_t last = block + num;
2178 2179 2180
	int exists, depth = 0, err = 0;
	unsigned int flags = 0;
	unsigned char blksize_bits = inode->i_sb->s_blocksize_bits;
2181

2182
	while (block < last && block != EXT_MAX_BLOCKS) {
2183 2184
		num = last - block;
		/* find extent for this block */
2185
		down_read(&EXT4_I(inode)->i_data_sem);
2186

2187
		path = ext4_find_extent(inode, block, &path, 0);
2188
		if (IS_ERR(path)) {
2189
			up_read(&EXT4_I(inode)->i_data_sem);
2190 2191 2192 2193 2194 2195
			err = PTR_ERR(path);
			path = NULL;
			break;
		}

		depth = ext_depth(inode);
2196
		if (unlikely(path[depth].p_hdr == NULL)) {
2197
			up_read(&EXT4_I(inode)->i_data_sem);
2198
			EXT4_ERROR_INODE(inode, "path[%d].p_hdr == NULL", depth);
2199
			err = -EFSCORRUPTED;
2200 2201
			break;
		}
2202 2203 2204
		ex = path[depth].p_ext;
		next = ext4_ext_next_allocated_block(path);

2205
		flags = 0;
2206 2207 2208 2209 2210 2211 2212 2213 2214 2215 2216 2217 2218 2219 2220 2221 2222 2223 2224 2225 2226 2227 2228 2229 2230 2231 2232 2233 2234 2235 2236 2237 2238 2239 2240 2241
		exists = 0;
		if (!ex) {
			/* there is no extent yet, so try to allocate
			 * all requested space */
			start = block;
			end = block + num;
		} else if (le32_to_cpu(ex->ee_block) > block) {
			/* need to allocate space before found extent */
			start = block;
			end = le32_to_cpu(ex->ee_block);
			if (block + num < end)
				end = block + num;
		} else if (block >= le32_to_cpu(ex->ee_block)
					+ ext4_ext_get_actual_len(ex)) {
			/* need to allocate space after found extent */
			start = block;
			end = block + num;
			if (end >= next)
				end = next;
		} else if (block >= le32_to_cpu(ex->ee_block)) {
			/*
			 * some part of requested space is covered
			 * by found extent
			 */
			start = block;
			end = le32_to_cpu(ex->ee_block)
				+ ext4_ext_get_actual_len(ex);
			if (block + num < end)
				end = block + num;
			exists = 1;
		} else {
			BUG();
		}
		BUG_ON(end <= start);

		if (!exists) {
Z
Zheng Liu 已提交
2242 2243 2244
			es.es_lblk = start;
			es.es_len = end - start;
			es.es_pblk = 0;
2245
		} else {
Z
Zheng Liu 已提交
2246 2247 2248
			es.es_lblk = le32_to_cpu(ex->ee_block);
			es.es_len = ext4_ext_get_actual_len(ex);
			es.es_pblk = ext4_ext_pblock(ex);
2249
			if (ext4_ext_is_unwritten(ex))
2250
				flags |= FIEMAP_EXTENT_UNWRITTEN;
2251 2252
		}

2253
		/*
Z
Zheng Liu 已提交
2254 2255
		 * Find delayed extent and update es accordingly. We call
		 * it even in !exists case to find out whether es is the
2256 2257
		 * last existing extent or not.
		 */
Z
Zheng Liu 已提交
2258
		next_del = ext4_find_delayed_extent(inode, &es);
2259 2260
		if (!exists && next_del) {
			exists = 1;
2261 2262
			flags |= (FIEMAP_EXTENT_DELALLOC |
				  FIEMAP_EXTENT_UNKNOWN);
2263 2264 2265
		}
		up_read(&EXT4_I(inode)->i_data_sem);

Z
Zheng Liu 已提交
2266 2267
		if (unlikely(es.es_len == 0)) {
			EXT4_ERROR_INODE(inode, "es.es_len == 0");
2268
			err = -EFSCORRUPTED;
2269 2270
			break;
		}
2271

2272 2273 2274 2275 2276 2277 2278 2279 2280 2281 2282 2283
		/*
		 * This is possible iff next == next_del == EXT_MAX_BLOCKS.
		 * we need to check next == EXT_MAX_BLOCKS because it is
		 * possible that an extent is with unwritten and delayed
		 * status due to when an extent is delayed allocated and
		 * is allocated by fallocate status tree will track both of
		 * them in a extent.
		 *
		 * So we could return a unwritten and delayed extent, and
		 * its block is equal to 'next'.
		 */
		if (next == next_del && next == EXT_MAX_BLOCKS) {
2284 2285 2286 2287 2288 2289 2290
			flags |= FIEMAP_EXTENT_LAST;
			if (unlikely(next_del != EXT_MAX_BLOCKS ||
				     next != EXT_MAX_BLOCKS)) {
				EXT4_ERROR_INODE(inode,
						 "next extent == %u, next "
						 "delalloc extent = %u",
						 next, next_del);
2291
				err = -EFSCORRUPTED;
2292 2293
				break;
			}
2294 2295
		}

2296 2297
		if (exists) {
			err = fiemap_fill_next_extent(fieinfo,
Z
Zheng Liu 已提交
2298 2299 2300
				(__u64)es.es_lblk << blksize_bits,
				(__u64)es.es_pblk << blksize_bits,
				(__u64)es.es_len << blksize_bits,
2301 2302 2303 2304 2305 2306 2307
				flags);
			if (err < 0)
				break;
			if (err == 1) {
				err = 0;
				break;
			}
2308 2309
		}

Z
Zheng Liu 已提交
2310
		block = es.es_lblk + es.es_len;
2311 2312
	}

2313 2314
	ext4_ext_drop_refs(path);
	kfree(path);
2315 2316 2317
	return err;
}

A
Alex Tomas 已提交
2318
/*
2319 2320 2321 2322 2323 2324 2325 2326 2327 2328 2329
 * ext4_ext_determine_hole - determine hole around given block
 * @inode:	inode we lookup in
 * @path:	path in extent tree to @lblk
 * @lblk:	pointer to logical block around which we want to determine hole
 *
 * Determine hole length (and start if easily possible) around given logical
 * block. We don't try too hard to find the beginning of the hole but @path
 * actually points to extent before @lblk, we provide it.
 *
 * The function returns the length of a hole starting at @lblk. We update @lblk
 * to the beginning of the hole if we managed to find it.
A
Alex Tomas 已提交
2330
 */
2331 2332 2333
static ext4_lblk_t ext4_ext_determine_hole(struct inode *inode,
					   struct ext4_ext_path *path,
					   ext4_lblk_t *lblk)
A
Alex Tomas 已提交
2334 2335 2336
{
	int depth = ext_depth(inode);
	struct ext4_extent *ex;
2337
	ext4_lblk_t len;
A
Alex Tomas 已提交
2338 2339 2340

	ex = path[depth].p_ext;
	if (ex == NULL) {
2341
		/* there is no extent yet, so gap is [0;-] */
2342
		*lblk = 0;
2343
		len = EXT_MAX_BLOCKS;
2344 2345 2346
	} else if (*lblk < le32_to_cpu(ex->ee_block)) {
		len = le32_to_cpu(ex->ee_block) - *lblk;
	} else if (*lblk >= le32_to_cpu(ex->ee_block)
A
Amit Arora 已提交
2347
			+ ext4_ext_get_actual_len(ex)) {
A
Aneesh Kumar K.V 已提交
2348 2349
		ext4_lblk_t next;

2350
		*lblk = le32_to_cpu(ex->ee_block) + ext4_ext_get_actual_len(ex);
A
Aneesh Kumar K.V 已提交
2351
		next = ext4_ext_next_allocated_block(path);
2352 2353
		BUG_ON(next == *lblk);
		len = next - *lblk;
A
Alex Tomas 已提交
2354 2355 2356
	} else {
		BUG();
	}
2357 2358
	return len;
}
A
Alex Tomas 已提交
2359

2360 2361 2362 2363 2364 2365 2366 2367 2368 2369 2370
/*
 * ext4_ext_put_gap_in_cache:
 * calculate boundaries of the gap that the requested block fits into
 * and cache this gap
 */
static void
ext4_ext_put_gap_in_cache(struct inode *inode, ext4_lblk_t hole_start,
			  ext4_lblk_t hole_len)
{
	struct extent_status es;

2371 2372
	ext4_es_find_extent_range(inode, &ext4_es_is_delayed, hole_start,
				  hole_start + hole_len - 1, &es);
2373 2374
	if (es.es_len) {
		/* There's delayed extent containing lblock? */
2375
		if (es.es_lblk <= hole_start)
2376
			return;
2377
		hole_len = min(es.es_lblk - hole_start, hole_len);
2378
	}
2379 2380 2381
	ext_debug(" -> %u:%u\n", hole_start, hole_len);
	ext4_es_insert_extent(inode, hole_start, hole_len, ~0,
			      EXTENT_STATUS_HOLE);
A
Alex Tomas 已提交
2382 2383 2384
}

/*
2385 2386
 * ext4_ext_rm_idx:
 * removes index from the index block.
A
Alex Tomas 已提交
2387
 */
A
Aneesh Kumar K.V 已提交
2388
static int ext4_ext_rm_idx(handle_t *handle, struct inode *inode,
2389
			struct ext4_ext_path *path, int depth)
A
Alex Tomas 已提交
2390 2391
{
	int err;
2392
	ext4_fsblk_t leaf;
A
Alex Tomas 已提交
2393 2394

	/* free index block */
2395 2396
	depth--;
	path = path + depth;
2397
	leaf = ext4_idx_pblock(path->p_idx);
2398 2399
	if (unlikely(path->p_hdr->eh_entries == 0)) {
		EXT4_ERROR_INODE(inode, "path->p_hdr->eh_entries == 0");
2400
		return -EFSCORRUPTED;
2401
	}
2402 2403
	err = ext4_ext_get_access(handle, inode, path);
	if (err)
A
Alex Tomas 已提交
2404
		return err;
2405 2406 2407 2408 2409 2410 2411

	if (path->p_idx != EXT_LAST_INDEX(path->p_hdr)) {
		int len = EXT_LAST_INDEX(path->p_hdr) - path->p_idx;
		len *= sizeof(struct ext4_extent_idx);
		memmove(path->p_idx, path->p_idx + 1, len);
	}

M
Marcin Slusarz 已提交
2412
	le16_add_cpu(&path->p_hdr->eh_entries, -1);
2413 2414
	err = ext4_ext_dirty(handle, inode, path);
	if (err)
A
Alex Tomas 已提交
2415
		return err;
2416
	ext_debug("index is empty, remove it, free block %llu\n", leaf);
2417 2418
	trace_ext4_ext_rm_idx(inode, leaf);

2419
	ext4_free_blocks(handle, inode, NULL, leaf, 1,
2420
			 EXT4_FREE_BLOCKS_METADATA | EXT4_FREE_BLOCKS_FORGET);
2421 2422 2423 2424 2425 2426 2427 2428 2429 2430 2431 2432 2433

	while (--depth >= 0) {
		if (path->p_idx != EXT_FIRST_INDEX(path->p_hdr))
			break;
		path--;
		err = ext4_ext_get_access(handle, inode, path);
		if (err)
			break;
		path->p_idx->ei_block = (path+1)->p_idx->ei_block;
		err = ext4_ext_dirty(handle, inode, path);
		if (err)
			break;
	}
A
Alex Tomas 已提交
2434 2435 2436 2437
	return err;
}

/*
2438 2439 2440 2441 2442
 * ext4_ext_calc_credits_for_single_extent:
 * This routine returns max. credits that needed to insert an extent
 * to the extent tree.
 * When pass the actual path, the caller should calculate credits
 * under i_data_sem.
A
Alex Tomas 已提交
2443
 */
2444
int ext4_ext_calc_credits_for_single_extent(struct inode *inode, int nrblocks,
A
Alex Tomas 已提交
2445 2446 2447
						struct ext4_ext_path *path)
{
	if (path) {
2448
		int depth = ext_depth(inode);
2449
		int ret = 0;
2450

A
Alex Tomas 已提交
2451 2452
		/* probably there is space in leaf? */
		if (le16_to_cpu(path[depth].p_hdr->eh_entries)
2453
				< le16_to_cpu(path[depth].p_hdr->eh_max)) {
A
Alex Tomas 已提交
2454

2455 2456 2457 2458 2459
			/*
			 *  There are some space in the leaf tree, no
			 *  need to account for leaf block credit
			 *
			 *  bitmaps and block group descriptor blocks
2460
			 *  and other metadata blocks still need to be
2461 2462
			 *  accounted.
			 */
2463
			/* 1 bitmap, 1 block group descriptor */
2464
			ret = 2 + EXT4_META_TRANS_BLOCKS(inode->i_sb);
2465
			return ret;
2466 2467
		}
	}
A
Alex Tomas 已提交
2468

2469
	return ext4_chunk_trans_blocks(inode, nrblocks);
2470
}
A
Alex Tomas 已提交
2471

2472
/*
2473
 * How many index/leaf blocks need to change/allocate to add @extents extents?
2474
 *
2475 2476
 * If we add a single extent, then in the worse case, each tree level
 * index/leaf need to be changed in case of the tree split.
2477
 *
2478 2479
 * If more extents are inserted, they could cause the whole tree split more
 * than once, but this is really rare.
2480
 */
2481
int ext4_ext_index_trans_blocks(struct inode *inode, int extents)
2482 2483
{
	int index;
2484 2485 2486 2487 2488 2489 2490
	int depth;

	/* If we are converting the inline data, only one is needed here. */
	if (ext4_has_inline_data(inode))
		return 1;

	depth = ext_depth(inode);
A
Alex Tomas 已提交
2491

2492
	if (extents <= 1)
2493 2494 2495
		index = depth * 2;
	else
		index = depth * 3;
A
Alex Tomas 已提交
2496

2497
	return index;
A
Alex Tomas 已提交
2498 2499
}

2500 2501
static inline int get_default_free_blocks_flags(struct inode *inode)
{
2502 2503
	if (S_ISDIR(inode->i_mode) || S_ISLNK(inode->i_mode) ||
	    ext4_test_inode_flag(inode, EXT4_INODE_EA_INODE))
2504 2505 2506 2507 2508 2509
		return EXT4_FREE_BLOCKS_METADATA | EXT4_FREE_BLOCKS_FORGET;
	else if (ext4_should_journal_data(inode))
		return EXT4_FREE_BLOCKS_FORGET;
	return 0;
}

2510 2511 2512 2513 2514 2515 2516 2517 2518 2519 2520 2521 2522 2523 2524 2525 2526 2527 2528 2529 2530 2531 2532 2533 2534 2535 2536 2537 2538 2539 2540
/*
 * ext4_rereserve_cluster - increment the reserved cluster count when
 *                          freeing a cluster with a pending reservation
 *
 * @inode - file containing the cluster
 * @lblk - logical block in cluster to be reserved
 *
 * Increments the reserved cluster count and adjusts quota in a bigalloc
 * file system when freeing a partial cluster containing at least one
 * delayed and unwritten block.  A partial cluster meeting that
 * requirement will have a pending reservation.  If so, the
 * RERESERVE_CLUSTER flag is used when calling ext4_free_blocks() to
 * defer reserved and allocated space accounting to a subsequent call
 * to this function.
 */
static void ext4_rereserve_cluster(struct inode *inode, ext4_lblk_t lblk)
{
	struct ext4_sb_info *sbi = EXT4_SB(inode->i_sb);
	struct ext4_inode_info *ei = EXT4_I(inode);

	dquot_reclaim_block(inode, EXT4_C2B(sbi, 1));

	spin_lock(&ei->i_block_reservation_lock);
	ei->i_reserved_data_blocks++;
	percpu_counter_add(&sbi->s_dirtyclusters_counter, 1);
	spin_unlock(&ei->i_block_reservation_lock);

	percpu_counter_add(&sbi->s_freeclusters_counter, 1);
	ext4_remove_pending(inode, lblk);
}

A
Alex Tomas 已提交
2541
static int ext4_remove_blocks(handle_t *handle, struct inode *inode,
2542
			      struct ext4_extent *ex,
2543
			      struct partial_cluster *partial,
2544
			      ext4_lblk_t from, ext4_lblk_t to)
A
Alex Tomas 已提交
2545
{
2546
	struct ext4_sb_info *sbi = EXT4_SB(inode->i_sb);
2547
	unsigned short ee_len = ext4_ext_get_actual_len(ex);
2548 2549 2550 2551 2552 2553 2554 2555 2556 2557 2558 2559 2560 2561 2562 2563 2564 2565 2566 2567 2568 2569 2570 2571 2572 2573 2574
	ext4_fsblk_t last_pblk, pblk;
	ext4_lblk_t num;
	int flags;

	/* only extent tail removal is allowed */
	if (from < le32_to_cpu(ex->ee_block) ||
	    to != le32_to_cpu(ex->ee_block) + ee_len - 1) {
		ext4_error(sbi->s_sb,
			   "strange request: removal(2) %u-%u from %u:%u",
			   from, to, le32_to_cpu(ex->ee_block), ee_len);
		return 0;
	}

#ifdef EXTENTS_STATS
	spin_lock(&sbi->s_ext_stats_lock);
	sbi->s_ext_blocks += ee_len;
	sbi->s_ext_extents++;
	if (ee_len < sbi->s_ext_min)
		sbi->s_ext_min = ee_len;
	if (ee_len > sbi->s_ext_max)
		sbi->s_ext_max = ee_len;
	if (ext_depth(inode) > sbi->s_depth_max)
		sbi->s_depth_max = ext_depth(inode);
	spin_unlock(&sbi->s_ext_stats_lock);
#endif

	trace_ext4_remove_blocks(inode, ex, from, to, partial);
2575

2576
	/*
2577 2578
	 * if we have a partial cluster, and it's different from the
	 * cluster of the last block in the extent, we free it
2579
	 */
2580 2581 2582 2583 2584 2585 2586 2587 2588 2589 2590 2591 2592 2593 2594 2595 2596 2597 2598
	last_pblk = ext4_ext_pblock(ex) + ee_len - 1;

	if (partial->state != initial &&
	    partial->pclu != EXT4_B2C(sbi, last_pblk)) {
		if (partial->state == tofree) {
			flags = get_default_free_blocks_flags(inode);
			if (ext4_is_pending(inode, partial->lblk))
				flags |= EXT4_FREE_BLOCKS_RERESERVE_CLUSTER;
			ext4_free_blocks(handle, inode, NULL,
					 EXT4_C2B(sbi, partial->pclu),
					 sbi->s_cluster_ratio, flags);
			if (flags & EXT4_FREE_BLOCKS_RERESERVE_CLUSTER)
				ext4_rereserve_cluster(inode, partial->lblk);
		}
		partial->state = initial;
	}

	num = le32_to_cpu(ex->ee_block) + ee_len - from;
	pblk = ext4_ext_pblock(ex) + ee_len - num;
2599 2600

	/*
2601 2602 2603 2604
	 * We free the partial cluster at the end of the extent (if any),
	 * unless the cluster is used by another extent (partial_cluster
	 * state is nofree).  If a partial cluster exists here, it must be
	 * shared with the last block in the extent.
2605
	 */
2606 2607 2608 2609 2610 2611 2612 2613
	flags = get_default_free_blocks_flags(inode);

	/* partial, left end cluster aligned, right end unaligned */
	if ((EXT4_LBLK_COFF(sbi, to) != sbi->s_cluster_ratio - 1) &&
	    (EXT4_LBLK_CMASK(sbi, to) >= from) &&
	    (partial->state != nofree)) {
		if (ext4_is_pending(inode, to))
			flags |= EXT4_FREE_BLOCKS_RERESERVE_CLUSTER;
2614
		ext4_free_blocks(handle, inode, NULL,
2615
				 EXT4_PBLK_CMASK(sbi, last_pblk),
2616
				 sbi->s_cluster_ratio, flags);
2617 2618 2619 2620
		if (flags & EXT4_FREE_BLOCKS_RERESERVE_CLUSTER)
			ext4_rereserve_cluster(inode, to);
		partial->state = initial;
		flags = get_default_free_blocks_flags(inode);
2621 2622
	}

2623
	flags |= EXT4_FREE_BLOCKS_NOFREE_LAST_CLUSTER;
2624

2625 2626 2627 2628 2629 2630 2631 2632 2633 2634 2635 2636 2637 2638 2639 2640 2641 2642 2643 2644 2645 2646 2647 2648 2649 2650 2651 2652
	/*
	 * For bigalloc file systems, we never free a partial cluster
	 * at the beginning of the extent.  Instead, we check to see if we
	 * need to free it on a subsequent call to ext4_remove_blocks,
	 * or at the end of ext4_ext_rm_leaf or ext4_ext_remove_space.
	 */
	flags |= EXT4_FREE_BLOCKS_NOFREE_FIRST_CLUSTER;
	ext4_free_blocks(handle, inode, NULL, pblk, num, flags);

	/* reset the partial cluster if we've freed past it */
	if (partial->state != initial && partial->pclu != EXT4_B2C(sbi, pblk))
		partial->state = initial;

	/*
	 * If we've freed the entire extent but the beginning is not left
	 * cluster aligned and is not marked as ineligible for freeing we
	 * record the partial cluster at the beginning of the extent.  It
	 * wasn't freed by the preceding ext4_free_blocks() call, and we
	 * need to look farther to the left to determine if it's to be freed
	 * (not shared with another extent). Else, reset the partial
	 * cluster - we're either  done freeing or the beginning of the
	 * extent is left cluster aligned.
	 */
	if (EXT4_LBLK_COFF(sbi, from) && num == ee_len) {
		if (partial->state == initial) {
			partial->pclu = EXT4_B2C(sbi, pblk);
			partial->lblk = from;
			partial->state = tofree;
2653
		}
2654 2655 2656 2657
	} else {
		partial->state = initial;
	}

A
Alex Tomas 已提交
2658 2659 2660
	return 0;
}

A
Allison Henderson 已提交
2661 2662
/*
 * ext4_ext_rm_leaf() Removes the extents associated with the
2663 2664
 * blocks appearing between "start" and "end".  Both "start"
 * and "end" must appear in the same extent or EIO is returned.
A
Allison Henderson 已提交
2665 2666 2667 2668
 *
 * @handle: The journal handle
 * @inode:  The files inode
 * @path:   The path to the leaf
2669
 * @partial_cluster: The cluster which we'll have to free if all extents
2670 2671 2672
 *                   has been released from it.  However, if this value is
 *                   negative, it's a cluster just to the right of the
 *                   punched region and it must not be freed.
A
Allison Henderson 已提交
2673 2674 2675
 * @start:  The first block to remove
 * @end:   The last block to remove
 */
A
Alex Tomas 已提交
2676 2677
static int
ext4_ext_rm_leaf(handle_t *handle, struct inode *inode,
2678
		 struct ext4_ext_path *path,
2679
		 struct partial_cluster *partial,
2680
		 ext4_lblk_t start, ext4_lblk_t end)
A
Alex Tomas 已提交
2681
{
2682
	struct ext4_sb_info *sbi = EXT4_SB(inode->i_sb);
A
Alex Tomas 已提交
2683 2684 2685
	int err = 0, correct_index = 0;
	int depth = ext_depth(inode), credits;
	struct ext4_extent_header *eh;
2686
	ext4_lblk_t a, b;
A
Aneesh Kumar K.V 已提交
2687 2688
	unsigned num;
	ext4_lblk_t ex_ee_block;
A
Alex Tomas 已提交
2689
	unsigned short ex_ee_len;
2690
	unsigned unwritten = 0;
A
Alex Tomas 已提交
2691
	struct ext4_extent *ex;
2692
	ext4_fsblk_t pblk;
A
Alex Tomas 已提交
2693

2694
	/* the header must be checked already in ext4_ext_remove_space() */
2695
	ext_debug("truncate since %u in leaf to %u\n", start, end);
A
Alex Tomas 已提交
2696 2697 2698
	if (!path[depth].p_hdr)
		path[depth].p_hdr = ext_block_hdr(path[depth].p_bh);
	eh = path[depth].p_hdr;
2699 2700
	if (unlikely(path[depth].p_hdr == NULL)) {
		EXT4_ERROR_INODE(inode, "path[%d].p_hdr == NULL", depth);
2701
		return -EFSCORRUPTED;
2702
	}
A
Alex Tomas 已提交
2703
	/* find where to start removing */
2704 2705 2706
	ex = path[depth].p_ext;
	if (!ex)
		ex = EXT_LAST_EXTENT(eh);
A
Alex Tomas 已提交
2707 2708

	ex_ee_block = le32_to_cpu(ex->ee_block);
A
Amit Arora 已提交
2709
	ex_ee_len = ext4_ext_get_actual_len(ex);
A
Alex Tomas 已提交
2710

2711
	trace_ext4_ext_rm_leaf(inode, start, ex, partial);
2712

A
Alex Tomas 已提交
2713 2714
	while (ex >= EXT_FIRST_EXTENT(eh) &&
			ex_ee_block + ex_ee_len > start) {
2715

2716 2717
		if (ext4_ext_is_unwritten(ex))
			unwritten = 1;
2718
		else
2719
			unwritten = 0;
2720

2721
		ext_debug("remove ext %u:[%d]%d\n", ex_ee_block,
2722
			  unwritten, ex_ee_len);
A
Alex Tomas 已提交
2723 2724 2725
		path[depth].p_ext = ex;

		a = ex_ee_block > start ? ex_ee_block : start;
A
Allison Henderson 已提交
2726 2727
		b = ex_ee_block+ex_ee_len - 1 < end ?
			ex_ee_block+ex_ee_len - 1 : end;
A
Alex Tomas 已提交
2728 2729 2730

		ext_debug("  border %u:%u\n", a, b);

A
Allison Henderson 已提交
2731
		/* If this extent is beyond the end of the hole, skip it */
2732
		if (end < ex_ee_block) {
2733 2734
			/*
			 * We're going to skip this extent and move to another,
2735 2736 2737 2738
			 * so note that its first cluster is in use to avoid
			 * freeing it when removing blocks.  Eventually, the
			 * right edge of the truncated/punched region will
			 * be just to the left.
2739
			 */
2740 2741
			if (sbi->s_cluster_ratio > 1) {
				pblk = ext4_ext_pblock(ex);
2742 2743
				partial->pclu = EXT4_B2C(sbi, pblk);
				partial->state = nofree;
2744
			}
A
Allison Henderson 已提交
2745 2746 2747 2748
			ex--;
			ex_ee_block = le32_to_cpu(ex->ee_block);
			ex_ee_len = ext4_ext_get_actual_len(ex);
			continue;
2749
		} else if (b != ex_ee_block + ex_ee_len - 1) {
2750 2751 2752 2753 2754
			EXT4_ERROR_INODE(inode,
					 "can not handle truncate %u:%u "
					 "on extent %u:%u",
					 start, end, ex_ee_block,
					 ex_ee_block + ex_ee_len - 1);
2755
			err = -EFSCORRUPTED;
2756
			goto out;
A
Alex Tomas 已提交
2757 2758
		} else if (a != ex_ee_block) {
			/* remove tail of the extent */
2759
			num = a - ex_ee_block;
A
Alex Tomas 已提交
2760 2761 2762 2763
		} else {
			/* remove whole extent: excellent! */
			num = 0;
		}
2764 2765 2766 2767 2768 2769 2770
		/*
		 * 3 for leaf, sb, and inode plus 2 (bmap and group
		 * descriptor) for each block group; assume two block
		 * groups plus ex_ee_len/blocks_per_block_group for
		 * the worst case
		 */
		credits = 7 + 2*(ex_ee_len/EXT4_BLOCKS_PER_GROUP(inode->i_sb));
A
Alex Tomas 已提交
2771 2772 2773 2774
		if (ex == EXT_FIRST_EXTENT(eh)) {
			correct_index = 1;
			credits += (ext_depth(inode)) + 1;
		}
D
Dmitry Monakhov 已提交
2775
		credits += EXT4_MAXQUOTAS_TRANS_BLOCKS(inode->i_sb);
A
Alex Tomas 已提交
2776

2777
		err = ext4_ext_truncate_extend_restart(handle, inode, credits);
2778
		if (err)
A
Alex Tomas 已提交
2779 2780 2781 2782 2783 2784
			goto out;

		err = ext4_ext_get_access(handle, inode, path + depth);
		if (err)
			goto out;

2785
		err = ext4_remove_blocks(handle, inode, ex, partial, a, b);
A
Alex Tomas 已提交
2786 2787 2788
		if (err)
			goto out;

2789
		if (num == 0)
2790
			/* this extent is removed; mark slot entirely unused */
2791
			ext4_ext_store_pblock(ex, 0);
A
Alex Tomas 已提交
2792 2793

		ex->ee_len = cpu_to_le16(num);
2794
		/*
2795
		 * Do not mark unwritten if all the blocks in the
2796 2797
		 * extent have been removed.
		 */
2798 2799
		if (unwritten && num)
			ext4_ext_mark_unwritten(ex);
A
Allison Henderson 已提交
2800 2801 2802 2803 2804
		/*
		 * If the extent was completely released,
		 * we need to remove it from the leaf
		 */
		if (num == 0) {
2805
			if (end != EXT_MAX_BLOCKS - 1) {
A
Allison Henderson 已提交
2806 2807 2808 2809 2810 2811 2812 2813 2814 2815 2816 2817 2818
				/*
				 * For hole punching, we need to scoot all the
				 * extents up when an extent is removed so that
				 * we dont have blank extents in the middle
				 */
				memmove(ex, ex+1, (EXT_LAST_EXTENT(eh) - ex) *
					sizeof(struct ext4_extent));

				/* Now get rid of the one at the end */
				memset(EXT_LAST_EXTENT(eh), 0,
					sizeof(struct ext4_extent));
			}
			le16_add_cpu(&eh->eh_entries, -1);
2819
		}
A
Allison Henderson 已提交
2820

2821 2822 2823 2824
		err = ext4_ext_dirty(handle, inode, path + depth);
		if (err)
			goto out;

2825
		ext_debug("new extent: %u:%u:%llu\n", ex_ee_block, num,
2826
				ext4_ext_pblock(ex));
A
Alex Tomas 已提交
2827 2828
		ex--;
		ex_ee_block = le32_to_cpu(ex->ee_block);
A
Amit Arora 已提交
2829
		ex_ee_len = ext4_ext_get_actual_len(ex);
A
Alex Tomas 已提交
2830 2831 2832 2833 2834
	}

	if (correct_index && eh->eh_entries)
		err = ext4_ext_correct_indexes(handle, inode, path);

2835
	/*
2836 2837
	 * If there's a partial cluster and at least one extent remains in
	 * the leaf, free the partial cluster if it isn't shared with the
2838
	 * current extent.  If it is shared with the current extent
2839
	 * we reset the partial cluster because we've reached the start of the
2840
	 * truncated/punched region and we're done removing blocks.
2841
	 */
2842
	if (partial->state == tofree && ex >= EXT_FIRST_EXTENT(eh)) {
2843
		pblk = ext4_ext_pblock(ex) + ex_ee_len - 1;
2844 2845 2846 2847 2848
		if (partial->pclu != EXT4_B2C(sbi, pblk)) {
			int flags = get_default_free_blocks_flags(inode);

			if (ext4_is_pending(inode, partial->lblk))
				flags |= EXT4_FREE_BLOCKS_RERESERVE_CLUSTER;
2849
			ext4_free_blocks(handle, inode, NULL,
2850 2851 2852 2853
					 EXT4_C2B(sbi, partial->pclu),
					 sbi->s_cluster_ratio, flags);
			if (flags & EXT4_FREE_BLOCKS_RERESERVE_CLUSTER)
				ext4_rereserve_cluster(inode, partial->lblk);
2854
		}
2855
		partial->state = initial;
2856 2857
	}

A
Alex Tomas 已提交
2858 2859 2860
	/* if this leaf is free, then we should
	 * remove it from index block above */
	if (err == 0 && eh->eh_entries == 0 && path[depth].p_bh != NULL)
2861
		err = ext4_ext_rm_idx(handle, inode, path, depth);
A
Alex Tomas 已提交
2862 2863 2864 2865 2866 2867

out:
	return err;
}

/*
2868 2869
 * ext4_ext_more_to_rm:
 * returns 1 if current index has to be freed (even partial)
A
Alex Tomas 已提交
2870
 */
2871
static int
A
Alex Tomas 已提交
2872 2873 2874 2875 2876 2877 2878 2879
ext4_ext_more_to_rm(struct ext4_ext_path *path)
{
	BUG_ON(path->p_idx == NULL);

	if (path->p_idx < EXT_FIRST_INDEX(path->p_hdr))
		return 0;

	/*
2880
	 * if truncate on deeper level happened, it wasn't partial,
A
Alex Tomas 已提交
2881 2882 2883 2884 2885 2886 2887
	 * so we have to consider current index for truncation
	 */
	if (le16_to_cpu(path->p_hdr->eh_entries) == path->p_block)
		return 0;
	return 1;
}

T
Theodore Ts'o 已提交
2888 2889
int ext4_ext_remove_space(struct inode *inode, ext4_lblk_t start,
			  ext4_lblk_t end)
A
Alex Tomas 已提交
2890
{
2891
	struct ext4_sb_info *sbi = EXT4_SB(inode->i_sb);
A
Alex Tomas 已提交
2892
	int depth = ext_depth(inode);
2893
	struct ext4_ext_path *path = NULL;
2894
	struct partial_cluster partial;
A
Alex Tomas 已提交
2895
	handle_t *handle;
2896
	int i = 0, err = 0;
A
Alex Tomas 已提交
2897

2898 2899 2900 2901
	partial.pclu = 0;
	partial.lblk = 0;
	partial.state = initial;

2902
	ext_debug("truncate since %u to %u\n", start, end);
A
Alex Tomas 已提交
2903 2904

	/* probably first extent we're gonna free will be last in block */
2905
	handle = ext4_journal_start(inode, EXT4_HT_TRUNCATE, depth + 1);
A
Alex Tomas 已提交
2906 2907 2908
	if (IS_ERR(handle))
		return PTR_ERR(handle);

2909
again:
2910
	trace_ext4_ext_remove_space(inode, start, end, depth);
2911

2912 2913 2914 2915 2916 2917 2918 2919 2920
	/*
	 * Check if we are removing extents inside the extent tree. If that
	 * is the case, we are going to punch a hole inside the extent tree
	 * so we have to check whether we need to split the extent covering
	 * the last block to remove so we can easily remove the part of it
	 * in ext4_ext_rm_leaf().
	 */
	if (end < EXT_MAX_BLOCKS - 1) {
		struct ext4_extent *ex;
2921 2922
		ext4_lblk_t ee_block, ex_end, lblk;
		ext4_fsblk_t pblk;
2923

2924
		/* find extent for or closest extent to this block */
2925
		path = ext4_find_extent(inode, end, NULL, EXT4_EX_NOCACHE);
2926 2927 2928 2929 2930
		if (IS_ERR(path)) {
			ext4_journal_stop(handle);
			return PTR_ERR(path);
		}
		depth = ext_depth(inode);
2931
		/* Leaf not may not exist only if inode has no blocks at all */
2932
		ex = path[depth].p_ext;
2933
		if (!ex) {
2934 2935 2936 2937
			if (depth) {
				EXT4_ERROR_INODE(inode,
						 "path[%d].p_hdr == NULL",
						 depth);
2938
				err = -EFSCORRUPTED;
2939 2940
			}
			goto out;
2941
		}
2942 2943

		ee_block = le32_to_cpu(ex->ee_block);
2944
		ex_end = ee_block + ext4_ext_get_actual_len(ex) - 1;
2945 2946 2947 2948 2949 2950 2951

		/*
		 * See if the last block is inside the extent, if so split
		 * the extent at 'end' block so we can easily remove the
		 * tail of the first part of the split extent in
		 * ext4_ext_rm_leaf().
		 */
2952 2953 2954 2955 2956 2957 2958 2959 2960
		if (end >= ee_block && end < ex_end) {

			/*
			 * If we're going to split the extent, note that
			 * the cluster containing the block after 'end' is
			 * in use to avoid freeing it when removing blocks.
			 */
			if (sbi->s_cluster_ratio > 1) {
				pblk = ext4_ext_pblock(ex) + end - ee_block + 2;
2961 2962
				partial.pclu = EXT4_B2C(sbi, pblk);
				partial.state = nofree;
2963 2964
			}

2965 2966
			/*
			 * Split the extent in two so that 'end' is the last
L
Lukas Czerner 已提交
2967 2968 2969
			 * block in the first new extent. Also we should not
			 * fail removing space due to ENOSPC so try to use
			 * reserved block if that happens.
2970
			 */
2971
			err = ext4_force_split_extent_at(handle, inode, &path,
2972
							 end + 1, 1);
2973 2974
			if (err < 0)
				goto out;
2975 2976 2977 2978 2979 2980 2981 2982 2983 2984 2985 2986 2987 2988 2989

		} else if (sbi->s_cluster_ratio > 1 && end >= ex_end) {
			/*
			 * If there's an extent to the right its first cluster
			 * contains the immediate right boundary of the
			 * truncated/punched region.  Set partial_cluster to
			 * its negative value so it won't be freed if shared
			 * with the current extent.  The end < ee_block case
			 * is handled in ext4_ext_rm_leaf().
			 */
			lblk = ex_end + 1;
			err = ext4_ext_search_right(inode, path, &lblk, &pblk,
						    &ex);
			if (err)
				goto out;
2990 2991 2992 2993
			if (pblk) {
				partial.pclu = EXT4_B2C(sbi, pblk);
				partial.state = nofree;
			}
2994 2995
		}
	}
A
Alex Tomas 已提交
2996
	/*
2997 2998
	 * We start scanning from right side, freeing all the blocks
	 * after i_size and walking into the tree depth-wise.
A
Alex Tomas 已提交
2999
	 */
3000
	depth = ext_depth(inode);
3001 3002 3003 3004 3005 3006
	if (path) {
		int k = i = depth;
		while (--k > 0)
			path[k].p_block =
				le16_to_cpu(path[k].p_hdr->eh_entries)+1;
	} else {
K
Kees Cook 已提交
3007
		path = kcalloc(depth + 1, sizeof(struct ext4_ext_path),
3008 3009 3010 3011 3012
			       GFP_NOFS);
		if (path == NULL) {
			ext4_journal_stop(handle);
			return -ENOMEM;
		}
3013
		path[0].p_maxdepth = path[0].p_depth = depth;
3014
		path[0].p_hdr = ext_inode_hdr(inode);
3015
		i = 0;
3016

3017
		if (ext4_ext_check(inode, path[0].p_hdr, depth, 0)) {
3018
			err = -EFSCORRUPTED;
3019 3020
			goto out;
		}
A
Alex Tomas 已提交
3021
	}
3022
	err = 0;
A
Alex Tomas 已提交
3023 3024 3025 3026

	while (i >= 0 && err == 0) {
		if (i == depth) {
			/* this is leaf block */
A
Allison Henderson 已提交
3027
			err = ext4_ext_rm_leaf(handle, inode, path,
3028
					       &partial, start, end);
3029
			/* root level has p_bh == NULL, brelse() eats this */
A
Alex Tomas 已提交
3030 3031 3032 3033 3034 3035 3036 3037 3038 3039 3040 3041 3042
			brelse(path[i].p_bh);
			path[i].p_bh = NULL;
			i--;
			continue;
		}

		/* this is index block */
		if (!path[i].p_hdr) {
			ext_debug("initialize header\n");
			path[i].p_hdr = ext_block_hdr(path[i].p_bh);
		}

		if (!path[i].p_idx) {
3043
			/* this level hasn't been touched yet */
A
Alex Tomas 已提交
3044 3045 3046 3047 3048 3049
			path[i].p_idx = EXT_LAST_INDEX(path[i].p_hdr);
			path[i].p_block = le16_to_cpu(path[i].p_hdr->eh_entries)+1;
			ext_debug("init index ptr: hdr 0x%p, num %d\n",
				  path[i].p_hdr,
				  le16_to_cpu(path[i].p_hdr->eh_entries));
		} else {
3050
			/* we were already here, see at next index */
A
Alex Tomas 已提交
3051 3052 3053 3054 3055 3056 3057
			path[i].p_idx--;
		}

		ext_debug("level %d - index, first 0x%p, cur 0x%p\n",
				i, EXT_FIRST_INDEX(path[i].p_hdr),
				path[i].p_idx);
		if (ext4_ext_more_to_rm(path + i)) {
3058
			struct buffer_head *bh;
A
Alex Tomas 已提交
3059
			/* go to the next level */
3060
			ext_debug("move to level %d (block %llu)\n",
3061
				  i + 1, ext4_idx_pblock(path[i].p_idx));
A
Alex Tomas 已提交
3062
			memset(path + i + 1, 0, sizeof(*path));
3063
			bh = read_extent_tree_block(inode,
3064 3065
				ext4_idx_pblock(path[i].p_idx), depth - i - 1,
				EXT4_EX_NOCACHE);
3066
			if (IS_ERR(bh)) {
A
Alex Tomas 已提交
3067
				/* should we reset i_size? */
3068
				err = PTR_ERR(bh);
A
Alex Tomas 已提交
3069 3070
				break;
			}
T
Theodore Ts'o 已提交
3071 3072 3073
			/* Yield here to deal with large extent trees.
			 * Should be a no-op if we did IO above. */
			cond_resched();
3074
			if (WARN_ON(i + 1 > depth)) {
3075
				err = -EFSCORRUPTED;
3076 3077 3078
				break;
			}
			path[i + 1].p_bh = bh;
A
Alex Tomas 已提交
3079

3080 3081
			/* save actual number of indexes since this
			 * number is changed at the next iteration */
A
Alex Tomas 已提交
3082 3083 3084
			path[i].p_block = le16_to_cpu(path[i].p_hdr->eh_entries);
			i++;
		} else {
3085
			/* we finished processing this index, go up */
A
Alex Tomas 已提交
3086
			if (path[i].p_hdr->eh_entries == 0 && i > 0) {
3087
				/* index is empty, remove it;
A
Alex Tomas 已提交
3088 3089
				 * handle must be already prepared by the
				 * truncatei_leaf() */
3090
				err = ext4_ext_rm_idx(handle, inode, path, i);
A
Alex Tomas 已提交
3091
			}
3092
			/* root level has p_bh == NULL, brelse() eats this */
A
Alex Tomas 已提交
3093 3094 3095 3096 3097 3098 3099
			brelse(path[i].p_bh);
			path[i].p_bh = NULL;
			i--;
			ext_debug("return to level %d\n", i);
		}
	}

3100 3101
	trace_ext4_ext_remove_space_done(inode, start, end, depth, &partial,
					 path->p_hdr->eh_entries);
3102

3103
	/*
3104 3105
	 * if there's a partial cluster and we have removed the first extent
	 * in the file, then we also free the partial cluster, if any
3106
	 */
3107 3108 3109 3110 3111
	if (partial.state == tofree && err == 0) {
		int flags = get_default_free_blocks_flags(inode);

		if (ext4_is_pending(inode, partial.lblk))
			flags |= EXT4_FREE_BLOCKS_RERESERVE_CLUSTER;
3112
		ext4_free_blocks(handle, inode, NULL,
3113 3114 3115 3116 3117
				 EXT4_C2B(sbi, partial.pclu),
				 sbi->s_cluster_ratio, flags);
		if (flags & EXT4_FREE_BLOCKS_RERESERVE_CLUSTER)
			ext4_rereserve_cluster(inode, partial.lblk);
		partial.state = initial;
3118 3119
	}

A
Alex Tomas 已提交
3120 3121 3122
	/* TODO: flexible tree reduction should be here */
	if (path->p_hdr->eh_entries == 0) {
		/*
3123 3124
		 * truncate to zero freed all the tree,
		 * so we need to correct eh_depth
A
Alex Tomas 已提交
3125 3126 3127 3128 3129
		 */
		err = ext4_ext_get_access(handle, inode, path);
		if (err == 0) {
			ext_inode_hdr(inode)->eh_depth = 0;
			ext_inode_hdr(inode)->eh_max =
3130
				cpu_to_le16(ext4_ext_space_root(inode, 0));
A
Alex Tomas 已提交
3131 3132 3133 3134
			err = ext4_ext_dirty(handle, inode, path);
		}
	}
out:
3135 3136 3137
	ext4_ext_drop_refs(path);
	kfree(path);
	path = NULL;
3138 3139
	if (err == -EAGAIN)
		goto again;
A
Alex Tomas 已提交
3140 3141 3142 3143 3144 3145 3146 3147 3148 3149 3150 3151 3152 3153
	ext4_journal_stop(handle);

	return err;
}

/*
 * called at mount time
 */
void ext4_ext_init(struct super_block *sb)
{
	/*
	 * possible initialization would be here
	 */

3154
	if (ext4_has_feature_extents(sb)) {
3155
#if defined(AGGRESSIVE_TEST) || defined(CHECK_BINSEARCH) || defined(EXTENTS_STATS)
3156
		printk(KERN_INFO "EXT4-fs: file extents enabled"
3157
#ifdef AGGRESSIVE_TEST
3158
		       ", aggressive tests"
A
Alex Tomas 已提交
3159 3160
#endif
#ifdef CHECK_BINSEARCH
3161
		       ", check binsearch"
A
Alex Tomas 已提交
3162 3163
#endif
#ifdef EXTENTS_STATS
3164
		       ", stats"
A
Alex Tomas 已提交
3165
#endif
3166
		       "\n");
3167
#endif
A
Alex Tomas 已提交
3168 3169 3170 3171 3172 3173 3174 3175 3176 3177 3178 3179 3180
#ifdef EXTENTS_STATS
		spin_lock_init(&EXT4_SB(sb)->s_ext_stats_lock);
		EXT4_SB(sb)->s_ext_min = 1 << 30;
		EXT4_SB(sb)->s_ext_max = 0;
#endif
	}
}

/*
 * called at umount time
 */
void ext4_ext_release(struct super_block *sb)
{
3181
	if (!ext4_has_feature_extents(sb))
A
Alex Tomas 已提交
3182 3183 3184 3185 3186 3187 3188 3189 3190 3191 3192 3193 3194 3195
		return;

#ifdef EXTENTS_STATS
	if (EXT4_SB(sb)->s_ext_blocks && EXT4_SB(sb)->s_ext_extents) {
		struct ext4_sb_info *sbi = EXT4_SB(sb);
		printk(KERN_ERR "EXT4-fs: %lu blocks in %lu extents (%lu ave)\n",
			sbi->s_ext_blocks, sbi->s_ext_extents,
			sbi->s_ext_blocks / sbi->s_ext_extents);
		printk(KERN_ERR "EXT4-fs: extents: %lu min, %lu max, max depth %lu\n",
			sbi->s_ext_min, sbi->s_ext_max, sbi->s_depth_max);
	}
#endif
}

Z
Zheng Liu 已提交
3196 3197 3198 3199 3200 3201 3202 3203 3204 3205 3206 3207 3208 3209 3210 3211 3212
static int ext4_zeroout_es(struct inode *inode, struct ext4_extent *ex)
{
	ext4_lblk_t  ee_block;
	ext4_fsblk_t ee_pblock;
	unsigned int ee_len;

	ee_block  = le32_to_cpu(ex->ee_block);
	ee_len    = ext4_ext_get_actual_len(ex);
	ee_pblock = ext4_ext_pblock(ex);

	if (ee_len == 0)
		return 0;

	return ext4_es_insert_extent(inode, ee_block, ee_len, ee_pblock,
				     EXTENT_STATUS_WRITTEN);
}

3213 3214 3215
/* FIXME!! we need to try to merge to left or right after zero-out  */
static int ext4_ext_zeroout(struct inode *inode, struct ext4_extent *ex)
{
3216 3217
	ext4_fsblk_t ee_pblock;
	unsigned int ee_len;
3218 3219

	ee_len    = ext4_ext_get_actual_len(ex);
3220
	ee_pblock = ext4_ext_pblock(ex);
J
Jan Kara 已提交
3221 3222
	return ext4_issue_zeroout(inode, le32_to_cpu(ex->ee_block), ee_pblock,
				  ee_len);
3223 3224
}

3225 3226 3227 3228 3229 3230 3231 3232
/*
 * ext4_split_extent_at() splits an extent at given block.
 *
 * @handle: the journal handle
 * @inode: the file inode
 * @path: the path to the extent
 * @split: the logical block where the extent is splitted.
 * @split_flags: indicates if the extent could be zeroout if split fails, and
3233
 *		 the states(init or unwritten) of new extents.
3234 3235 3236 3237 3238 3239 3240 3241 3242 3243 3244 3245 3246 3247
 * @flags: flags used to insert new extent to extent tree.
 *
 *
 * Splits extent [a, b] into two extents [a, @split) and [@split, b], states
 * of which are deterimined by split_flag.
 *
 * There are two cases:
 *  a> the extent are splitted into two extent.
 *  b> split is not needed, and just mark the extent.
 *
 * return 0 on success.
 */
static int ext4_split_extent_at(handle_t *handle,
			     struct inode *inode,
3248
			     struct ext4_ext_path **ppath,
3249 3250 3251 3252
			     ext4_lblk_t split,
			     int split_flag,
			     int flags)
{
3253
	struct ext4_ext_path *path = *ppath;
3254 3255
	ext4_fsblk_t newblock;
	ext4_lblk_t ee_block;
3256
	struct ext4_extent *ex, newex, orig_ex, zero_ex;
3257 3258 3259 3260
	struct ext4_extent *ex2 = NULL;
	unsigned int ee_len, depth;
	int err = 0;

3261 3262 3263
	BUG_ON((split_flag & (EXT4_EXT_DATA_VALID1 | EXT4_EXT_DATA_VALID2)) ==
	       (EXT4_EXT_DATA_VALID1 | EXT4_EXT_DATA_VALID2));

3264 3265 3266 3267 3268 3269 3270 3271 3272 3273 3274 3275
	ext_debug("ext4_split_extents_at: inode %lu, logical"
		"block %llu\n", inode->i_ino, (unsigned long long)split);

	ext4_ext_show_leaf(inode, path);

	depth = ext_depth(inode);
	ex = path[depth].p_ext;
	ee_block = le32_to_cpu(ex->ee_block);
	ee_len = ext4_ext_get_actual_len(ex);
	newblock = split - ee_block + ext4_ext_pblock(ex);

	BUG_ON(split < ee_block || split >= (ee_block + ee_len));
3276
	BUG_ON(!ext4_ext_is_unwritten(ex) &&
3277
	       split_flag & (EXT4_EXT_MAY_ZEROOUT |
3278 3279
			     EXT4_EXT_MARK_UNWRIT1 |
			     EXT4_EXT_MARK_UNWRIT2));
3280 3281 3282 3283 3284 3285 3286 3287 3288 3289 3290

	err = ext4_ext_get_access(handle, inode, path + depth);
	if (err)
		goto out;

	if (split == ee_block) {
		/*
		 * case b: block @split is the block that the extent begins with
		 * then we just change the state of the extent, and splitting
		 * is not needed.
		 */
3291 3292
		if (split_flag & EXT4_EXT_MARK_UNWRIT2)
			ext4_ext_mark_unwritten(ex);
3293 3294 3295 3296
		else
			ext4_ext_mark_initialized(ex);

		if (!(flags & EXT4_GET_BLOCKS_PRE_IO))
3297
			ext4_ext_try_to_merge(handle, inode, path, ex);
3298

3299
		err = ext4_ext_dirty(handle, inode, path + path->p_depth);
3300 3301 3302 3303 3304 3305
		goto out;
	}

	/* case a */
	memcpy(&orig_ex, ex, sizeof(orig_ex));
	ex->ee_len = cpu_to_le16(split - ee_block);
3306 3307
	if (split_flag & EXT4_EXT_MARK_UNWRIT1)
		ext4_ext_mark_unwritten(ex);
3308 3309 3310 3311 3312 3313 3314 3315 3316 3317 3318 3319 3320

	/*
	 * path may lead to new leaf, not to original leaf any more
	 * after ext4_ext_insert_extent() returns,
	 */
	err = ext4_ext_dirty(handle, inode, path + depth);
	if (err)
		goto fix_extent_len;

	ex2 = &newex;
	ex2->ee_block = cpu_to_le32(split);
	ex2->ee_len   = cpu_to_le16(ee_len - (split - ee_block));
	ext4_ext_store_pblock(ex2, newblock);
3321 3322
	if (split_flag & EXT4_EXT_MARK_UNWRIT2)
		ext4_ext_mark_unwritten(ex2);
3323

3324
	err = ext4_ext_insert_extent(handle, inode, ppath, &newex, flags);
3325
	if (err == -ENOSPC && (EXT4_EXT_MAY_ZEROOUT & split_flag)) {
3326
		if (split_flag & (EXT4_EXT_DATA_VALID1|EXT4_EXT_DATA_VALID2)) {
3327
			if (split_flag & EXT4_EXT_DATA_VALID1) {
3328
				err = ext4_ext_zeroout(inode, ex2);
3329
				zero_ex.ee_block = ex2->ee_block;
3330 3331
				zero_ex.ee_len = cpu_to_le16(
						ext4_ext_get_actual_len(ex2));
3332 3333 3334
				ext4_ext_store_pblock(&zero_ex,
						      ext4_ext_pblock(ex2));
			} else {
3335
				err = ext4_ext_zeroout(inode, ex);
3336
				zero_ex.ee_block = ex->ee_block;
3337 3338
				zero_ex.ee_len = cpu_to_le16(
						ext4_ext_get_actual_len(ex));
3339 3340 3341 3342
				ext4_ext_store_pblock(&zero_ex,
						      ext4_ext_pblock(ex));
			}
		} else {
3343
			err = ext4_ext_zeroout(inode, &orig_ex);
3344
			zero_ex.ee_block = orig_ex.ee_block;
3345 3346
			zero_ex.ee_len = cpu_to_le16(
						ext4_ext_get_actual_len(&orig_ex));
3347 3348 3349
			ext4_ext_store_pblock(&zero_ex,
					      ext4_ext_pblock(&orig_ex));
		}
3350

3351 3352 3353
		if (err)
			goto fix_extent_len;
		/* update the extent length and mark as initialized */
3354
		ex->ee_len = cpu_to_le16(ee_len);
3355 3356
		ext4_ext_try_to_merge(handle, inode, path, ex);
		err = ext4_ext_dirty(handle, inode, path + path->p_depth);
3357 3358 3359 3360
		if (err)
			goto fix_extent_len;

		/* update extent status tree */
Z
Zheng Liu 已提交
3361
		err = ext4_zeroout_es(inode, &zero_ex);
3362

3363 3364 3365 3366 3367 3368 3369 3370 3371 3372
		goto out;
	} else if (err)
		goto fix_extent_len;

out:
	ext4_ext_show_leaf(inode, path);
	return err;

fix_extent_len:
	ex->ee_len = orig_ex.ee_len;
D
Dmitry Monakhov 已提交
3373
	ext4_ext_dirty(handle, inode, path + path->p_depth);
3374 3375 3376 3377 3378 3379 3380
	return err;
}

/*
 * ext4_split_extents() splits an extent and mark extent which is covered
 * by @map as split_flags indicates
 *
3381
 * It may result in splitting the extent into multiple extents (up to three)
3382 3383 3384 3385 3386 3387 3388 3389
 * There are three possibilities:
 *   a> There is no split required
 *   b> Splits in two extents: Split is happening at either end of the extent
 *   c> Splits in three extents: Somone is splitting in middle of the extent
 *
 */
static int ext4_split_extent(handle_t *handle,
			      struct inode *inode,
3390
			      struct ext4_ext_path **ppath,
3391 3392 3393 3394
			      struct ext4_map_blocks *map,
			      int split_flag,
			      int flags)
{
3395
	struct ext4_ext_path *path = *ppath;
3396 3397 3398 3399
	ext4_lblk_t ee_block;
	struct ext4_extent *ex;
	unsigned int ee_len, depth;
	int err = 0;
3400
	int unwritten;
3401
	int split_flag1, flags1;
3402
	int allocated = map->m_len;
3403 3404 3405 3406 3407

	depth = ext_depth(inode);
	ex = path[depth].p_ext;
	ee_block = le32_to_cpu(ex->ee_block);
	ee_len = ext4_ext_get_actual_len(ex);
3408
	unwritten = ext4_ext_is_unwritten(ex);
3409 3410

	if (map->m_lblk + map->m_len < ee_block + ee_len) {
3411
		split_flag1 = split_flag & EXT4_EXT_MAY_ZEROOUT;
3412
		flags1 = flags | EXT4_GET_BLOCKS_PRE_IO;
3413 3414 3415
		if (unwritten)
			split_flag1 |= EXT4_EXT_MARK_UNWRIT1 |
				       EXT4_EXT_MARK_UNWRIT2;
3416 3417
		if (split_flag & EXT4_EXT_DATA_VALID2)
			split_flag1 |= EXT4_EXT_DATA_VALID1;
3418
		err = ext4_split_extent_at(handle, inode, ppath,
3419
				map->m_lblk + map->m_len, split_flag1, flags1);
3420 3421
		if (err)
			goto out;
3422 3423
	} else {
		allocated = ee_len - (map->m_lblk - ee_block);
3424
	}
3425 3426 3427 3428
	/*
	 * Update path is required because previous ext4_split_extent_at() may
	 * result in split of original leaf or extent zeroout.
	 */
3429
	path = ext4_find_extent(inode, map->m_lblk, ppath, 0);
3430 3431
	if (IS_ERR(path))
		return PTR_ERR(path);
3432 3433
	depth = ext_depth(inode);
	ex = path[depth].p_ext;
3434 3435 3436
	if (!ex) {
		EXT4_ERROR_INODE(inode, "unexpected hole at %lu",
				 (unsigned long) map->m_lblk);
3437
		return -EFSCORRUPTED;
3438
	}
3439
	unwritten = ext4_ext_is_unwritten(ex);
3440
	split_flag1 = 0;
3441 3442

	if (map->m_lblk >= ee_block) {
3443
		split_flag1 = split_flag & EXT4_EXT_DATA_VALID2;
3444 3445
		if (unwritten) {
			split_flag1 |= EXT4_EXT_MARK_UNWRIT1;
3446
			split_flag1 |= split_flag & (EXT4_EXT_MAY_ZEROOUT |
3447
						     EXT4_EXT_MARK_UNWRIT2);
3448
		}
3449
		err = ext4_split_extent_at(handle, inode, ppath,
3450 3451 3452 3453 3454 3455 3456
				map->m_lblk, split_flag1, flags);
		if (err)
			goto out;
	}

	ext4_ext_show_leaf(inode, path);
out:
3457
	return err ? err : allocated;
3458 3459
}

3460
/*
3461
 * This function is called by ext4_ext_map_blocks() if someone tries to write
3462
 * to an unwritten extent. It may result in splitting the unwritten
L
Lucas De Marchi 已提交
3463
 * extent into multiple extents (up to three - one initialized and two
3464
 * unwritten).
3465 3466 3467 3468
 * There are three possibilities:
 *   a> There is no split required: Entire extent should be initialized
 *   b> Splits in two extents: Write is happening at either end of the extent
 *   c> Splits in three extents: Somone is writing in middle of the extent
3469 3470
 *
 * Pre-conditions:
3471
 *  - The extent pointed to by 'path' is unwritten.
3472 3473 3474 3475 3476 3477 3478
 *  - The extent pointed to by 'path' contains a superset
 *    of the logical span [map->m_lblk, map->m_lblk + map->m_len).
 *
 * Post-conditions on success:
 *  - the returned value is the number of blocks beyond map->l_lblk
 *    that are allocated and initialized.
 *    It is guaranteed to be >= map->m_len.
3479
 */
A
Aneesh Kumar K.V 已提交
3480
static int ext4_ext_convert_to_initialized(handle_t *handle,
3481 3482
					   struct inode *inode,
					   struct ext4_map_blocks *map,
3483
					   struct ext4_ext_path **ppath,
L
Lukas Czerner 已提交
3484
					   int flags)
3485
{
3486
	struct ext4_ext_path *path = *ppath;
3487
	struct ext4_sb_info *sbi;
3488
	struct ext4_extent_header *eh;
3489
	struct ext4_map_blocks split_map;
3490
	struct ext4_extent zero_ex1, zero_ex2;
3491
	struct ext4_extent *ex, *abut_ex;
3492
	ext4_lblk_t ee_block, eof_block;
3493 3494
	unsigned int ee_len, depth, map_len = map->m_len;
	int allocated = 0, max_zeroout = 0;
3495
	int err = 0;
3496
	int split_flag = EXT4_EXT_DATA_VALID2;
3497 3498 3499

	ext_debug("ext4_ext_convert_to_initialized: inode %lu, logical"
		"block %llu, max_blocks %u\n", inode->i_ino,
3500
		(unsigned long long)map->m_lblk, map_len);
3501

3502
	sbi = EXT4_SB(inode->i_sb);
3503 3504
	eof_block = (inode->i_size + inode->i_sb->s_blocksize - 1) >>
		inode->i_sb->s_blocksize_bits;
3505 3506
	if (eof_block < map->m_lblk + map_len)
		eof_block = map->m_lblk + map_len;
3507 3508

	depth = ext_depth(inode);
3509
	eh = path[depth].p_hdr;
3510 3511 3512
	ex = path[depth].p_ext;
	ee_block = le32_to_cpu(ex->ee_block);
	ee_len = ext4_ext_get_actual_len(ex);
3513 3514
	zero_ex1.ee_len = 0;
	zero_ex2.ee_len = 0;
3515

3516 3517 3518
	trace_ext4_ext_convert_to_initialized_enter(inode, map, ex);

	/* Pre-conditions */
3519
	BUG_ON(!ext4_ext_is_unwritten(ex));
3520 3521 3522 3523
	BUG_ON(!in_range(map->m_lblk, ee_block, ee_len));

	/*
	 * Attempt to transfer newly initialized blocks from the currently
3524
	 * unwritten extent to its neighbor. This is much cheaper
3525
	 * than an insertion followed by a merge as those involve costly
3526 3527 3528
	 * memmove() calls. Transferring to the left is the common case in
	 * steady state for workloads doing fallocate(FALLOC_FL_KEEP_SIZE)
	 * followed by append writes.
3529 3530
	 *
	 * Limitations of the current logic:
3531
	 *  - L1: we do not deal with writes covering the whole extent.
3532 3533
	 *    This would require removing the extent if the transfer
	 *    is possible.
3534
	 *  - L2: we only attempt to merge with an extent stored in the
3535 3536
	 *    same extent tree node.
	 */
3537 3538 3539 3540
	if ((map->m_lblk == ee_block) &&
		/* See if we can merge left */
		(map_len < ee_len) &&		/*L1*/
		(ex > EXT_FIRST_EXTENT(eh))) {	/*L2*/
3541 3542
		ext4_lblk_t prev_lblk;
		ext4_fsblk_t prev_pblk, ee_pblk;
3543
		unsigned int prev_len;
3544

3545 3546 3547 3548
		abut_ex = ex - 1;
		prev_lblk = le32_to_cpu(abut_ex->ee_block);
		prev_len = ext4_ext_get_actual_len(abut_ex);
		prev_pblk = ext4_ext_pblock(abut_ex);
3549 3550 3551
		ee_pblk = ext4_ext_pblock(ex);

		/*
3552
		 * A transfer of blocks from 'ex' to 'abut_ex' is allowed
3553
		 * upon those conditions:
3554 3555 3556 3557
		 * - C1: abut_ex is initialized,
		 * - C2: abut_ex is logically abutting ex,
		 * - C3: abut_ex is physically abutting ex,
		 * - C4: abut_ex can receive the additional blocks without
3558 3559
		 *   overflowing the (initialized) length limit.
		 */
3560
		if ((!ext4_ext_is_unwritten(abut_ex)) &&		/*C1*/
3561 3562
			((prev_lblk + prev_len) == ee_block) &&		/*C2*/
			((prev_pblk + prev_len) == ee_pblk) &&		/*C3*/
3563
			(prev_len < (EXT_INIT_MAX_LEN - map_len))) {	/*C4*/
3564 3565 3566 3567 3568
			err = ext4_ext_get_access(handle, inode, path + depth);
			if (err)
				goto out;

			trace_ext4_ext_convert_to_initialized_fastpath(inode,
3569
				map, ex, abut_ex);
3570

3571 3572 3573 3574
			/* Shift the start of ex by 'map_len' blocks */
			ex->ee_block = cpu_to_le32(ee_block + map_len);
			ext4_ext_store_pblock(ex, ee_pblk + map_len);
			ex->ee_len = cpu_to_le16(ee_len - map_len);
3575
			ext4_ext_mark_unwritten(ex); /* Restore the flag */
3576

3577 3578
			/* Extend abut_ex by 'map_len' blocks */
			abut_ex->ee_len = cpu_to_le16(prev_len + map_len);
3579

3580 3581 3582 3583 3584 3585 3586 3587 3588 3589 3590 3591 3592 3593 3594 3595
			/* Result: number of initialized blocks past m_lblk */
			allocated = map_len;
		}
	} else if (((map->m_lblk + map_len) == (ee_block + ee_len)) &&
		   (map_len < ee_len) &&	/*L1*/
		   ex < EXT_LAST_EXTENT(eh)) {	/*L2*/
		/* See if we can merge right */
		ext4_lblk_t next_lblk;
		ext4_fsblk_t next_pblk, ee_pblk;
		unsigned int next_len;

		abut_ex = ex + 1;
		next_lblk = le32_to_cpu(abut_ex->ee_block);
		next_len = ext4_ext_get_actual_len(abut_ex);
		next_pblk = ext4_ext_pblock(abut_ex);
		ee_pblk = ext4_ext_pblock(ex);
3596

3597 3598 3599 3600 3601 3602 3603 3604 3605
		/*
		 * A transfer of blocks from 'ex' to 'abut_ex' is allowed
		 * upon those conditions:
		 * - C1: abut_ex is initialized,
		 * - C2: abut_ex is logically abutting ex,
		 * - C3: abut_ex is physically abutting ex,
		 * - C4: abut_ex can receive the additional blocks without
		 *   overflowing the (initialized) length limit.
		 */
3606
		if ((!ext4_ext_is_unwritten(abut_ex)) &&		/*C1*/
3607 3608 3609 3610 3611 3612 3613 3614 3615 3616 3617 3618 3619 3620
		    ((map->m_lblk + map_len) == next_lblk) &&		/*C2*/
		    ((ee_pblk + ee_len) == next_pblk) &&		/*C3*/
		    (next_len < (EXT_INIT_MAX_LEN - map_len))) {	/*C4*/
			err = ext4_ext_get_access(handle, inode, path + depth);
			if (err)
				goto out;

			trace_ext4_ext_convert_to_initialized_fastpath(inode,
				map, ex, abut_ex);

			/* Shift the start of abut_ex by 'map_len' blocks */
			abut_ex->ee_block = cpu_to_le32(next_lblk - map_len);
			ext4_ext_store_pblock(abut_ex, next_pblk - map_len);
			ex->ee_len = cpu_to_le16(ee_len - map_len);
3621
			ext4_ext_mark_unwritten(ex); /* Restore the flag */
3622 3623 3624

			/* Extend abut_ex by 'map_len' blocks */
			abut_ex->ee_len = cpu_to_le16(next_len + map_len);
3625 3626

			/* Result: number of initialized blocks past m_lblk */
3627
			allocated = map_len;
3628 3629
		}
	}
3630 3631 3632 3633 3634 3635 3636 3637 3638
	if (allocated) {
		/* Mark the block containing both extents as dirty */
		ext4_ext_dirty(handle, inode, path + depth);

		/* Update path to point to the right extent */
		path[depth].p_ext = abut_ex;
		goto out;
	} else
		allocated = ee_len - (map->m_lblk - ee_block);
3639

3640
	WARN_ON(map->m_lblk < ee_block);
3641 3642
	/*
	 * It is safe to convert extent to initialized via explicit
Y
Yongqiang Yang 已提交
3643
	 * zeroout only if extent is fully inside i_size or new_size.
3644
	 */
3645
	split_flag |= ee_block + ee_len <= eof_block ? EXT4_EXT_MAY_ZEROOUT : 0;
3646

3647 3648
	if (EXT4_EXT_MAY_ZEROOUT & split_flag)
		max_zeroout = sbi->s_extent_max_zeroout_kb >>
3649
			(inode->i_sb->s_blocksize_bits - 10);
3650

3651 3652 3653
	if (ext4_encrypted_inode(inode))
		max_zeroout = 0;

3654
	/*
3655
	 * five cases:
3656
	 * 1. split the extent into three extents.
3657 3658 3659 3660
	 * 2. split the extent into two extents, zeroout the head of the first
	 *    extent.
	 * 3. split the extent into two extents, zeroout the tail of the second
	 *    extent.
3661
	 * 4. split the extent into two extents with out zeroout.
3662 3663
	 * 5. no splitting needed, just possibly zeroout the head and / or the
	 *    tail of the extent.
3664
	 */
3665 3666 3667
	split_map.m_lblk = map->m_lblk;
	split_map.m_len = map->m_len;

3668
	if (max_zeroout && (allocated > split_map.m_len)) {
3669
		if (allocated <= max_zeroout) {
3670 3671 3672 3673 3674 3675 3676 3677 3678 3679
			/* case 3 or 5 */
			zero_ex1.ee_block =
				 cpu_to_le32(split_map.m_lblk +
					     split_map.m_len);
			zero_ex1.ee_len =
				cpu_to_le16(allocated - split_map.m_len);
			ext4_ext_store_pblock(&zero_ex1,
				ext4_ext_pblock(ex) + split_map.m_lblk +
				split_map.m_len - ee_block);
			err = ext4_ext_zeroout(inode, &zero_ex1);
3680 3681
			if (err)
				goto out;
3682
			split_map.m_len = allocated;
3683 3684 3685 3686 3687 3688 3689
		}
		if (split_map.m_lblk - ee_block + split_map.m_len <
								max_zeroout) {
			/* case 2 or 5 */
			if (split_map.m_lblk != ee_block) {
				zero_ex2.ee_block = ex->ee_block;
				zero_ex2.ee_len = cpu_to_le16(split_map.m_lblk -
3690
							ee_block);
3691
				ext4_ext_store_pblock(&zero_ex2,
3692
						      ext4_ext_pblock(ex));
3693
				err = ext4_ext_zeroout(inode, &zero_ex2);
3694 3695 3696 3697
				if (err)
					goto out;
			}

3698
			split_map.m_len += split_map.m_lblk - ee_block;
3699
			split_map.m_lblk = ee_block;
3700
			allocated = map->m_len;
3701 3702
		}
	}
3703

3704 3705 3706 3707
	err = ext4_split_extent(handle, inode, ppath, &split_map, split_flag,
				flags);
	if (err > 0)
		err = 0;
3708
out:
3709
	/* If we have gotten a failure, don't zero out status tree */
3710 3711 3712 3713 3714
	if (!err) {
		err = ext4_zeroout_es(inode, &zero_ex1);
		if (!err)
			err = ext4_zeroout_es(inode, &zero_ex2);
	}
3715 3716 3717
	return err ? err : allocated;
}

3718
/*
3719
 * This function is called by ext4_ext_map_blocks() from
3720
 * ext4_get_blocks_dio_write() when DIO to write
3721
 * to an unwritten extent.
3722
 *
3723 3724
 * Writing to an unwritten extent may result in splitting the unwritten
 * extent into multiple initialized/unwritten extents (up to three)
3725
 * There are three possibilities:
3726
 *   a> There is no split required: Entire extent should be unwritten
3727 3728 3729
 *   b> Splits in two extents: Write is happening at either end of the extent
 *   c> Splits in three extents: Somone is writing in middle of the extent
 *
3730 3731
 * This works the same way in the case of initialized -> unwritten conversion.
 *
3732
 * One of more index blocks maybe needed if the extent tree grow after
3733 3734 3735 3736
 * the unwritten extent split. To prevent ENOSPC occur at the IO
 * complete, we need to split the unwritten extent before DIO submit
 * the IO. The unwritten extent called at this time will be split
 * into three unwritten extent(at most). After IO complete, the part
3737 3738
 * being filled will be convert to initialized by the end_io callback function
 * via ext4_convert_unwritten_extents().
3739
 *
3740
 * Returns the size of unwritten extent to be written on success.
3741
 */
3742
static int ext4_split_convert_extents(handle_t *handle,
3743
					struct inode *inode,
3744
					struct ext4_map_blocks *map,
3745
					struct ext4_ext_path **ppath,
3746 3747
					int flags)
{
3748
	struct ext4_ext_path *path = *ppath;
3749 3750 3751 3752 3753
	ext4_lblk_t eof_block;
	ext4_lblk_t ee_block;
	struct ext4_extent *ex;
	unsigned int ee_len;
	int split_flag = 0, depth;
3754

3755 3756 3757
	ext_debug("%s: inode %lu, logical block %llu, max_blocks %u\n",
		  __func__, inode->i_ino,
		  (unsigned long long)map->m_lblk, map->m_len);
3758 3759 3760

	eof_block = (inode->i_size + inode->i_sb->s_blocksize - 1) >>
		inode->i_sb->s_blocksize_bits;
3761 3762
	if (eof_block < map->m_lblk + map->m_len)
		eof_block = map->m_lblk + map->m_len;
3763 3764 3765 3766
	/*
	 * It is safe to convert extent to initialized via explicit
	 * zeroout only if extent is fully insde i_size or new_size.
	 */
3767 3768 3769 3770
	depth = ext_depth(inode);
	ex = path[depth].p_ext;
	ee_block = le32_to_cpu(ex->ee_block);
	ee_len = ext4_ext_get_actual_len(ex);
3771

3772 3773 3774 3775 3776 3777 3778
	/* Convert to unwritten */
	if (flags & EXT4_GET_BLOCKS_CONVERT_UNWRITTEN) {
		split_flag |= EXT4_EXT_DATA_VALID1;
	/* Convert to initialized */
	} else if (flags & EXT4_GET_BLOCKS_CONVERT) {
		split_flag |= ee_block + ee_len <= eof_block ?
			      EXT4_EXT_MAY_ZEROOUT : 0;
3779
		split_flag |= (EXT4_EXT_MARK_UNWRIT2 | EXT4_EXT_DATA_VALID2);
3780
	}
3781
	flags |= EXT4_GET_BLOCKS_PRE_IO;
3782
	return ext4_split_extent(handle, inode, ppath, map, split_flag, flags);
3783
}
3784

3785
static int ext4_convert_unwritten_extents_endio(handle_t *handle,
3786 3787
						struct inode *inode,
						struct ext4_map_blocks *map,
3788
						struct ext4_ext_path **ppath)
3789
{
3790
	struct ext4_ext_path *path = *ppath;
3791
	struct ext4_extent *ex;
3792 3793
	ext4_lblk_t ee_block;
	unsigned int ee_len;
3794 3795 3796 3797 3798
	int depth;
	int err = 0;

	depth = ext_depth(inode);
	ex = path[depth].p_ext;
3799 3800
	ee_block = le32_to_cpu(ex->ee_block);
	ee_len = ext4_ext_get_actual_len(ex);
3801

3802 3803
	ext_debug("ext4_convert_unwritten_extents_endio: inode %lu, logical"
		"block %llu, max_blocks %u\n", inode->i_ino,
3804 3805
		  (unsigned long long)ee_block, ee_len);

3806 3807 3808 3809 3810 3811
	/* If extent is larger than requested it is a clear sign that we still
	 * have some extent state machine issues left. So extent_split is still
	 * required.
	 * TODO: Once all related issues will be fixed this situation should be
	 * illegal.
	 */
3812
	if (ee_block != map->m_lblk || ee_len > map->m_len) {
3813 3814
#ifdef CONFIG_EXT4_DEBUG
		ext4_warning(inode->i_sb, "Inode (%ld) finished: extent logical block %llu,"
3815
			     " len %u; IO logical block %llu, len %u",
3816 3817 3818
			     inode->i_ino, (unsigned long long)ee_block, ee_len,
			     (unsigned long long)map->m_lblk, map->m_len);
#endif
3819
		err = ext4_split_convert_extents(handle, inode, map, ppath,
3820
						 EXT4_GET_BLOCKS_CONVERT);
3821
		if (err < 0)
3822
			return err;
3823
		path = ext4_find_extent(inode, map->m_lblk, ppath, 0);
3824 3825
		if (IS_ERR(path))
			return PTR_ERR(path);
3826 3827 3828
		depth = ext_depth(inode);
		ex = path[depth].p_ext;
	}
3829

3830 3831 3832 3833 3834 3835
	err = ext4_ext_get_access(handle, inode, path + depth);
	if (err)
		goto out;
	/* first mark the extent as initialized */
	ext4_ext_mark_initialized(ex);

3836 3837
	/* note: ext4_ext_correct_indexes() isn't needed here because
	 * borders are not changed
3838
	 */
3839
	ext4_ext_try_to_merge(handle, inode, path, ex);
3840

3841
	/* Mark modified extent as dirty */
3842
	err = ext4_ext_dirty(handle, inode, path + path->p_depth);
3843 3844 3845 3846 3847
out:
	ext4_ext_show_leaf(inode, path);
	return err;
}

T
Theodore Ts'o 已提交
3848 3849 3850 3851
/*
 * Handle EOFBLOCKS_FL flag, clearing it if necessary
 */
static int check_eofblocks_fl(handle_t *handle, struct inode *inode,
3852
			      ext4_lblk_t lblk,
T
Theodore Ts'o 已提交
3853 3854 3855 3856 3857
			      struct ext4_ext_path *path,
			      unsigned int len)
{
	int i, depth;
	struct ext4_extent_header *eh;
3858
	struct ext4_extent *last_ex;
T
Theodore Ts'o 已提交
3859 3860 3861 3862 3863 3864 3865

	if (!ext4_test_inode_flag(inode, EXT4_INODE_EOFBLOCKS))
		return 0;

	depth = ext_depth(inode);
	eh = path[depth].p_hdr;

3866 3867 3868 3869 3870 3871 3872
	/*
	 * We're going to remove EOFBLOCKS_FL entirely in future so we
	 * do not care for this case anymore. Simply remove the flag
	 * if there are no extents.
	 */
	if (unlikely(!eh->eh_entries))
		goto out;
T
Theodore Ts'o 已提交
3873 3874 3875 3876 3877 3878 3879 3880 3881 3882
	last_ex = EXT_LAST_EXTENT(eh);
	/*
	 * We should clear the EOFBLOCKS_FL flag if we are writing the
	 * last block in the last extent in the file.  We test this by
	 * first checking to see if the caller to
	 * ext4_ext_get_blocks() was interested in the last block (or
	 * a block beyond the last block) in the current extent.  If
	 * this turns out to be false, we can bail out from this
	 * function immediately.
	 */
3883
	if (lblk + len < le32_to_cpu(last_ex->ee_block) +
T
Theodore Ts'o 已提交
3884 3885 3886 3887 3888 3889 3890 3891 3892 3893 3894 3895
	    ext4_ext_get_actual_len(last_ex))
		return 0;
	/*
	 * If the caller does appear to be planning to write at or
	 * beyond the end of the current extent, we then test to see
	 * if the current extent is the last extent in the file, by
	 * checking to make sure it was reached via the rightmost node
	 * at each level of the tree.
	 */
	for (i = depth-1; i >= 0; i--)
		if (path[i].p_idx != EXT_LAST_INDEX(path[i].p_hdr))
			return 0;
3896
out:
T
Theodore Ts'o 已提交
3897 3898 3899 3900
	ext4_clear_inode_flag(inode, EXT4_INODE_EOFBLOCKS);
	return ext4_mark_inode_dirty(handle, inode);
}

3901
static int
3902 3903
convert_initialized_extent(handle_t *handle, struct inode *inode,
			   struct ext4_map_blocks *map,
3904
			   struct ext4_ext_path **ppath,
3905
			   unsigned int allocated)
3906
{
3907
	struct ext4_ext_path *path = *ppath;
3908 3909 3910 3911
	struct ext4_extent *ex;
	ext4_lblk_t ee_block;
	unsigned int ee_len;
	int depth;
3912 3913 3914 3915
	int err = 0;

	/*
	 * Make sure that the extent is no bigger than we support with
3916
	 * unwritten extent
3917
	 */
3918 3919
	if (map->m_len > EXT_UNWRITTEN_MAX_LEN)
		map->m_len = EXT_UNWRITTEN_MAX_LEN / 2;
3920

3921 3922 3923 3924 3925 3926 3927 3928 3929 3930
	depth = ext_depth(inode);
	ex = path[depth].p_ext;
	ee_block = le32_to_cpu(ex->ee_block);
	ee_len = ext4_ext_get_actual_len(ex);

	ext_debug("%s: inode %lu, logical"
		"block %llu, max_blocks %u\n", __func__, inode->i_ino,
		  (unsigned long long)ee_block, ee_len);

	if (ee_block != map->m_lblk || ee_len > map->m_len) {
3931
		err = ext4_split_convert_extents(handle, inode, map, ppath,
3932 3933 3934
				EXT4_GET_BLOCKS_CONVERT_UNWRITTEN);
		if (err < 0)
			return err;
3935
		path = ext4_find_extent(inode, map->m_lblk, ppath, 0);
3936 3937 3938 3939 3940 3941 3942
		if (IS_ERR(path))
			return PTR_ERR(path);
		depth = ext_depth(inode);
		ex = path[depth].p_ext;
		if (!ex) {
			EXT4_ERROR_INODE(inode, "unexpected hole at %lu",
					 (unsigned long) map->m_lblk);
3943
			return -EFSCORRUPTED;
3944 3945 3946 3947 3948 3949 3950 3951 3952 3953 3954 3955 3956 3957 3958 3959 3960 3961 3962 3963 3964 3965 3966 3967
		}
	}

	err = ext4_ext_get_access(handle, inode, path + depth);
	if (err)
		return err;
	/* first mark the extent as unwritten */
	ext4_ext_mark_unwritten(ex);

	/* note: ext4_ext_correct_indexes() isn't needed here because
	 * borders are not changed
	 */
	ext4_ext_try_to_merge(handle, inode, path, ex);

	/* Mark modified extent as dirty */
	err = ext4_ext_dirty(handle, inode, path + path->p_depth);
	if (err)
		return err;
	ext4_ext_show_leaf(inode, path);

	ext4_update_inode_fsync_trans(handle, inode, 1);
	err = check_eofblocks_fl(handle, inode, map->m_lblk, path, map->m_len);
	if (err)
		return err;
3968 3969 3970 3971
	map->m_flags |= EXT4_MAP_UNWRITTEN;
	if (allocated > map->m_len)
		allocated = map->m_len;
	map->m_len = allocated;
3972
	return allocated;
3973 3974
}

3975
static int
3976
ext4_ext_handle_unwritten_extents(handle_t *handle, struct inode *inode,
3977
			struct ext4_map_blocks *map,
3978
			struct ext4_ext_path **ppath, int flags,
3979
			unsigned int allocated, ext4_fsblk_t newblock)
3980
{
3981
	struct ext4_ext_path *path = *ppath;
3982 3983 3984
	int ret = 0;
	int err = 0;

3985
	ext_debug("ext4_ext_handle_unwritten_extents: inode %lu, logical "
3986
		  "block %llu, max_blocks %u, flags %x, allocated %u\n",
3987
		  inode->i_ino, (unsigned long long)map->m_lblk, map->m_len,
3988 3989 3990
		  flags, allocated);
	ext4_ext_show_leaf(inode, path);

L
Lukas Czerner 已提交
3991
	/*
3992
	 * When writing into unwritten space, we should not fail to
L
Lukas Czerner 已提交
3993 3994 3995 3996
	 * allocate metadata blocks for the new extent block if needed.
	 */
	flags |= EXT4_GET_BLOCKS_METADATA_NOFAIL;

3997
	trace_ext4_ext_handle_unwritten_extents(inode, map, flags,
3998
						    allocated, newblock);
3999

4000
	/* get_block() before submit the IO, split the extent */
4001
	if (flags & EXT4_GET_BLOCKS_PRE_IO) {
4002 4003
		ret = ext4_split_convert_extents(handle, inode, map, ppath,
					 flags | EXT4_GET_BLOCKS_CONVERT);
4004 4005
		if (ret <= 0)
			goto out;
4006
		map->m_flags |= EXT4_MAP_UNWRITTEN;
4007 4008
		goto out;
	}
4009
	/* IO end_io complete, convert the filled extent to written */
4010
	if (flags & EXT4_GET_BLOCKS_CONVERT) {
4011 4012 4013 4014 4015 4016 4017 4018
		if (flags & EXT4_GET_BLOCKS_ZERO) {
			if (allocated > map->m_len)
				allocated = map->m_len;
			err = ext4_issue_zeroout(inode, map->m_lblk, newblock,
						 allocated);
			if (err < 0)
				goto out2;
		}
4019
		ret = ext4_convert_unwritten_extents_endio(handle, inode, map,
4020
							   ppath);
T
Theodore Ts'o 已提交
4021
		if (ret >= 0) {
4022
			ext4_update_inode_fsync_trans(handle, inode, 1);
4023 4024
			err = check_eofblocks_fl(handle, inode, map->m_lblk,
						 path, map->m_len);
T
Theodore Ts'o 已提交
4025 4026
		} else
			err = ret;
4027
		map->m_flags |= EXT4_MAP_MAPPED;
4028
		map->m_pblk = newblock;
4029 4030 4031
		if (allocated > map->m_len)
			allocated = map->m_len;
		map->m_len = allocated;
4032 4033 4034 4035 4036 4037 4038
		goto out2;
	}
	/* buffered IO case */
	/*
	 * repeat fallocate creation request
	 * we already have an unwritten extent
	 */
4039
	if (flags & EXT4_GET_BLOCKS_UNWRIT_EXT) {
4040
		map->m_flags |= EXT4_MAP_UNWRITTEN;
4041
		goto map_out;
4042
	}
4043 4044 4045 4046 4047 4048 4049 4050 4051 4052

	/* buffered READ or buffered write_begin() lookup */
	if ((flags & EXT4_GET_BLOCKS_CREATE) == 0) {
		/*
		 * We have blocks reserved already.  We
		 * return allocated blocks so that delalloc
		 * won't do block reservation for us.  But
		 * the buffer head will be unmapped so that
		 * a read from the block returns 0s.
		 */
4053
		map->m_flags |= EXT4_MAP_UNWRITTEN;
4054 4055 4056 4057
		goto out1;
	}

	/* buffered write, writepage time, convert*/
4058
	ret = ext4_ext_convert_to_initialized(handle, inode, map, ppath, flags);
4059
	if (ret >= 0)
4060
		ext4_update_inode_fsync_trans(handle, inode, 1);
4061 4062 4063 4064 4065 4066
out:
	if (ret <= 0) {
		err = ret;
		goto out2;
	} else
		allocated = ret;
4067
	map->m_flags |= EXT4_MAP_NEW;
4068 4069 4070 4071 4072 4073 4074
	/*
	 * if we allocated more blocks than requested
	 * we need to make sure we unmap the extra block
	 * allocated. The actual needed block will get
	 * unmapped later when we find the buffer_head marked
	 * new.
	 */
4075
	if (allocated > map->m_len) {
4076 4077
		clean_bdev_aliases(inode->i_sb->s_bdev, newblock + map->m_len,
				   allocated - map->m_len);
4078
		allocated = map->m_len;
4079
	}
4080
	map->m_len = allocated;
4081

4082
map_out:
4083
	map->m_flags |= EXT4_MAP_MAPPED;
4084 4085 4086 4087 4088 4089
	if ((flags & EXT4_GET_BLOCKS_KEEP_SIZE) == 0) {
		err = check_eofblocks_fl(handle, inode, map->m_lblk, path,
					 map->m_len);
		if (err < 0)
			goto out2;
	}
4090
out1:
4091 4092
	if (allocated > map->m_len)
		allocated = map->m_len;
4093
	ext4_ext_show_leaf(inode, path);
4094 4095
	map->m_pblk = newblock;
	map->m_len = allocated;
4096 4097 4098
out2:
	return err ? err : allocated;
}
T
Theodore Ts'o 已提交
4099

4100 4101 4102 4103
/*
 * get_implied_cluster_alloc - check to see if the requested
 * allocation (in the map structure) overlaps with a cluster already
 * allocated in an extent.
4104
 *	@sb	The filesystem superblock structure
4105 4106 4107 4108 4109 4110 4111 4112 4113 4114 4115 4116 4117 4118 4119 4120 4121 4122 4123 4124 4125 4126 4127 4128 4129 4130 4131 4132 4133 4134 4135 4136 4137 4138 4139 4140
 *	@map	The requested lblk->pblk mapping
 *	@ex	The extent structure which might contain an implied
 *			cluster allocation
 *
 * This function is called by ext4_ext_map_blocks() after we failed to
 * find blocks that were already in the inode's extent tree.  Hence,
 * we know that the beginning of the requested region cannot overlap
 * the extent from the inode's extent tree.  There are three cases we
 * want to catch.  The first is this case:
 *
 *		 |--- cluster # N--|
 *    |--- extent ---|	|---- requested region ---|
 *			|==========|
 *
 * The second case that we need to test for is this one:
 *
 *   |--------- cluster # N ----------------|
 *	   |--- requested region --|   |------- extent ----|
 *	   |=======================|
 *
 * The third case is when the requested region lies between two extents
 * within the same cluster:
 *          |------------- cluster # N-------------|
 * |----- ex -----|                  |---- ex_right ----|
 *                  |------ requested region ------|
 *                  |================|
 *
 * In each of the above cases, we need to set the map->m_pblk and
 * map->m_len so it corresponds to the return the extent labelled as
 * "|====|" from cluster #N, since it is already in use for data in
 * cluster EXT4_B2C(sbi, map->m_lblk).	We will then return 1 to
 * signal to ext4_ext_map_blocks() that map->m_pblk should be treated
 * as a new "allocated" block region.  Otherwise, we will return 0 and
 * ext4_ext_map_blocks() will then allocate one or more new clusters
 * by calling ext4_mb_new_blocks().
 */
4141
static int get_implied_cluster_alloc(struct super_block *sb,
4142 4143 4144 4145
				     struct ext4_map_blocks *map,
				     struct ext4_extent *ex,
				     struct ext4_ext_path *path)
{
4146
	struct ext4_sb_info *sbi = EXT4_SB(sb);
4147
	ext4_lblk_t c_offset = EXT4_LBLK_COFF(sbi, map->m_lblk);
4148
	ext4_lblk_t ex_cluster_start, ex_cluster_end;
4149
	ext4_lblk_t rr_cluster_start;
4150 4151 4152 4153 4154 4155 4156 4157 4158 4159 4160 4161 4162 4163 4164
	ext4_lblk_t ee_block = le32_to_cpu(ex->ee_block);
	ext4_fsblk_t ee_start = ext4_ext_pblock(ex);
	unsigned short ee_len = ext4_ext_get_actual_len(ex);

	/* The extent passed in that we are trying to match */
	ex_cluster_start = EXT4_B2C(sbi, ee_block);
	ex_cluster_end = EXT4_B2C(sbi, ee_block + ee_len - 1);

	/* The requested region passed into ext4_map_blocks() */
	rr_cluster_start = EXT4_B2C(sbi, map->m_lblk);

	if ((rr_cluster_start == ex_cluster_end) ||
	    (rr_cluster_start == ex_cluster_start)) {
		if (rr_cluster_start == ex_cluster_end)
			ee_start += ee_len - 1;
4165
		map->m_pblk = EXT4_PBLK_CMASK(sbi, ee_start) + c_offset;
4166 4167 4168 4169 4170 4171 4172 4173 4174 4175 4176 4177 4178 4179 4180 4181 4182 4183 4184 4185 4186 4187 4188 4189 4190 4191 4192
		map->m_len = min(map->m_len,
				 (unsigned) sbi->s_cluster_ratio - c_offset);
		/*
		 * Check for and handle this case:
		 *
		 *   |--------- cluster # N-------------|
		 *		       |------- extent ----|
		 *	   |--- requested region ---|
		 *	   |===========|
		 */

		if (map->m_lblk < ee_block)
			map->m_len = min(map->m_len, ee_block - map->m_lblk);

		/*
		 * Check for the case where there is already another allocated
		 * block to the right of 'ex' but before the end of the cluster.
		 *
		 *          |------------- cluster # N-------------|
		 * |----- ex -----|                  |---- ex_right ----|
		 *                  |------ requested region ------|
		 *                  |================|
		 */
		if (map->m_lblk > ee_block) {
			ext4_lblk_t next = ext4_ext_next_allocated_block(path);
			map->m_len = min(map->m_len, next - map->m_lblk);
		}
4193 4194

		trace_ext4_get_implied_cluster_alloc_exit(sb, map, 1);
4195 4196
		return 1;
	}
4197 4198

	trace_ext4_get_implied_cluster_alloc_exit(sb, map, 0);
4199 4200 4201 4202
	return 0;
}


4203
/*
4204 4205 4206
 * Block allocation/map/preallocation routine for extents based files
 *
 *
4207
 * Need to be called with
4208 4209
 * down_read(&EXT4_I(inode)->i_data_sem) if not allocating file system block
 * (ie, create is zero). Otherwise down_write(&EXT4_I(inode)->i_data_sem)
4210 4211 4212 4213 4214 4215 4216 4217 4218 4219
 *
 * return > 0, number of of blocks already mapped/allocated
 *          if create == 0 and these are pre-allocated blocks
 *          	buffer head is unmapped
 *          otherwise blocks are mapped
 *
 * return = 0, if plain look up failed (blocks have not been allocated)
 *          buffer head is unmapped
 *
 * return < 0, error case.
4220
 */
4221 4222
int ext4_ext_map_blocks(handle_t *handle, struct inode *inode,
			struct ext4_map_blocks *map, int flags)
A
Alex Tomas 已提交
4223 4224
{
	struct ext4_ext_path *path = NULL;
4225 4226
	struct ext4_extent newex, *ex, *ex2;
	struct ext4_sb_info *sbi = EXT4_SB(inode->i_sb);
4227
	ext4_fsblk_t newblock = 0;
4228
	int free_on_err = 0, err = 0, depth, ret;
4229
	unsigned int allocated = 0, offset = 0;
4230
	unsigned int allocated_clusters = 0;
4231
	struct ext4_allocation_request ar;
4232
	ext4_lblk_t cluster_offset;
4233
	bool map_from_cluster = false;
A
Alex Tomas 已提交
4234

4235
	ext_debug("blocks %u/%u requested for inode %lu\n",
4236
		  map->m_lblk, map->m_len, inode->i_ino);
4237
	trace_ext4_ext_map_blocks_enter(inode, map->m_lblk, map->m_len, flags);
A
Alex Tomas 已提交
4238 4239

	/* find extent for this block */
4240
	path = ext4_find_extent(inode, map->m_lblk, NULL, 0);
A
Alex Tomas 已提交
4241 4242 4243 4244 4245 4246 4247 4248 4249
	if (IS_ERR(path)) {
		err = PTR_ERR(path);
		path = NULL;
		goto out2;
	}

	depth = ext_depth(inode);

	/*
4250 4251
	 * consistent leaf must not be empty;
	 * this situation is possible, though, _during_ tree modification;
4252
	 * this is why assert can't be put in ext4_find_extent()
A
Alex Tomas 已提交
4253
	 */
4254 4255
	if (unlikely(path[depth].p_ext == NULL && depth != 0)) {
		EXT4_ERROR_INODE(inode, "bad extent address "
4256 4257 4258
				 "lblock: %lu, depth: %d pblock %lld",
				 (unsigned long) map->m_lblk, depth,
				 path[depth].p_block);
4259
		err = -EFSCORRUPTED;
4260 4261
		goto out2;
	}
A
Alex Tomas 已提交
4262

4263 4264
	ex = path[depth].p_ext;
	if (ex) {
A
Aneesh Kumar K.V 已提交
4265
		ext4_lblk_t ee_block = le32_to_cpu(ex->ee_block);
4266
		ext4_fsblk_t ee_start = ext4_ext_pblock(ex);
A
Amit Arora 已提交
4267
		unsigned short ee_len;
4268

4269

4270
		/*
4271
		 * unwritten extents are treated as holes, except that
4272
		 * we split out initialized portions during a write.
4273
		 */
A
Amit Arora 已提交
4274
		ee_len = ext4_ext_get_actual_len(ex);
4275 4276 4277

		trace_ext4_ext_show_extent(inode, ee_block, ee_start, ee_len);

4278
		/* if found extent covers block, simply return it */
4279 4280
		if (in_range(map->m_lblk, ee_block, ee_len)) {
			newblock = map->m_lblk - ee_block + ee_start;
4281
			/* number of remaining blocks in the extent */
4282 4283 4284
			allocated = ee_len - (map->m_lblk - ee_block);
			ext_debug("%u fit into %u:%d -> %llu\n", map->m_lblk,
				  ee_block, ee_len, newblock);
4285

4286 4287 4288 4289
			/*
			 * If the extent is initialized check whether the
			 * caller wants to convert it to unwritten.
			 */
4290
			if ((!ext4_ext_is_unwritten(ex)) &&
4291
			    (flags & EXT4_GET_BLOCKS_CONVERT_UNWRITTEN)) {
4292
				allocated = convert_initialized_extent(
4293
						handle, inode, map, &path,
4294
						allocated);
4295
				goto out2;
4296
			} else if (!ext4_ext_is_unwritten(ex))
4297
				goto out;
Z
Zheng Liu 已提交
4298

4299
			ret = ext4_ext_handle_unwritten_extents(
4300
				handle, inode, map, &path, flags,
4301
				allocated, newblock);
4302 4303 4304 4305
			if (ret < 0)
				err = ret;
			else
				allocated = ret;
4306
			goto out2;
A
Alex Tomas 已提交
4307 4308 4309 4310
		}
	}

	/*
4311
	 * requested block isn't allocated yet;
A
Alex Tomas 已提交
4312 4313
	 * we couldn't try to create block if create flag is zero
	 */
4314
	if ((flags & EXT4_GET_BLOCKS_CREATE) == 0) {
4315 4316
		ext4_lblk_t hole_start, hole_len;

4317 4318
		hole_start = map->m_lblk;
		hole_len = ext4_ext_determine_hole(inode, path, &hole_start);
4319 4320 4321 4322
		/*
		 * put just found gap into cache to speed up
		 * subsequent requests
		 */
4323
		ext4_ext_put_gap_in_cache(inode, hole_start, hole_len);
4324 4325 4326 4327 4328 4329 4330

		/* Update hole_len to reflect hole size after map->m_lblk */
		if (hole_start != map->m_lblk)
			hole_len -= map->m_lblk - hole_start;
		map->m_pblk = 0;
		map->m_len = min_t(unsigned int, map->m_len, hole_len);

A
Alex Tomas 已提交
4331 4332
		goto out2;
	}
4333

A
Alex Tomas 已提交
4334
	/*
4335
	 * Okay, we need to do block allocation.
A
Andrew Morton 已提交
4336
	 */
4337
	newex.ee_block = cpu_to_le32(map->m_lblk);
E
Eric Whitney 已提交
4338
	cluster_offset = EXT4_LBLK_COFF(sbi, map->m_lblk);
4339 4340 4341

	/*
	 * If we are doing bigalloc, check to see if the extent returned
4342
	 * by ext4_find_extent() implies a cluster we can use.
4343 4344
	 */
	if (cluster_offset && ex &&
4345
	    get_implied_cluster_alloc(inode->i_sb, map, ex, path)) {
4346 4347
		ar.len = allocated = map->m_len;
		newblock = map->m_pblk;
4348
		map_from_cluster = true;
4349 4350
		goto got_allocated_blocks;
	}
A
Alex Tomas 已提交
4351

4352
	/* find neighbour allocated blocks */
4353
	ar.lleft = map->m_lblk;
4354 4355 4356
	err = ext4_ext_search_left(inode, path, &ar.lleft, &ar.pleft);
	if (err)
		goto out2;
4357
	ar.lright = map->m_lblk;
4358 4359
	ex2 = NULL;
	err = ext4_ext_search_right(inode, path, &ar.lright, &ar.pright, &ex2);
4360 4361
	if (err)
		goto out2;
A
Amit Arora 已提交
4362

4363 4364 4365
	/* Check if the extent after searching to the right implies a
	 * cluster we can use. */
	if ((sbi->s_cluster_ratio > 1) && ex2 &&
4366
	    get_implied_cluster_alloc(inode->i_sb, map, ex2, path)) {
4367 4368
		ar.len = allocated = map->m_len;
		newblock = map->m_pblk;
4369
		map_from_cluster = true;
4370 4371 4372
		goto got_allocated_blocks;
	}

4373 4374 4375
	/*
	 * See if request is beyond maximum number of blocks we can have in
	 * a single extent. For an initialized extent this limit is
4376 4377
	 * EXT_INIT_MAX_LEN and for an unwritten extent this limit is
	 * EXT_UNWRITTEN_MAX_LEN.
4378
	 */
4379
	if (map->m_len > EXT_INIT_MAX_LEN &&
4380
	    !(flags & EXT4_GET_BLOCKS_UNWRIT_EXT))
4381
		map->m_len = EXT_INIT_MAX_LEN;
4382 4383 4384
	else if (map->m_len > EXT_UNWRITTEN_MAX_LEN &&
		 (flags & EXT4_GET_BLOCKS_UNWRIT_EXT))
		map->m_len = EXT_UNWRITTEN_MAX_LEN;
4385

4386 4387
	/* Check if we can really insert (m_lblk)::(m_lblk + m_len) extent */
	newex.ee_len = cpu_to_le16(map->m_len);
4388
	err = ext4_ext_check_overlap(sbi, inode, &newex, path);
A
Amit Arora 已提交
4389
	if (err)
4390
		allocated = ext4_ext_get_actual_len(&newex);
A
Amit Arora 已提交
4391
	else
4392
		allocated = map->m_len;
4393 4394 4395

	/* allocate new block */
	ar.inode = inode;
4396 4397
	ar.goal = ext4_ext_find_goal(inode, path, map->m_lblk);
	ar.logical = map->m_lblk;
4398 4399 4400 4401 4402 4403 4404 4405
	/*
	 * We calculate the offset from the beginning of the cluster
	 * for the logical block number, since when we allocate a
	 * physical cluster, the physical block should start at the
	 * same offset from the beginning of the cluster.  This is
	 * needed so that future calls to get_implied_cluster_alloc()
	 * work correctly.
	 */
4406
	offset = EXT4_LBLK_COFF(sbi, map->m_lblk);
4407 4408 4409
	ar.len = EXT4_NUM_B2C(sbi, offset+allocated);
	ar.goal -= offset;
	ar.logical -= offset;
4410 4411 4412 4413 4414
	if (S_ISREG(inode->i_mode))
		ar.flags = EXT4_MB_HINT_DATA;
	else
		/* disable in-core preallocation for non-regular files */
		ar.flags = 0;
4415 4416
	if (flags & EXT4_GET_BLOCKS_NO_NORMALIZE)
		ar.flags |= EXT4_MB_HINT_NOPREALLOC;
4417 4418
	if (flags & EXT4_GET_BLOCKS_DELALLOC_RESERVE)
		ar.flags |= EXT4_MB_DELALLOC_RESERVED;
4419 4420
	if (flags & EXT4_GET_BLOCKS_METADATA_NOFAIL)
		ar.flags |= EXT4_MB_USE_RESERVED;
4421
	newblock = ext4_mb_new_blocks(handle, &ar, &err);
A
Alex Tomas 已提交
4422 4423
	if (!newblock)
		goto out2;
4424
	ext_debug("allocate new block: goal %llu, found %llu/%u\n",
4425
		  ar.goal, newblock, allocated);
4426
	free_on_err = 1;
4427
	allocated_clusters = ar.len;
4428 4429 4430
	ar.len = EXT4_C2B(sbi, ar.len) - offset;
	if (ar.len > allocated)
		ar.len = allocated;
A
Alex Tomas 已提交
4431

4432
got_allocated_blocks:
A
Alex Tomas 已提交
4433
	/* try to insert new extent into found leaf and return */
4434
	ext4_ext_store_pblock(&newex, newblock + offset);
4435
	newex.ee_len = cpu_to_le16(ar.len);
4436 4437 4438
	/* Mark unwritten */
	if (flags & EXT4_GET_BLOCKS_UNWRIT_EXT){
		ext4_ext_mark_unwritten(&newex);
4439
		map->m_flags |= EXT4_MAP_UNWRITTEN;
4440
	}
4441

4442 4443 4444 4445
	err = 0;
	if ((flags & EXT4_GET_BLOCKS_KEEP_SIZE) == 0)
		err = check_eofblocks_fl(handle, inode, map->m_lblk,
					 path, ar.len);
4446
	if (!err)
4447
		err = ext4_ext_insert_extent(handle, inode, &path,
4448
					     &newex, flags);
4449

4450
	if (err && free_on_err) {
4451 4452
		int fb_flags = flags & EXT4_GET_BLOCKS_DELALLOC_RESERVE ?
			EXT4_FREE_BLOCKS_NO_QUOT_UPDATE : 0;
4453
		/* free data blocks we just allocated */
4454 4455
		/* not a good idea to call discard here directly,
		 * but otherwise we'd need to call it every free() */
4456
		ext4_discard_preallocations(inode);
4457 4458
		ext4_free_blocks(handle, inode, NULL, newblock,
				 EXT4_C2B(sbi, allocated_clusters), fb_flags);
A
Alex Tomas 已提交
4459
		goto out2;
4460
	}
A
Alex Tomas 已提交
4461 4462

	/* previous routine could use block we allocated */
4463
	newblock = ext4_ext_pblock(&newex);
4464
	allocated = ext4_ext_get_actual_len(&newex);
4465 4466 4467
	if (allocated > map->m_len)
		allocated = map->m_len;
	map->m_flags |= EXT4_MAP_NEW;
A
Alex Tomas 已提交
4468

4469
	/*
4470 4471 4472 4473
	 * Reduce the reserved cluster count to reflect successful deferred
	 * allocation of delayed allocated clusters or direct allocation of
	 * clusters discovered to be delayed allocated.  Once allocated, a
	 * cluster is not included in the reserved count.
4474
	 */
4475 4476
	if (test_opt(inode->i_sb, DELALLOC) && !map_from_cluster) {
		if (flags & EXT4_GET_BLOCKS_DELALLOC_RESERVE) {
4477
			/*
4478 4479
			 * When allocating delayed allocated clusters, simply
			 * reduce the reserved cluster count and claim quota
4480 4481 4482
			 */
			ext4_da_update_reserve_space(inode, allocated_clusters,
							1);
4483 4484 4485 4486 4487 4488 4489 4490 4491 4492 4493 4494 4495 4496 4497 4498 4499 4500 4501 4502
		} else {
			ext4_lblk_t lblk, len;
			unsigned int n;

			/*
			 * When allocating non-delayed allocated clusters
			 * (from fallocate, filemap, DIO, or clusters
			 * allocated when delalloc has been disabled by
			 * ext4_nonda_switch), reduce the reserved cluster
			 * count by the number of allocated clusters that
			 * have previously been delayed allocated.  Quota
			 * has been claimed by ext4_mb_new_blocks() above,
			 * so release the quota reservations made for any
			 * previously delayed allocated clusters.
			 */
			lblk = EXT4_LBLK_CMASK(sbi, map->m_lblk);
			len = allocated_clusters << sbi->s_cluster_bits;
			n = ext4_es_delayed_clu(inode, lblk, len);
			if (n > 0)
				ext4_da_update_reserve_space(inode, (int) n, 0);
4503 4504
		}
	}
4505

4506 4507
	/*
	 * Cache the extent and update transaction to commit on fdatasync only
4508
	 * when it is _not_ an unwritten extent.
4509
	 */
4510
	if ((flags & EXT4_GET_BLOCKS_UNWRIT_EXT) == 0)
4511
		ext4_update_inode_fsync_trans(handle, inode, 1);
Z
Zheng Liu 已提交
4512
	else
4513
		ext4_update_inode_fsync_trans(handle, inode, 0);
A
Alex Tomas 已提交
4514
out:
4515 4516
	if (allocated > map->m_len)
		allocated = map->m_len;
A
Alex Tomas 已提交
4517
	ext4_ext_show_leaf(inode, path);
4518 4519 4520
	map->m_flags |= EXT4_MAP_MAPPED;
	map->m_pblk = newblock;
	map->m_len = allocated;
A
Alex Tomas 已提交
4521
out2:
4522 4523
	ext4_ext_drop_refs(path);
	kfree(path);
4524

4525 4526
	trace_ext4_ext_map_blocks_exit(inode, flags, map,
				       err ? err : allocated);
4527
	return err ? err : allocated;
A
Alex Tomas 已提交
4528 4529
}

4530
int ext4_ext_truncate(handle_t *handle, struct inode *inode)
A
Alex Tomas 已提交
4531 4532
{
	struct super_block *sb = inode->i_sb;
A
Aneesh Kumar K.V 已提交
4533
	ext4_lblk_t last_block;
A
Alex Tomas 已提交
4534 4535 4536
	int err = 0;

	/*
4537 4538 4539
	 * TODO: optimization is possible here.
	 * Probably we need not scan at all,
	 * because page truncation is enough.
A
Alex Tomas 已提交
4540 4541 4542 4543
	 */

	/* we have to know where to truncate from in crash case */
	EXT4_I(inode)->i_disksize = inode->i_size;
4544 4545 4546
	err = ext4_mark_inode_dirty(handle, inode);
	if (err)
		return err;
A
Alex Tomas 已提交
4547 4548 4549

	last_block = (inode->i_size + sb->s_blocksize - 1)
			>> EXT4_BLOCK_SIZE_BITS(sb);
4550
retry:
4551 4552
	err = ext4_es_remove_extent(inode, last_block,
				    EXT_MAX_BLOCKS - last_block);
4553
	if (err == -ENOMEM) {
4554 4555 4556 4557
		cond_resched();
		congestion_wait(BLK_RW_ASYNC, HZ/50);
		goto retry;
	}
4558 4559 4560
	if (err)
		return err;
	return ext4_ext_remove_space(inode, last_block, EXT_MAX_BLOCKS - 1);
A
Alex Tomas 已提交
4561 4562
}

4563
static int ext4_alloc_file_blocks(struct file *file, ext4_lblk_t offset,
4564
				  ext4_lblk_t len, loff_t new_size,
4565
				  int flags)
4566 4567 4568 4569 4570 4571
{
	struct inode *inode = file_inode(file);
	handle_t *handle;
	int ret = 0;
	int ret2 = 0;
	int retries = 0;
4572
	int depth = 0;
4573 4574
	struct ext4_map_blocks map;
	unsigned int credits;
4575
	loff_t epos;
4576

4577
	BUG_ON(!ext4_test_inode_flag(inode, EXT4_INODE_EXTENTS));
4578
	map.m_lblk = offset;
4579
	map.m_len = len;
4580 4581 4582 4583 4584
	/*
	 * Don't normalize the request if it can fit in one extent so
	 * that it doesn't get unnecessarily split into multiple
	 * extents.
	 */
4585
	if (len <= EXT_UNWRITTEN_MAX_LEN)
4586 4587 4588 4589 4590 4591
		flags |= EXT4_GET_BLOCKS_NO_NORMALIZE;

	/*
	 * credits to insert 1 extent into extent tree
	 */
	credits = ext4_chunk_trans_blocks(inode, len);
4592
	depth = ext_depth(inode);
4593 4594

retry:
4595
	while (ret >= 0 && len) {
4596 4597 4598
		/*
		 * Recalculate credits when extent tree depth changes.
		 */
4599
		if (depth != ext_depth(inode)) {
4600 4601 4602 4603
			credits = ext4_chunk_trans_blocks(inode, len);
			depth = ext_depth(inode);
		}

4604 4605 4606 4607 4608 4609 4610 4611 4612 4613 4614 4615 4616 4617 4618 4619
		handle = ext4_journal_start(inode, EXT4_HT_MAP_BLOCKS,
					    credits);
		if (IS_ERR(handle)) {
			ret = PTR_ERR(handle);
			break;
		}
		ret = ext4_map_blocks(handle, inode, &map, flags);
		if (ret <= 0) {
			ext4_debug("inode #%lu: block %u: len %u: "
				   "ext4_ext_map_blocks returned %d",
				   inode->i_ino, map.m_lblk,
				   map.m_len, ret);
			ext4_mark_inode_dirty(handle, inode);
			ret2 = ext4_journal_stop(handle);
			break;
		}
4620 4621 4622
		map.m_lblk += ret;
		map.m_len = len = len - ret;
		epos = (loff_t)map.m_lblk << inode->i_blkbits;
4623
		inode->i_ctime = current_time(inode);
4624 4625 4626 4627 4628 4629 4630 4631 4632 4633 4634
		if (new_size) {
			if (epos > new_size)
				epos = new_size;
			if (ext4_update_inode_size(inode, epos) & 0x1)
				inode->i_mtime = inode->i_ctime;
		} else {
			if (epos > inode->i_size)
				ext4_set_inode_flag(inode,
						    EXT4_INODE_EOFBLOCKS);
		}
		ext4_mark_inode_dirty(handle, inode);
4635
		ext4_update_inode_fsync_trans(handle, inode, 1);
4636 4637 4638 4639 4640 4641 4642 4643 4644 4645 4646 4647 4648
		ret2 = ext4_journal_stop(handle);
		if (ret2)
			break;
	}
	if (ret == -ENOSPC &&
			ext4_should_retry_alloc(inode->i_sb, &retries)) {
		ret = 0;
		goto retry;
	}

	return ret > 0 ? ret2 : ret;
}

4649 4650 4651 4652 4653 4654 4655 4656 4657
static long ext4_zero_range(struct file *file, loff_t offset,
			    loff_t len, int mode)
{
	struct inode *inode = file_inode(file);
	handle_t *handle = NULL;
	unsigned int max_blocks;
	loff_t new_size = 0;
	int ret = 0;
	int flags;
4658
	int credits;
4659
	int partial_begin, partial_end;
4660 4661 4662 4663 4664 4665
	loff_t start, end;
	ext4_lblk_t lblk;
	unsigned int blkbits = inode->i_blkbits;

	trace_ext4_zero_range(inode, offset, len, mode);

4666 4667 4668
	if (!S_ISREG(inode->i_mode))
		return -EINVAL;

4669 4670 4671 4672 4673 4674 4675
	/* Call ext4_force_commit to flush all data in case of data=journal. */
	if (ext4_should_journal_data(inode)) {
		ret = ext4_force_commit(inode->i_sb);
		if (ret)
			return ret;
	}

4676 4677 4678 4679 4680 4681 4682 4683 4684 4685 4686
	/*
	 * Round up offset. This is not fallocate, we neet to zero out
	 * blocks, so convert interior block aligned part of the range to
	 * unwritten and possibly manually zero out unaligned parts of the
	 * range.
	 */
	start = round_up(offset, 1 << blkbits);
	end = round_down((offset + len), 1 << blkbits);

	if (start < offset || end > offset + len)
		return -EINVAL;
4687 4688
	partial_begin = offset & ((1 << blkbits) - 1);
	partial_end = (offset + len) & ((1 << blkbits) - 1);
4689 4690 4691 4692 4693 4694 4695 4696

	lblk = start >> blkbits;
	max_blocks = (end >> blkbits);
	if (max_blocks < lblk)
		max_blocks = 0;
	else
		max_blocks -= lblk;

A
Al Viro 已提交
4697
	inode_lock(inode);
4698 4699 4700 4701 4702 4703 4704 4705 4706 4707

	/*
	 * Indirect files do not support unwritten extnets
	 */
	if (!(ext4_test_inode_flag(inode, EXT4_INODE_EXTENTS))) {
		ret = -EOPNOTSUPP;
		goto out_mutex;
	}

	if (!(mode & FALLOC_FL_KEEP_SIZE) &&
4708 4709
	    (offset + len > i_size_read(inode) ||
	     offset + len > EXT4_I(inode)->i_disksize)) {
4710 4711 4712 4713 4714 4715
		new_size = offset + len;
		ret = inode_newsize_ok(inode, new_size);
		if (ret)
			goto out_mutex;
	}

4716 4717 4718 4719
	flags = EXT4_GET_BLOCKS_CREATE_UNWRIT_EXT;
	if (mode & FALLOC_FL_KEEP_SIZE)
		flags |= EXT4_GET_BLOCKS_KEEP_SIZE;

4720 4721 4722
	/* Wait all existing dio workers, newcomers will block on i_mutex */
	inode_dio_wait(inode);

4723 4724 4725 4726 4727 4728
	/* Preallocate the range including the unaligned edges */
	if (partial_begin || partial_end) {
		ret = ext4_alloc_file_blocks(file,
				round_down(offset, 1 << blkbits) >> blkbits,
				(round_up((offset + len), 1 << blkbits) -
				 round_down(offset, 1 << blkbits)) >> blkbits,
4729
				new_size, flags);
4730
		if (ret)
4731
			goto out_mutex;
4732 4733 4734 4735

	}

	/* Zero range excluding the unaligned edges */
4736
	if (max_blocks > 0) {
4737 4738
		flags |= (EXT4_GET_BLOCKS_CONVERT_UNWRITTEN |
			  EXT4_EX_NOCACHE);
4739

4740 4741 4742 4743 4744
		/*
		 * Prevent page faults from reinstantiating pages we have
		 * released from page cache.
		 */
		down_write(&EXT4_I(inode)->i_mmap_sem);
4745 4746 4747 4748 4749 4750 4751

		ret = ext4_break_layouts(inode);
		if (ret) {
			up_write(&EXT4_I(inode)->i_mmap_sem);
			goto out_mutex;
		}

4752 4753 4754
		ret = ext4_update_disksize_before_punch(inode, offset, len);
		if (ret) {
			up_write(&EXT4_I(inode)->i_mmap_sem);
4755
			goto out_mutex;
4756
		}
4757 4758
		/* Now release the pages and zero block aligned part of pages */
		truncate_pagecache_range(inode, start, end - 1);
4759
		inode->i_mtime = inode->i_ctime = current_time(inode);
4760

4761
		ret = ext4_alloc_file_blocks(file, lblk, max_blocks, new_size,
4762
					     flags);
4763
		up_write(&EXT4_I(inode)->i_mmap_sem);
4764
		if (ret)
4765
			goto out_mutex;
4766
	}
4767
	if (!partial_begin && !partial_end)
4768
		goto out_mutex;
4769

4770 4771 4772 4773 4774 4775 4776 4777
	/*
	 * In worst case we have to writeout two nonadjacent unwritten
	 * blocks and update the inode
	 */
	credits = (2 * ext4_ext_index_trans_blocks(inode, 2)) + 1;
	if (ext4_should_journal_data(inode))
		credits += 2;
	handle = ext4_journal_start(inode, EXT4_HT_MISC, credits);
4778 4779 4780
	if (IS_ERR(handle)) {
		ret = PTR_ERR(handle);
		ext4_std_error(inode->i_sb, ret);
4781
		goto out_mutex;
4782 4783
	}

4784
	inode->i_mtime = inode->i_ctime = current_time(inode);
4785
	if (new_size) {
4786
		ext4_update_inode_size(inode, new_size);
4787
	} else {
4788 4789 4790 4791 4792 4793 4794 4795 4796 4797 4798
		/*
		* Mark that we allocate beyond EOF so the subsequent truncate
		* can proceed even if the new size is the same as i_size.
		*/
		if ((offset + len) > i_size_read(inode))
			ext4_set_inode_flag(inode, EXT4_INODE_EOFBLOCKS);
	}
	ext4_mark_inode_dirty(handle, inode);

	/* Zero out partial block at the edges of the range */
	ret = ext4_zero_partial_blocks(handle, inode, offset, len);
4799 4800
	if (ret >= 0)
		ext4_update_inode_fsync_trans(handle, inode, 1);
4801 4802 4803 4804 4805 4806

	if (file->f_flags & O_SYNC)
		ext4_handle_sync(handle);

	ext4_journal_stop(handle);
out_mutex:
A
Al Viro 已提交
4807
	inode_unlock(inode);
4808 4809 4810
	return ret;
}

A
Amit Arora 已提交
4811
/*
4812
 * preallocate space for a file. This implements ext4's fallocate file
A
Amit Arora 已提交
4813 4814 4815 4816 4817
 * operation, which gets called from sys_fallocate system call.
 * For block-mapped files, posix_fallocate should fall back to the method
 * of writing zeroes to the required new blocks (the same behavior which is
 * expected for file systems which do not support fallocate() system call).
 */
4818
long ext4_fallocate(struct file *file, int mode, loff_t offset, loff_t len)
A
Amit Arora 已提交
4819
{
A
Al Viro 已提交
4820
	struct inode *inode = file_inode(file);
4821
	loff_t new_size = 0;
4822
	unsigned int max_blocks;
A
Amit Arora 已提交
4823
	int ret = 0;
4824
	int flags;
4825 4826
	ext4_lblk_t lblk;
	unsigned int blkbits = inode->i_blkbits;
A
Amit Arora 已提交
4827

4828 4829 4830 4831 4832 4833 4834 4835 4836 4837 4838
	/*
	 * Encrypted inodes can't handle collapse range or insert
	 * range since we would need to re-encrypt blocks with a
	 * different IV or XTS tweak (which are based on the logical
	 * block number).
	 *
	 * XXX It's not clear why zero range isn't working, but we'll
	 * leave it disabled for encrypted inodes for now.  This is a
	 * bug we should fix....
	 */
	if (ext4_encrypted_inode(inode) &&
4839 4840
	    (mode & (FALLOC_FL_COLLAPSE_RANGE | FALLOC_FL_INSERT_RANGE |
		     FALLOC_FL_ZERO_RANGE)))
4841 4842
		return -EOPNOTSUPP;

4843
	/* Return error if mode is not supported */
4844
	if (mode & ~(FALLOC_FL_KEEP_SIZE | FALLOC_FL_PUNCH_HOLE |
4845 4846
		     FALLOC_FL_COLLAPSE_RANGE | FALLOC_FL_ZERO_RANGE |
		     FALLOC_FL_INSERT_RANGE))
4847 4848 4849
		return -EOPNOTSUPP;

	if (mode & FALLOC_FL_PUNCH_HOLE)
4850
		return ext4_punch_hole(inode, offset, len);
4851

4852 4853 4854 4855
	ret = ext4_convert_inline_data(inode);
	if (ret)
		return ret;

4856 4857 4858
	if (mode & FALLOC_FL_COLLAPSE_RANGE)
		return ext4_collapse_range(inode, offset, len);

4859 4860 4861
	if (mode & FALLOC_FL_INSERT_RANGE)
		return ext4_insert_range(inode, offset, len);

4862 4863 4864
	if (mode & FALLOC_FL_ZERO_RANGE)
		return ext4_zero_range(file, offset, len, mode);

4865
	trace_ext4_fallocate_enter(inode, offset, len, mode);
4866 4867
	lblk = offset >> blkbits;

4868
	max_blocks = EXT4_MAX_BLOCKS(len, offset, blkbits);
4869
	flags = EXT4_GET_BLOCKS_CREATE_UNWRIT_EXT;
4870 4871 4872
	if (mode & FALLOC_FL_KEEP_SIZE)
		flags |= EXT4_GET_BLOCKS_KEEP_SIZE;

A
Al Viro 已提交
4873
	inode_lock(inode);
4874

4875 4876 4877 4878 4879 4880 4881 4882
	/*
	 * We only support preallocation for extent-based files only
	 */
	if (!(ext4_test_inode_flag(inode, EXT4_INODE_EXTENTS))) {
		ret = -EOPNOTSUPP;
		goto out;
	}

4883
	if (!(mode & FALLOC_FL_KEEP_SIZE) &&
4884 4885
	    (offset + len > i_size_read(inode) ||
	     offset + len > EXT4_I(inode)->i_disksize)) {
4886 4887 4888 4889
		new_size = offset + len;
		ret = inode_newsize_ok(inode, new_size);
		if (ret)
			goto out;
4890
	}
4891

4892 4893 4894
	/* Wait all existing dio workers, newcomers will block on i_mutex */
	inode_dio_wait(inode);

4895
	ret = ext4_alloc_file_blocks(file, lblk, max_blocks, new_size, flags);
4896 4897
	if (ret)
		goto out;
4898

4899 4900 4901
	if (file->f_flags & O_SYNC && EXT4_SB(inode->i_sb)->s_journal) {
		ret = jbd2_complete_transaction(EXT4_SB(inode->i_sb)->s_journal,
						EXT4_I(inode)->i_sync_tid);
4902 4903
	}
out:
A
Al Viro 已提交
4904
	inode_unlock(inode);
4905 4906
	trace_ext4_fallocate_exit(inode, offset, max_blocks, ret);
	return ret;
A
Amit Arora 已提交
4907
}
4908

4909 4910 4911 4912 4913 4914 4915 4916
/*
 * This function convert a range of blocks to written extents
 * The caller of this function will pass the start offset and the size.
 * all unwritten extents within this range will be converted to
 * written extents.
 *
 * This function is called from the direct IO end io call back
 * function, to convert the fallocated extents after IO is completed.
4917
 * Returns 0 on success.
4918
 */
4919 4920
int ext4_convert_unwritten_extents(handle_t *handle, struct inode *inode,
				   loff_t offset, ssize_t len)
4921 4922 4923 4924
{
	unsigned int max_blocks;
	int ret = 0;
	int ret2 = 0;
4925
	struct ext4_map_blocks map;
4926 4927
	unsigned int credits, blkbits = inode->i_blkbits;

4928
	map.m_lblk = offset >> blkbits;
4929 4930
	max_blocks = EXT4_MAX_BLOCKS(len, offset, blkbits);

4931
	/*
4932 4933 4934
	 * This is somewhat ugly but the idea is clear: When transaction is
	 * reserved, everything goes into it. Otherwise we rather start several
	 * smaller transactions for conversion of each extent separately.
4935
	 */
4936 4937 4938 4939 4940 4941 4942 4943 4944 4945 4946 4947
	if (handle) {
		handle = ext4_journal_start_reserved(handle,
						     EXT4_HT_EXT_CONVERT);
		if (IS_ERR(handle))
			return PTR_ERR(handle);
		credits = 0;
	} else {
		/*
		 * credits to insert 1 extent into extent tree
		 */
		credits = ext4_chunk_trans_blocks(inode, max_blocks);
	}
4948
	while (ret >= 0 && ret < max_blocks) {
4949 4950
		map.m_lblk += ret;
		map.m_len = (max_blocks -= ret);
4951 4952 4953 4954 4955 4956 4957
		if (credits) {
			handle = ext4_journal_start(inode, EXT4_HT_MAP_BLOCKS,
						    credits);
			if (IS_ERR(handle)) {
				ret = PTR_ERR(handle);
				break;
			}
4958
		}
4959
		ret = ext4_map_blocks(handle, inode, &map,
4960
				      EXT4_GET_BLOCKS_IO_CONVERT_EXT);
4961 4962 4963 4964 4965 4966
		if (ret <= 0)
			ext4_warning(inode->i_sb,
				     "inode #%lu: block %u: len %u: "
				     "ext4_ext_map_blocks returned %d",
				     inode->i_ino, map.m_lblk,
				     map.m_len, ret);
4967
		ext4_mark_inode_dirty(handle, inode);
4968 4969 4970
		if (credits)
			ret2 = ext4_journal_stop(handle);
		if (ret <= 0 || ret2)
4971 4972
			break;
	}
4973 4974
	if (!credits)
		ret2 = ext4_journal_stop(handle);
4975 4976
	return ret > 0 ? ret2 : ret;
}
4977

4978
/*
Z
Zheng Liu 已提交
4979 4980
 * If newes is not existing extent (newes->ec_pblk equals zero) find
 * delayed extent at start of newes and update newes accordingly and
4981 4982
 * return start of the next delayed extent.
 *
Z
Zheng Liu 已提交
4983
 * If newes is existing extent (newes->ec_pblk is not equal zero)
4984
 * return start of next delayed extent or EXT_MAX_BLOCKS if no delayed
Z
Zheng Liu 已提交
4985
 * extent found. Leave newes unmodified.
4986
 */
4987
static int ext4_find_delayed_extent(struct inode *inode,
Z
Zheng Liu 已提交
4988
				    struct extent_status *newes)
4989
{
4990
	struct extent_status es;
4991
	ext4_lblk_t block, next_del;
4992

Z
Zheng Liu 已提交
4993
	if (newes->es_pblk == 0) {
4994 4995 4996 4997
		ext4_es_find_extent_range(inode, &ext4_es_is_delayed,
					  newes->es_lblk,
					  newes->es_lblk + newes->es_len - 1,
					  &es);
Y
Yan, Zheng 已提交
4998

4999
		/*
Z
Zheng Liu 已提交
5000
		 * No extent in extent-tree contains block @newes->es_pblk,
5001 5002
		 * then the block may stay in 1)a hole or 2)delayed-extent.
		 */
Z
Zheng Liu 已提交
5003
		if (es.es_len == 0)
5004
			/* A hole found. */
5005
			return 0;
5006

Z
Zheng Liu 已提交
5007
		if (es.es_lblk > newes->es_lblk) {
5008
			/* A hole found. */
Z
Zheng Liu 已提交
5009 5010
			newes->es_len = min(es.es_lblk - newes->es_lblk,
					    newes->es_len);
5011
			return 0;
5012
		}
5013

Z
Zheng Liu 已提交
5014
		newes->es_len = es.es_lblk + es.es_len - newes->es_lblk;
5015 5016
	}

Z
Zheng Liu 已提交
5017
	block = newes->es_lblk + newes->es_len;
5018 5019
	ext4_es_find_extent_range(inode, &ext4_es_is_delayed, block,
				  EXT_MAX_BLOCKS, &es);
5020 5021 5022 5023 5024
	if (es.es_len == 0)
		next_del = EXT_MAX_BLOCKS;
	else
		next_del = es.es_lblk;

5025
	return next_del;
5026 5027 5028 5029
}
/* fiemap flags we can handle specified here */
#define EXT4_FIEMAP_FLAGS	(FIEMAP_FLAG_SYNC|FIEMAP_FLAG_XATTR)

A
Aneesh Kumar K.V 已提交
5030 5031
static int ext4_xattr_fiemap(struct inode *inode,
				struct fiemap_extent_info *fieinfo)
5032 5033 5034 5035 5036 5037 5038 5039
{
	__u64 physical = 0;
	__u64 length;
	__u32 flags = FIEMAP_EXTENT_LAST;
	int blockbits = inode->i_sb->s_blocksize_bits;
	int error = 0;

	/* in-inode? */
5040
	if (ext4_test_inode_state(inode, EXT4_STATE_XATTR)) {
5041 5042 5043 5044 5045 5046
		struct ext4_iloc iloc;
		int offset;	/* offset of xattr in inode */

		error = ext4_get_inode_loc(inode, &iloc);
		if (error)
			return error;
5047
		physical = (__u64)iloc.bh->b_blocknr << blockbits;
5048 5049 5050 5051 5052
		offset = EXT4_GOOD_OLD_INODE_SIZE +
				EXT4_I(inode)->i_extra_isize;
		physical += offset;
		length = EXT4_SB(inode->i_sb)->s_inode_size - offset;
		flags |= FIEMAP_EXTENT_DATA_INLINE;
5053
		brelse(iloc.bh);
5054
	} else { /* external block */
5055
		physical = (__u64)EXT4_I(inode)->i_file_acl << blockbits;
5056 5057 5058 5059 5060 5061 5062 5063 5064 5065 5066 5067 5068 5069 5070
		length = inode->i_sb->s_blocksize;
	}

	if (physical)
		error = fiemap_fill_next_extent(fieinfo, 0, physical,
						length, flags);
	return (error < 0 ? error : 0);
}

int ext4_fiemap(struct inode *inode, struct fiemap_extent_info *fieinfo,
		__u64 start, __u64 len)
{
	ext4_lblk_t start_blk;
	int error = 0;

T
Tao Ma 已提交
5071 5072 5073
	if (ext4_has_inline_data(inode)) {
		int has_inline = 1;

5074 5075
		error = ext4_inline_data_fiemap(inode, fieinfo, &has_inline,
						start, len);
T
Tao Ma 已提交
5076 5077 5078 5079 5080

		if (has_inline)
			return error;
	}

5081 5082 5083 5084 5085 5086
	if (fieinfo->fi_flags & FIEMAP_FLAG_CACHE) {
		error = ext4_ext_precache(inode);
		if (error)
			return error;
	}

5087
	/* fallback to generic here if not in extents fmt */
5088
	if (!(ext4_test_inode_flag(inode, EXT4_INODE_EXTENTS)))
5089 5090
		return generic_block_fiemap(inode, fieinfo, start, len,
			ext4_get_block);
5091 5092 5093 5094 5095 5096 5097

	if (fiemap_check_flags(fieinfo, EXT4_FIEMAP_FLAGS))
		return -EBADR;

	if (fieinfo->fi_flags & FIEMAP_FLAG_XATTR) {
		error = ext4_xattr_fiemap(inode, fieinfo);
	} else {
5098 5099 5100
		ext4_lblk_t len_blks;
		__u64 last_blk;

5101
		start_blk = start >> inode->i_sb->s_blocksize_bits;
5102
		last_blk = (start + len - 1) >> inode->i_sb->s_blocksize_bits;
5103 5104
		if (last_blk >= EXT_MAX_BLOCKS)
			last_blk = EXT_MAX_BLOCKS-1;
5105
		len_blks = ((ext4_lblk_t) last_blk) - start_blk + 1;
5106 5107

		/*
5108 5109
		 * Walk the extent tree gathering extent information
		 * and pushing extents back to the user.
5110
		 */
5111 5112
		error = ext4_fill_fiemap_extents(inode, start_blk,
						 len_blks, fieinfo);
5113 5114 5115
	}
	return error;
}
5116 5117 5118 5119 5120 5121 5122 5123 5124 5125 5126 5127 5128 5129 5130 5131 5132 5133 5134 5135 5136 5137 5138 5139 5140 5141 5142 5143 5144 5145 5146 5147 5148 5149 5150 5151 5152

/*
 * ext4_access_path:
 * Function to access the path buffer for marking it dirty.
 * It also checks if there are sufficient credits left in the journal handle
 * to update path.
 */
static int
ext4_access_path(handle_t *handle, struct inode *inode,
		struct ext4_ext_path *path)
{
	int credits, err;

	if (!ext4_handle_valid(handle))
		return 0;

	/*
	 * Check if need to extend journal credits
	 * 3 for leaf, sb, and inode plus 2 (bmap and group
	 * descriptor) for each block group; assume two block
	 * groups
	 */
	if (handle->h_buffer_credits < 7) {
		credits = ext4_writepage_trans_blocks(inode);
		err = ext4_ext_truncate_extend_restart(handle, inode, credits);
		/* EAGAIN is success */
		if (err && err != -EAGAIN)
			return err;
	}

	err = ext4_ext_get_access(handle, inode, path);
	return err;
}

/*
 * ext4_ext_shift_path_extents:
 * Shift the extents of a path structure lying between path[depth].p_ext
5153 5154
 * and EXT_LAST_EXTENT(path[depth].p_hdr), by @shift blocks. @SHIFT tells
 * if it is right shift or left shift operation.
5155 5156 5157 5158
 */
static int
ext4_ext_shift_path_extents(struct ext4_ext_path *path, ext4_lblk_t shift,
			    struct inode *inode, handle_t *handle,
5159
			    enum SHIFT_DIRECTION SHIFT)
5160 5161 5162 5163 5164 5165 5166 5167 5168 5169
{
	int depth, err = 0;
	struct ext4_extent *ex_start, *ex_last;
	bool update = 0;
	depth = path->p_depth;

	while (depth >= 0) {
		if (depth == path->p_depth) {
			ex_start = path[depth].p_ext;
			if (!ex_start)
5170
				return -EFSCORRUPTED;
5171 5172 5173 5174 5175 5176 5177 5178 5179 5180 5181

			ex_last = EXT_LAST_EXTENT(path[depth].p_hdr);

			err = ext4_access_path(handle, inode, path + depth);
			if (err)
				goto out;

			if (ex_start == EXT_FIRST_EXTENT(path[depth].p_hdr))
				update = 1;

			while (ex_start <= ex_last) {
5182 5183 5184 5185 5186 5187 5188 5189 5190 5191 5192 5193 5194 5195 5196 5197
				if (SHIFT == SHIFT_LEFT) {
					le32_add_cpu(&ex_start->ee_block,
						-shift);
					/* Try to merge to the left. */
					if ((ex_start >
					    EXT_FIRST_EXTENT(path[depth].p_hdr))
					    &&
					    ext4_ext_try_to_merge_right(inode,
					    path, ex_start - 1))
						ex_last--;
					else
						ex_start++;
				} else {
					le32_add_cpu(&ex_last->ee_block, shift);
					ext4_ext_try_to_merge_right(inode, path,
						ex_last);
5198
					ex_last--;
5199
				}
5200 5201 5202 5203 5204 5205 5206 5207 5208 5209 5210 5211 5212 5213
			}
			err = ext4_ext_dirty(handle, inode, path + depth);
			if (err)
				goto out;

			if (--depth < 0 || !update)
				break;
		}

		/* Update index too */
		err = ext4_access_path(handle, inode, path + depth);
		if (err)
			goto out;

5214 5215 5216 5217
		if (SHIFT == SHIFT_LEFT)
			le32_add_cpu(&path[depth].p_idx->ei_block, -shift);
		else
			le32_add_cpu(&path[depth].p_idx->ei_block, shift);
5218 5219 5220 5221 5222 5223 5224 5225 5226 5227 5228 5229 5230 5231 5232 5233 5234
		err = ext4_ext_dirty(handle, inode, path + depth);
		if (err)
			goto out;

		/* we are done if current index is not a starting index */
		if (path[depth].p_idx != EXT_FIRST_INDEX(path[depth].p_hdr))
			break;

		depth--;
	}

out:
	return err;
}

/*
 * ext4_ext_shift_extents:
5235 5236 5237
 * All the extents which lies in the range from @start to the last allocated
 * block for the @inode are shifted either towards left or right (depending
 * upon @SHIFT) by @shift blocks.
5238 5239 5240 5241
 * On success, 0 is returned, error otherwise.
 */
static int
ext4_ext_shift_extents(struct inode *inode, handle_t *handle,
5242 5243
		       ext4_lblk_t start, ext4_lblk_t shift,
		       enum SHIFT_DIRECTION SHIFT)
5244 5245 5246 5247
{
	struct ext4_ext_path *path;
	int ret = 0, depth;
	struct ext4_extent *extent;
5248
	ext4_lblk_t stop, *iterator, ex_start, ex_end;
5249 5250

	/* Let path point to the last extent */
5251 5252
	path = ext4_find_extent(inode, EXT_MAX_BLOCKS - 1, NULL,
				EXT4_EX_NOCACHE);
5253 5254 5255 5256 5257
	if (IS_ERR(path))
		return PTR_ERR(path);

	depth = path->p_depth;
	extent = path[depth].p_ext;
5258 5259
	if (!extent)
		goto out;
5260

5261
	stop = le32_to_cpu(extent->ee_block);
5262

5263
       /*
5264 5265 5266
	* For left shifts, make sure the hole on the left is big enough to
	* accommodate the shift.  For right shifts, make sure the last extent
	* won't be shifted beyond EXT_MAX_BLOCKS.
5267 5268
	*/
	if (SHIFT == SHIFT_LEFT) {
5269 5270
		path = ext4_find_extent(inode, start - 1, &path,
					EXT4_EX_NOCACHE);
5271 5272 5273 5274 5275 5276 5277 5278 5279 5280 5281 5282
		if (IS_ERR(path))
			return PTR_ERR(path);
		depth = path->p_depth;
		extent =  path[depth].p_ext;
		if (extent) {
			ex_start = le32_to_cpu(extent->ee_block);
			ex_end = le32_to_cpu(extent->ee_block) +
				ext4_ext_get_actual_len(extent);
		} else {
			ex_start = 0;
			ex_end = 0;
		}
5283

5284 5285
		if ((start == ex_start && shift > ex_start) ||
		    (shift > start - ex_end)) {
5286 5287 5288 5289 5290 5291 5292 5293
			ret = -EINVAL;
			goto out;
		}
	} else {
		if (shift > EXT_MAX_BLOCKS -
		    (stop + ext4_ext_get_actual_len(extent))) {
			ret = -EINVAL;
			goto out;
5294
		}
5295
	}
5296

5297 5298 5299 5300 5301 5302 5303 5304 5305
	/*
	 * In case of left shift, iterator points to start and it is increased
	 * till we reach stop. In case of right shift, iterator points to stop
	 * and it is decreased till we reach start.
	 */
	if (SHIFT == SHIFT_LEFT)
		iterator = &start;
	else
		iterator = &stop;
5306

5307 5308 5309 5310 5311 5312
	/*
	 * Its safe to start updating extents.  Start and stop are unsigned, so
	 * in case of right shift if extent with 0 block is reached, iterator
	 * becomes NULL to indicate the end of the loop.
	 */
	while (iterator && start <= stop) {
5313 5314
		path = ext4_find_extent(inode, *iterator, &path,
					EXT4_EX_NOCACHE);
5315 5316 5317 5318
		if (IS_ERR(path))
			return PTR_ERR(path);
		depth = path->p_depth;
		extent = path[depth].p_ext;
5319 5320
		if (!extent) {
			EXT4_ERROR_INODE(inode, "unexpected hole at %lu",
5321
					 (unsigned long) *iterator);
5322
			return -EFSCORRUPTED;
5323
		}
5324 5325
		if (SHIFT == SHIFT_LEFT && *iterator >
		    le32_to_cpu(extent->ee_block)) {
5326
			/* Hole, move to the next extent */
5327 5328 5329
			if (extent < EXT_LAST_EXTENT(path[depth].p_hdr)) {
				path[depth].p_ext++;
			} else {
5330
				*iterator = ext4_ext_next_allocated_block(path);
5331
				continue;
5332 5333
			}
		}
5334 5335 5336 5337 5338 5339 5340

		if (SHIFT == SHIFT_LEFT) {
			extent = EXT_LAST_EXTENT(path[depth].p_hdr);
			*iterator = le32_to_cpu(extent->ee_block) +
					ext4_ext_get_actual_len(extent);
		} else {
			extent = EXT_FIRST_EXTENT(path[depth].p_hdr);
5341 5342 5343 5344 5345
			if (le32_to_cpu(extent->ee_block) > 0)
				*iterator = le32_to_cpu(extent->ee_block) - 1;
			else
				/* Beginning is reached, end of the loop */
				iterator = NULL;
5346 5347 5348 5349 5350
			/* Update path extent in case we need to stop */
			while (le32_to_cpu(extent->ee_block) < start)
				extent++;
			path[depth].p_ext = extent;
		}
5351
		ret = ext4_ext_shift_path_extents(path, shift, inode,
5352
				handle, SHIFT);
5353 5354 5355
		if (ret)
			break;
	}
5356 5357 5358
out:
	ext4_ext_drop_refs(path);
	kfree(path);
5359 5360 5361 5362 5363 5364 5365 5366 5367 5368 5369 5370 5371 5372
	return ret;
}

/*
 * ext4_collapse_range:
 * This implements the fallocate's collapse range functionality for ext4
 * Returns: 0 and non-zero on error.
 */
int ext4_collapse_range(struct inode *inode, loff_t offset, loff_t len)
{
	struct super_block *sb = inode->i_sb;
	ext4_lblk_t punch_start, punch_stop;
	handle_t *handle;
	unsigned int credits;
5373
	loff_t new_size, ioffset;
5374 5375
	int ret;

5376 5377 5378 5379 5380 5381 5382 5383
	/*
	 * We need to test this early because xfstests assumes that a
	 * collapse range of (0, 1) will return EOPNOTSUPP if the file
	 * system does not support collapse range.
	 */
	if (!ext4_test_inode_flag(inode, EXT4_INODE_EXTENTS))
		return -EOPNOTSUPP;

5384
	/* Collapse range works only on fs block size aligned offsets. */
5385 5386
	if (offset & (EXT4_CLUSTER_SIZE(sb) - 1) ||
	    len & (EXT4_CLUSTER_SIZE(sb) - 1))
5387 5388 5389
		return -EINVAL;

	if (!S_ISREG(inode->i_mode))
5390
		return -EINVAL;
5391 5392 5393 5394 5395 5396

	trace_ext4_collapse_range(inode, offset, len);

	punch_start = offset >> EXT4_BLOCK_SIZE_BITS(sb);
	punch_stop = (offset + len) >> EXT4_BLOCK_SIZE_BITS(sb);

5397 5398 5399 5400 5401 5402 5403
	/* Call ext4_force_commit to flush all data in case of data=journal. */
	if (ext4_should_journal_data(inode)) {
		ret = ext4_force_commit(inode->i_sb);
		if (ret)
			return ret;
	}

A
Al Viro 已提交
5404
	inode_lock(inode);
5405 5406 5407 5408 5409 5410 5411 5412 5413
	/*
	 * There is no need to overlap collapse range with EOF, in which case
	 * it is effectively a truncate operation
	 */
	if (offset + len >= i_size_read(inode)) {
		ret = -EINVAL;
		goto out_mutex;
	}

5414 5415 5416 5417 5418 5419 5420 5421 5422
	/* Currently just for extent based files */
	if (!ext4_test_inode_flag(inode, EXT4_INODE_EXTENTS)) {
		ret = -EOPNOTSUPP;
		goto out_mutex;
	}

	/* Wait for existing dio to complete */
	inode_dio_wait(inode);

5423 5424 5425 5426 5427
	/*
	 * Prevent page faults from reinstantiating pages we have released from
	 * page cache.
	 */
	down_write(&EXT4_I(inode)->i_mmap_sem);
5428 5429 5430 5431 5432

	ret = ext4_break_layouts(inode);
	if (ret)
		goto out_mmap;

5433 5434 5435 5436 5437 5438 5439 5440 5441 5442 5443 5444 5445 5446 5447 5448 5449 5450 5451 5452 5453
	/*
	 * Need to round down offset to be aligned with page size boundary
	 * for page size > block size.
	 */
	ioffset = round_down(offset, PAGE_SIZE);
	/*
	 * Write tail of the last page before removed range since it will get
	 * removed from the page cache below.
	 */
	ret = filemap_write_and_wait_range(inode->i_mapping, ioffset, offset);
	if (ret)
		goto out_mmap;
	/*
	 * Write data that will be shifted to preserve them when discarding
	 * page cache below. We are also protected from pages becoming dirty
	 * by i_mmap_sem.
	 */
	ret = filemap_write_and_wait_range(inode->i_mapping, offset + len,
					   LLONG_MAX);
	if (ret)
		goto out_mmap;
5454 5455
	truncate_pagecache(inode, ioffset);

5456 5457 5458 5459
	credits = ext4_writepage_trans_blocks(inode);
	handle = ext4_journal_start(inode, EXT4_HT_TRUNCATE, credits);
	if (IS_ERR(handle)) {
		ret = PTR_ERR(handle);
5460
		goto out_mmap;
5461 5462 5463 5464 5465 5466
	}

	down_write(&EXT4_I(inode)->i_data_sem);
	ext4_discard_preallocations(inode);

	ret = ext4_es_remove_extent(inode, punch_start,
5467
				    EXT_MAX_BLOCKS - punch_start);
5468 5469 5470 5471 5472 5473 5474 5475 5476 5477
	if (ret) {
		up_write(&EXT4_I(inode)->i_data_sem);
		goto out_stop;
	}

	ret = ext4_ext_remove_space(inode, punch_start, punch_stop - 1);
	if (ret) {
		up_write(&EXT4_I(inode)->i_data_sem);
		goto out_stop;
	}
5478
	ext4_discard_preallocations(inode);
5479 5480

	ret = ext4_ext_shift_extents(inode, handle, punch_stop,
5481
				     punch_stop - punch_start, SHIFT_LEFT);
5482 5483 5484 5485 5486 5487
	if (ret) {
		up_write(&EXT4_I(inode)->i_data_sem);
		goto out_stop;
	}

	new_size = i_size_read(inode) - len;
5488
	i_size_write(inode, new_size);
5489 5490 5491 5492 5493
	EXT4_I(inode)->i_disksize = new_size;

	up_write(&EXT4_I(inode)->i_data_sem);
	if (IS_SYNC(inode))
		ext4_handle_sync(handle);
5494
	inode->i_mtime = inode->i_ctime = current_time(inode);
5495
	ext4_mark_inode_dirty(handle, inode);
5496
	ext4_update_inode_fsync_trans(handle, inode, 1);
5497 5498 5499

out_stop:
	ext4_journal_stop(handle);
5500 5501
out_mmap:
	up_write(&EXT4_I(inode)->i_mmap_sem);
5502
out_mutex:
A
Al Viro 已提交
5503
	inode_unlock(inode);
5504 5505
	return ret;
}
5506

5507 5508 5509 5510 5511 5512 5513 5514 5515 5516 5517 5518 5519 5520 5521 5522 5523 5524 5525 5526 5527 5528 5529 5530 5531 5532 5533 5534 5535 5536 5537 5538 5539 5540 5541 5542 5543 5544 5545 5546 5547 5548 5549 5550 5551 5552 5553
/*
 * ext4_insert_range:
 * This function implements the FALLOC_FL_INSERT_RANGE flag of fallocate.
 * The data blocks starting from @offset to the EOF are shifted by @len
 * towards right to create a hole in the @inode. Inode size is increased
 * by len bytes.
 * Returns 0 on success, error otherwise.
 */
int ext4_insert_range(struct inode *inode, loff_t offset, loff_t len)
{
	struct super_block *sb = inode->i_sb;
	handle_t *handle;
	struct ext4_ext_path *path;
	struct ext4_extent *extent;
	ext4_lblk_t offset_lblk, len_lblk, ee_start_lblk = 0;
	unsigned int credits, ee_len;
	int ret = 0, depth, split_flag = 0;
	loff_t ioffset;

	/*
	 * We need to test this early because xfstests assumes that an
	 * insert range of (0, 1) will return EOPNOTSUPP if the file
	 * system does not support insert range.
	 */
	if (!ext4_test_inode_flag(inode, EXT4_INODE_EXTENTS))
		return -EOPNOTSUPP;

	/* Insert range works only on fs block size aligned offsets. */
	if (offset & (EXT4_CLUSTER_SIZE(sb) - 1) ||
			len & (EXT4_CLUSTER_SIZE(sb) - 1))
		return -EINVAL;

	if (!S_ISREG(inode->i_mode))
		return -EOPNOTSUPP;

	trace_ext4_insert_range(inode, offset, len);

	offset_lblk = offset >> EXT4_BLOCK_SIZE_BITS(sb);
	len_lblk = len >> EXT4_BLOCK_SIZE_BITS(sb);

	/* Call ext4_force_commit to flush all data in case of data=journal */
	if (ext4_should_journal_data(inode)) {
		ret = ext4_force_commit(inode->i_sb);
		if (ret)
			return ret;
	}

A
Al Viro 已提交
5554
	inode_lock(inode);
5555 5556 5557 5558 5559 5560 5561 5562 5563 5564 5565 5566 5567 5568 5569 5570 5571 5572 5573 5574 5575
	/* Currently just for extent based files */
	if (!ext4_test_inode_flag(inode, EXT4_INODE_EXTENTS)) {
		ret = -EOPNOTSUPP;
		goto out_mutex;
	}

	/* Check for wrap through zero */
	if (inode->i_size + len > inode->i_sb->s_maxbytes) {
		ret = -EFBIG;
		goto out_mutex;
	}

	/* Offset should be less than i_size */
	if (offset >= i_size_read(inode)) {
		ret = -EINVAL;
		goto out_mutex;
	}

	/* Wait for existing dio to complete */
	inode_dio_wait(inode);

5576 5577 5578 5579 5580
	/*
	 * Prevent page faults from reinstantiating pages we have released from
	 * page cache.
	 */
	down_write(&EXT4_I(inode)->i_mmap_sem);
5581 5582 5583 5584 5585

	ret = ext4_break_layouts(inode);
	if (ret)
		goto out_mmap;

5586 5587 5588 5589 5590 5591 5592 5593 5594 5595
	/*
	 * Need to round down to align start offset to page size boundary
	 * for page size > block size.
	 */
	ioffset = round_down(offset, PAGE_SIZE);
	/* Write out all dirty pages */
	ret = filemap_write_and_wait_range(inode->i_mapping, ioffset,
			LLONG_MAX);
	if (ret)
		goto out_mmap;
5596 5597
	truncate_pagecache(inode, ioffset);

5598 5599 5600 5601
	credits = ext4_writepage_trans_blocks(inode);
	handle = ext4_journal_start(inode, EXT4_HT_TRUNCATE, credits);
	if (IS_ERR(handle)) {
		ret = PTR_ERR(handle);
5602
		goto out_mmap;
5603 5604 5605 5606 5607
	}

	/* Expand file to avoid data loss if there is error while shifting */
	inode->i_size += len;
	EXT4_I(inode)->i_disksize += len;
5608
	inode->i_mtime = inode->i_ctime = current_time(inode);
5609 5610 5611 5612 5613 5614 5615 5616 5617 5618 5619 5620 5621 5622 5623 5624 5625 5626 5627 5628 5629 5630 5631 5632 5633 5634 5635 5636 5637 5638 5639 5640 5641 5642 5643 5644 5645 5646 5647 5648 5649
	ret = ext4_mark_inode_dirty(handle, inode);
	if (ret)
		goto out_stop;

	down_write(&EXT4_I(inode)->i_data_sem);
	ext4_discard_preallocations(inode);

	path = ext4_find_extent(inode, offset_lblk, NULL, 0);
	if (IS_ERR(path)) {
		up_write(&EXT4_I(inode)->i_data_sem);
		goto out_stop;
	}

	depth = ext_depth(inode);
	extent = path[depth].p_ext;
	if (extent) {
		ee_start_lblk = le32_to_cpu(extent->ee_block);
		ee_len = ext4_ext_get_actual_len(extent);

		/*
		 * If offset_lblk is not the starting block of extent, split
		 * the extent @offset_lblk
		 */
		if ((offset_lblk > ee_start_lblk) &&
				(offset_lblk < (ee_start_lblk + ee_len))) {
			if (ext4_ext_is_unwritten(extent))
				split_flag = EXT4_EXT_MARK_UNWRIT1 |
					EXT4_EXT_MARK_UNWRIT2;
			ret = ext4_split_extent_at(handle, inode, &path,
					offset_lblk, split_flag,
					EXT4_EX_NOCACHE |
					EXT4_GET_BLOCKS_PRE_IO |
					EXT4_GET_BLOCKS_METADATA_NOFAIL);
		}

		ext4_ext_drop_refs(path);
		kfree(path);
		if (ret < 0) {
			up_write(&EXT4_I(inode)->i_data_sem);
			goto out_stop;
		}
5650 5651 5652
	} else {
		ext4_ext_drop_refs(path);
		kfree(path);
5653 5654 5655 5656 5657 5658 5659 5660 5661 5662 5663 5664 5665 5666 5667 5668 5669 5670 5671 5672
	}

	ret = ext4_es_remove_extent(inode, offset_lblk,
			EXT_MAX_BLOCKS - offset_lblk);
	if (ret) {
		up_write(&EXT4_I(inode)->i_data_sem);
		goto out_stop;
	}

	/*
	 * if offset_lblk lies in a hole which is at start of file, use
	 * ee_start_lblk to shift extents
	 */
	ret = ext4_ext_shift_extents(inode, handle,
		ee_start_lblk > offset_lblk ? ee_start_lblk : offset_lblk,
		len_lblk, SHIFT_RIGHT);

	up_write(&EXT4_I(inode)->i_data_sem);
	if (IS_SYNC(inode))
		ext4_handle_sync(handle);
5673 5674
	if (ret >= 0)
		ext4_update_inode_fsync_trans(handle, inode, 1);
5675 5676 5677

out_stop:
	ext4_journal_stop(handle);
5678 5679
out_mmap:
	up_write(&EXT4_I(inode)->i_mmap_sem);
5680
out_mutex:
A
Al Viro 已提交
5681
	inode_unlock(inode);
5682 5683 5684
	return ret;
}

5685 5686 5687 5688 5689 5690 5691 5692
/**
 * ext4_swap_extents - Swap extents between two inodes
 *
 * @inode1:	First inode
 * @inode2:	Second inode
 * @lblk1:	Start block for first inode
 * @lblk2:	Start block for second inode
 * @count:	Number of blocks to swap
5693
 * @unwritten: Mark second inode's extents as unwritten after swap
5694 5695 5696 5697 5698 5699 5700 5701 5702 5703 5704 5705 5706
 * @erp:	Pointer to save error value
 *
 * This helper routine does exactly what is promise "swap extents". All other
 * stuff such as page-cache locking consistency, bh mapping consistency or
 * extent's data copying must be performed by caller.
 * Locking:
 * 		i_mutex is held for both inodes
 * 		i_data_sem is locked for write for both inodes
 * Assumptions:
 *		All pages from requested range are locked for both inodes
 */
int
ext4_swap_extents(handle_t *handle, struct inode *inode1,
5707
		  struct inode *inode2, ext4_lblk_t lblk1, ext4_lblk_t lblk2,
5708 5709 5710 5711 5712 5713 5714 5715
		  ext4_lblk_t count, int unwritten, int *erp)
{
	struct ext4_ext_path *path1 = NULL;
	struct ext4_ext_path *path2 = NULL;
	int replaced_count = 0;

	BUG_ON(!rwsem_is_locked(&EXT4_I(inode1)->i_data_sem));
	BUG_ON(!rwsem_is_locked(&EXT4_I(inode2)->i_data_sem));
A
Al Viro 已提交
5716 5717
	BUG_ON(!inode_is_locked(inode1));
	BUG_ON(!inode_is_locked(inode2));
5718 5719

	*erp = ext4_es_remove_extent(inode1, lblk1, count);
5720
	if (unlikely(*erp))
5721 5722
		return 0;
	*erp = ext4_es_remove_extent(inode2, lblk2, count);
5723
	if (unlikely(*erp))
5724 5725 5726 5727 5728 5729 5730 5731
		return 0;

	while (count) {
		struct ext4_extent *ex1, *ex2, tmp_ex;
		ext4_lblk_t e1_blk, e2_blk;
		int e1_len, e2_len, len;
		int split = 0;

5732
		path1 = ext4_find_extent(inode1, lblk1, NULL, EXT4_EX_NOCACHE);
5733
		if (IS_ERR(path1)) {
5734
			*erp = PTR_ERR(path1);
5735 5736 5737 5738
			path1 = NULL;
		finish:
			count = 0;
			goto repeat;
5739
		}
5740
		path2 = ext4_find_extent(inode2, lblk2, NULL, EXT4_EX_NOCACHE);
5741
		if (IS_ERR(path2)) {
5742
			*erp = PTR_ERR(path2);
5743 5744
			path2 = NULL;
			goto finish;
5745 5746 5747 5748 5749
		}
		ex1 = path1[path1->p_depth].p_ext;
		ex2 = path2[path2->p_depth].p_ext;
		/* Do we have somthing to swap ? */
		if (unlikely(!ex2 || !ex1))
5750
			goto finish;
5751 5752 5753 5754 5755 5756 5757 5758 5759 5760 5761 5762 5763 5764 5765 5766 5767 5768

		e1_blk = le32_to_cpu(ex1->ee_block);
		e2_blk = le32_to_cpu(ex2->ee_block);
		e1_len = ext4_ext_get_actual_len(ex1);
		e2_len = ext4_ext_get_actual_len(ex2);

		/* Hole handling */
		if (!in_range(lblk1, e1_blk, e1_len) ||
		    !in_range(lblk2, e2_blk, e2_len)) {
			ext4_lblk_t next1, next2;

			/* if hole after extent, then go to next extent */
			next1 = ext4_ext_next_allocated_block(path1);
			next2 = ext4_ext_next_allocated_block(path2);
			/* If hole before extent, then shift to that extent */
			if (e1_blk > lblk1)
				next1 = e1_blk;
			if (e2_blk > lblk2)
5769
				next2 = e2_blk;
5770 5771
			/* Do we have something to swap */
			if (next1 == EXT_MAX_BLOCKS || next2 == EXT_MAX_BLOCKS)
5772
				goto finish;
5773 5774 5775 5776 5777 5778 5779 5780 5781 5782 5783 5784 5785 5786 5787 5788
			/* Move to the rightest boundary */
			len = next1 - lblk1;
			if (len < next2 - lblk2)
				len = next2 - lblk2;
			if (len > count)
				len = count;
			lblk1 += len;
			lblk2 += len;
			count -= len;
			goto repeat;
		}

		/* Prepare left boundary */
		if (e1_blk < lblk1) {
			split = 1;
			*erp = ext4_force_split_extent_at(handle, inode1,
5789
						&path1, lblk1, 0);
5790 5791
			if (unlikely(*erp))
				goto finish;
5792 5793 5794 5795
		}
		if (e2_blk < lblk2) {
			split = 1;
			*erp = ext4_force_split_extent_at(handle, inode2,
5796
						&path2,  lblk2, 0);
5797 5798
			if (unlikely(*erp))
				goto finish;
5799
		}
5800
		/* ext4_split_extent_at() may result in leaf extent split,
5801 5802 5803 5804 5805 5806 5807 5808 5809 5810 5811 5812 5813 5814
		 * path must to be revalidated. */
		if (split)
			goto repeat;

		/* Prepare right boundary */
		len = count;
		if (len > e1_blk + e1_len - lblk1)
			len = e1_blk + e1_len - lblk1;
		if (len > e2_blk + e2_len - lblk2)
			len = e2_blk + e2_len - lblk2;

		if (len != e1_len) {
			split = 1;
			*erp = ext4_force_split_extent_at(handle, inode1,
5815
						&path1, lblk1 + len, 0);
5816 5817
			if (unlikely(*erp))
				goto finish;
5818 5819 5820 5821
		}
		if (len != e2_len) {
			split = 1;
			*erp = ext4_force_split_extent_at(handle, inode2,
5822
						&path2, lblk2 + len, 0);
5823
			if (*erp)
5824
				goto finish;
5825
		}
5826
		/* ext4_split_extent_at() may result in leaf extent split,
5827 5828 5829 5830 5831 5832
		 * path must to be revalidated. */
		if (split)
			goto repeat;

		BUG_ON(e2_len != e1_len);
		*erp = ext4_ext_get_access(handle, inode1, path1 + path1->p_depth);
5833 5834
		if (unlikely(*erp))
			goto finish;
5835
		*erp = ext4_ext_get_access(handle, inode2, path2 + path2->p_depth);
5836 5837
		if (unlikely(*erp))
			goto finish;
5838 5839 5840 5841 5842 5843 5844 5845 5846 5847 5848 5849 5850 5851 5852 5853

		/* Both extents are fully inside boundaries. Swap it now */
		tmp_ex = *ex1;
		ext4_ext_store_pblock(ex1, ext4_ext_pblock(ex2));
		ext4_ext_store_pblock(ex2, ext4_ext_pblock(&tmp_ex));
		ex1->ee_len = cpu_to_le16(e2_len);
		ex2->ee_len = cpu_to_le16(e1_len);
		if (unwritten)
			ext4_ext_mark_unwritten(ex2);
		if (ext4_ext_is_unwritten(&tmp_ex))
			ext4_ext_mark_unwritten(ex1);

		ext4_ext_try_to_merge(handle, inode2, path2, ex2);
		ext4_ext_try_to_merge(handle, inode1, path1, ex1);
		*erp = ext4_ext_dirty(handle, inode2, path2 +
				      path2->p_depth);
5854 5855
		if (unlikely(*erp))
			goto finish;
5856 5857 5858 5859 5860 5861 5862 5863
		*erp = ext4_ext_dirty(handle, inode1, path1 +
				      path1->p_depth);
		/*
		 * Looks scarry ah..? second inode already points to new blocks,
		 * and it was successfully dirtied. But luckily error may happen
		 * only due to journal error, so full transaction will be
		 * aborted anyway.
		 */
5864 5865
		if (unlikely(*erp))
			goto finish;
5866 5867 5868 5869 5870 5871
		lblk1 += len;
		lblk2 += len;
		replaced_count += len;
		count -= len;

	repeat:
5872 5873 5874 5875 5876
		ext4_ext_drop_refs(path1);
		kfree(path1);
		ext4_ext_drop_refs(path2);
		kfree(path2);
		path1 = path2 = NULL;
5877 5878 5879
	}
	return replaced_count;
}
5880 5881 5882 5883 5884 5885 5886 5887 5888 5889 5890 5891 5892 5893 5894 5895 5896 5897 5898 5899 5900 5901 5902 5903 5904 5905 5906 5907 5908 5909 5910 5911 5912 5913 5914 5915 5916 5917 5918 5919 5920 5921 5922 5923 5924 5925 5926 5927 5928 5929 5930 5931 5932 5933 5934 5935 5936 5937 5938 5939 5940 5941 5942 5943 5944 5945 5946 5947 5948 5949 5950 5951 5952 5953 5954 5955 5956 5957 5958

/*
 * ext4_clu_mapped - determine whether any block in a logical cluster has
 *                   been mapped to a physical cluster
 *
 * @inode - file containing the logical cluster
 * @lclu - logical cluster of interest
 *
 * Returns 1 if any block in the logical cluster is mapped, signifying
 * that a physical cluster has been allocated for it.  Otherwise,
 * returns 0.  Can also return negative error codes.  Derived from
 * ext4_ext_map_blocks().
 */
int ext4_clu_mapped(struct inode *inode, ext4_lblk_t lclu)
{
	struct ext4_sb_info *sbi = EXT4_SB(inode->i_sb);
	struct ext4_ext_path *path;
	int depth, mapped = 0, err = 0;
	struct ext4_extent *extent;
	ext4_lblk_t first_lblk, first_lclu, last_lclu;

	/* search for the extent closest to the first block in the cluster */
	path = ext4_find_extent(inode, EXT4_C2B(sbi, lclu), NULL, 0);
	if (IS_ERR(path)) {
		err = PTR_ERR(path);
		path = NULL;
		goto out;
	}

	depth = ext_depth(inode);

	/*
	 * A consistent leaf must not be empty.  This situation is possible,
	 * though, _during_ tree modification, and it's why an assert can't
	 * be put in ext4_find_extent().
	 */
	if (unlikely(path[depth].p_ext == NULL && depth != 0)) {
		EXT4_ERROR_INODE(inode,
		    "bad extent address - lblock: %lu, depth: %d, pblock: %lld",
				 (unsigned long) EXT4_C2B(sbi, lclu),
				 depth, path[depth].p_block);
		err = -EFSCORRUPTED;
		goto out;
	}

	extent = path[depth].p_ext;

	/* can't be mapped if the extent tree is empty */
	if (extent == NULL)
		goto out;

	first_lblk = le32_to_cpu(extent->ee_block);
	first_lclu = EXT4_B2C(sbi, first_lblk);

	/*
	 * Three possible outcomes at this point - found extent spanning
	 * the target cluster, to the left of the target cluster, or to the
	 * right of the target cluster.  The first two cases are handled here.
	 * The last case indicates the target cluster is not mapped.
	 */
	if (lclu >= first_lclu) {
		last_lclu = EXT4_B2C(sbi, first_lblk +
				     ext4_ext_get_actual_len(extent) - 1);
		if (lclu <= last_lclu) {
			mapped = 1;
		} else {
			first_lblk = ext4_ext_next_allocated_block(path);
			first_lclu = EXT4_B2C(sbi, first_lblk);
			if (lclu == first_lclu)
				mapped = 1;
		}
	}

out:
	ext4_ext_drop_refs(path);
	kfree(path);

	return err ? err : mapped;
}