xref: /openbmc/linux/fs/ext4/extents.c (revision 384740dc)
1 /*
2  * Copyright (c) 2003-2006, Cluster File Systems, Inc, info@clusterfs.com
3  * Written by Alex Tomas <alex@clusterfs.com>
4  *
5  * Architecture independence:
6  *   Copyright (c) 2005, Bull S.A.
7  *   Written by Pierre Peiffer <pierre.peiffer@bull.net>
8  *
9  * This program is free software; you can redistribute it and/or modify
10  * it under the terms of the GNU General Public License version 2 as
11  * published by the Free Software Foundation.
12  *
13  * This program is distributed in the hope that it will be useful,
14  * but WITHOUT ANY WARRANTY; without even the implied warranty of
15  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
16  * GNU General Public License for more details.
17  *
18  * You should have received a copy of the GNU General Public Licens
19  * along with this program; if not, write to the Free Software
20  * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-
21  */
22 
23 /*
24  * Extents support for EXT4
25  *
26  * TODO:
27  *   - ext4*_error() should be used in some situations
28  *   - analyze all BUG()/BUG_ON(), use -EIO where appropriate
29  *   - smart tree reduction
30  */
31 
32 #include <linux/module.h>
33 #include <linux/fs.h>
34 #include <linux/time.h>
35 #include <linux/jbd2.h>
36 #include <linux/highuid.h>
37 #include <linux/pagemap.h>
38 #include <linux/quotaops.h>
39 #include <linux/string.h>
40 #include <linux/slab.h>
41 #include <linux/falloc.h>
42 #include <asm/uaccess.h>
43 #include "ext4_jbd2.h"
44 #include "ext4_extents.h"
45 
46 
47 /*
48  * ext_pblock:
49  * combine low and high parts of physical block number into ext4_fsblk_t
50  */
51 static ext4_fsblk_t ext_pblock(struct ext4_extent *ex)
52 {
53 	ext4_fsblk_t block;
54 
55 	block = le32_to_cpu(ex->ee_start_lo);
56 	block |= ((ext4_fsblk_t) le16_to_cpu(ex->ee_start_hi) << 31) << 1;
57 	return block;
58 }
59 
60 /*
61  * idx_pblock:
62  * combine low and high parts of a leaf physical block number into ext4_fsblk_t
63  */
64 ext4_fsblk_t idx_pblock(struct ext4_extent_idx *ix)
65 {
66 	ext4_fsblk_t block;
67 
68 	block = le32_to_cpu(ix->ei_leaf_lo);
69 	block |= ((ext4_fsblk_t) le16_to_cpu(ix->ei_leaf_hi) << 31) << 1;
70 	return block;
71 }
72 
73 /*
74  * ext4_ext_store_pblock:
75  * stores a large physical block number into an extent struct,
76  * breaking it into parts
77  */
78 void ext4_ext_store_pblock(struct ext4_extent *ex, ext4_fsblk_t pb)
79 {
80 	ex->ee_start_lo = cpu_to_le32((unsigned long) (pb & 0xffffffff));
81 	ex->ee_start_hi = cpu_to_le16((unsigned long) ((pb >> 31) >> 1) & 0xffff);
82 }
83 
84 /*
85  * ext4_idx_store_pblock:
86  * stores a large physical block number into an index struct,
87  * breaking it into parts
88  */
89 static void ext4_idx_store_pblock(struct ext4_extent_idx *ix, ext4_fsblk_t pb)
90 {
91 	ix->ei_leaf_lo = cpu_to_le32((unsigned long) (pb & 0xffffffff));
92 	ix->ei_leaf_hi = cpu_to_le16((unsigned long) ((pb >> 31) >> 1) & 0xffff);
93 }
94 
95 static int ext4_ext_journal_restart(handle_t *handle, int needed)
96 {
97 	int err;
98 
99 	if (handle->h_buffer_credits > needed)
100 		return 0;
101 	err = ext4_journal_extend(handle, needed);
102 	if (err <= 0)
103 		return err;
104 	return ext4_journal_restart(handle, needed);
105 }
106 
107 /*
108  * could return:
109  *  - EROFS
110  *  - ENOMEM
111  */
112 static int ext4_ext_get_access(handle_t *handle, struct inode *inode,
113 				struct ext4_ext_path *path)
114 {
115 	if (path->p_bh) {
116 		/* path points to block */
117 		return ext4_journal_get_write_access(handle, path->p_bh);
118 	}
119 	/* path points to leaf/index in inode body */
120 	/* we use in-core data, no need to protect them */
121 	return 0;
122 }
123 
124 /*
125  * could return:
126  *  - EROFS
127  *  - ENOMEM
128  *  - EIO
129  */
130 static int ext4_ext_dirty(handle_t *handle, struct inode *inode,
131 				struct ext4_ext_path *path)
132 {
133 	int err;
134 	if (path->p_bh) {
135 		/* path points to block */
136 		err = ext4_journal_dirty_metadata(handle, path->p_bh);
137 	} else {
138 		/* path points to leaf/index in inode body */
139 		err = ext4_mark_inode_dirty(handle, inode);
140 	}
141 	return err;
142 }
143 
144 static ext4_fsblk_t ext4_ext_find_goal(struct inode *inode,
145 			      struct ext4_ext_path *path,
146 			      ext4_lblk_t block)
147 {
148 	struct ext4_inode_info *ei = EXT4_I(inode);
149 	ext4_fsblk_t bg_start;
150 	ext4_fsblk_t last_block;
151 	ext4_grpblk_t colour;
152 	int depth;
153 
154 	if (path) {
155 		struct ext4_extent *ex;
156 		depth = path->p_depth;
157 
158 		/* try to predict block placement */
159 		ex = path[depth].p_ext;
160 		if (ex)
161 			return ext_pblock(ex)+(block-le32_to_cpu(ex->ee_block));
162 
163 		/* it looks like index is empty;
164 		 * try to find starting block from index itself */
165 		if (path[depth].p_bh)
166 			return path[depth].p_bh->b_blocknr;
167 	}
168 
169 	/* OK. use inode's group */
170 	bg_start = (ei->i_block_group * EXT4_BLOCKS_PER_GROUP(inode->i_sb)) +
171 		le32_to_cpu(EXT4_SB(inode->i_sb)->s_es->s_first_data_block);
172 	last_block = ext4_blocks_count(EXT4_SB(inode->i_sb)->s_es) - 1;
173 
174 	if (bg_start + EXT4_BLOCKS_PER_GROUP(inode->i_sb) <= last_block)
175 		colour = (current->pid % 16) *
176 			(EXT4_BLOCKS_PER_GROUP(inode->i_sb) / 16);
177 	else
178 		colour = (current->pid % 16) * ((last_block - bg_start) / 16);
179 	return bg_start + colour + block;
180 }
181 
182 /*
183  * Allocation for a meta data block
184  */
185 static ext4_fsblk_t
186 ext4_ext_new_meta_block(handle_t *handle, struct inode *inode,
187 			struct ext4_ext_path *path,
188 			struct ext4_extent *ex, int *err)
189 {
190 	ext4_fsblk_t goal, newblock;
191 
192 	goal = ext4_ext_find_goal(inode, path, le32_to_cpu(ex->ee_block));
193 	newblock = ext4_new_meta_block(handle, inode, goal, err);
194 	return newblock;
195 }
196 
197 static int ext4_ext_space_block(struct inode *inode)
198 {
199 	int size;
200 
201 	size = (inode->i_sb->s_blocksize - sizeof(struct ext4_extent_header))
202 			/ sizeof(struct ext4_extent);
203 #ifdef AGGRESSIVE_TEST
204 	if (size > 6)
205 		size = 6;
206 #endif
207 	return size;
208 }
209 
210 static int ext4_ext_space_block_idx(struct inode *inode)
211 {
212 	int size;
213 
214 	size = (inode->i_sb->s_blocksize - sizeof(struct ext4_extent_header))
215 			/ sizeof(struct ext4_extent_idx);
216 #ifdef AGGRESSIVE_TEST
217 	if (size > 5)
218 		size = 5;
219 #endif
220 	return size;
221 }
222 
223 static int ext4_ext_space_root(struct inode *inode)
224 {
225 	int size;
226 
227 	size = sizeof(EXT4_I(inode)->i_data);
228 	size -= sizeof(struct ext4_extent_header);
229 	size /= sizeof(struct ext4_extent);
230 #ifdef AGGRESSIVE_TEST
231 	if (size > 3)
232 		size = 3;
233 #endif
234 	return size;
235 }
236 
237 static int ext4_ext_space_root_idx(struct inode *inode)
238 {
239 	int size;
240 
241 	size = sizeof(EXT4_I(inode)->i_data);
242 	size -= sizeof(struct ext4_extent_header);
243 	size /= sizeof(struct ext4_extent_idx);
244 #ifdef AGGRESSIVE_TEST
245 	if (size > 4)
246 		size = 4;
247 #endif
248 	return size;
249 }
250 
251 /*
252  * Calculate the number of metadata blocks needed
253  * to allocate @blocks
254  * Worse case is one block per extent
255  */
256 int ext4_ext_calc_metadata_amount(struct inode *inode, int blocks)
257 {
258 	int lcap, icap, rcap, leafs, idxs, num;
259 	int newextents = blocks;
260 
261 	rcap = ext4_ext_space_root_idx(inode);
262 	lcap = ext4_ext_space_block(inode);
263 	icap = ext4_ext_space_block_idx(inode);
264 
265 	/* number of new leaf blocks needed */
266 	num = leafs = (newextents + lcap - 1) / lcap;
267 
268 	/*
269 	 * Worse case, we need separate index block(s)
270 	 * to link all new leaf blocks
271 	 */
272 	idxs = (leafs + icap - 1) / icap;
273 	do {
274 		num += idxs;
275 		idxs = (idxs + icap - 1) / icap;
276 	} while (idxs > rcap);
277 
278 	return num;
279 }
280 
281 static int
282 ext4_ext_max_entries(struct inode *inode, int depth)
283 {
284 	int max;
285 
286 	if (depth == ext_depth(inode)) {
287 		if (depth == 0)
288 			max = ext4_ext_space_root(inode);
289 		else
290 			max = ext4_ext_space_root_idx(inode);
291 	} else {
292 		if (depth == 0)
293 			max = ext4_ext_space_block(inode);
294 		else
295 			max = ext4_ext_space_block_idx(inode);
296 	}
297 
298 	return max;
299 }
300 
301 static int __ext4_ext_check_header(const char *function, struct inode *inode,
302 					struct ext4_extent_header *eh,
303 					int depth)
304 {
305 	const char *error_msg;
306 	int max = 0;
307 
308 	if (unlikely(eh->eh_magic != EXT4_EXT_MAGIC)) {
309 		error_msg = "invalid magic";
310 		goto corrupted;
311 	}
312 	if (unlikely(le16_to_cpu(eh->eh_depth) != depth)) {
313 		error_msg = "unexpected eh_depth";
314 		goto corrupted;
315 	}
316 	if (unlikely(eh->eh_max == 0)) {
317 		error_msg = "invalid eh_max";
318 		goto corrupted;
319 	}
320 	max = ext4_ext_max_entries(inode, depth);
321 	if (unlikely(le16_to_cpu(eh->eh_max) > max)) {
322 		error_msg = "too large eh_max";
323 		goto corrupted;
324 	}
325 	if (unlikely(le16_to_cpu(eh->eh_entries) > le16_to_cpu(eh->eh_max))) {
326 		error_msg = "invalid eh_entries";
327 		goto corrupted;
328 	}
329 	return 0;
330 
331 corrupted:
332 	ext4_error(inode->i_sb, function,
333 			"bad header in inode #%lu: %s - magic %x, "
334 			"entries %u, max %u(%u), depth %u(%u)",
335 			inode->i_ino, error_msg, le16_to_cpu(eh->eh_magic),
336 			le16_to_cpu(eh->eh_entries), le16_to_cpu(eh->eh_max),
337 			max, le16_to_cpu(eh->eh_depth), depth);
338 
339 	return -EIO;
340 }
341 
342 #define ext4_ext_check_header(inode, eh, depth)	\
343 	__ext4_ext_check_header(__func__, inode, eh, depth)
344 
345 #ifdef EXT_DEBUG
346 static void ext4_ext_show_path(struct inode *inode, struct ext4_ext_path *path)
347 {
348 	int k, l = path->p_depth;
349 
350 	ext_debug("path:");
351 	for (k = 0; k <= l; k++, path++) {
352 		if (path->p_idx) {
353 		  ext_debug("  %d->%llu", le32_to_cpu(path->p_idx->ei_block),
354 			    idx_pblock(path->p_idx));
355 		} else if (path->p_ext) {
356 			ext_debug("  %d:%d:%llu ",
357 				  le32_to_cpu(path->p_ext->ee_block),
358 				  ext4_ext_get_actual_len(path->p_ext),
359 				  ext_pblock(path->p_ext));
360 		} else
361 			ext_debug("  []");
362 	}
363 	ext_debug("\n");
364 }
365 
366 static void ext4_ext_show_leaf(struct inode *inode, struct ext4_ext_path *path)
367 {
368 	int depth = ext_depth(inode);
369 	struct ext4_extent_header *eh;
370 	struct ext4_extent *ex;
371 	int i;
372 
373 	if (!path)
374 		return;
375 
376 	eh = path[depth].p_hdr;
377 	ex = EXT_FIRST_EXTENT(eh);
378 
379 	for (i = 0; i < le16_to_cpu(eh->eh_entries); i++, ex++) {
380 		ext_debug("%d:%d:%llu ", le32_to_cpu(ex->ee_block),
381 			  ext4_ext_get_actual_len(ex), ext_pblock(ex));
382 	}
383 	ext_debug("\n");
384 }
385 #else
386 #define ext4_ext_show_path(inode,path)
387 #define ext4_ext_show_leaf(inode,path)
388 #endif
389 
390 void ext4_ext_drop_refs(struct ext4_ext_path *path)
391 {
392 	int depth = path->p_depth;
393 	int i;
394 
395 	for (i = 0; i <= depth; i++, path++)
396 		if (path->p_bh) {
397 			brelse(path->p_bh);
398 			path->p_bh = NULL;
399 		}
400 }
401 
402 /*
403  * ext4_ext_binsearch_idx:
404  * binary search for the closest index of the given block
405  * the header must be checked before calling this
406  */
407 static void
408 ext4_ext_binsearch_idx(struct inode *inode,
409 			struct ext4_ext_path *path, ext4_lblk_t block)
410 {
411 	struct ext4_extent_header *eh = path->p_hdr;
412 	struct ext4_extent_idx *r, *l, *m;
413 
414 
415 	ext_debug("binsearch for %u(idx):  ", block);
416 
417 	l = EXT_FIRST_INDEX(eh) + 1;
418 	r = EXT_LAST_INDEX(eh);
419 	while (l <= r) {
420 		m = l + (r - l) / 2;
421 		if (block < le32_to_cpu(m->ei_block))
422 			r = m - 1;
423 		else
424 			l = m + 1;
425 		ext_debug("%p(%u):%p(%u):%p(%u) ", l, le32_to_cpu(l->ei_block),
426 				m, le32_to_cpu(m->ei_block),
427 				r, le32_to_cpu(r->ei_block));
428 	}
429 
430 	path->p_idx = l - 1;
431 	ext_debug("  -> %d->%lld ", le32_to_cpu(path->p_idx->ei_block),
432 		  idx_pblock(path->p_idx));
433 
434 #ifdef CHECK_BINSEARCH
435 	{
436 		struct ext4_extent_idx *chix, *ix;
437 		int k;
438 
439 		chix = ix = EXT_FIRST_INDEX(eh);
440 		for (k = 0; k < le16_to_cpu(eh->eh_entries); k++, ix++) {
441 		  if (k != 0 &&
442 		      le32_to_cpu(ix->ei_block) <= le32_to_cpu(ix[-1].ei_block)) {
443 				printk("k=%d, ix=0x%p, first=0x%p\n", k,
444 					ix, EXT_FIRST_INDEX(eh));
445 				printk("%u <= %u\n",
446 				       le32_to_cpu(ix->ei_block),
447 				       le32_to_cpu(ix[-1].ei_block));
448 			}
449 			BUG_ON(k && le32_to_cpu(ix->ei_block)
450 					   <= le32_to_cpu(ix[-1].ei_block));
451 			if (block < le32_to_cpu(ix->ei_block))
452 				break;
453 			chix = ix;
454 		}
455 		BUG_ON(chix != path->p_idx);
456 	}
457 #endif
458 
459 }
460 
461 /*
462  * ext4_ext_binsearch:
463  * binary search for closest extent of the given block
464  * the header must be checked before calling this
465  */
466 static void
467 ext4_ext_binsearch(struct inode *inode,
468 		struct ext4_ext_path *path, ext4_lblk_t block)
469 {
470 	struct ext4_extent_header *eh = path->p_hdr;
471 	struct ext4_extent *r, *l, *m;
472 
473 	if (eh->eh_entries == 0) {
474 		/*
475 		 * this leaf is empty:
476 		 * we get such a leaf in split/add case
477 		 */
478 		return;
479 	}
480 
481 	ext_debug("binsearch for %u:  ", block);
482 
483 	l = EXT_FIRST_EXTENT(eh) + 1;
484 	r = EXT_LAST_EXTENT(eh);
485 
486 	while (l <= r) {
487 		m = l + (r - l) / 2;
488 		if (block < le32_to_cpu(m->ee_block))
489 			r = m - 1;
490 		else
491 			l = m + 1;
492 		ext_debug("%p(%u):%p(%u):%p(%u) ", l, le32_to_cpu(l->ee_block),
493 				m, le32_to_cpu(m->ee_block),
494 				r, le32_to_cpu(r->ee_block));
495 	}
496 
497 	path->p_ext = l - 1;
498 	ext_debug("  -> %d:%llu:%d ",
499 			le32_to_cpu(path->p_ext->ee_block),
500 			ext_pblock(path->p_ext),
501 			ext4_ext_get_actual_len(path->p_ext));
502 
503 #ifdef CHECK_BINSEARCH
504 	{
505 		struct ext4_extent *chex, *ex;
506 		int k;
507 
508 		chex = ex = EXT_FIRST_EXTENT(eh);
509 		for (k = 0; k < le16_to_cpu(eh->eh_entries); k++, ex++) {
510 			BUG_ON(k && le32_to_cpu(ex->ee_block)
511 					  <= le32_to_cpu(ex[-1].ee_block));
512 			if (block < le32_to_cpu(ex->ee_block))
513 				break;
514 			chex = ex;
515 		}
516 		BUG_ON(chex != path->p_ext);
517 	}
518 #endif
519 
520 }
521 
522 int ext4_ext_tree_init(handle_t *handle, struct inode *inode)
523 {
524 	struct ext4_extent_header *eh;
525 
526 	eh = ext_inode_hdr(inode);
527 	eh->eh_depth = 0;
528 	eh->eh_entries = 0;
529 	eh->eh_magic = EXT4_EXT_MAGIC;
530 	eh->eh_max = cpu_to_le16(ext4_ext_space_root(inode));
531 	ext4_mark_inode_dirty(handle, inode);
532 	ext4_ext_invalidate_cache(inode);
533 	return 0;
534 }
535 
536 struct ext4_ext_path *
537 ext4_ext_find_extent(struct inode *inode, ext4_lblk_t block,
538 					struct ext4_ext_path *path)
539 {
540 	struct ext4_extent_header *eh;
541 	struct buffer_head *bh;
542 	short int depth, i, ppos = 0, alloc = 0;
543 
544 	eh = ext_inode_hdr(inode);
545 	depth = ext_depth(inode);
546 	if (ext4_ext_check_header(inode, eh, depth))
547 		return ERR_PTR(-EIO);
548 
549 
550 	/* account possible depth increase */
551 	if (!path) {
552 		path = kzalloc(sizeof(struct ext4_ext_path) * (depth + 2),
553 				GFP_NOFS);
554 		if (!path)
555 			return ERR_PTR(-ENOMEM);
556 		alloc = 1;
557 	}
558 	path[0].p_hdr = eh;
559 	path[0].p_bh = NULL;
560 
561 	i = depth;
562 	/* walk through the tree */
563 	while (i) {
564 		ext_debug("depth %d: num %d, max %d\n",
565 			  ppos, le16_to_cpu(eh->eh_entries), le16_to_cpu(eh->eh_max));
566 
567 		ext4_ext_binsearch_idx(inode, path + ppos, block);
568 		path[ppos].p_block = idx_pblock(path[ppos].p_idx);
569 		path[ppos].p_depth = i;
570 		path[ppos].p_ext = NULL;
571 
572 		bh = sb_bread(inode->i_sb, path[ppos].p_block);
573 		if (!bh)
574 			goto err;
575 
576 		eh = ext_block_hdr(bh);
577 		ppos++;
578 		BUG_ON(ppos > depth);
579 		path[ppos].p_bh = bh;
580 		path[ppos].p_hdr = eh;
581 		i--;
582 
583 		if (ext4_ext_check_header(inode, eh, i))
584 			goto err;
585 	}
586 
587 	path[ppos].p_depth = i;
588 	path[ppos].p_ext = NULL;
589 	path[ppos].p_idx = NULL;
590 
591 	/* find extent */
592 	ext4_ext_binsearch(inode, path + ppos, block);
593 	/* if not an empty leaf */
594 	if (path[ppos].p_ext)
595 		path[ppos].p_block = ext_pblock(path[ppos].p_ext);
596 
597 	ext4_ext_show_path(inode, path);
598 
599 	return path;
600 
601 err:
602 	ext4_ext_drop_refs(path);
603 	if (alloc)
604 		kfree(path);
605 	return ERR_PTR(-EIO);
606 }
607 
608 /*
609  * ext4_ext_insert_index:
610  * insert new index [@logical;@ptr] into the block at @curp;
611  * check where to insert: before @curp or after @curp
612  */
613 static int ext4_ext_insert_index(handle_t *handle, struct inode *inode,
614 				struct ext4_ext_path *curp,
615 				int logical, ext4_fsblk_t ptr)
616 {
617 	struct ext4_extent_idx *ix;
618 	int len, err;
619 
620 	err = ext4_ext_get_access(handle, inode, curp);
621 	if (err)
622 		return err;
623 
624 	BUG_ON(logical == le32_to_cpu(curp->p_idx->ei_block));
625 	len = EXT_MAX_INDEX(curp->p_hdr) - curp->p_idx;
626 	if (logical > le32_to_cpu(curp->p_idx->ei_block)) {
627 		/* insert after */
628 		if (curp->p_idx != EXT_LAST_INDEX(curp->p_hdr)) {
629 			len = (len - 1) * sizeof(struct ext4_extent_idx);
630 			len = len < 0 ? 0 : len;
631 			ext_debug("insert new index %d after: %llu. "
632 					"move %d from 0x%p to 0x%p\n",
633 					logical, ptr, len,
634 					(curp->p_idx + 1), (curp->p_idx + 2));
635 			memmove(curp->p_idx + 2, curp->p_idx + 1, len);
636 		}
637 		ix = curp->p_idx + 1;
638 	} else {
639 		/* insert before */
640 		len = len * sizeof(struct ext4_extent_idx);
641 		len = len < 0 ? 0 : len;
642 		ext_debug("insert new index %d before: %llu. "
643 				"move %d from 0x%p to 0x%p\n",
644 				logical, ptr, len,
645 				curp->p_idx, (curp->p_idx + 1));
646 		memmove(curp->p_idx + 1, curp->p_idx, len);
647 		ix = curp->p_idx;
648 	}
649 
650 	ix->ei_block = cpu_to_le32(logical);
651 	ext4_idx_store_pblock(ix, ptr);
652 	le16_add_cpu(&curp->p_hdr->eh_entries, 1);
653 
654 	BUG_ON(le16_to_cpu(curp->p_hdr->eh_entries)
655 			     > le16_to_cpu(curp->p_hdr->eh_max));
656 	BUG_ON(ix > EXT_LAST_INDEX(curp->p_hdr));
657 
658 	err = ext4_ext_dirty(handle, inode, curp);
659 	ext4_std_error(inode->i_sb, err);
660 
661 	return err;
662 }
663 
664 /*
665  * ext4_ext_split:
666  * inserts new subtree into the path, using free index entry
667  * at depth @at:
668  * - allocates all needed blocks (new leaf and all intermediate index blocks)
669  * - makes decision where to split
670  * - moves remaining extents and index entries (right to the split point)
671  *   into the newly allocated blocks
672  * - initializes subtree
673  */
674 static int ext4_ext_split(handle_t *handle, struct inode *inode,
675 				struct ext4_ext_path *path,
676 				struct ext4_extent *newext, int at)
677 {
678 	struct buffer_head *bh = NULL;
679 	int depth = ext_depth(inode);
680 	struct ext4_extent_header *neh;
681 	struct ext4_extent_idx *fidx;
682 	struct ext4_extent *ex;
683 	int i = at, k, m, a;
684 	ext4_fsblk_t newblock, oldblock;
685 	__le32 border;
686 	ext4_fsblk_t *ablocks = NULL; /* array of allocated blocks */
687 	int err = 0;
688 
689 	/* make decision: where to split? */
690 	/* FIXME: now decision is simplest: at current extent */
691 
692 	/* if current leaf will be split, then we should use
693 	 * border from split point */
694 	BUG_ON(path[depth].p_ext > EXT_MAX_EXTENT(path[depth].p_hdr));
695 	if (path[depth].p_ext != EXT_MAX_EXTENT(path[depth].p_hdr)) {
696 		border = path[depth].p_ext[1].ee_block;
697 		ext_debug("leaf will be split."
698 				" next leaf starts at %d\n",
699 				  le32_to_cpu(border));
700 	} else {
701 		border = newext->ee_block;
702 		ext_debug("leaf will be added."
703 				" next leaf starts at %d\n",
704 				le32_to_cpu(border));
705 	}
706 
707 	/*
708 	 * If error occurs, then we break processing
709 	 * and mark filesystem read-only. index won't
710 	 * be inserted and tree will be in consistent
711 	 * state. Next mount will repair buffers too.
712 	 */
713 
714 	/*
715 	 * Get array to track all allocated blocks.
716 	 * We need this to handle errors and free blocks
717 	 * upon them.
718 	 */
719 	ablocks = kzalloc(sizeof(ext4_fsblk_t) * depth, GFP_NOFS);
720 	if (!ablocks)
721 		return -ENOMEM;
722 
723 	/* allocate all needed blocks */
724 	ext_debug("allocate %d blocks for indexes/leaf\n", depth - at);
725 	for (a = 0; a < depth - at; a++) {
726 		newblock = ext4_ext_new_meta_block(handle, inode, path,
727 						   newext, &err);
728 		if (newblock == 0)
729 			goto cleanup;
730 		ablocks[a] = newblock;
731 	}
732 
733 	/* initialize new leaf */
734 	newblock = ablocks[--a];
735 	BUG_ON(newblock == 0);
736 	bh = sb_getblk(inode->i_sb, newblock);
737 	if (!bh) {
738 		err = -EIO;
739 		goto cleanup;
740 	}
741 	lock_buffer(bh);
742 
743 	err = ext4_journal_get_create_access(handle, bh);
744 	if (err)
745 		goto cleanup;
746 
747 	neh = ext_block_hdr(bh);
748 	neh->eh_entries = 0;
749 	neh->eh_max = cpu_to_le16(ext4_ext_space_block(inode));
750 	neh->eh_magic = EXT4_EXT_MAGIC;
751 	neh->eh_depth = 0;
752 	ex = EXT_FIRST_EXTENT(neh);
753 
754 	/* move remainder of path[depth] to the new leaf */
755 	BUG_ON(path[depth].p_hdr->eh_entries != path[depth].p_hdr->eh_max);
756 	/* start copy from next extent */
757 	/* TODO: we could do it by single memmove */
758 	m = 0;
759 	path[depth].p_ext++;
760 	while (path[depth].p_ext <=
761 			EXT_MAX_EXTENT(path[depth].p_hdr)) {
762 		ext_debug("move %d:%llu:%d in new leaf %llu\n",
763 				le32_to_cpu(path[depth].p_ext->ee_block),
764 				ext_pblock(path[depth].p_ext),
765 				ext4_ext_get_actual_len(path[depth].p_ext),
766 				newblock);
767 		/*memmove(ex++, path[depth].p_ext++,
768 				sizeof(struct ext4_extent));
769 		neh->eh_entries++;*/
770 		path[depth].p_ext++;
771 		m++;
772 	}
773 	if (m) {
774 		memmove(ex, path[depth].p_ext-m, sizeof(struct ext4_extent)*m);
775 		le16_add_cpu(&neh->eh_entries, m);
776 	}
777 
778 	set_buffer_uptodate(bh);
779 	unlock_buffer(bh);
780 
781 	err = ext4_journal_dirty_metadata(handle, bh);
782 	if (err)
783 		goto cleanup;
784 	brelse(bh);
785 	bh = NULL;
786 
787 	/* correct old leaf */
788 	if (m) {
789 		err = ext4_ext_get_access(handle, inode, path + depth);
790 		if (err)
791 			goto cleanup;
792 		le16_add_cpu(&path[depth].p_hdr->eh_entries, -m);
793 		err = ext4_ext_dirty(handle, inode, path + depth);
794 		if (err)
795 			goto cleanup;
796 
797 	}
798 
799 	/* create intermediate indexes */
800 	k = depth - at - 1;
801 	BUG_ON(k < 0);
802 	if (k)
803 		ext_debug("create %d intermediate indices\n", k);
804 	/* insert new index into current index block */
805 	/* current depth stored in i var */
806 	i = depth - 1;
807 	while (k--) {
808 		oldblock = newblock;
809 		newblock = ablocks[--a];
810 		bh = sb_getblk(inode->i_sb, newblock);
811 		if (!bh) {
812 			err = -EIO;
813 			goto cleanup;
814 		}
815 		lock_buffer(bh);
816 
817 		err = ext4_journal_get_create_access(handle, bh);
818 		if (err)
819 			goto cleanup;
820 
821 		neh = ext_block_hdr(bh);
822 		neh->eh_entries = cpu_to_le16(1);
823 		neh->eh_magic = EXT4_EXT_MAGIC;
824 		neh->eh_max = cpu_to_le16(ext4_ext_space_block_idx(inode));
825 		neh->eh_depth = cpu_to_le16(depth - i);
826 		fidx = EXT_FIRST_INDEX(neh);
827 		fidx->ei_block = border;
828 		ext4_idx_store_pblock(fidx, oldblock);
829 
830 		ext_debug("int.index at %d (block %llu): %u -> %llu\n",
831 				i, newblock, le32_to_cpu(border), oldblock);
832 		/* copy indexes */
833 		m = 0;
834 		path[i].p_idx++;
835 
836 		ext_debug("cur 0x%p, last 0x%p\n", path[i].p_idx,
837 				EXT_MAX_INDEX(path[i].p_hdr));
838 		BUG_ON(EXT_MAX_INDEX(path[i].p_hdr) !=
839 				EXT_LAST_INDEX(path[i].p_hdr));
840 		while (path[i].p_idx <= EXT_MAX_INDEX(path[i].p_hdr)) {
841 			ext_debug("%d: move %d:%llu in new index %llu\n", i,
842 					le32_to_cpu(path[i].p_idx->ei_block),
843 					idx_pblock(path[i].p_idx),
844 					newblock);
845 			/*memmove(++fidx, path[i].p_idx++,
846 					sizeof(struct ext4_extent_idx));
847 			neh->eh_entries++;
848 			BUG_ON(neh->eh_entries > neh->eh_max);*/
849 			path[i].p_idx++;
850 			m++;
851 		}
852 		if (m) {
853 			memmove(++fidx, path[i].p_idx - m,
854 				sizeof(struct ext4_extent_idx) * m);
855 			le16_add_cpu(&neh->eh_entries, m);
856 		}
857 		set_buffer_uptodate(bh);
858 		unlock_buffer(bh);
859 
860 		err = ext4_journal_dirty_metadata(handle, bh);
861 		if (err)
862 			goto cleanup;
863 		brelse(bh);
864 		bh = NULL;
865 
866 		/* correct old index */
867 		if (m) {
868 			err = ext4_ext_get_access(handle, inode, path + i);
869 			if (err)
870 				goto cleanup;
871 			le16_add_cpu(&path[i].p_hdr->eh_entries, -m);
872 			err = ext4_ext_dirty(handle, inode, path + i);
873 			if (err)
874 				goto cleanup;
875 		}
876 
877 		i--;
878 	}
879 
880 	/* insert new index */
881 	err = ext4_ext_insert_index(handle, inode, path + at,
882 				    le32_to_cpu(border), newblock);
883 
884 cleanup:
885 	if (bh) {
886 		if (buffer_locked(bh))
887 			unlock_buffer(bh);
888 		brelse(bh);
889 	}
890 
891 	if (err) {
892 		/* free all allocated blocks in error case */
893 		for (i = 0; i < depth; i++) {
894 			if (!ablocks[i])
895 				continue;
896 			ext4_free_blocks(handle, inode, ablocks[i], 1, 1);
897 		}
898 	}
899 	kfree(ablocks);
900 
901 	return err;
902 }
903 
904 /*
905  * ext4_ext_grow_indepth:
906  * implements tree growing procedure:
907  * - allocates new block
908  * - moves top-level data (index block or leaf) into the new block
909  * - initializes new top-level, creating index that points to the
910  *   just created block
911  */
912 static int ext4_ext_grow_indepth(handle_t *handle, struct inode *inode,
913 					struct ext4_ext_path *path,
914 					struct ext4_extent *newext)
915 {
916 	struct ext4_ext_path *curp = path;
917 	struct ext4_extent_header *neh;
918 	struct ext4_extent_idx *fidx;
919 	struct buffer_head *bh;
920 	ext4_fsblk_t newblock;
921 	int err = 0;
922 
923 	newblock = ext4_ext_new_meta_block(handle, inode, path, newext, &err);
924 	if (newblock == 0)
925 		return err;
926 
927 	bh = sb_getblk(inode->i_sb, newblock);
928 	if (!bh) {
929 		err = -EIO;
930 		ext4_std_error(inode->i_sb, err);
931 		return err;
932 	}
933 	lock_buffer(bh);
934 
935 	err = ext4_journal_get_create_access(handle, bh);
936 	if (err) {
937 		unlock_buffer(bh);
938 		goto out;
939 	}
940 
941 	/* move top-level index/leaf into new block */
942 	memmove(bh->b_data, curp->p_hdr, sizeof(EXT4_I(inode)->i_data));
943 
944 	/* set size of new block */
945 	neh = ext_block_hdr(bh);
946 	/* old root could have indexes or leaves
947 	 * so calculate e_max right way */
948 	if (ext_depth(inode))
949 	  neh->eh_max = cpu_to_le16(ext4_ext_space_block_idx(inode));
950 	else
951 	  neh->eh_max = cpu_to_le16(ext4_ext_space_block(inode));
952 	neh->eh_magic = EXT4_EXT_MAGIC;
953 	set_buffer_uptodate(bh);
954 	unlock_buffer(bh);
955 
956 	err = ext4_journal_dirty_metadata(handle, bh);
957 	if (err)
958 		goto out;
959 
960 	/* create index in new top-level index: num,max,pointer */
961 	err = ext4_ext_get_access(handle, inode, curp);
962 	if (err)
963 		goto out;
964 
965 	curp->p_hdr->eh_magic = EXT4_EXT_MAGIC;
966 	curp->p_hdr->eh_max = cpu_to_le16(ext4_ext_space_root_idx(inode));
967 	curp->p_hdr->eh_entries = cpu_to_le16(1);
968 	curp->p_idx = EXT_FIRST_INDEX(curp->p_hdr);
969 
970 	if (path[0].p_hdr->eh_depth)
971 		curp->p_idx->ei_block =
972 			EXT_FIRST_INDEX(path[0].p_hdr)->ei_block;
973 	else
974 		curp->p_idx->ei_block =
975 			EXT_FIRST_EXTENT(path[0].p_hdr)->ee_block;
976 	ext4_idx_store_pblock(curp->p_idx, newblock);
977 
978 	neh = ext_inode_hdr(inode);
979 	fidx = EXT_FIRST_INDEX(neh);
980 	ext_debug("new root: num %d(%d), lblock %d, ptr %llu\n",
981 		  le16_to_cpu(neh->eh_entries), le16_to_cpu(neh->eh_max),
982 		  le32_to_cpu(fidx->ei_block), idx_pblock(fidx));
983 
984 	neh->eh_depth = cpu_to_le16(path->p_depth + 1);
985 	err = ext4_ext_dirty(handle, inode, curp);
986 out:
987 	brelse(bh);
988 
989 	return err;
990 }
991 
992 /*
993  * ext4_ext_create_new_leaf:
994  * finds empty index and adds new leaf.
995  * if no free index is found, then it requests in-depth growing.
996  */
997 static int ext4_ext_create_new_leaf(handle_t *handle, struct inode *inode,
998 					struct ext4_ext_path *path,
999 					struct ext4_extent *newext)
1000 {
1001 	struct ext4_ext_path *curp;
1002 	int depth, i, err = 0;
1003 
1004 repeat:
1005 	i = depth = ext_depth(inode);
1006 
1007 	/* walk up to the tree and look for free index entry */
1008 	curp = path + depth;
1009 	while (i > 0 && !EXT_HAS_FREE_INDEX(curp)) {
1010 		i--;
1011 		curp--;
1012 	}
1013 
1014 	/* we use already allocated block for index block,
1015 	 * so subsequent data blocks should be contiguous */
1016 	if (EXT_HAS_FREE_INDEX(curp)) {
1017 		/* if we found index with free entry, then use that
1018 		 * entry: create all needed subtree and add new leaf */
1019 		err = ext4_ext_split(handle, inode, path, newext, i);
1020 		if (err)
1021 			goto out;
1022 
1023 		/* refill path */
1024 		ext4_ext_drop_refs(path);
1025 		path = ext4_ext_find_extent(inode,
1026 				    (ext4_lblk_t)le32_to_cpu(newext->ee_block),
1027 				    path);
1028 		if (IS_ERR(path))
1029 			err = PTR_ERR(path);
1030 	} else {
1031 		/* tree is full, time to grow in depth */
1032 		err = ext4_ext_grow_indepth(handle, inode, path, newext);
1033 		if (err)
1034 			goto out;
1035 
1036 		/* refill path */
1037 		ext4_ext_drop_refs(path);
1038 		path = ext4_ext_find_extent(inode,
1039 				   (ext4_lblk_t)le32_to_cpu(newext->ee_block),
1040 				    path);
1041 		if (IS_ERR(path)) {
1042 			err = PTR_ERR(path);
1043 			goto out;
1044 		}
1045 
1046 		/*
1047 		 * only first (depth 0 -> 1) produces free space;
1048 		 * in all other cases we have to split the grown tree
1049 		 */
1050 		depth = ext_depth(inode);
1051 		if (path[depth].p_hdr->eh_entries == path[depth].p_hdr->eh_max) {
1052 			/* now we need to split */
1053 			goto repeat;
1054 		}
1055 	}
1056 
1057 out:
1058 	return err;
1059 }
1060 
1061 /*
1062  * search the closest allocated block to the left for *logical
1063  * and returns it at @logical + it's physical address at @phys
1064  * if *logical is the smallest allocated block, the function
1065  * returns 0 at @phys
1066  * return value contains 0 (success) or error code
1067  */
1068 int
1069 ext4_ext_search_left(struct inode *inode, struct ext4_ext_path *path,
1070 			ext4_lblk_t *logical, ext4_fsblk_t *phys)
1071 {
1072 	struct ext4_extent_idx *ix;
1073 	struct ext4_extent *ex;
1074 	int depth, ee_len;
1075 
1076 	BUG_ON(path == NULL);
1077 	depth = path->p_depth;
1078 	*phys = 0;
1079 
1080 	if (depth == 0 && path->p_ext == NULL)
1081 		return 0;
1082 
1083 	/* usually extent in the path covers blocks smaller
1084 	 * then *logical, but it can be that extent is the
1085 	 * first one in the file */
1086 
1087 	ex = path[depth].p_ext;
1088 	ee_len = ext4_ext_get_actual_len(ex);
1089 	if (*logical < le32_to_cpu(ex->ee_block)) {
1090 		BUG_ON(EXT_FIRST_EXTENT(path[depth].p_hdr) != ex);
1091 		while (--depth >= 0) {
1092 			ix = path[depth].p_idx;
1093 			BUG_ON(ix != EXT_FIRST_INDEX(path[depth].p_hdr));
1094 		}
1095 		return 0;
1096 	}
1097 
1098 	BUG_ON(*logical < (le32_to_cpu(ex->ee_block) + ee_len));
1099 
1100 	*logical = le32_to_cpu(ex->ee_block) + ee_len - 1;
1101 	*phys = ext_pblock(ex) + ee_len - 1;
1102 	return 0;
1103 }
1104 
1105 /*
1106  * search the closest allocated block to the right for *logical
1107  * and returns it at @logical + it's physical address at @phys
1108  * if *logical is the smallest allocated block, the function
1109  * returns 0 at @phys
1110  * return value contains 0 (success) or error code
1111  */
1112 int
1113 ext4_ext_search_right(struct inode *inode, struct ext4_ext_path *path,
1114 			ext4_lblk_t *logical, ext4_fsblk_t *phys)
1115 {
1116 	struct buffer_head *bh = NULL;
1117 	struct ext4_extent_header *eh;
1118 	struct ext4_extent_idx *ix;
1119 	struct ext4_extent *ex;
1120 	ext4_fsblk_t block;
1121 	int depth, ee_len;
1122 
1123 	BUG_ON(path == NULL);
1124 	depth = path->p_depth;
1125 	*phys = 0;
1126 
1127 	if (depth == 0 && path->p_ext == NULL)
1128 		return 0;
1129 
1130 	/* usually extent in the path covers blocks smaller
1131 	 * then *logical, but it can be that extent is the
1132 	 * first one in the file */
1133 
1134 	ex = path[depth].p_ext;
1135 	ee_len = ext4_ext_get_actual_len(ex);
1136 	if (*logical < le32_to_cpu(ex->ee_block)) {
1137 		BUG_ON(EXT_FIRST_EXTENT(path[depth].p_hdr) != ex);
1138 		while (--depth >= 0) {
1139 			ix = path[depth].p_idx;
1140 			BUG_ON(ix != EXT_FIRST_INDEX(path[depth].p_hdr));
1141 		}
1142 		*logical = le32_to_cpu(ex->ee_block);
1143 		*phys = ext_pblock(ex);
1144 		return 0;
1145 	}
1146 
1147 	BUG_ON(*logical < (le32_to_cpu(ex->ee_block) + ee_len));
1148 
1149 	if (ex != EXT_LAST_EXTENT(path[depth].p_hdr)) {
1150 		/* next allocated block in this leaf */
1151 		ex++;
1152 		*logical = le32_to_cpu(ex->ee_block);
1153 		*phys = ext_pblock(ex);
1154 		return 0;
1155 	}
1156 
1157 	/* go up and search for index to the right */
1158 	while (--depth >= 0) {
1159 		ix = path[depth].p_idx;
1160 		if (ix != EXT_LAST_INDEX(path[depth].p_hdr))
1161 			break;
1162 	}
1163 
1164 	if (depth < 0) {
1165 		/* we've gone up to the root and
1166 		 * found no index to the right */
1167 		return 0;
1168 	}
1169 
1170 	/* we've found index to the right, let's
1171 	 * follow it and find the closest allocated
1172 	 * block to the right */
1173 	ix++;
1174 	block = idx_pblock(ix);
1175 	while (++depth < path->p_depth) {
1176 		bh = sb_bread(inode->i_sb, block);
1177 		if (bh == NULL)
1178 			return -EIO;
1179 		eh = ext_block_hdr(bh);
1180 		if (ext4_ext_check_header(inode, eh, depth)) {
1181 			put_bh(bh);
1182 			return -EIO;
1183 		}
1184 		ix = EXT_FIRST_INDEX(eh);
1185 		block = idx_pblock(ix);
1186 		put_bh(bh);
1187 	}
1188 
1189 	bh = sb_bread(inode->i_sb, block);
1190 	if (bh == NULL)
1191 		return -EIO;
1192 	eh = ext_block_hdr(bh);
1193 	if (ext4_ext_check_header(inode, eh, path->p_depth - depth)) {
1194 		put_bh(bh);
1195 		return -EIO;
1196 	}
1197 	ex = EXT_FIRST_EXTENT(eh);
1198 	*logical = le32_to_cpu(ex->ee_block);
1199 	*phys = ext_pblock(ex);
1200 	put_bh(bh);
1201 	return 0;
1202 
1203 }
1204 
1205 /*
1206  * ext4_ext_next_allocated_block:
1207  * returns allocated block in subsequent extent or EXT_MAX_BLOCK.
1208  * NOTE: it considers block number from index entry as
1209  * allocated block. Thus, index entries have to be consistent
1210  * with leaves.
1211  */
1212 static ext4_lblk_t
1213 ext4_ext_next_allocated_block(struct ext4_ext_path *path)
1214 {
1215 	int depth;
1216 
1217 	BUG_ON(path == NULL);
1218 	depth = path->p_depth;
1219 
1220 	if (depth == 0 && path->p_ext == NULL)
1221 		return EXT_MAX_BLOCK;
1222 
1223 	while (depth >= 0) {
1224 		if (depth == path->p_depth) {
1225 			/* leaf */
1226 			if (path[depth].p_ext !=
1227 					EXT_LAST_EXTENT(path[depth].p_hdr))
1228 			  return le32_to_cpu(path[depth].p_ext[1].ee_block);
1229 		} else {
1230 			/* index */
1231 			if (path[depth].p_idx !=
1232 					EXT_LAST_INDEX(path[depth].p_hdr))
1233 			  return le32_to_cpu(path[depth].p_idx[1].ei_block);
1234 		}
1235 		depth--;
1236 	}
1237 
1238 	return EXT_MAX_BLOCK;
1239 }
1240 
1241 /*
1242  * ext4_ext_next_leaf_block:
1243  * returns first allocated block from next leaf or EXT_MAX_BLOCK
1244  */
1245 static ext4_lblk_t ext4_ext_next_leaf_block(struct inode *inode,
1246 					struct ext4_ext_path *path)
1247 {
1248 	int depth;
1249 
1250 	BUG_ON(path == NULL);
1251 	depth = path->p_depth;
1252 
1253 	/* zero-tree has no leaf blocks at all */
1254 	if (depth == 0)
1255 		return EXT_MAX_BLOCK;
1256 
1257 	/* go to index block */
1258 	depth--;
1259 
1260 	while (depth >= 0) {
1261 		if (path[depth].p_idx !=
1262 				EXT_LAST_INDEX(path[depth].p_hdr))
1263 			return (ext4_lblk_t)
1264 				le32_to_cpu(path[depth].p_idx[1].ei_block);
1265 		depth--;
1266 	}
1267 
1268 	return EXT_MAX_BLOCK;
1269 }
1270 
1271 /*
1272  * ext4_ext_correct_indexes:
1273  * if leaf gets modified and modified extent is first in the leaf,
1274  * then we have to correct all indexes above.
1275  * TODO: do we need to correct tree in all cases?
1276  */
1277 static int ext4_ext_correct_indexes(handle_t *handle, struct inode *inode,
1278 				struct ext4_ext_path *path)
1279 {
1280 	struct ext4_extent_header *eh;
1281 	int depth = ext_depth(inode);
1282 	struct ext4_extent *ex;
1283 	__le32 border;
1284 	int k, err = 0;
1285 
1286 	eh = path[depth].p_hdr;
1287 	ex = path[depth].p_ext;
1288 	BUG_ON(ex == NULL);
1289 	BUG_ON(eh == NULL);
1290 
1291 	if (depth == 0) {
1292 		/* there is no tree at all */
1293 		return 0;
1294 	}
1295 
1296 	if (ex != EXT_FIRST_EXTENT(eh)) {
1297 		/* we correct tree if first leaf got modified only */
1298 		return 0;
1299 	}
1300 
1301 	/*
1302 	 * TODO: we need correction if border is smaller than current one
1303 	 */
1304 	k = depth - 1;
1305 	border = path[depth].p_ext->ee_block;
1306 	err = ext4_ext_get_access(handle, inode, path + k);
1307 	if (err)
1308 		return err;
1309 	path[k].p_idx->ei_block = border;
1310 	err = ext4_ext_dirty(handle, inode, path + k);
1311 	if (err)
1312 		return err;
1313 
1314 	while (k--) {
1315 		/* change all left-side indexes */
1316 		if (path[k+1].p_idx != EXT_FIRST_INDEX(path[k+1].p_hdr))
1317 			break;
1318 		err = ext4_ext_get_access(handle, inode, path + k);
1319 		if (err)
1320 			break;
1321 		path[k].p_idx->ei_block = border;
1322 		err = ext4_ext_dirty(handle, inode, path + k);
1323 		if (err)
1324 			break;
1325 	}
1326 
1327 	return err;
1328 }
1329 
1330 static int
1331 ext4_can_extents_be_merged(struct inode *inode, struct ext4_extent *ex1,
1332 				struct ext4_extent *ex2)
1333 {
1334 	unsigned short ext1_ee_len, ext2_ee_len, max_len;
1335 
1336 	/*
1337 	 * Make sure that either both extents are uninitialized, or
1338 	 * both are _not_.
1339 	 */
1340 	if (ext4_ext_is_uninitialized(ex1) ^ ext4_ext_is_uninitialized(ex2))
1341 		return 0;
1342 
1343 	if (ext4_ext_is_uninitialized(ex1))
1344 		max_len = EXT_UNINIT_MAX_LEN;
1345 	else
1346 		max_len = EXT_INIT_MAX_LEN;
1347 
1348 	ext1_ee_len = ext4_ext_get_actual_len(ex1);
1349 	ext2_ee_len = ext4_ext_get_actual_len(ex2);
1350 
1351 	if (le32_to_cpu(ex1->ee_block) + ext1_ee_len !=
1352 			le32_to_cpu(ex2->ee_block))
1353 		return 0;
1354 
1355 	/*
1356 	 * To allow future support for preallocated extents to be added
1357 	 * as an RO_COMPAT feature, refuse to merge to extents if
1358 	 * this can result in the top bit of ee_len being set.
1359 	 */
1360 	if (ext1_ee_len + ext2_ee_len > max_len)
1361 		return 0;
1362 #ifdef AGGRESSIVE_TEST
1363 	if (ext1_ee_len >= 4)
1364 		return 0;
1365 #endif
1366 
1367 	if (ext_pblock(ex1) + ext1_ee_len == ext_pblock(ex2))
1368 		return 1;
1369 	return 0;
1370 }
1371 
1372 /*
1373  * This function tries to merge the "ex" extent to the next extent in the tree.
1374  * It always tries to merge towards right. If you want to merge towards
1375  * left, pass "ex - 1" as argument instead of "ex".
1376  * Returns 0 if the extents (ex and ex+1) were _not_ merged and returns
1377  * 1 if they got merged.
1378  */
1379 int ext4_ext_try_to_merge(struct inode *inode,
1380 			  struct ext4_ext_path *path,
1381 			  struct ext4_extent *ex)
1382 {
1383 	struct ext4_extent_header *eh;
1384 	unsigned int depth, len;
1385 	int merge_done = 0;
1386 	int uninitialized = 0;
1387 
1388 	depth = ext_depth(inode);
1389 	BUG_ON(path[depth].p_hdr == NULL);
1390 	eh = path[depth].p_hdr;
1391 
1392 	while (ex < EXT_LAST_EXTENT(eh)) {
1393 		if (!ext4_can_extents_be_merged(inode, ex, ex + 1))
1394 			break;
1395 		/* merge with next extent! */
1396 		if (ext4_ext_is_uninitialized(ex))
1397 			uninitialized = 1;
1398 		ex->ee_len = cpu_to_le16(ext4_ext_get_actual_len(ex)
1399 				+ ext4_ext_get_actual_len(ex + 1));
1400 		if (uninitialized)
1401 			ext4_ext_mark_uninitialized(ex);
1402 
1403 		if (ex + 1 < EXT_LAST_EXTENT(eh)) {
1404 			len = (EXT_LAST_EXTENT(eh) - ex - 1)
1405 				* sizeof(struct ext4_extent);
1406 			memmove(ex + 1, ex + 2, len);
1407 		}
1408 		le16_add_cpu(&eh->eh_entries, -1);
1409 		merge_done = 1;
1410 		WARN_ON(eh->eh_entries == 0);
1411 		if (!eh->eh_entries)
1412 			ext4_error(inode->i_sb, "ext4_ext_try_to_merge",
1413 			   "inode#%lu, eh->eh_entries = 0!", inode->i_ino);
1414 	}
1415 
1416 	return merge_done;
1417 }
1418 
1419 /*
1420  * check if a portion of the "newext" extent overlaps with an
1421  * existing extent.
1422  *
1423  * If there is an overlap discovered, it updates the length of the newext
1424  * such that there will be no overlap, and then returns 1.
1425  * If there is no overlap found, it returns 0.
1426  */
1427 unsigned int ext4_ext_check_overlap(struct inode *inode,
1428 				    struct ext4_extent *newext,
1429 				    struct ext4_ext_path *path)
1430 {
1431 	ext4_lblk_t b1, b2;
1432 	unsigned int depth, len1;
1433 	unsigned int ret = 0;
1434 
1435 	b1 = le32_to_cpu(newext->ee_block);
1436 	len1 = ext4_ext_get_actual_len(newext);
1437 	depth = ext_depth(inode);
1438 	if (!path[depth].p_ext)
1439 		goto out;
1440 	b2 = le32_to_cpu(path[depth].p_ext->ee_block);
1441 
1442 	/*
1443 	 * get the next allocated block if the extent in the path
1444 	 * is before the requested block(s)
1445 	 */
1446 	if (b2 < b1) {
1447 		b2 = ext4_ext_next_allocated_block(path);
1448 		if (b2 == EXT_MAX_BLOCK)
1449 			goto out;
1450 	}
1451 
1452 	/* check for wrap through zero on extent logical start block*/
1453 	if (b1 + len1 < b1) {
1454 		len1 = EXT_MAX_BLOCK - b1;
1455 		newext->ee_len = cpu_to_le16(len1);
1456 		ret = 1;
1457 	}
1458 
1459 	/* check for overlap */
1460 	if (b1 + len1 > b2) {
1461 		newext->ee_len = cpu_to_le16(b2 - b1);
1462 		ret = 1;
1463 	}
1464 out:
1465 	return ret;
1466 }
1467 
1468 /*
1469  * ext4_ext_insert_extent:
1470  * tries to merge requsted extent into the existing extent or
1471  * inserts requested extent as new one into the tree,
1472  * creating new leaf in the no-space case.
1473  */
1474 int ext4_ext_insert_extent(handle_t *handle, struct inode *inode,
1475 				struct ext4_ext_path *path,
1476 				struct ext4_extent *newext)
1477 {
1478 	struct ext4_extent_header * eh;
1479 	struct ext4_extent *ex, *fex;
1480 	struct ext4_extent *nearex; /* nearest extent */
1481 	struct ext4_ext_path *npath = NULL;
1482 	int depth, len, err;
1483 	ext4_lblk_t next;
1484 	unsigned uninitialized = 0;
1485 
1486 	BUG_ON(ext4_ext_get_actual_len(newext) == 0);
1487 	depth = ext_depth(inode);
1488 	ex = path[depth].p_ext;
1489 	BUG_ON(path[depth].p_hdr == NULL);
1490 
1491 	/* try to insert block into found extent and return */
1492 	if (ex && ext4_can_extents_be_merged(inode, ex, newext)) {
1493 		ext_debug("append %d block to %d:%d (from %llu)\n",
1494 				ext4_ext_get_actual_len(newext),
1495 				le32_to_cpu(ex->ee_block),
1496 				ext4_ext_get_actual_len(ex), ext_pblock(ex));
1497 		err = ext4_ext_get_access(handle, inode, path + depth);
1498 		if (err)
1499 			return err;
1500 
1501 		/*
1502 		 * ext4_can_extents_be_merged should have checked that either
1503 		 * both extents are uninitialized, or both aren't. Thus we
1504 		 * need to check only one of them here.
1505 		 */
1506 		if (ext4_ext_is_uninitialized(ex))
1507 			uninitialized = 1;
1508 		ex->ee_len = cpu_to_le16(ext4_ext_get_actual_len(ex)
1509 					+ ext4_ext_get_actual_len(newext));
1510 		if (uninitialized)
1511 			ext4_ext_mark_uninitialized(ex);
1512 		eh = path[depth].p_hdr;
1513 		nearex = ex;
1514 		goto merge;
1515 	}
1516 
1517 repeat:
1518 	depth = ext_depth(inode);
1519 	eh = path[depth].p_hdr;
1520 	if (le16_to_cpu(eh->eh_entries) < le16_to_cpu(eh->eh_max))
1521 		goto has_space;
1522 
1523 	/* probably next leaf has space for us? */
1524 	fex = EXT_LAST_EXTENT(eh);
1525 	next = ext4_ext_next_leaf_block(inode, path);
1526 	if (le32_to_cpu(newext->ee_block) > le32_to_cpu(fex->ee_block)
1527 	    && next != EXT_MAX_BLOCK) {
1528 		ext_debug("next leaf block - %d\n", next);
1529 		BUG_ON(npath != NULL);
1530 		npath = ext4_ext_find_extent(inode, next, NULL);
1531 		if (IS_ERR(npath))
1532 			return PTR_ERR(npath);
1533 		BUG_ON(npath->p_depth != path->p_depth);
1534 		eh = npath[depth].p_hdr;
1535 		if (le16_to_cpu(eh->eh_entries) < le16_to_cpu(eh->eh_max)) {
1536 			ext_debug("next leaf isnt full(%d)\n",
1537 				  le16_to_cpu(eh->eh_entries));
1538 			path = npath;
1539 			goto repeat;
1540 		}
1541 		ext_debug("next leaf has no free space(%d,%d)\n",
1542 			  le16_to_cpu(eh->eh_entries), le16_to_cpu(eh->eh_max));
1543 	}
1544 
1545 	/*
1546 	 * There is no free space in the found leaf.
1547 	 * We're gonna add a new leaf in the tree.
1548 	 */
1549 	err = ext4_ext_create_new_leaf(handle, inode, path, newext);
1550 	if (err)
1551 		goto cleanup;
1552 	depth = ext_depth(inode);
1553 	eh = path[depth].p_hdr;
1554 
1555 has_space:
1556 	nearex = path[depth].p_ext;
1557 
1558 	err = ext4_ext_get_access(handle, inode, path + depth);
1559 	if (err)
1560 		goto cleanup;
1561 
1562 	if (!nearex) {
1563 		/* there is no extent in this leaf, create first one */
1564 		ext_debug("first extent in the leaf: %d:%llu:%d\n",
1565 				le32_to_cpu(newext->ee_block),
1566 				ext_pblock(newext),
1567 				ext4_ext_get_actual_len(newext));
1568 		path[depth].p_ext = EXT_FIRST_EXTENT(eh);
1569 	} else if (le32_to_cpu(newext->ee_block)
1570 			   > le32_to_cpu(nearex->ee_block)) {
1571 /*		BUG_ON(newext->ee_block == nearex->ee_block); */
1572 		if (nearex != EXT_LAST_EXTENT(eh)) {
1573 			len = EXT_MAX_EXTENT(eh) - nearex;
1574 			len = (len - 1) * sizeof(struct ext4_extent);
1575 			len = len < 0 ? 0 : len;
1576 			ext_debug("insert %d:%llu:%d after: nearest 0x%p, "
1577 					"move %d from 0x%p to 0x%p\n",
1578 					le32_to_cpu(newext->ee_block),
1579 					ext_pblock(newext),
1580 					ext4_ext_get_actual_len(newext),
1581 					nearex, len, nearex + 1, nearex + 2);
1582 			memmove(nearex + 2, nearex + 1, len);
1583 		}
1584 		path[depth].p_ext = nearex + 1;
1585 	} else {
1586 		BUG_ON(newext->ee_block == nearex->ee_block);
1587 		len = (EXT_MAX_EXTENT(eh) - nearex) * sizeof(struct ext4_extent);
1588 		len = len < 0 ? 0 : len;
1589 		ext_debug("insert %d:%llu:%d before: nearest 0x%p, "
1590 				"move %d from 0x%p to 0x%p\n",
1591 				le32_to_cpu(newext->ee_block),
1592 				ext_pblock(newext),
1593 				ext4_ext_get_actual_len(newext),
1594 				nearex, len, nearex + 1, nearex + 2);
1595 		memmove(nearex + 1, nearex, len);
1596 		path[depth].p_ext = nearex;
1597 	}
1598 
1599 	le16_add_cpu(&eh->eh_entries, 1);
1600 	nearex = path[depth].p_ext;
1601 	nearex->ee_block = newext->ee_block;
1602 	ext4_ext_store_pblock(nearex, ext_pblock(newext));
1603 	nearex->ee_len = newext->ee_len;
1604 
1605 merge:
1606 	/* try to merge extents to the right */
1607 	ext4_ext_try_to_merge(inode, path, nearex);
1608 
1609 	/* try to merge extents to the left */
1610 
1611 	/* time to correct all indexes above */
1612 	err = ext4_ext_correct_indexes(handle, inode, path);
1613 	if (err)
1614 		goto cleanup;
1615 
1616 	err = ext4_ext_dirty(handle, inode, path + depth);
1617 
1618 cleanup:
1619 	if (npath) {
1620 		ext4_ext_drop_refs(npath);
1621 		kfree(npath);
1622 	}
1623 	ext4_ext_tree_changed(inode);
1624 	ext4_ext_invalidate_cache(inode);
1625 	return err;
1626 }
1627 
1628 static void
1629 ext4_ext_put_in_cache(struct inode *inode, ext4_lblk_t block,
1630 			__u32 len, ext4_fsblk_t start, int type)
1631 {
1632 	struct ext4_ext_cache *cex;
1633 	BUG_ON(len == 0);
1634 	cex = &EXT4_I(inode)->i_cached_extent;
1635 	cex->ec_type = type;
1636 	cex->ec_block = block;
1637 	cex->ec_len = len;
1638 	cex->ec_start = start;
1639 }
1640 
1641 /*
1642  * ext4_ext_put_gap_in_cache:
1643  * calculate boundaries of the gap that the requested block fits into
1644  * and cache this gap
1645  */
1646 static void
1647 ext4_ext_put_gap_in_cache(struct inode *inode, struct ext4_ext_path *path,
1648 				ext4_lblk_t block)
1649 {
1650 	int depth = ext_depth(inode);
1651 	unsigned long len;
1652 	ext4_lblk_t lblock;
1653 	struct ext4_extent *ex;
1654 
1655 	ex = path[depth].p_ext;
1656 	if (ex == NULL) {
1657 		/* there is no extent yet, so gap is [0;-] */
1658 		lblock = 0;
1659 		len = EXT_MAX_BLOCK;
1660 		ext_debug("cache gap(whole file):");
1661 	} else if (block < le32_to_cpu(ex->ee_block)) {
1662 		lblock = block;
1663 		len = le32_to_cpu(ex->ee_block) - block;
1664 		ext_debug("cache gap(before): %u [%u:%u]",
1665 				block,
1666 				le32_to_cpu(ex->ee_block),
1667 				 ext4_ext_get_actual_len(ex));
1668 	} else if (block >= le32_to_cpu(ex->ee_block)
1669 			+ ext4_ext_get_actual_len(ex)) {
1670 		ext4_lblk_t next;
1671 		lblock = le32_to_cpu(ex->ee_block)
1672 			+ ext4_ext_get_actual_len(ex);
1673 
1674 		next = ext4_ext_next_allocated_block(path);
1675 		ext_debug("cache gap(after): [%u:%u] %u",
1676 				le32_to_cpu(ex->ee_block),
1677 				ext4_ext_get_actual_len(ex),
1678 				block);
1679 		BUG_ON(next == lblock);
1680 		len = next - lblock;
1681 	} else {
1682 		lblock = len = 0;
1683 		BUG();
1684 	}
1685 
1686 	ext_debug(" -> %u:%lu\n", lblock, len);
1687 	ext4_ext_put_in_cache(inode, lblock, len, 0, EXT4_EXT_CACHE_GAP);
1688 }
1689 
1690 static int
1691 ext4_ext_in_cache(struct inode *inode, ext4_lblk_t block,
1692 			struct ext4_extent *ex)
1693 {
1694 	struct ext4_ext_cache *cex;
1695 
1696 	cex = &EXT4_I(inode)->i_cached_extent;
1697 
1698 	/* has cache valid data? */
1699 	if (cex->ec_type == EXT4_EXT_CACHE_NO)
1700 		return EXT4_EXT_CACHE_NO;
1701 
1702 	BUG_ON(cex->ec_type != EXT4_EXT_CACHE_GAP &&
1703 			cex->ec_type != EXT4_EXT_CACHE_EXTENT);
1704 	if (block >= cex->ec_block && block < cex->ec_block + cex->ec_len) {
1705 		ex->ee_block = cpu_to_le32(cex->ec_block);
1706 		ext4_ext_store_pblock(ex, cex->ec_start);
1707 		ex->ee_len = cpu_to_le16(cex->ec_len);
1708 		ext_debug("%u cached by %u:%u:%llu\n",
1709 				block,
1710 				cex->ec_block, cex->ec_len, cex->ec_start);
1711 		return cex->ec_type;
1712 	}
1713 
1714 	/* not in cache */
1715 	return EXT4_EXT_CACHE_NO;
1716 }
1717 
1718 /*
1719  * ext4_ext_rm_idx:
1720  * removes index from the index block.
1721  * It's used in truncate case only, thus all requests are for
1722  * last index in the block only.
1723  */
1724 static int ext4_ext_rm_idx(handle_t *handle, struct inode *inode,
1725 			struct ext4_ext_path *path)
1726 {
1727 	struct buffer_head *bh;
1728 	int err;
1729 	ext4_fsblk_t leaf;
1730 
1731 	/* free index block */
1732 	path--;
1733 	leaf = idx_pblock(path->p_idx);
1734 	BUG_ON(path->p_hdr->eh_entries == 0);
1735 	err = ext4_ext_get_access(handle, inode, path);
1736 	if (err)
1737 		return err;
1738 	le16_add_cpu(&path->p_hdr->eh_entries, -1);
1739 	err = ext4_ext_dirty(handle, inode, path);
1740 	if (err)
1741 		return err;
1742 	ext_debug("index is empty, remove it, free block %llu\n", leaf);
1743 	bh = sb_find_get_block(inode->i_sb, leaf);
1744 	ext4_forget(handle, 1, inode, bh, leaf);
1745 	ext4_free_blocks(handle, inode, leaf, 1, 1);
1746 	return err;
1747 }
1748 
1749 /*
1750  * ext4_ext_calc_credits_for_single_extent:
1751  * This routine returns max. credits that needed to insert an extent
1752  * to the extent tree.
1753  * When pass the actual path, the caller should calculate credits
1754  * under i_data_sem.
1755  */
1756 int ext4_ext_calc_credits_for_single_extent(struct inode *inode, int nrblocks,
1757 						struct ext4_ext_path *path)
1758 {
1759 	if (path) {
1760 		int depth = ext_depth(inode);
1761 		int ret = 0;
1762 
1763 		/* probably there is space in leaf? */
1764 		if (le16_to_cpu(path[depth].p_hdr->eh_entries)
1765 				< le16_to_cpu(path[depth].p_hdr->eh_max)) {
1766 
1767 			/*
1768 			 *  There are some space in the leaf tree, no
1769 			 *  need to account for leaf block credit
1770 			 *
1771 			 *  bitmaps and block group descriptor blocks
1772 			 *  and other metadat blocks still need to be
1773 			 *  accounted.
1774 			 */
1775 			/* 1 bitmap, 1 block group descriptor */
1776 			ret = 2 + EXT4_META_TRANS_BLOCKS(inode->i_sb);
1777 		}
1778 	}
1779 
1780 	return ext4_chunk_trans_blocks(inode, nrblocks);
1781 }
1782 
1783 /*
1784  * How many index/leaf blocks need to change/allocate to modify nrblocks?
1785  *
1786  * if nrblocks are fit in a single extent (chunk flag is 1), then
1787  * in the worse case, each tree level index/leaf need to be changed
1788  * if the tree split due to insert a new extent, then the old tree
1789  * index/leaf need to be updated too
1790  *
1791  * If the nrblocks are discontiguous, they could cause
1792  * the whole tree split more than once, but this is really rare.
1793  */
1794 int ext4_ext_index_trans_blocks(struct inode *inode, int nrblocks, int chunk)
1795 {
1796 	int index;
1797 	int depth = ext_depth(inode);
1798 
1799 	if (chunk)
1800 		index = depth * 2;
1801 	else
1802 		index = depth * 3;
1803 
1804 	return index;
1805 }
1806 
1807 static int ext4_remove_blocks(handle_t *handle, struct inode *inode,
1808 				struct ext4_extent *ex,
1809 				ext4_lblk_t from, ext4_lblk_t to)
1810 {
1811 	struct buffer_head *bh;
1812 	unsigned short ee_len =  ext4_ext_get_actual_len(ex);
1813 	int i, metadata = 0;
1814 
1815 	if (S_ISDIR(inode->i_mode) || S_ISLNK(inode->i_mode))
1816 		metadata = 1;
1817 #ifdef EXTENTS_STATS
1818 	{
1819 		struct ext4_sb_info *sbi = EXT4_SB(inode->i_sb);
1820 		spin_lock(&sbi->s_ext_stats_lock);
1821 		sbi->s_ext_blocks += ee_len;
1822 		sbi->s_ext_extents++;
1823 		if (ee_len < sbi->s_ext_min)
1824 			sbi->s_ext_min = ee_len;
1825 		if (ee_len > sbi->s_ext_max)
1826 			sbi->s_ext_max = ee_len;
1827 		if (ext_depth(inode) > sbi->s_depth_max)
1828 			sbi->s_depth_max = ext_depth(inode);
1829 		spin_unlock(&sbi->s_ext_stats_lock);
1830 	}
1831 #endif
1832 	if (from >= le32_to_cpu(ex->ee_block)
1833 	    && to == le32_to_cpu(ex->ee_block) + ee_len - 1) {
1834 		/* tail removal */
1835 		ext4_lblk_t num;
1836 		ext4_fsblk_t start;
1837 
1838 		num = le32_to_cpu(ex->ee_block) + ee_len - from;
1839 		start = ext_pblock(ex) + ee_len - num;
1840 		ext_debug("free last %u blocks starting %llu\n", num, start);
1841 		for (i = 0; i < num; i++) {
1842 			bh = sb_find_get_block(inode->i_sb, start + i);
1843 			ext4_forget(handle, 0, inode, bh, start + i);
1844 		}
1845 		ext4_free_blocks(handle, inode, start, num, metadata);
1846 	} else if (from == le32_to_cpu(ex->ee_block)
1847 		   && to <= le32_to_cpu(ex->ee_block) + ee_len - 1) {
1848 		printk(KERN_INFO "strange request: removal %u-%u from %u:%u\n",
1849 			from, to, le32_to_cpu(ex->ee_block), ee_len);
1850 	} else {
1851 		printk(KERN_INFO "strange request: removal(2) "
1852 				"%u-%u from %u:%u\n",
1853 				from, to, le32_to_cpu(ex->ee_block), ee_len);
1854 	}
1855 	return 0;
1856 }
1857 
1858 static int
1859 ext4_ext_rm_leaf(handle_t *handle, struct inode *inode,
1860 		struct ext4_ext_path *path, ext4_lblk_t start)
1861 {
1862 	int err = 0, correct_index = 0;
1863 	int depth = ext_depth(inode), credits;
1864 	struct ext4_extent_header *eh;
1865 	ext4_lblk_t a, b, block;
1866 	unsigned num;
1867 	ext4_lblk_t ex_ee_block;
1868 	unsigned short ex_ee_len;
1869 	unsigned uninitialized = 0;
1870 	struct ext4_extent *ex;
1871 
1872 	/* the header must be checked already in ext4_ext_remove_space() */
1873 	ext_debug("truncate since %u in leaf\n", start);
1874 	if (!path[depth].p_hdr)
1875 		path[depth].p_hdr = ext_block_hdr(path[depth].p_bh);
1876 	eh = path[depth].p_hdr;
1877 	BUG_ON(eh == NULL);
1878 
1879 	/* find where to start removing */
1880 	ex = EXT_LAST_EXTENT(eh);
1881 
1882 	ex_ee_block = le32_to_cpu(ex->ee_block);
1883 	if (ext4_ext_is_uninitialized(ex))
1884 		uninitialized = 1;
1885 	ex_ee_len = ext4_ext_get_actual_len(ex);
1886 
1887 	while (ex >= EXT_FIRST_EXTENT(eh) &&
1888 			ex_ee_block + ex_ee_len > start) {
1889 		ext_debug("remove ext %lu:%u\n", ex_ee_block, ex_ee_len);
1890 		path[depth].p_ext = ex;
1891 
1892 		a = ex_ee_block > start ? ex_ee_block : start;
1893 		b = ex_ee_block + ex_ee_len - 1 < EXT_MAX_BLOCK ?
1894 			ex_ee_block + ex_ee_len - 1 : EXT_MAX_BLOCK;
1895 
1896 		ext_debug("  border %u:%u\n", a, b);
1897 
1898 		if (a != ex_ee_block && b != ex_ee_block + ex_ee_len - 1) {
1899 			block = 0;
1900 			num = 0;
1901 			BUG();
1902 		} else if (a != ex_ee_block) {
1903 			/* remove tail of the extent */
1904 			block = ex_ee_block;
1905 			num = a - block;
1906 		} else if (b != ex_ee_block + ex_ee_len - 1) {
1907 			/* remove head of the extent */
1908 			block = a;
1909 			num = b - a;
1910 			/* there is no "make a hole" API yet */
1911 			BUG();
1912 		} else {
1913 			/* remove whole extent: excellent! */
1914 			block = ex_ee_block;
1915 			num = 0;
1916 			BUG_ON(a != ex_ee_block);
1917 			BUG_ON(b != ex_ee_block + ex_ee_len - 1);
1918 		}
1919 
1920 		/*
1921 		 * 3 for leaf, sb, and inode plus 2 (bmap and group
1922 		 * descriptor) for each block group; assume two block
1923 		 * groups plus ex_ee_len/blocks_per_block_group for
1924 		 * the worst case
1925 		 */
1926 		credits = 7 + 2*(ex_ee_len/EXT4_BLOCKS_PER_GROUP(inode->i_sb));
1927 		if (ex == EXT_FIRST_EXTENT(eh)) {
1928 			correct_index = 1;
1929 			credits += (ext_depth(inode)) + 1;
1930 		}
1931 		credits += 2 * EXT4_QUOTA_TRANS_BLOCKS(inode->i_sb);
1932 
1933 		err = ext4_ext_journal_restart(handle, credits);
1934 		if (err)
1935 			goto out;
1936 
1937 		err = ext4_ext_get_access(handle, inode, path + depth);
1938 		if (err)
1939 			goto out;
1940 
1941 		err = ext4_remove_blocks(handle, inode, ex, a, b);
1942 		if (err)
1943 			goto out;
1944 
1945 		if (num == 0) {
1946 			/* this extent is removed; mark slot entirely unused */
1947 			ext4_ext_store_pblock(ex, 0);
1948 			le16_add_cpu(&eh->eh_entries, -1);
1949 		}
1950 
1951 		ex->ee_block = cpu_to_le32(block);
1952 		ex->ee_len = cpu_to_le16(num);
1953 		/*
1954 		 * Do not mark uninitialized if all the blocks in the
1955 		 * extent have been removed.
1956 		 */
1957 		if (uninitialized && num)
1958 			ext4_ext_mark_uninitialized(ex);
1959 
1960 		err = ext4_ext_dirty(handle, inode, path + depth);
1961 		if (err)
1962 			goto out;
1963 
1964 		ext_debug("new extent: %u:%u:%llu\n", block, num,
1965 				ext_pblock(ex));
1966 		ex--;
1967 		ex_ee_block = le32_to_cpu(ex->ee_block);
1968 		ex_ee_len = ext4_ext_get_actual_len(ex);
1969 	}
1970 
1971 	if (correct_index && eh->eh_entries)
1972 		err = ext4_ext_correct_indexes(handle, inode, path);
1973 
1974 	/* if this leaf is free, then we should
1975 	 * remove it from index block above */
1976 	if (err == 0 && eh->eh_entries == 0 && path[depth].p_bh != NULL)
1977 		err = ext4_ext_rm_idx(handle, inode, path + depth);
1978 
1979 out:
1980 	return err;
1981 }
1982 
1983 /*
1984  * ext4_ext_more_to_rm:
1985  * returns 1 if current index has to be freed (even partial)
1986  */
1987 static int
1988 ext4_ext_more_to_rm(struct ext4_ext_path *path)
1989 {
1990 	BUG_ON(path->p_idx == NULL);
1991 
1992 	if (path->p_idx < EXT_FIRST_INDEX(path->p_hdr))
1993 		return 0;
1994 
1995 	/*
1996 	 * if truncate on deeper level happened, it wasn't partial,
1997 	 * so we have to consider current index for truncation
1998 	 */
1999 	if (le16_to_cpu(path->p_hdr->eh_entries) == path->p_block)
2000 		return 0;
2001 	return 1;
2002 }
2003 
2004 static int ext4_ext_remove_space(struct inode *inode, ext4_lblk_t start)
2005 {
2006 	struct super_block *sb = inode->i_sb;
2007 	int depth = ext_depth(inode);
2008 	struct ext4_ext_path *path;
2009 	handle_t *handle;
2010 	int i = 0, err = 0;
2011 
2012 	ext_debug("truncate since %u\n", start);
2013 
2014 	/* probably first extent we're gonna free will be last in block */
2015 	handle = ext4_journal_start(inode, depth + 1);
2016 	if (IS_ERR(handle))
2017 		return PTR_ERR(handle);
2018 
2019 	ext4_ext_invalidate_cache(inode);
2020 
2021 	/*
2022 	 * We start scanning from right side, freeing all the blocks
2023 	 * after i_size and walking into the tree depth-wise.
2024 	 */
2025 	path = kzalloc(sizeof(struct ext4_ext_path) * (depth + 1), GFP_NOFS);
2026 	if (path == NULL) {
2027 		ext4_journal_stop(handle);
2028 		return -ENOMEM;
2029 	}
2030 	path[0].p_hdr = ext_inode_hdr(inode);
2031 	if (ext4_ext_check_header(inode, path[0].p_hdr, depth)) {
2032 		err = -EIO;
2033 		goto out;
2034 	}
2035 	path[0].p_depth = depth;
2036 
2037 	while (i >= 0 && err == 0) {
2038 		if (i == depth) {
2039 			/* this is leaf block */
2040 			err = ext4_ext_rm_leaf(handle, inode, path, start);
2041 			/* root level has p_bh == NULL, brelse() eats this */
2042 			brelse(path[i].p_bh);
2043 			path[i].p_bh = NULL;
2044 			i--;
2045 			continue;
2046 		}
2047 
2048 		/* this is index block */
2049 		if (!path[i].p_hdr) {
2050 			ext_debug("initialize header\n");
2051 			path[i].p_hdr = ext_block_hdr(path[i].p_bh);
2052 		}
2053 
2054 		if (!path[i].p_idx) {
2055 			/* this level hasn't been touched yet */
2056 			path[i].p_idx = EXT_LAST_INDEX(path[i].p_hdr);
2057 			path[i].p_block = le16_to_cpu(path[i].p_hdr->eh_entries)+1;
2058 			ext_debug("init index ptr: hdr 0x%p, num %d\n",
2059 				  path[i].p_hdr,
2060 				  le16_to_cpu(path[i].p_hdr->eh_entries));
2061 		} else {
2062 			/* we were already here, see at next index */
2063 			path[i].p_idx--;
2064 		}
2065 
2066 		ext_debug("level %d - index, first 0x%p, cur 0x%p\n",
2067 				i, EXT_FIRST_INDEX(path[i].p_hdr),
2068 				path[i].p_idx);
2069 		if (ext4_ext_more_to_rm(path + i)) {
2070 			struct buffer_head *bh;
2071 			/* go to the next level */
2072 			ext_debug("move to level %d (block %llu)\n",
2073 				  i + 1, idx_pblock(path[i].p_idx));
2074 			memset(path + i + 1, 0, sizeof(*path));
2075 			bh = sb_bread(sb, idx_pblock(path[i].p_idx));
2076 			if (!bh) {
2077 				/* should we reset i_size? */
2078 				err = -EIO;
2079 				break;
2080 			}
2081 			if (WARN_ON(i + 1 > depth)) {
2082 				err = -EIO;
2083 				break;
2084 			}
2085 			if (ext4_ext_check_header(inode, ext_block_hdr(bh),
2086 							depth - i - 1)) {
2087 				err = -EIO;
2088 				break;
2089 			}
2090 			path[i + 1].p_bh = bh;
2091 
2092 			/* save actual number of indexes since this
2093 			 * number is changed at the next iteration */
2094 			path[i].p_block = le16_to_cpu(path[i].p_hdr->eh_entries);
2095 			i++;
2096 		} else {
2097 			/* we finished processing this index, go up */
2098 			if (path[i].p_hdr->eh_entries == 0 && i > 0) {
2099 				/* index is empty, remove it;
2100 				 * handle must be already prepared by the
2101 				 * truncatei_leaf() */
2102 				err = ext4_ext_rm_idx(handle, inode, path + i);
2103 			}
2104 			/* root level has p_bh == NULL, brelse() eats this */
2105 			brelse(path[i].p_bh);
2106 			path[i].p_bh = NULL;
2107 			i--;
2108 			ext_debug("return to level %d\n", i);
2109 		}
2110 	}
2111 
2112 	/* TODO: flexible tree reduction should be here */
2113 	if (path->p_hdr->eh_entries == 0) {
2114 		/*
2115 		 * truncate to zero freed all the tree,
2116 		 * so we need to correct eh_depth
2117 		 */
2118 		err = ext4_ext_get_access(handle, inode, path);
2119 		if (err == 0) {
2120 			ext_inode_hdr(inode)->eh_depth = 0;
2121 			ext_inode_hdr(inode)->eh_max =
2122 				cpu_to_le16(ext4_ext_space_root(inode));
2123 			err = ext4_ext_dirty(handle, inode, path);
2124 		}
2125 	}
2126 out:
2127 	ext4_ext_tree_changed(inode);
2128 	ext4_ext_drop_refs(path);
2129 	kfree(path);
2130 	ext4_journal_stop(handle);
2131 
2132 	return err;
2133 }
2134 
2135 /*
2136  * called at mount time
2137  */
2138 void ext4_ext_init(struct super_block *sb)
2139 {
2140 	/*
2141 	 * possible initialization would be here
2142 	 */
2143 
2144 	if (test_opt(sb, EXTENTS)) {
2145 		printk("EXT4-fs: file extents enabled");
2146 #ifdef AGGRESSIVE_TEST
2147 		printk(", aggressive tests");
2148 #endif
2149 #ifdef CHECK_BINSEARCH
2150 		printk(", check binsearch");
2151 #endif
2152 #ifdef EXTENTS_STATS
2153 		printk(", stats");
2154 #endif
2155 		printk("\n");
2156 #ifdef EXTENTS_STATS
2157 		spin_lock_init(&EXT4_SB(sb)->s_ext_stats_lock);
2158 		EXT4_SB(sb)->s_ext_min = 1 << 30;
2159 		EXT4_SB(sb)->s_ext_max = 0;
2160 #endif
2161 	}
2162 }
2163 
2164 /*
2165  * called at umount time
2166  */
2167 void ext4_ext_release(struct super_block *sb)
2168 {
2169 	if (!test_opt(sb, EXTENTS))
2170 		return;
2171 
2172 #ifdef EXTENTS_STATS
2173 	if (EXT4_SB(sb)->s_ext_blocks && EXT4_SB(sb)->s_ext_extents) {
2174 		struct ext4_sb_info *sbi = EXT4_SB(sb);
2175 		printk(KERN_ERR "EXT4-fs: %lu blocks in %lu extents (%lu ave)\n",
2176 			sbi->s_ext_blocks, sbi->s_ext_extents,
2177 			sbi->s_ext_blocks / sbi->s_ext_extents);
2178 		printk(KERN_ERR "EXT4-fs: extents: %lu min, %lu max, max depth %lu\n",
2179 			sbi->s_ext_min, sbi->s_ext_max, sbi->s_depth_max);
2180 	}
2181 #endif
2182 }
2183 
2184 static void bi_complete(struct bio *bio, int error)
2185 {
2186 	complete((struct completion *)bio->bi_private);
2187 }
2188 
2189 /* FIXME!! we need to try to merge to left or right after zero-out  */
2190 static int ext4_ext_zeroout(struct inode *inode, struct ext4_extent *ex)
2191 {
2192 	int ret = -EIO;
2193 	struct bio *bio;
2194 	int blkbits, blocksize;
2195 	sector_t ee_pblock;
2196 	struct completion event;
2197 	unsigned int ee_len, len, done, offset;
2198 
2199 
2200 	blkbits   = inode->i_blkbits;
2201 	blocksize = inode->i_sb->s_blocksize;
2202 	ee_len    = ext4_ext_get_actual_len(ex);
2203 	ee_pblock = ext_pblock(ex);
2204 
2205 	/* convert ee_pblock to 512 byte sectors */
2206 	ee_pblock = ee_pblock << (blkbits - 9);
2207 
2208 	while (ee_len > 0) {
2209 
2210 		if (ee_len > BIO_MAX_PAGES)
2211 			len = BIO_MAX_PAGES;
2212 		else
2213 			len = ee_len;
2214 
2215 		bio = bio_alloc(GFP_NOIO, len);
2216 		if (!bio)
2217 			return -ENOMEM;
2218 		bio->bi_sector = ee_pblock;
2219 		bio->bi_bdev   = inode->i_sb->s_bdev;
2220 
2221 		done = 0;
2222 		offset = 0;
2223 		while (done < len) {
2224 			ret = bio_add_page(bio, ZERO_PAGE(0),
2225 							blocksize, offset);
2226 			if (ret != blocksize) {
2227 				/*
2228 				 * We can't add any more pages because of
2229 				 * hardware limitations.  Start a new bio.
2230 				 */
2231 				break;
2232 			}
2233 			done++;
2234 			offset += blocksize;
2235 			if (offset >= PAGE_CACHE_SIZE)
2236 				offset = 0;
2237 		}
2238 
2239 		init_completion(&event);
2240 		bio->bi_private = &event;
2241 		bio->bi_end_io = bi_complete;
2242 		submit_bio(WRITE, bio);
2243 		wait_for_completion(&event);
2244 
2245 		if (test_bit(BIO_UPTODATE, &bio->bi_flags))
2246 			ret = 0;
2247 		else {
2248 			ret = -EIO;
2249 			break;
2250 		}
2251 		bio_put(bio);
2252 		ee_len    -= done;
2253 		ee_pblock += done  << (blkbits - 9);
2254 	}
2255 	return ret;
2256 }
2257 
2258 #define EXT4_EXT_ZERO_LEN 7
2259 
2260 /*
2261  * This function is called by ext4_ext_get_blocks() if someone tries to write
2262  * to an uninitialized extent. It may result in splitting the uninitialized
2263  * extent into multiple extents (upto three - one initialized and two
2264  * uninitialized).
2265  * There are three possibilities:
2266  *   a> There is no split required: Entire extent should be initialized
2267  *   b> Splits in two extents: Write is happening at either end of the extent
2268  *   c> Splits in three extents: Somone is writing in middle of the extent
2269  */
2270 static int ext4_ext_convert_to_initialized(handle_t *handle,
2271 						struct inode *inode,
2272 						struct ext4_ext_path *path,
2273 						ext4_lblk_t iblock,
2274 						unsigned long max_blocks)
2275 {
2276 	struct ext4_extent *ex, newex, orig_ex;
2277 	struct ext4_extent *ex1 = NULL;
2278 	struct ext4_extent *ex2 = NULL;
2279 	struct ext4_extent *ex3 = NULL;
2280 	struct ext4_extent_header *eh;
2281 	ext4_lblk_t ee_block;
2282 	unsigned int allocated, ee_len, depth;
2283 	ext4_fsblk_t newblock;
2284 	int err = 0;
2285 	int ret = 0;
2286 
2287 	depth = ext_depth(inode);
2288 	eh = path[depth].p_hdr;
2289 	ex = path[depth].p_ext;
2290 	ee_block = le32_to_cpu(ex->ee_block);
2291 	ee_len = ext4_ext_get_actual_len(ex);
2292 	allocated = ee_len - (iblock - ee_block);
2293 	newblock = iblock - ee_block + ext_pblock(ex);
2294 	ex2 = ex;
2295 	orig_ex.ee_block = ex->ee_block;
2296 	orig_ex.ee_len   = cpu_to_le16(ee_len);
2297 	ext4_ext_store_pblock(&orig_ex, ext_pblock(ex));
2298 
2299 	err = ext4_ext_get_access(handle, inode, path + depth);
2300 	if (err)
2301 		goto out;
2302 	/* If extent has less than 2*EXT4_EXT_ZERO_LEN zerout directly */
2303 	if (ee_len <= 2*EXT4_EXT_ZERO_LEN) {
2304 		err =  ext4_ext_zeroout(inode, &orig_ex);
2305 		if (err)
2306 			goto fix_extent_len;
2307 		/* update the extent length and mark as initialized */
2308 		ex->ee_block = orig_ex.ee_block;
2309 		ex->ee_len   = orig_ex.ee_len;
2310 		ext4_ext_store_pblock(ex, ext_pblock(&orig_ex));
2311 		ext4_ext_dirty(handle, inode, path + depth);
2312 		/* zeroed the full extent */
2313 		return allocated;
2314 	}
2315 
2316 	/* ex1: ee_block to iblock - 1 : uninitialized */
2317 	if (iblock > ee_block) {
2318 		ex1 = ex;
2319 		ex1->ee_len = cpu_to_le16(iblock - ee_block);
2320 		ext4_ext_mark_uninitialized(ex1);
2321 		ex2 = &newex;
2322 	}
2323 	/*
2324 	 * for sanity, update the length of the ex2 extent before
2325 	 * we insert ex3, if ex1 is NULL. This is to avoid temporary
2326 	 * overlap of blocks.
2327 	 */
2328 	if (!ex1 && allocated > max_blocks)
2329 		ex2->ee_len = cpu_to_le16(max_blocks);
2330 	/* ex3: to ee_block + ee_len : uninitialised */
2331 	if (allocated > max_blocks) {
2332 		unsigned int newdepth;
2333 		/* If extent has less than EXT4_EXT_ZERO_LEN zerout directly */
2334 		if (allocated <= EXT4_EXT_ZERO_LEN) {
2335 			/*
2336 			 * iblock == ee_block is handled by the zerouout
2337 			 * at the beginning.
2338 			 * Mark first half uninitialized.
2339 			 * Mark second half initialized and zero out the
2340 			 * initialized extent
2341 			 */
2342 			ex->ee_block = orig_ex.ee_block;
2343 			ex->ee_len   = cpu_to_le16(ee_len - allocated);
2344 			ext4_ext_mark_uninitialized(ex);
2345 			ext4_ext_store_pblock(ex, ext_pblock(&orig_ex));
2346 			ext4_ext_dirty(handle, inode, path + depth);
2347 
2348 			ex3 = &newex;
2349 			ex3->ee_block = cpu_to_le32(iblock);
2350 			ext4_ext_store_pblock(ex3, newblock);
2351 			ex3->ee_len = cpu_to_le16(allocated);
2352 			err = ext4_ext_insert_extent(handle, inode, path, ex3);
2353 			if (err == -ENOSPC) {
2354 				err =  ext4_ext_zeroout(inode, &orig_ex);
2355 				if (err)
2356 					goto fix_extent_len;
2357 				ex->ee_block = orig_ex.ee_block;
2358 				ex->ee_len   = orig_ex.ee_len;
2359 				ext4_ext_store_pblock(ex, ext_pblock(&orig_ex));
2360 				ext4_ext_dirty(handle, inode, path + depth);
2361 				/* blocks available from iblock */
2362 				return allocated;
2363 
2364 			} else if (err)
2365 				goto fix_extent_len;
2366 
2367 			/*
2368 			 * We need to zero out the second half because
2369 			 * an fallocate request can update file size and
2370 			 * converting the second half to initialized extent
2371 			 * implies that we can leak some junk data to user
2372 			 * space.
2373 			 */
2374 			err =  ext4_ext_zeroout(inode, ex3);
2375 			if (err) {
2376 				/*
2377 				 * We should actually mark the
2378 				 * second half as uninit and return error
2379 				 * Insert would have changed the extent
2380 				 */
2381 				depth = ext_depth(inode);
2382 				ext4_ext_drop_refs(path);
2383 				path = ext4_ext_find_extent(inode,
2384 								iblock, path);
2385 				if (IS_ERR(path)) {
2386 					err = PTR_ERR(path);
2387 					return err;
2388 				}
2389 				/* get the second half extent details */
2390 				ex = path[depth].p_ext;
2391 				err = ext4_ext_get_access(handle, inode,
2392 								path + depth);
2393 				if (err)
2394 					return err;
2395 				ext4_ext_mark_uninitialized(ex);
2396 				ext4_ext_dirty(handle, inode, path + depth);
2397 				return err;
2398 			}
2399 
2400 			/* zeroed the second half */
2401 			return allocated;
2402 		}
2403 		ex3 = &newex;
2404 		ex3->ee_block = cpu_to_le32(iblock + max_blocks);
2405 		ext4_ext_store_pblock(ex3, newblock + max_blocks);
2406 		ex3->ee_len = cpu_to_le16(allocated - max_blocks);
2407 		ext4_ext_mark_uninitialized(ex3);
2408 		err = ext4_ext_insert_extent(handle, inode, path, ex3);
2409 		if (err == -ENOSPC) {
2410 			err =  ext4_ext_zeroout(inode, &orig_ex);
2411 			if (err)
2412 				goto fix_extent_len;
2413 			/* update the extent length and mark as initialized */
2414 			ex->ee_block = orig_ex.ee_block;
2415 			ex->ee_len   = orig_ex.ee_len;
2416 			ext4_ext_store_pblock(ex, ext_pblock(&orig_ex));
2417 			ext4_ext_dirty(handle, inode, path + depth);
2418 			/* zeroed the full extent */
2419 			/* blocks available from iblock */
2420 			return allocated;
2421 
2422 		} else if (err)
2423 			goto fix_extent_len;
2424 		/*
2425 		 * The depth, and hence eh & ex might change
2426 		 * as part of the insert above.
2427 		 */
2428 		newdepth = ext_depth(inode);
2429 		/*
2430 		 * update the extent length after successfull insert of the
2431 		 * split extent
2432 		 */
2433 		orig_ex.ee_len = cpu_to_le16(ee_len -
2434 						ext4_ext_get_actual_len(ex3));
2435 		depth = newdepth;
2436 		ext4_ext_drop_refs(path);
2437 		path = ext4_ext_find_extent(inode, iblock, path);
2438 		if (IS_ERR(path)) {
2439 			err = PTR_ERR(path);
2440 			goto out;
2441 		}
2442 		eh = path[depth].p_hdr;
2443 		ex = path[depth].p_ext;
2444 		if (ex2 != &newex)
2445 			ex2 = ex;
2446 
2447 		err = ext4_ext_get_access(handle, inode, path + depth);
2448 		if (err)
2449 			goto out;
2450 
2451 		allocated = max_blocks;
2452 
2453 		/* If extent has less than EXT4_EXT_ZERO_LEN and we are trying
2454 		 * to insert a extent in the middle zerout directly
2455 		 * otherwise give the extent a chance to merge to left
2456 		 */
2457 		if (le16_to_cpu(orig_ex.ee_len) <= EXT4_EXT_ZERO_LEN &&
2458 							iblock != ee_block) {
2459 			err =  ext4_ext_zeroout(inode, &orig_ex);
2460 			if (err)
2461 				goto fix_extent_len;
2462 			/* update the extent length and mark as initialized */
2463 			ex->ee_block = orig_ex.ee_block;
2464 			ex->ee_len   = orig_ex.ee_len;
2465 			ext4_ext_store_pblock(ex, ext_pblock(&orig_ex));
2466 			ext4_ext_dirty(handle, inode, path + depth);
2467 			/* zero out the first half */
2468 			/* blocks available from iblock */
2469 			return allocated;
2470 		}
2471 	}
2472 	/*
2473 	 * If there was a change of depth as part of the
2474 	 * insertion of ex3 above, we need to update the length
2475 	 * of the ex1 extent again here
2476 	 */
2477 	if (ex1 && ex1 != ex) {
2478 		ex1 = ex;
2479 		ex1->ee_len = cpu_to_le16(iblock - ee_block);
2480 		ext4_ext_mark_uninitialized(ex1);
2481 		ex2 = &newex;
2482 	}
2483 	/* ex2: iblock to iblock + maxblocks-1 : initialised */
2484 	ex2->ee_block = cpu_to_le32(iblock);
2485 	ext4_ext_store_pblock(ex2, newblock);
2486 	ex2->ee_len = cpu_to_le16(allocated);
2487 	if (ex2 != ex)
2488 		goto insert;
2489 	/*
2490 	 * New (initialized) extent starts from the first block
2491 	 * in the current extent. i.e., ex2 == ex
2492 	 * We have to see if it can be merged with the extent
2493 	 * on the left.
2494 	 */
2495 	if (ex2 > EXT_FIRST_EXTENT(eh)) {
2496 		/*
2497 		 * To merge left, pass "ex2 - 1" to try_to_merge(),
2498 		 * since it merges towards right _only_.
2499 		 */
2500 		ret = ext4_ext_try_to_merge(inode, path, ex2 - 1);
2501 		if (ret) {
2502 			err = ext4_ext_correct_indexes(handle, inode, path);
2503 			if (err)
2504 				goto out;
2505 			depth = ext_depth(inode);
2506 			ex2--;
2507 		}
2508 	}
2509 	/*
2510 	 * Try to Merge towards right. This might be required
2511 	 * only when the whole extent is being written to.
2512 	 * i.e. ex2 == ex and ex3 == NULL.
2513 	 */
2514 	if (!ex3) {
2515 		ret = ext4_ext_try_to_merge(inode, path, ex2);
2516 		if (ret) {
2517 			err = ext4_ext_correct_indexes(handle, inode, path);
2518 			if (err)
2519 				goto out;
2520 		}
2521 	}
2522 	/* Mark modified extent as dirty */
2523 	err = ext4_ext_dirty(handle, inode, path + depth);
2524 	goto out;
2525 insert:
2526 	err = ext4_ext_insert_extent(handle, inode, path, &newex);
2527 	if (err == -ENOSPC) {
2528 		err =  ext4_ext_zeroout(inode, &orig_ex);
2529 		if (err)
2530 			goto fix_extent_len;
2531 		/* update the extent length and mark as initialized */
2532 		ex->ee_block = orig_ex.ee_block;
2533 		ex->ee_len   = orig_ex.ee_len;
2534 		ext4_ext_store_pblock(ex, ext_pblock(&orig_ex));
2535 		ext4_ext_dirty(handle, inode, path + depth);
2536 		/* zero out the first half */
2537 		return allocated;
2538 	} else if (err)
2539 		goto fix_extent_len;
2540 out:
2541 	return err ? err : allocated;
2542 
2543 fix_extent_len:
2544 	ex->ee_block = orig_ex.ee_block;
2545 	ex->ee_len   = orig_ex.ee_len;
2546 	ext4_ext_store_pblock(ex, ext_pblock(&orig_ex));
2547 	ext4_ext_mark_uninitialized(ex);
2548 	ext4_ext_dirty(handle, inode, path + depth);
2549 	return err;
2550 }
2551 
2552 /*
2553  * Block allocation/map/preallocation routine for extents based files
2554  *
2555  *
2556  * Need to be called with
2557  * down_read(&EXT4_I(inode)->i_data_sem) if not allocating file system block
2558  * (ie, create is zero). Otherwise down_write(&EXT4_I(inode)->i_data_sem)
2559  *
2560  * return > 0, number of of blocks already mapped/allocated
2561  *          if create == 0 and these are pre-allocated blocks
2562  *          	buffer head is unmapped
2563  *          otherwise blocks are mapped
2564  *
2565  * return = 0, if plain look up failed (blocks have not been allocated)
2566  *          buffer head is unmapped
2567  *
2568  * return < 0, error case.
2569  */
2570 int ext4_ext_get_blocks(handle_t *handle, struct inode *inode,
2571 			ext4_lblk_t iblock,
2572 			unsigned long max_blocks, struct buffer_head *bh_result,
2573 			int create, int extend_disksize)
2574 {
2575 	struct ext4_ext_path *path = NULL;
2576 	struct ext4_extent_header *eh;
2577 	struct ext4_extent newex, *ex;
2578 	ext4_fsblk_t goal, newblock;
2579 	int err = 0, depth, ret;
2580 	unsigned long allocated = 0;
2581 	struct ext4_allocation_request ar;
2582 	loff_t disksize;
2583 
2584 	__clear_bit(BH_New, &bh_result->b_state);
2585 	ext_debug("blocks %u/%lu requested for inode %u\n",
2586 			iblock, max_blocks, inode->i_ino);
2587 
2588 	/* check in cache */
2589 	goal = ext4_ext_in_cache(inode, iblock, &newex);
2590 	if (goal) {
2591 		if (goal == EXT4_EXT_CACHE_GAP) {
2592 			if (!create) {
2593 				/*
2594 				 * block isn't allocated yet and
2595 				 * user doesn't want to allocate it
2596 				 */
2597 				goto out2;
2598 			}
2599 			/* we should allocate requested block */
2600 		} else if (goal == EXT4_EXT_CACHE_EXTENT) {
2601 			/* block is already allocated */
2602 			newblock = iblock
2603 				   - le32_to_cpu(newex.ee_block)
2604 				   + ext_pblock(&newex);
2605 			/* number of remaining blocks in the extent */
2606 			allocated = ext4_ext_get_actual_len(&newex) -
2607 					(iblock - le32_to_cpu(newex.ee_block));
2608 			goto out;
2609 		} else {
2610 			BUG();
2611 		}
2612 	}
2613 
2614 	/* find extent for this block */
2615 	path = ext4_ext_find_extent(inode, iblock, NULL);
2616 	if (IS_ERR(path)) {
2617 		err = PTR_ERR(path);
2618 		path = NULL;
2619 		goto out2;
2620 	}
2621 
2622 	depth = ext_depth(inode);
2623 
2624 	/*
2625 	 * consistent leaf must not be empty;
2626 	 * this situation is possible, though, _during_ tree modification;
2627 	 * this is why assert can't be put in ext4_ext_find_extent()
2628 	 */
2629 	BUG_ON(path[depth].p_ext == NULL && depth != 0);
2630 	eh = path[depth].p_hdr;
2631 
2632 	ex = path[depth].p_ext;
2633 	if (ex) {
2634 		ext4_lblk_t ee_block = le32_to_cpu(ex->ee_block);
2635 		ext4_fsblk_t ee_start = ext_pblock(ex);
2636 		unsigned short ee_len;
2637 
2638 		/*
2639 		 * Uninitialized extents are treated as holes, except that
2640 		 * we split out initialized portions during a write.
2641 		 */
2642 		ee_len = ext4_ext_get_actual_len(ex);
2643 		/* if found extent covers block, simply return it */
2644 		if (iblock >= ee_block && iblock < ee_block + ee_len) {
2645 			newblock = iblock - ee_block + ee_start;
2646 			/* number of remaining blocks in the extent */
2647 			allocated = ee_len - (iblock - ee_block);
2648 			ext_debug("%u fit into %lu:%d -> %llu\n", iblock,
2649 					ee_block, ee_len, newblock);
2650 
2651 			/* Do not put uninitialized extent in the cache */
2652 			if (!ext4_ext_is_uninitialized(ex)) {
2653 				ext4_ext_put_in_cache(inode, ee_block,
2654 							ee_len, ee_start,
2655 							EXT4_EXT_CACHE_EXTENT);
2656 				goto out;
2657 			}
2658 			if (create == EXT4_CREATE_UNINITIALIZED_EXT)
2659 				goto out;
2660 			if (!create) {
2661 				/*
2662 				 * We have blocks reserved already.  We
2663 				 * return allocated blocks so that delalloc
2664 				 * won't do block reservation for us.  But
2665 				 * the buffer head will be unmapped so that
2666 				 * a read from the block returns 0s.
2667 				 */
2668 				if (allocated > max_blocks)
2669 					allocated = max_blocks;
2670 				set_buffer_unwritten(bh_result);
2671 				goto out2;
2672 			}
2673 
2674 			ret = ext4_ext_convert_to_initialized(handle, inode,
2675 								path, iblock,
2676 								max_blocks);
2677 			if (ret <= 0) {
2678 				err = ret;
2679 				goto out2;
2680 			} else
2681 				allocated = ret;
2682 			goto outnew;
2683 		}
2684 	}
2685 
2686 	/*
2687 	 * requested block isn't allocated yet;
2688 	 * we couldn't try to create block if create flag is zero
2689 	 */
2690 	if (!create) {
2691 		/*
2692 		 * put just found gap into cache to speed up
2693 		 * subsequent requests
2694 		 */
2695 		ext4_ext_put_gap_in_cache(inode, path, iblock);
2696 		goto out2;
2697 	}
2698 	/*
2699 	 * Okay, we need to do block allocation.  Lazily initialize the block
2700 	 * allocation info here if necessary.
2701 	 */
2702 	if (S_ISREG(inode->i_mode) && (!EXT4_I(inode)->i_block_alloc_info))
2703 		ext4_init_block_alloc_info(inode);
2704 
2705 	/* find neighbour allocated blocks */
2706 	ar.lleft = iblock;
2707 	err = ext4_ext_search_left(inode, path, &ar.lleft, &ar.pleft);
2708 	if (err)
2709 		goto out2;
2710 	ar.lright = iblock;
2711 	err = ext4_ext_search_right(inode, path, &ar.lright, &ar.pright);
2712 	if (err)
2713 		goto out2;
2714 
2715 	/*
2716 	 * See if request is beyond maximum number of blocks we can have in
2717 	 * a single extent. For an initialized extent this limit is
2718 	 * EXT_INIT_MAX_LEN and for an uninitialized extent this limit is
2719 	 * EXT_UNINIT_MAX_LEN.
2720 	 */
2721 	if (max_blocks > EXT_INIT_MAX_LEN &&
2722 	    create != EXT4_CREATE_UNINITIALIZED_EXT)
2723 		max_blocks = EXT_INIT_MAX_LEN;
2724 	else if (max_blocks > EXT_UNINIT_MAX_LEN &&
2725 		 create == EXT4_CREATE_UNINITIALIZED_EXT)
2726 		max_blocks = EXT_UNINIT_MAX_LEN;
2727 
2728 	/* Check if we can really insert (iblock)::(iblock+max_blocks) extent */
2729 	newex.ee_block = cpu_to_le32(iblock);
2730 	newex.ee_len = cpu_to_le16(max_blocks);
2731 	err = ext4_ext_check_overlap(inode, &newex, path);
2732 	if (err)
2733 		allocated = ext4_ext_get_actual_len(&newex);
2734 	else
2735 		allocated = max_blocks;
2736 
2737 	/* allocate new block */
2738 	ar.inode = inode;
2739 	ar.goal = ext4_ext_find_goal(inode, path, iblock);
2740 	ar.logical = iblock;
2741 	ar.len = allocated;
2742 	if (S_ISREG(inode->i_mode))
2743 		ar.flags = EXT4_MB_HINT_DATA;
2744 	else
2745 		/* disable in-core preallocation for non-regular files */
2746 		ar.flags = 0;
2747 	newblock = ext4_mb_new_blocks(handle, &ar, &err);
2748 	if (!newblock)
2749 		goto out2;
2750 	ext_debug("allocate new block: goal %llu, found %llu/%lu\n",
2751 			goal, newblock, allocated);
2752 
2753 	/* try to insert new extent into found leaf and return */
2754 	ext4_ext_store_pblock(&newex, newblock);
2755 	newex.ee_len = cpu_to_le16(ar.len);
2756 	if (create == EXT4_CREATE_UNINITIALIZED_EXT)  /* Mark uninitialized */
2757 		ext4_ext_mark_uninitialized(&newex);
2758 	err = ext4_ext_insert_extent(handle, inode, path, &newex);
2759 	if (err) {
2760 		/* free data blocks we just allocated */
2761 		/* not a good idea to call discard here directly,
2762 		 * but otherwise we'd need to call it every free() */
2763 		ext4_mb_discard_inode_preallocations(inode);
2764 		ext4_free_blocks(handle, inode, ext_pblock(&newex),
2765 					ext4_ext_get_actual_len(&newex), 0);
2766 		goto out2;
2767 	}
2768 
2769 	/* previous routine could use block we allocated */
2770 	newblock = ext_pblock(&newex);
2771 	allocated = ext4_ext_get_actual_len(&newex);
2772 outnew:
2773 	if (extend_disksize) {
2774 		disksize = ((loff_t) iblock + ar.len) << inode->i_blkbits;
2775 		if (disksize > i_size_read(inode))
2776 			disksize = i_size_read(inode);
2777 		if (disksize > EXT4_I(inode)->i_disksize)
2778 			EXT4_I(inode)->i_disksize = disksize;
2779 	}
2780 
2781 	set_buffer_new(bh_result);
2782 
2783 	/* Cache only when it is _not_ an uninitialized extent */
2784 	if (create != EXT4_CREATE_UNINITIALIZED_EXT)
2785 		ext4_ext_put_in_cache(inode, iblock, allocated, newblock,
2786 						EXT4_EXT_CACHE_EXTENT);
2787 out:
2788 	if (allocated > max_blocks)
2789 		allocated = max_blocks;
2790 	ext4_ext_show_leaf(inode, path);
2791 	set_buffer_mapped(bh_result);
2792 	bh_result->b_bdev = inode->i_sb->s_bdev;
2793 	bh_result->b_blocknr = newblock;
2794 out2:
2795 	if (path) {
2796 		ext4_ext_drop_refs(path);
2797 		kfree(path);
2798 	}
2799 	return err ? err : allocated;
2800 }
2801 
2802 void ext4_ext_truncate(struct inode *inode)
2803 {
2804 	struct address_space *mapping = inode->i_mapping;
2805 	struct super_block *sb = inode->i_sb;
2806 	ext4_lblk_t last_block;
2807 	handle_t *handle;
2808 	int err = 0;
2809 
2810 	/*
2811 	 * probably first extent we're gonna free will be last in block
2812 	 */
2813 	err = ext4_writepage_trans_blocks(inode);
2814 	handle = ext4_journal_start(inode, err);
2815 	if (IS_ERR(handle))
2816 		return;
2817 
2818 	if (inode->i_size & (sb->s_blocksize - 1))
2819 		ext4_block_truncate_page(handle, mapping, inode->i_size);
2820 
2821 	if (ext4_orphan_add(handle, inode))
2822 		goto out_stop;
2823 
2824 	down_write(&EXT4_I(inode)->i_data_sem);
2825 	ext4_ext_invalidate_cache(inode);
2826 
2827 	ext4_discard_reservation(inode);
2828 
2829 	/*
2830 	 * TODO: optimization is possible here.
2831 	 * Probably we need not scan at all,
2832 	 * because page truncation is enough.
2833 	 */
2834 
2835 	/* we have to know where to truncate from in crash case */
2836 	EXT4_I(inode)->i_disksize = inode->i_size;
2837 	ext4_mark_inode_dirty(handle, inode);
2838 
2839 	last_block = (inode->i_size + sb->s_blocksize - 1)
2840 			>> EXT4_BLOCK_SIZE_BITS(sb);
2841 	err = ext4_ext_remove_space(inode, last_block);
2842 
2843 	/* In a multi-transaction truncate, we only make the final
2844 	 * transaction synchronous.
2845 	 */
2846 	if (IS_SYNC(inode))
2847 		handle->h_sync = 1;
2848 
2849 out_stop:
2850 	up_write(&EXT4_I(inode)->i_data_sem);
2851 	/*
2852 	 * If this was a simple ftruncate() and the file will remain alive,
2853 	 * then we need to clear up the orphan record which we created above.
2854 	 * However, if this was a real unlink then we were called by
2855 	 * ext4_delete_inode(), and we allow that function to clean up the
2856 	 * orphan info for us.
2857 	 */
2858 	if (inode->i_nlink)
2859 		ext4_orphan_del(handle, inode);
2860 
2861 	inode->i_mtime = inode->i_ctime = ext4_current_time(inode);
2862 	ext4_mark_inode_dirty(handle, inode);
2863 	ext4_journal_stop(handle);
2864 }
2865 
2866 static void ext4_falloc_update_inode(struct inode *inode,
2867 				int mode, loff_t new_size, int update_ctime)
2868 {
2869 	struct timespec now;
2870 
2871 	if (update_ctime) {
2872 		now = current_fs_time(inode->i_sb);
2873 		if (!timespec_equal(&inode->i_ctime, &now))
2874 			inode->i_ctime = now;
2875 	}
2876 	/*
2877 	 * Update only when preallocation was requested beyond
2878 	 * the file size.
2879 	 */
2880 	if (!(mode & FALLOC_FL_KEEP_SIZE) &&
2881 				new_size > i_size_read(inode)) {
2882 		i_size_write(inode, new_size);
2883 		EXT4_I(inode)->i_disksize = new_size;
2884 	}
2885 
2886 }
2887 
2888 /*
2889  * preallocate space for a file. This implements ext4's fallocate inode
2890  * operation, which gets called from sys_fallocate system call.
2891  * For block-mapped files, posix_fallocate should fall back to the method
2892  * of writing zeroes to the required new blocks (the same behavior which is
2893  * expected for file systems which do not support fallocate() system call).
2894  */
2895 long ext4_fallocate(struct inode *inode, int mode, loff_t offset, loff_t len)
2896 {
2897 	handle_t *handle;
2898 	ext4_lblk_t block;
2899 	loff_t new_size;
2900 	unsigned long max_blocks;
2901 	int ret = 0;
2902 	int ret2 = 0;
2903 	int retries = 0;
2904 	struct buffer_head map_bh;
2905 	unsigned int credits, blkbits = inode->i_blkbits;
2906 
2907 	/*
2908 	 * currently supporting (pre)allocate mode for extent-based
2909 	 * files _only_
2910 	 */
2911 	if (!(EXT4_I(inode)->i_flags & EXT4_EXTENTS_FL))
2912 		return -EOPNOTSUPP;
2913 
2914 	/* preallocation to directories is currently not supported */
2915 	if (S_ISDIR(inode->i_mode))
2916 		return -ENODEV;
2917 
2918 	block = offset >> blkbits;
2919 	/*
2920 	 * We can't just convert len to max_blocks because
2921 	 * If blocksize = 4096 offset = 3072 and len = 2048
2922 	 */
2923 	max_blocks = (EXT4_BLOCK_ALIGN(len + offset, blkbits) >> blkbits)
2924 							- block;
2925 	/*
2926 	 * credits to insert 1 extent into extent tree
2927 	 */
2928 	credits = ext4_chunk_trans_blocks(inode, max_blocks);
2929 	mutex_lock(&inode->i_mutex);
2930 retry:
2931 	while (ret >= 0 && ret < max_blocks) {
2932 		block = block + ret;
2933 		max_blocks = max_blocks - ret;
2934 		handle = ext4_journal_start(inode, credits);
2935 		if (IS_ERR(handle)) {
2936 			ret = PTR_ERR(handle);
2937 			break;
2938 		}
2939 		ret = ext4_get_blocks_wrap(handle, inode, block,
2940 					  max_blocks, &map_bh,
2941 					  EXT4_CREATE_UNINITIALIZED_EXT, 0, 0);
2942 		if (ret <= 0) {
2943 #ifdef EXT4FS_DEBUG
2944 			WARN_ON(ret <= 0);
2945 			printk(KERN_ERR "%s: ext4_ext_get_blocks "
2946 				    "returned error inode#%lu, block=%u, "
2947 				    "max_blocks=%lu", __func__,
2948 				    inode->i_ino, block, max_blocks);
2949 #endif
2950 			ext4_mark_inode_dirty(handle, inode);
2951 			ret2 = ext4_journal_stop(handle);
2952 			break;
2953 		}
2954 		if ((block + ret) >= (EXT4_BLOCK_ALIGN(offset + len,
2955 						blkbits) >> blkbits))
2956 			new_size = offset + len;
2957 		else
2958 			new_size = (block + ret) << blkbits;
2959 
2960 		ext4_falloc_update_inode(inode, mode, new_size,
2961 						buffer_new(&map_bh));
2962 		ext4_mark_inode_dirty(handle, inode);
2963 		ret2 = ext4_journal_stop(handle);
2964 		if (ret2)
2965 			break;
2966 	}
2967 	if (ret == -ENOSPC &&
2968 			ext4_should_retry_alloc(inode->i_sb, &retries)) {
2969 		ret = 0;
2970 		goto retry;
2971 	}
2972 	mutex_unlock(&inode->i_mutex);
2973 	return ret > 0 ? ret2 : ret;
2974 }
2975