extents_status.c 37.4 KB
Newer Older
1
// SPDX-License-Identifier: GPL-2.0
2 3 4 5 6 7 8 9 10 11 12
/*
 *  fs/ext4/extents_status.c
 *
 * Written by Yongqiang Yang <xiaoqiangnk@gmail.com>
 * Modified by
 *	Allison Henderson <achender@linux.vnet.ibm.com>
 *	Hugh Dickins <hughd@google.com>
 *	Zheng Liu <wenqing.lz@taobao.com>
 *
 * Ext4 extents status tree core functions.
 */
13
#include <linux/list_sort.h>
14 15
#include <linux/proc_fs.h>
#include <linux/seq_file.h>
16 17
#include "ext4.h"

18 19
#include <trace/events/ext4.h>

20 21 22 23 24 25 26
/*
 * According to previous discussion in Ext4 Developer Workshop, we
 * will introduce a new structure called io tree to track all extent
 * status in order to solve some problems that we have met
 * (e.g. Reservation space warning), and provide extent-level locking.
 * Delay extent tree is the first step to achieve this goal.  It is
 * original built by Yongqiang Yang.  At that time it is called delay
Z
Zheng Liu 已提交
27
 * extent tree, whose goal is only track delayed extents in memory to
28 29
 * simplify the implementation of fiemap and bigalloc, and introduce
 * lseek SEEK_DATA/SEEK_HOLE support.  That is why it is still called
Z
Zheng Liu 已提交
30 31
 * delay extent tree at the first commit.  But for better understand
 * what it does, it has been rename to extent status tree.
32
 *
Z
Zheng Liu 已提交
33 34 35 36
 * Step1:
 * Currently the first step has been done.  All delayed extents are
 * tracked in the tree.  It maintains the delayed extent when a delayed
 * allocation is issued, and the delayed extent is written out or
37 38 39 40 41
 * invalidated.  Therefore the implementation of fiemap and bigalloc
 * are simplified, and SEEK_DATA/SEEK_HOLE are introduced.
 *
 * The following comment describes the implemenmtation of extent
 * status tree and future works.
Z
Zheng Liu 已提交
42 43 44 45 46 47 48 49 50 51 52 53 54
 *
 * Step2:
 * In this step all extent status are tracked by extent status tree.
 * Thus, we can first try to lookup a block mapping in this tree before
 * finding it in extent tree.  Hence, single extent cache can be removed
 * because extent status tree can do a better job.  Extents in status
 * tree are loaded on-demand.  Therefore, the extent status tree may not
 * contain all of the extents in a file.  Meanwhile we define a shrinker
 * to reclaim memory from extent status tree because fragmented extent
 * tree will make status tree cost too much memory.  written/unwritten/-
 * hole extents in the tree will be reclaimed by this shrinker when we
 * are under high memory pressure.  Delayed extents will not be
 * reclimed because fiemap, bigalloc, and seek_data/hole need it.
55 56 57
 */

/*
Z
Zheng Liu 已提交
58
 * Extent status tree implementation for ext4.
59 60 61
 *
 *
 * ==========================================================================
Z
Zheng Liu 已提交
62
 * Extent status tree tracks all extent status.
63
 *
Z
Zheng Liu 已提交
64
 * 1. Why we need to implement extent status tree?
65
 *
Z
Zheng Liu 已提交
66
 * Without extent status tree, ext4 identifies a delayed extent by looking
67 68 69
 * up page cache, this has several deficiencies - complicated, buggy,
 * and inefficient code.
 *
Z
Zheng Liu 已提交
70 71
 * FIEMAP, SEEK_HOLE/DATA, bigalloc, and writeout all need to know if a
 * block or a range of blocks are belonged to a delayed extent.
72
 *
Z
Zheng Liu 已提交
73
 * Let us have a look at how they do without extent status tree.
74 75 76 77 78 79 80 81 82 83 84 85 86 87
 *   --	FIEMAP
 *	FIEMAP looks up page cache to identify delayed allocations from holes.
 *
 *   --	SEEK_HOLE/DATA
 *	SEEK_HOLE/DATA has the same problem as FIEMAP.
 *
 *   --	bigalloc
 *	bigalloc looks up page cache to figure out if a block is
 *	already under delayed allocation or not to determine whether
 *	quota reserving is needed for the cluster.
 *
 *   --	writeout
 *	Writeout looks up whole page cache to see if a buffer is
 *	mapped, If there are not very many delayed buffers, then it is
88
 *	time consuming.
89
 *
Z
Zheng Liu 已提交
90
 * With extent status tree implementation, FIEMAP, SEEK_HOLE/DATA,
91 92
 * bigalloc and writeout can figure out if a block or a range of
 * blocks is under delayed allocation(belonged to a delayed extent) or
Z
Zheng Liu 已提交
93
 * not by searching the extent tree.
94 95 96
 *
 *
 * ==========================================================================
Z
Zheng Liu 已提交
97 98 99 100 101 102 103 104
 * 2. Ext4 extent status tree impelmentation
 *
 *   --	extent
 *	A extent is a range of blocks which are contiguous logically and
 *	physically.  Unlike extent in extent tree, this extent in ext4 is
 *	a in-memory struct, there is no corresponding on-disk data.  There
 *	is no limit on length of extent, so an extent can contain as many
 *	blocks as they are contiguous logically and physically.
105
 *
Z
Zheng Liu 已提交
106 107 108 109
 *   --	extent status tree
 *	Every inode has an extent status tree and all allocation blocks
 *	are added to the tree with different status.  The extent in the
 *	tree are ordered by logical block no.
110
 *
Z
Zheng Liu 已提交
111 112 113
 *   --	operations on a extent status tree
 *	There are three important operations on a delayed extent tree: find
 *	next extent, adding a extent(a range of blocks) and removing a extent.
114
 *
Z
Zheng Liu 已提交
115 116
 *   --	race on a extent status tree
 *	Extent status tree is protected by inode->i_es_lock.
117
 *
Z
Zheng Liu 已提交
118 119 120 121
 *   --	memory consumption
 *      Fragmented extent tree will make extent status tree cost too much
 *      memory.  Hence, we will reclaim written/unwritten/hole extents from
 *      the tree under a heavy memory pressure.
122 123 124
 *
 *
 * ==========================================================================
Z
Zheng Liu 已提交
125 126
 * 3. Performance analysis
 *
127 128 129 130 131 132 133 134 135 136 137 138
 *   --	overhead
 *	1. There is a cache extent for write access, so if writes are
 *	not very random, adding space operaions are in O(1) time.
 *
 *   --	gain
 *	2. Code is much simpler, more readable, more maintainable and
 *	more efficient.
 *
 *
 * ==========================================================================
 * 4. TODO list
 *
Z
Zheng Liu 已提交
139
 *   -- Refactor delayed space reservation
140 141 142 143 144 145
 *
 *   -- Extent-level locking
 */

static struct kmem_cache *ext4_es_cachep;

146 147
static int __es_insert_extent(struct inode *inode, struct extent_status *newes);
static int __es_remove_extent(struct inode *inode, ext4_lblk_t lblk,
Z
Zheng Liu 已提交
148
			      ext4_lblk_t end);
149
static int es_reclaim_extents(struct ext4_inode_info *ei, int *nr_to_scan);
150 151
static int __es_shrink(struct ext4_sb_info *sbi, int nr_to_scan,
		       struct ext4_inode_info *locked_ei);
Z
Zheng Liu 已提交
152

153 154
int __init ext4_init_es(void)
{
T
Theodore Ts'o 已提交
155 156 157
	ext4_es_cachep = kmem_cache_create("ext4_extent_status",
					   sizeof(struct extent_status),
					   0, (SLAB_RECLAIM_ACCOUNT), NULL);
158 159 160 161 162 163 164
	if (ext4_es_cachep == NULL)
		return -ENOMEM;
	return 0;
}

void ext4_exit_es(void)
{
165
	kmem_cache_destroy(ext4_es_cachep);
166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185
}

void ext4_es_init_tree(struct ext4_es_tree *tree)
{
	tree->root = RB_ROOT;
	tree->cache_es = NULL;
}

#ifdef ES_DEBUG__
static void ext4_es_print_tree(struct inode *inode)
{
	struct ext4_es_tree *tree;
	struct rb_node *node;

	printk(KERN_DEBUG "status extents for inode %lu:", inode->i_ino);
	tree = &EXT4_I(inode)->i_es_tree;
	node = rb_first(&tree->root);
	while (node) {
		struct extent_status *es;
		es = rb_entry(node, struct extent_status, rb_node);
186
		printk(KERN_DEBUG " [%u/%u) %llu %x",
187 188
		       es->es_lblk, es->es_len,
		       ext4_es_pblock(es), ext4_es_status(es));
189 190 191 192 193 194 195 196
		node = rb_next(node);
	}
	printk(KERN_DEBUG "\n");
}
#else
#define ext4_es_print_tree(inode)
#endif

Z
Zheng Liu 已提交
197
static inline ext4_lblk_t ext4_es_end(struct extent_status *es)
198
{
Z
Zheng Liu 已提交
199 200
	BUG_ON(es->es_lblk + es->es_len < es->es_lblk);
	return es->es_lblk + es->es_len - 1;
201 202 203 204 205 206 207
}

/*
 * search through the tree for an delayed extent with a given offset.  If
 * it can't be found, try to find next extent.
 */
static struct extent_status *__es_tree_search(struct rb_root *root,
Z
Zheng Liu 已提交
208
					      ext4_lblk_t lblk)
209 210 211 212 213 214
{
	struct rb_node *node = root->rb_node;
	struct extent_status *es = NULL;

	while (node) {
		es = rb_entry(node, struct extent_status, rb_node);
Z
Zheng Liu 已提交
215
		if (lblk < es->es_lblk)
216
			node = node->rb_left;
Z
Zheng Liu 已提交
217
		else if (lblk > ext4_es_end(es))
218 219 220 221 222
			node = node->rb_right;
		else
			return es;
	}

Z
Zheng Liu 已提交
223
	if (es && lblk < es->es_lblk)
224 225
		return es;

Z
Zheng Liu 已提交
226
	if (es && lblk > ext4_es_end(es)) {
227 228 229 230 231 232 233 234 235
		node = rb_next(&es->rb_node);
		return node ? rb_entry(node, struct extent_status, rb_node) :
			      NULL;
	}

	return NULL;
}

/*
236 237 238
 * ext4_es_find_extent_range - find extent with specified status within block
 *                             range or next extent following block range in
 *                             extents status tree
239
 *
240 241 242 243 244 245 246 247 248 249 250 251
 * @inode - file containing the range
 * @matching_fn - pointer to function that matches extents with desired status
 * @lblk - logical block defining start of range
 * @end - logical block defining end of range
 * @es - extent found, if any
 *
 * Find the first extent within the block range specified by @lblk and @end
 * in the extents status tree that satisfies @matching_fn.  If a match
 * is found, it's returned in @es.  If not, and a matching extent is found
 * beyond the block range, it's returned in @es.  If no match is found, an
 * extent is returned in @es whose es_lblk, es_len, and es_pblk components
 * are 0.
252
 */
253 254 255 256
static void __es_find_extent_range(struct inode *inode,
				   int (*matching_fn)(struct extent_status *es),
				   ext4_lblk_t lblk, ext4_lblk_t end,
				   struct extent_status *es)
257 258 259 260 261
{
	struct ext4_es_tree *tree = NULL;
	struct extent_status *es1 = NULL;
	struct rb_node *node;

262 263
	WARN_ON(es == NULL);
	WARN_ON(end < lblk);
264

265 266
	tree = &EXT4_I(inode)->i_es_tree;

267
	/* see if the extent has been cached */
268
	es->es_lblk = es->es_len = es->es_pblk = 0;
269 270
	if (tree->cache_es) {
		es1 = tree->cache_es;
271
		if (in_range(lblk, es1->es_lblk, es1->es_len)) {
272
			es_debug("%u cached by [%u/%u) %llu %x\n",
273
				 lblk, es1->es_lblk, es1->es_len,
274
				 ext4_es_pblock(es1), ext4_es_status(es1));
275 276 277 278
			goto out;
		}
	}

279
	es1 = __es_tree_search(&tree->root, lblk);
280 281

out:
282
	if (es1 && !matching_fn(es1)) {
283 284
		while ((node = rb_next(&es1->rb_node)) != NULL) {
			es1 = rb_entry(node, struct extent_status, rb_node);
Y
Yan, Zheng 已提交
285 286 287 288
			if (es1->es_lblk > end) {
				es1 = NULL;
				break;
			}
289
			if (matching_fn(es1))
290 291 292 293
				break;
		}
	}

294
	if (es1 && matching_fn(es1)) {
295
		tree->cache_es = es1;
Z
Zheng Liu 已提交
296 297
		es->es_lblk = es1->es_lblk;
		es->es_len = es1->es_len;
298
		es->es_pblk = es1->es_pblk;
299 300
	}

301 302 303 304 305 306 307 308 309 310 311 312 313 314 315 316 317 318 319 320 321 322 323 324 325 326 327 328 329 330 331 332 333 334 335 336 337 338 339 340 341 342 343 344 345 346 347 348 349 350 351 352 353 354 355 356 357 358 359 360 361 362 363 364 365 366 367 368 369 370 371 372 373 374 375 376 377 378 379 380 381 382 383 384 385 386 387 388 389 390 391 392 393 394 395 396 397 398 399 400 401 402 403 404 405
}

/*
 * Locking for __es_find_extent_range() for external use
 */
void ext4_es_find_extent_range(struct inode *inode,
			       int (*matching_fn)(struct extent_status *es),
			       ext4_lblk_t lblk, ext4_lblk_t end,
			       struct extent_status *es)
{
	trace_ext4_es_find_extent_range_enter(inode, lblk);

	read_lock(&EXT4_I(inode)->i_es_lock);
	__es_find_extent_range(inode, matching_fn, lblk, end, es);
	read_unlock(&EXT4_I(inode)->i_es_lock);

	trace_ext4_es_find_extent_range_exit(inode, es);
}

/*
 * __es_scan_range - search block range for block with specified status
 *                   in extents status tree
 *
 * @inode - file containing the range
 * @matching_fn - pointer to function that matches extents with desired status
 * @lblk - logical block defining start of range
 * @end - logical block defining end of range
 *
 * Returns true if at least one block in the specified block range satisfies
 * the criterion specified by @matching_fn, and false if not.  If at least
 * one extent has the specified status, then there is at least one block
 * in the cluster with that status.  Should only be called by code that has
 * taken i_es_lock.
 */
static bool __es_scan_range(struct inode *inode,
			    int (*matching_fn)(struct extent_status *es),
			    ext4_lblk_t start, ext4_lblk_t end)
{
	struct extent_status es;

	__es_find_extent_range(inode, matching_fn, start, end, &es);
	if (es.es_len == 0)
		return false;   /* no matching extent in the tree */
	else if (es.es_lblk <= start &&
		 start < es.es_lblk + es.es_len)
		return true;
	else if (start <= es.es_lblk && es.es_lblk <= end)
		return true;
	else
		return false;
}
/*
 * Locking for __es_scan_range() for external use
 */
bool ext4_es_scan_range(struct inode *inode,
			int (*matching_fn)(struct extent_status *es),
			ext4_lblk_t lblk, ext4_lblk_t end)
{
	bool ret;

	read_lock(&EXT4_I(inode)->i_es_lock);
	ret = __es_scan_range(inode, matching_fn, lblk, end);
	read_unlock(&EXT4_I(inode)->i_es_lock);

	return ret;
}

/*
 * __es_scan_clu - search cluster for block with specified status in
 *                 extents status tree
 *
 * @inode - file containing the cluster
 * @matching_fn - pointer to function that matches extents with desired status
 * @lblk - logical block in cluster to be searched
 *
 * Returns true if at least one extent in the cluster containing @lblk
 * satisfies the criterion specified by @matching_fn, and false if not.  If at
 * least one extent has the specified status, then there is at least one block
 * in the cluster with that status.  Should only be called by code that has
 * taken i_es_lock.
 */
static bool __es_scan_clu(struct inode *inode,
			  int (*matching_fn)(struct extent_status *es),
			  ext4_lblk_t lblk)
{
	struct ext4_sb_info *sbi = EXT4_SB(inode->i_sb);
	ext4_lblk_t lblk_start, lblk_end;

	lblk_start = EXT4_LBLK_CMASK(sbi, lblk);
	lblk_end = lblk_start + sbi->s_cluster_ratio - 1;

	return __es_scan_range(inode, matching_fn, lblk_start, lblk_end);
}

/*
 * Locking for __es_scan_clu() for external use
 */
bool ext4_es_scan_clu(struct inode *inode,
		      int (*matching_fn)(struct extent_status *es),
		      ext4_lblk_t lblk)
{
	bool ret;

	read_lock(&EXT4_I(inode)->i_es_lock);
	ret = __es_scan_clu(inode, matching_fn, lblk);
406
	read_unlock(&EXT4_I(inode)->i_es_lock);
407

408
	return ret;
409 410
}

411
static void ext4_es_list_add(struct inode *inode)
412 413 414 415 416 417 418 419 420 421 422 423 424 425 426
{
	struct ext4_inode_info *ei = EXT4_I(inode);
	struct ext4_sb_info *sbi = EXT4_SB(inode->i_sb);

	if (!list_empty(&ei->i_es_list))
		return;

	spin_lock(&sbi->s_es_lock);
	if (list_empty(&ei->i_es_list)) {
		list_add_tail(&ei->i_es_list, &sbi->s_es_list);
		sbi->s_es_nr_inode++;
	}
	spin_unlock(&sbi->s_es_lock);
}

427
static void ext4_es_list_del(struct inode *inode)
428 429 430 431 432 433 434 435 436 437 438 439 440
{
	struct ext4_inode_info *ei = EXT4_I(inode);
	struct ext4_sb_info *sbi = EXT4_SB(inode->i_sb);

	spin_lock(&sbi->s_es_lock);
	if (!list_empty(&ei->i_es_list)) {
		list_del_init(&ei->i_es_list);
		sbi->s_es_nr_inode--;
		WARN_ON_ONCE(sbi->s_es_nr_inode < 0);
	}
	spin_unlock(&sbi->s_es_lock);
}

441
static struct extent_status *
442 443
ext4_es_alloc_extent(struct inode *inode, ext4_lblk_t lblk, ext4_lblk_t len,
		     ext4_fsblk_t pblk)
444 445 446 447 448
{
	struct extent_status *es;
	es = kmem_cache_alloc(ext4_es_cachep, GFP_ATOMIC);
	if (es == NULL)
		return NULL;
Z
Zheng Liu 已提交
449 450
	es->es_lblk = lblk;
	es->es_len = len;
451
	es->es_pblk = pblk;
452 453 454 455

	/*
	 * We don't count delayed extent because we never try to reclaim them
	 */
T
Theodore Ts'o 已提交
456
	if (!ext4_es_is_delayed(es)) {
457 458
		if (!EXT4_I(inode)->i_es_shk_nr++)
			ext4_es_list_add(inode);
459
		percpu_counter_inc(&EXT4_SB(inode->i_sb)->
460
					s_es_stats.es_stats_shk_cnt);
T
Theodore Ts'o 已提交
461
	}
462

463 464 465
	EXT4_I(inode)->i_es_all_nr++;
	percpu_counter_inc(&EXT4_SB(inode->i_sb)->s_es_stats.es_stats_all_cnt);

466 467 468
	return es;
}

469
static void ext4_es_free_extent(struct inode *inode, struct extent_status *es)
470
{
471 472 473
	EXT4_I(inode)->i_es_all_nr--;
	percpu_counter_dec(&EXT4_SB(inode->i_sb)->s_es_stats.es_stats_all_cnt);

474
	/* Decrease the shrink counter when this es is not delayed */
475
	if (!ext4_es_is_delayed(es)) {
476
		BUG_ON(EXT4_I(inode)->i_es_shk_nr == 0);
477 478
		if (!--EXT4_I(inode)->i_es_shk_nr)
			ext4_es_list_del(inode);
479
		percpu_counter_dec(&EXT4_SB(inode->i_sb)->
480
					s_es_stats.es_stats_shk_cnt);
481 482
	}

483 484 485
	kmem_cache_free(ext4_es_cachep, es);
}

Z
Zheng Liu 已提交
486 487 488 489
/*
 * Check whether or not two extents can be merged
 * Condition:
 *  - logical block number is contiguous
490 491
 *  - physical block number is contiguous
 *  - status is equal
Z
Zheng Liu 已提交
492 493 494 495
 */
static int ext4_es_can_be_merged(struct extent_status *es1,
				 struct extent_status *es2)
{
496
	if (ext4_es_type(es1) != ext4_es_type(es2))
Z
Zheng Liu 已提交
497 498
		return 0;

499 500 501 502 503 504
	if (((__u64) es1->es_len) + es2->es_len > EXT_MAX_BLOCKS) {
		pr_warn("ES assertion failed when merging extents. "
			"The sum of lengths of es1 (%d) and es2 (%d) "
			"is bigger than allowed file size (%d)\n",
			es1->es_len, es2->es_len, EXT_MAX_BLOCKS);
		WARN_ON(1);
505
		return 0;
506
	}
507

508
	if (((__u64) es1->es_lblk) + es1->es_len != es2->es_lblk)
509 510
		return 0;

511 512 513 514 515 516 517 518 519 520 521 522
	if ((ext4_es_is_written(es1) || ext4_es_is_unwritten(es1)) &&
	    (ext4_es_pblock(es1) + es1->es_len == ext4_es_pblock(es2)))
		return 1;

	if (ext4_es_is_hole(es1))
		return 1;

	/* we need to check delayed extent is without unwritten status */
	if (ext4_es_is_delayed(es1) && !ext4_es_is_unwritten(es1))
		return 1;

	return 0;
Z
Zheng Liu 已提交
523 524
}

525
static struct extent_status *
526
ext4_es_try_to_merge_left(struct inode *inode, struct extent_status *es)
527
{
528
	struct ext4_es_tree *tree = &EXT4_I(inode)->i_es_tree;
529 530 531 532 533 534 535 536
	struct extent_status *es1;
	struct rb_node *node;

	node = rb_prev(&es->rb_node);
	if (!node)
		return es;

	es1 = rb_entry(node, struct extent_status, rb_node);
Z
Zheng Liu 已提交
537 538
	if (ext4_es_can_be_merged(es1, es)) {
		es1->es_len += es->es_len;
539 540
		if (ext4_es_is_referenced(es))
			ext4_es_set_referenced(es1);
541
		rb_erase(&es->rb_node, &tree->root);
542
		ext4_es_free_extent(inode, es);
543 544 545 546 547 548 549
		es = es1;
	}

	return es;
}

static struct extent_status *
550
ext4_es_try_to_merge_right(struct inode *inode, struct extent_status *es)
551
{
552
	struct ext4_es_tree *tree = &EXT4_I(inode)->i_es_tree;
553 554 555 556 557 558 559 560
	struct extent_status *es1;
	struct rb_node *node;

	node = rb_next(&es->rb_node);
	if (!node)
		return es;

	es1 = rb_entry(node, struct extent_status, rb_node);
Z
Zheng Liu 已提交
561 562
	if (ext4_es_can_be_merged(es, es1)) {
		es->es_len += es1->es_len;
563 564
		if (ext4_es_is_referenced(es1))
			ext4_es_set_referenced(es);
565
		rb_erase(node, &tree->root);
566
		ext4_es_free_extent(inode, es1);
567 568 569 570 571
	}

	return es;
}

572
#ifdef ES_AGGRESSIVE_TEST
Z
Zheng Liu 已提交
573 574
#include "ext4_extents.h"	/* Needed when ES_AGGRESSIVE_TEST is defined */

575 576 577 578 579 580 581 582 583 584
static void ext4_es_insert_extent_ext_check(struct inode *inode,
					    struct extent_status *es)
{
	struct ext4_ext_path *path = NULL;
	struct ext4_extent *ex;
	ext4_lblk_t ee_block;
	ext4_fsblk_t ee_start;
	unsigned short ee_len;
	int depth, ee_status, es_status;

585
	path = ext4_find_extent(inode, es->es_lblk, NULL, EXT4_EX_NOCACHE);
586 587 588 589 590 591 592 593 594 595 596 597
	if (IS_ERR(path))
		return;

	depth = ext_depth(inode);
	ex = path[depth].p_ext;

	if (ex) {

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

598
		ee_status = ext4_ext_is_unwritten(ex) ? 1 : 0;
599 600 601 602 603 604 605 606
		es_status = ext4_es_is_unwritten(es) ? 1 : 0;

		/*
		 * Make sure ex and es are not overlap when we try to insert
		 * a delayed/hole extent.
		 */
		if (!ext4_es_is_written(es) && !ext4_es_is_unwritten(es)) {
			if (in_range(es->es_lblk, ee_block, ee_len)) {
607
				pr_warn("ES insert assertion failed for "
608 609
					"inode: %lu we can find an extent "
					"at block [%d/%d/%llu/%c], but we "
610 611
					"want to add a delayed/hole extent "
					"[%d/%d/%llu/%x]\n",
612 613 614 615 616 617 618 619 620 621 622 623 624 625
					inode->i_ino, ee_block, ee_len,
					ee_start, ee_status ? 'u' : 'w',
					es->es_lblk, es->es_len,
					ext4_es_pblock(es), ext4_es_status(es));
			}
			goto out;
		}

		/*
		 * We don't check ee_block == es->es_lblk, etc. because es
		 * might be a part of whole extent, vice versa.
		 */
		if (es->es_lblk < ee_block ||
		    ext4_es_pblock(es) != ee_start + es->es_lblk - ee_block) {
626
			pr_warn("ES insert assertion failed for inode: %lu "
627 628 629 630 631 632 633 634 635
				"ex_status [%d/%d/%llu/%c] != "
				"es_status [%d/%d/%llu/%c]\n", inode->i_ino,
				ee_block, ee_len, ee_start,
				ee_status ? 'u' : 'w', es->es_lblk, es->es_len,
				ext4_es_pblock(es), es_status ? 'u' : 'w');
			goto out;
		}

		if (ee_status ^ es_status) {
636
			pr_warn("ES insert assertion failed for inode: %lu "
637 638 639 640 641 642 643 644 645 646 647 648
				"ex_status [%d/%d/%llu/%c] != "
				"es_status [%d/%d/%llu/%c]\n", inode->i_ino,
				ee_block, ee_len, ee_start,
				ee_status ? 'u' : 'w', es->es_lblk, es->es_len,
				ext4_es_pblock(es), es_status ? 'u' : 'w');
		}
	} else {
		/*
		 * We can't find an extent on disk.  So we need to make sure
		 * that we don't want to add an written/unwritten extent.
		 */
		if (!ext4_es_is_delayed(es) && !ext4_es_is_hole(es)) {
649
			pr_warn("ES insert assertion failed for inode: %lu "
650
				"can't find an extent at block %d but we want "
651 652
				"to add a written/unwritten extent "
				"[%d/%d/%llu/%x]\n", inode->i_ino,
653 654 655 656 657
				es->es_lblk, es->es_lblk, es->es_len,
				ext4_es_pblock(es), ext4_es_status(es));
		}
	}
out:
658 659
	ext4_ext_drop_refs(path);
	kfree(path);
660 661 662 663 664 665 666 667 668 669 670 671 672 673 674 675 676 677 678 679 680 681 682 683 684
}

static void ext4_es_insert_extent_ind_check(struct inode *inode,
					    struct extent_status *es)
{
	struct ext4_map_blocks map;
	int retval;

	/*
	 * Here we call ext4_ind_map_blocks to lookup a block mapping because
	 * 'Indirect' structure is defined in indirect.c.  So we couldn't
	 * access direct/indirect tree from outside.  It is too dirty to define
	 * this function in indirect.c file.
	 */

	map.m_lblk = es->es_lblk;
	map.m_len = es->es_len;

	retval = ext4_ind_map_blocks(NULL, inode, &map, 0);
	if (retval > 0) {
		if (ext4_es_is_delayed(es) || ext4_es_is_hole(es)) {
			/*
			 * We want to add a delayed/hole extent but this
			 * block has been allocated.
			 */
685
			pr_warn("ES insert assertion failed for inode: %lu "
686
				"We can find blocks but we want to add a "
687
				"delayed/hole extent [%d/%d/%llu/%x]\n",
688 689 690 691 692
				inode->i_ino, es->es_lblk, es->es_len,
				ext4_es_pblock(es), ext4_es_status(es));
			return;
		} else if (ext4_es_is_written(es)) {
			if (retval != es->es_len) {
693
				pr_warn("ES insert assertion failed for "
694 695 696 697 698
					"inode: %lu retval %d != es_len %d\n",
					inode->i_ino, retval, es->es_len);
				return;
			}
			if (map.m_pblk != ext4_es_pblock(es)) {
699
				pr_warn("ES insert assertion failed for "
700 701 702 703 704 705 706 707 708 709 710 711 712 713 714
					"inode: %lu m_pblk %llu != "
					"es_pblk %llu\n",
					inode->i_ino, map.m_pblk,
					ext4_es_pblock(es));
				return;
			}
		} else {
			/*
			 * We don't need to check unwritten extent because
			 * indirect-based file doesn't have it.
			 */
			BUG_ON(1);
		}
	} else if (retval == 0) {
		if (ext4_es_is_written(es)) {
715
			pr_warn("ES insert assertion failed for inode: %lu "
716
				"We can't find the block but we want to add "
717
				"a written extent [%d/%d/%llu/%x]\n",
718 719 720 721 722 723 724 725 726 727 728 729 730 731 732 733 734 735 736 737 738 739 740 741 742 743 744
				inode->i_ino, es->es_lblk, es->es_len,
				ext4_es_pblock(es), ext4_es_status(es));
			return;
		}
	}
}

static inline void ext4_es_insert_extent_check(struct inode *inode,
					       struct extent_status *es)
{
	/*
	 * We don't need to worry about the race condition because
	 * caller takes i_data_sem locking.
	 */
	BUG_ON(!rwsem_is_locked(&EXT4_I(inode)->i_data_sem));
	if (ext4_test_inode_flag(inode, EXT4_INODE_EXTENTS))
		ext4_es_insert_extent_ext_check(inode, es);
	else
		ext4_es_insert_extent_ind_check(inode, es);
}
#else
static inline void ext4_es_insert_extent_check(struct inode *inode,
					       struct extent_status *es)
{
}
#endif

745
static int __es_insert_extent(struct inode *inode, struct extent_status *newes)
746
{
747
	struct ext4_es_tree *tree = &EXT4_I(inode)->i_es_tree;
748 749 750 751 752 753 754 755
	struct rb_node **p = &tree->root.rb_node;
	struct rb_node *parent = NULL;
	struct extent_status *es;

	while (*p) {
		parent = *p;
		es = rb_entry(parent, struct extent_status, rb_node);

Z
Zheng Liu 已提交
756 757 758 759 760 761 762 763
		if (newes->es_lblk < es->es_lblk) {
			if (ext4_es_can_be_merged(newes, es)) {
				/*
				 * Here we can modify es_lblk directly
				 * because it isn't overlapped.
				 */
				es->es_lblk = newes->es_lblk;
				es->es_len += newes->es_len;
764 765 766 767
				if (ext4_es_is_written(es) ||
				    ext4_es_is_unwritten(es))
					ext4_es_store_pblock(es,
							     newes->es_pblk);
768
				es = ext4_es_try_to_merge_left(inode, es);
769 770 771
				goto out;
			}
			p = &(*p)->rb_left;
Z
Zheng Liu 已提交
772 773 774
		} else if (newes->es_lblk > ext4_es_end(es)) {
			if (ext4_es_can_be_merged(es, newes)) {
				es->es_len += newes->es_len;
775
				es = ext4_es_try_to_merge_right(inode, es);
776 777 778 779
				goto out;
			}
			p = &(*p)->rb_right;
		} else {
Z
Zheng Liu 已提交
780 781
			BUG_ON(1);
			return -EINVAL;
782 783 784
		}
	}

785
	es = ext4_es_alloc_extent(inode, newes->es_lblk, newes->es_len,
786
				  newes->es_pblk);
787 788 789 790 791 792 793 794 795 796 797
	if (!es)
		return -ENOMEM;
	rb_link_node(&es->rb_node, parent, p);
	rb_insert_color(&es->rb_node, &tree->root);

out:
	tree->cache_es = es;
	return 0;
}

/*
798 799
 * ext4_es_insert_extent() adds information to an inode's extent
 * status tree.
800 801 802
 *
 * Return 0 on success, error code on failure.
 */
Z
Zheng Liu 已提交
803
int ext4_es_insert_extent(struct inode *inode, ext4_lblk_t lblk,
804
			  ext4_lblk_t len, ext4_fsblk_t pblk,
805
			  unsigned int status)
806
{
Z
Zheng Liu 已提交
807 808
	struct extent_status newes;
	ext4_lblk_t end = lblk + len - 1;
809 810
	int err = 0;

811
	es_debug("add [%u/%u) %llu %x to extent status tree of inode %lu\n",
812
		 lblk, len, pblk, status, inode->i_ino);
Z
Zheng Liu 已提交
813

814 815 816
	if (!len)
		return 0;

Z
Zheng Liu 已提交
817 818
	BUG_ON(end < lblk);

819 820 821 822
	if ((status & EXTENT_STATUS_DELAYED) &&
	    (status & EXTENT_STATUS_WRITTEN)) {
		ext4_warning(inode->i_sb, "Inserting extent [%u/%u] as "
				" delayed and written which can potentially "
823
				" cause data loss.", lblk, len);
824 825 826
		WARN_ON(1);
	}

Z
Zheng Liu 已提交
827 828
	newes.es_lblk = lblk;
	newes.es_len = len;
829
	ext4_es_store_pblock_status(&newes, pblk, status);
830
	trace_ext4_es_insert_extent(inode, &newes);
831

832 833
	ext4_es_insert_extent_check(inode, &newes);

834
	write_lock(&EXT4_I(inode)->i_es_lock);
835
	err = __es_remove_extent(inode, lblk, end);
Z
Zheng Liu 已提交
836 837
	if (err != 0)
		goto error;
838
retry:
839
	err = __es_insert_extent(inode, &newes);
840
	if (err == -ENOMEM && __es_shrink(EXT4_SB(inode->i_sb),
841
					  128, EXT4_I(inode)))
842 843 844
		goto retry;
	if (err == -ENOMEM && !ext4_es_is_delayed(&newes))
		err = 0;
Z
Zheng Liu 已提交
845 846

error:
847 848 849 850 851 852 853
	write_unlock(&EXT4_I(inode)->i_es_lock);

	ext4_es_print_tree(inode);

	return err;
}

854 855 856 857 858 859 860 861 862 863 864 865 866 867 868
/*
 * ext4_es_cache_extent() inserts information into the extent status
 * tree if and only if there isn't information about the range in
 * question already.
 */
void ext4_es_cache_extent(struct inode *inode, ext4_lblk_t lblk,
			  ext4_lblk_t len, ext4_fsblk_t pblk,
			  unsigned int status)
{
	struct extent_status *es;
	struct extent_status newes;
	ext4_lblk_t end = lblk + len - 1;

	newes.es_lblk = lblk;
	newes.es_len = len;
869
	ext4_es_store_pblock_status(&newes, pblk, status);
870 871 872 873 874 875 876 877 878 879
	trace_ext4_es_cache_extent(inode, &newes);

	if (!len)
		return;

	BUG_ON(end < lblk);

	write_lock(&EXT4_I(inode)->i_es_lock);

	es = __es_tree_search(&EXT4_I(inode)->i_es_tree.root, lblk);
880 881
	if (!es || es->es_lblk > end)
		__es_insert_extent(inode, &newes);
882 883 884
	write_unlock(&EXT4_I(inode)->i_es_lock);
}

885 886 887 888 889 890 891 892 893 894 895
/*
 * ext4_es_lookup_extent() looks up an extent in extent status tree.
 *
 * ext4_es_lookup_extent is called by ext4_map_blocks/ext4_da_map_blocks.
 *
 * Return: 1 on found, 0 on not
 */
int ext4_es_lookup_extent(struct inode *inode, ext4_lblk_t lblk,
			  struct extent_status *es)
{
	struct ext4_es_tree *tree;
896
	struct ext4_es_stats *stats;
897 898 899 900 901 902 903 904 905 906 907 908 909 910 911 912 913 914 915 916 917 918 919 920 921 922 923 924 925 926 927 928 929 930 931 932
	struct extent_status *es1 = NULL;
	struct rb_node *node;
	int found = 0;

	trace_ext4_es_lookup_extent_enter(inode, lblk);
	es_debug("lookup extent in block %u\n", lblk);

	tree = &EXT4_I(inode)->i_es_tree;
	read_lock(&EXT4_I(inode)->i_es_lock);

	/* find extent in cache firstly */
	es->es_lblk = es->es_len = es->es_pblk = 0;
	if (tree->cache_es) {
		es1 = tree->cache_es;
		if (in_range(lblk, es1->es_lblk, es1->es_len)) {
			es_debug("%u cached by [%u/%u)\n",
				 lblk, es1->es_lblk, es1->es_len);
			found = 1;
			goto out;
		}
	}

	node = tree->root.rb_node;
	while (node) {
		es1 = rb_entry(node, struct extent_status, rb_node);
		if (lblk < es1->es_lblk)
			node = node->rb_left;
		else if (lblk > ext4_es_end(es1))
			node = node->rb_right;
		else {
			found = 1;
			break;
		}
	}

out:
933
	stats = &EXT4_SB(inode->i_sb)->s_es_stats;
934 935 936 937 938
	if (found) {
		BUG_ON(!es1);
		es->es_lblk = es1->es_lblk;
		es->es_len = es1->es_len;
		es->es_pblk = es1->es_pblk;
939 940
		if (!ext4_es_is_referenced(es1))
			ext4_es_set_referenced(es1);
941 942 943
		stats->es_stats_cache_hits++;
	} else {
		stats->es_stats_cache_misses++;
944 945 946 947 948 949 950 951
	}

	read_unlock(&EXT4_I(inode)->i_es_lock);

	trace_ext4_es_lookup_extent_exit(inode, es, found);
	return found;
}

952 953
static int __es_remove_extent(struct inode *inode, ext4_lblk_t lblk,
			      ext4_lblk_t end)
954
{
955
	struct ext4_es_tree *tree = &EXT4_I(inode)->i_es_tree;
956 957 958
	struct rb_node *node;
	struct extent_status *es;
	struct extent_status orig_es;
Z
Zheng Liu 已提交
959
	ext4_lblk_t len1, len2;
960
	ext4_fsblk_t block;
961
	int err;
962

963 964
retry:
	err = 0;
Z
Zheng Liu 已提交
965
	es = __es_tree_search(&tree->root, lblk);
966 967
	if (!es)
		goto out;
Z
Zheng Liu 已提交
968
	if (es->es_lblk > end)
969 970 971 972 973
		goto out;

	/* Simply invalidate cache_es. */
	tree->cache_es = NULL;

Z
Zheng Liu 已提交
974 975
	orig_es.es_lblk = es->es_lblk;
	orig_es.es_len = es->es_len;
976 977
	orig_es.es_pblk = es->es_pblk;

Z
Zheng Liu 已提交
978 979
	len1 = lblk > es->es_lblk ? lblk - es->es_lblk : 0;
	len2 = ext4_es_end(es) > end ? ext4_es_end(es) - end : 0;
980
	if (len1 > 0)
Z
Zheng Liu 已提交
981
		es->es_len = len1;
982 983
	if (len2 > 0) {
		if (len1 > 0) {
Z
Zheng Liu 已提交
984 985 986 987
			struct extent_status newes;

			newes.es_lblk = end + 1;
			newes.es_len = len2;
988
			block = 0x7FDEADBEEFULL;
989
			if (ext4_es_is_written(&orig_es) ||
990
			    ext4_es_is_unwritten(&orig_es))
991 992
				block = ext4_es_pblock(&orig_es) +
					orig_es.es_len - len2;
993 994
			ext4_es_store_pblock_status(&newes, block,
						    ext4_es_status(&orig_es));
995
			err = __es_insert_extent(inode, &newes);
996
			if (err) {
Z
Zheng Liu 已提交
997 998
				es->es_lblk = orig_es.es_lblk;
				es->es_len = orig_es.es_len;
999
				if ((err == -ENOMEM) &&
1000
				    __es_shrink(EXT4_SB(inode->i_sb),
1001
							128, EXT4_I(inode)))
1002
					goto retry;
1003 1004 1005
				goto out;
			}
		} else {
Z
Zheng Liu 已提交
1006 1007
			es->es_lblk = end + 1;
			es->es_len = len2;
1008 1009 1010 1011 1012
			if (ext4_es_is_written(es) ||
			    ext4_es_is_unwritten(es)) {
				block = orig_es.es_pblk + orig_es.es_len - len2;
				ext4_es_store_pblock(es, block);
			}
1013 1014 1015 1016 1017 1018 1019 1020 1021 1022 1023 1024
		}
		goto out;
	}

	if (len1 > 0) {
		node = rb_next(&es->rb_node);
		if (node)
			es = rb_entry(node, struct extent_status, rb_node);
		else
			es = NULL;
	}

Z
Zheng Liu 已提交
1025
	while (es && ext4_es_end(es) <= end) {
1026 1027
		node = rb_next(&es->rb_node);
		rb_erase(&es->rb_node, &tree->root);
1028
		ext4_es_free_extent(inode, es);
1029 1030 1031 1032 1033 1034 1035
		if (!node) {
			es = NULL;
			break;
		}
		es = rb_entry(node, struct extent_status, rb_node);
	}

Z
Zheng Liu 已提交
1036
	if (es && es->es_lblk < end + 1) {
1037 1038
		ext4_lblk_t orig_len = es->es_len;

Z
Zheng Liu 已提交
1039 1040 1041
		len1 = ext4_es_end(es) - end;
		es->es_lblk = end + 1;
		es->es_len = len1;
1042 1043 1044 1045
		if (ext4_es_is_written(es) || ext4_es_is_unwritten(es)) {
			block = es->es_pblk + orig_len - len1;
			ext4_es_store_pblock(es, block);
		}
1046 1047 1048
	}

out:
Z
Zheng Liu 已提交
1049 1050 1051 1052 1053 1054 1055 1056 1057 1058 1059 1060 1061 1062 1063 1064 1065 1066
	return err;
}

/*
 * ext4_es_remove_extent() removes a space from a extent status tree.
 *
 * Return 0 on success, error code on failure.
 */
int ext4_es_remove_extent(struct inode *inode, ext4_lblk_t lblk,
			  ext4_lblk_t len)
{
	ext4_lblk_t end;
	int err = 0;

	trace_ext4_es_remove_extent(inode, lblk, len);
	es_debug("remove [%u/%u) from extent status tree of inode %lu\n",
		 lblk, len, inode->i_ino);

1067 1068 1069
	if (!len)
		return err;

Z
Zheng Liu 已提交
1070 1071 1072
	end = lblk + len - 1;
	BUG_ON(end < lblk);

1073 1074 1075 1076 1077
	/*
	 * ext4_clear_inode() depends on us taking i_es_lock unconditionally
	 * so that we are sure __es_shrink() is done with the inode before it
	 * is reclaimed.
	 */
Z
Zheng Liu 已提交
1078
	write_lock(&EXT4_I(inode)->i_es_lock);
1079
	err = __es_remove_extent(inode, lblk, end);
1080 1081 1082 1083
	write_unlock(&EXT4_I(inode)->i_es_lock);
	ext4_es_print_tree(inode);
	return err;
}
1084

1085 1086
static int __es_shrink(struct ext4_sb_info *sbi, int nr_to_scan,
		       struct ext4_inode_info *locked_ei)
1087 1088
{
	struct ext4_inode_info *ei;
1089 1090 1091
	struct ext4_es_stats *es_stats;
	ktime_t start_time;
	u64 scan_time;
1092
	int nr_to_walk;
1093
	int nr_shrunk = 0;
1094
	int retried = 0, nr_skipped = 0;
1095

1096 1097
	es_stats = &sbi->s_es_stats;
	start_time = ktime_get();
1098

1099
retry:
1100 1101 1102 1103 1104 1105 1106 1107 1108 1109
	spin_lock(&sbi->s_es_lock);
	nr_to_walk = sbi->s_es_nr_inode;
	while (nr_to_walk-- > 0) {
		if (list_empty(&sbi->s_es_list)) {
			spin_unlock(&sbi->s_es_lock);
			goto out;
		}
		ei = list_first_entry(&sbi->s_es_list, struct ext4_inode_info,
				      i_es_list);
		/* Move the inode to the tail */
1110
		list_move_tail(&ei->i_es_list, &sbi->s_es_list);
1111

1112
		/*
1113 1114
		 * Normally we try hard to avoid shrinking precached inodes,
		 * but we will as a last resort.
1115
		 */
1116 1117
		if (!retried && ext4_test_inode_state(&ei->vfs_inode,
						EXT4_STATE_EXT_PRECACHED)) {
1118
			nr_skipped++;
1119 1120
			continue;
		}
1121

1122 1123
		if (ei == locked_ei || !write_trylock(&ei->i_es_lock)) {
			nr_skipped++;
1124
			continue;
1125 1126 1127 1128 1129 1130
		}
		/*
		 * Now we hold i_es_lock which protects us from inode reclaim
		 * freeing inode under us
		 */
		spin_unlock(&sbi->s_es_lock);
1131

1132
		nr_shrunk += es_reclaim_extents(ei, &nr_to_scan);
1133 1134
		write_unlock(&ei->i_es_lock);

1135
		if (nr_to_scan <= 0)
1136 1137
			goto out;
		spin_lock(&sbi->s_es_lock);
1138
	}
1139
	spin_unlock(&sbi->s_es_lock);
1140 1141 1142

	/*
	 * If we skipped any inodes, and we weren't able to make any
1143
	 * forward progress, try again to scan precached inodes.
1144 1145 1146 1147 1148 1149
	 */
	if ((nr_shrunk == 0) && nr_skipped && !retried) {
		retried++;
		goto retry;
	}

1150
	if (locked_ei && nr_shrunk == 0)
1151
		nr_shrunk = es_reclaim_extents(locked_ei, &nr_to_scan);
1152

1153
out:
1154 1155 1156 1157 1158 1159 1160 1161 1162 1163 1164 1165 1166 1167
	scan_time = ktime_to_ns(ktime_sub(ktime_get(), start_time));
	if (likely(es_stats->es_stats_scan_time))
		es_stats->es_stats_scan_time = (scan_time +
				es_stats->es_stats_scan_time*3) / 4;
	else
		es_stats->es_stats_scan_time = scan_time;
	if (scan_time > es_stats->es_stats_max_scan_time)
		es_stats->es_stats_max_scan_time = scan_time;
	if (likely(es_stats->es_stats_shrunk))
		es_stats->es_stats_shrunk = (nr_shrunk +
				es_stats->es_stats_shrunk*3) / 4;
	else
		es_stats->es_stats_shrunk = nr_shrunk;

1168
	trace_ext4_es_shrink(sbi->s_sb, nr_shrunk, scan_time,
1169
			     nr_skipped, retried);
1170 1171 1172
	return nr_shrunk;
}

1173 1174 1175 1176 1177 1178 1179
static unsigned long ext4_es_count(struct shrinker *shrink,
				   struct shrink_control *sc)
{
	unsigned long nr;
	struct ext4_sb_info *sbi;

	sbi = container_of(shrink, struct ext4_sb_info, s_es_shrinker);
1180
	nr = percpu_counter_read_positive(&sbi->s_es_stats.es_stats_shk_cnt);
1181
	trace_ext4_es_shrink_count(sbi->s_sb, sc->nr_to_scan, nr);
1182 1183 1184 1185 1186
	return nr;
}

static unsigned long ext4_es_scan(struct shrinker *shrink,
				  struct shrink_control *sc)
1187 1188 1189 1190 1191 1192
{
	struct ext4_sb_info *sbi = container_of(shrink,
					struct ext4_sb_info, s_es_shrinker);
	int nr_to_scan = sc->nr_to_scan;
	int ret, nr_shrunk;

1193
	ret = percpu_counter_read_positive(&sbi->s_es_stats.es_stats_shk_cnt);
1194
	trace_ext4_es_shrink_scan_enter(sbi->s_sb, nr_to_scan, ret);
1195 1196 1197 1198

	if (!nr_to_scan)
		return ret;

1199
	nr_shrunk = __es_shrink(sbi, nr_to_scan, NULL);
1200

1201
	trace_ext4_es_shrink_scan_exit(sbi->s_sb, nr_shrunk, ret);
1202
	return nr_shrunk;
1203 1204
}

1205
int ext4_seq_es_shrinker_info_show(struct seq_file *seq, void *v)
1206
{
1207
	struct ext4_sb_info *sbi = EXT4_SB((struct super_block *) seq->private);
1208 1209 1210 1211 1212 1213 1214 1215
	struct ext4_es_stats *es_stats = &sbi->s_es_stats;
	struct ext4_inode_info *ei, *max = NULL;
	unsigned int inode_cnt = 0;

	if (v != SEQ_START_TOKEN)
		return 0;

	/* here we just find an inode that has the max nr. of objects */
1216 1217
	spin_lock(&sbi->s_es_lock);
	list_for_each_entry(ei, &sbi->s_es_list, i_es_list) {
1218 1219 1220 1221 1222 1223
		inode_cnt++;
		if (max && max->i_es_all_nr < ei->i_es_all_nr)
			max = ei;
		else if (!max)
			max = ei;
	}
1224
	spin_unlock(&sbi->s_es_lock);
1225 1226 1227

	seq_printf(seq, "stats:\n  %lld objects\n  %lld reclaimable objects\n",
		   percpu_counter_sum_positive(&es_stats->es_stats_all_cnt),
1228
		   percpu_counter_sum_positive(&es_stats->es_stats_shk_cnt));
1229 1230 1231 1232
	seq_printf(seq, "  %lu/%lu cache hits/misses\n",
		   es_stats->es_stats_cache_hits,
		   es_stats->es_stats_cache_misses);
	if (inode_cnt)
1233
		seq_printf(seq, "  %d inodes on list\n", inode_cnt);
1234 1235 1236 1237 1238 1239 1240 1241

	seq_printf(seq, "average:\n  %llu us scan time\n",
	    div_u64(es_stats->es_stats_scan_time, 1000));
	seq_printf(seq, "  %lu shrunk objects\n", es_stats->es_stats_shrunk);
	if (inode_cnt)
		seq_printf(seq,
		    "maximum:\n  %lu inode (%u objects, %u reclaimable)\n"
		    "  %llu us max scan time\n",
1242
		    max->vfs_inode.i_ino, max->i_es_all_nr, max->i_es_shk_nr,
1243 1244 1245 1246 1247 1248
		    div_u64(es_stats->es_stats_max_scan_time, 1000));

	return 0;
}

int ext4_es_register_shrinker(struct ext4_sb_info *sbi)
1249
{
1250 1251
	int err;

1252 1253
	/* Make sure we have enough bits for physical block number */
	BUILD_BUG_ON(ES_SHIFT < 48);
1254 1255 1256
	INIT_LIST_HEAD(&sbi->s_es_list);
	sbi->s_es_nr_inode = 0;
	spin_lock_init(&sbi->s_es_lock);
1257 1258 1259 1260 1261
	sbi->s_es_stats.es_stats_shrunk = 0;
	sbi->s_es_stats.es_stats_cache_hits = 0;
	sbi->s_es_stats.es_stats_cache_misses = 0;
	sbi->s_es_stats.es_stats_scan_time = 0;
	sbi->s_es_stats.es_stats_max_scan_time = 0;
1262
	err = percpu_counter_init(&sbi->s_es_stats.es_stats_all_cnt, 0, GFP_KERNEL);
1263 1264
	if (err)
		return err;
1265
	err = percpu_counter_init(&sbi->s_es_stats.es_stats_shk_cnt, 0, GFP_KERNEL);
1266 1267 1268
	if (err)
		goto err1;

1269 1270
	sbi->s_es_shrinker.scan_objects = ext4_es_scan;
	sbi->s_es_shrinker.count_objects = ext4_es_count;
1271
	sbi->s_es_shrinker.seeks = DEFAULT_SEEKS;
1272 1273 1274 1275 1276 1277 1278
	err = register_shrinker(&sbi->s_es_shrinker);
	if (err)
		goto err2;

	return 0;

err2:
1279
	percpu_counter_destroy(&sbi->s_es_stats.es_stats_shk_cnt);
1280 1281 1282
err1:
	percpu_counter_destroy(&sbi->s_es_stats.es_stats_all_cnt);
	return err;
1283 1284
}

1285
void ext4_es_unregister_shrinker(struct ext4_sb_info *sbi)
1286
{
1287
	percpu_counter_destroy(&sbi->s_es_stats.es_stats_all_cnt);
1288
	percpu_counter_destroy(&sbi->s_es_stats.es_stats_shk_cnt);
1289
	unregister_shrinker(&sbi->s_es_shrinker);
1290 1291
}

1292 1293 1294 1295 1296 1297 1298 1299 1300 1301
/*
 * Shrink extents in given inode from ei->i_es_shrink_lblk till end. Scan at
 * most *nr_to_scan extents, update *nr_to_scan accordingly.
 *
 * Return 0 if we hit end of tree / interval, 1 if we exhausted nr_to_scan.
 * Increment *nr_shrunk by the number of reclaimed extents. Also update
 * ei->i_es_shrink_lblk to where we should continue scanning.
 */
static int es_do_reclaim_extents(struct ext4_inode_info *ei, ext4_lblk_t end,
				 int *nr_to_scan, int *nr_shrunk)
1302 1303 1304 1305
{
	struct inode *inode = &ei->vfs_inode;
	struct ext4_es_tree *tree = &ei->i_es_tree;
	struct extent_status *es;
1306
	struct rb_node *node;
1307

1308 1309 1310 1311 1312 1313 1314 1315 1316
	es = __es_tree_search(&tree->root, ei->i_es_shrink_lblk);
	if (!es)
		goto out_wrap;
	node = &es->rb_node;
	while (*nr_to_scan > 0) {
		if (es->es_lblk > end) {
			ei->i_es_shrink_lblk = end + 1;
			return 0;
		}
1317

1318
		(*nr_to_scan)--;
1319 1320 1321 1322 1323
		node = rb_next(&es->rb_node);
		/*
		 * We can't reclaim delayed extent from status tree because
		 * fiemap, bigallic, and seek_data/hole need to use it.
		 */
1324 1325 1326 1327 1328
		if (ext4_es_is_delayed(es))
			goto next;
		if (ext4_es_is_referenced(es)) {
			ext4_es_clear_referenced(es);
			goto next;
1329
		}
1330 1331 1332 1333 1334

		rb_erase(&es->rb_node, &tree->root);
		ext4_es_free_extent(inode, es);
		(*nr_shrunk)++;
next:
1335 1336 1337
		if (!node)
			goto out_wrap;
		es = rb_entry(node, struct extent_status, rb_node);
1338
	}
1339 1340 1341 1342 1343 1344 1345 1346 1347 1348 1349 1350 1351 1352 1353 1354 1355 1356 1357 1358 1359 1360 1361 1362 1363 1364 1365
	ei->i_es_shrink_lblk = es->es_lblk;
	return 1;
out_wrap:
	ei->i_es_shrink_lblk = 0;
	return 0;
}

static int es_reclaim_extents(struct ext4_inode_info *ei, int *nr_to_scan)
{
	struct inode *inode = &ei->vfs_inode;
	int nr_shrunk = 0;
	ext4_lblk_t start = ei->i_es_shrink_lblk;
	static DEFINE_RATELIMIT_STATE(_rs, DEFAULT_RATELIMIT_INTERVAL,
				      DEFAULT_RATELIMIT_BURST);

	if (ei->i_es_shk_nr == 0)
		return 0;

	if (ext4_test_inode_state(inode, EXT4_STATE_EXT_PRECACHED) &&
	    __ratelimit(&_rs))
		ext4_warning(inode->i_sb, "forced shrink of precached extents");

	if (!es_do_reclaim_extents(ei, EXT_MAX_BLOCKS, nr_to_scan, &nr_shrunk) &&
	    start != 0)
		es_do_reclaim_extents(ei, start - 1, nr_to_scan, &nr_shrunk);

	ei->i_es_tree.cache_es = NULL;
1366 1367
	return nr_shrunk;
}