mballoc.c 146.1 KB
Newer Older
1
// SPDX-License-Identifier: GPL-2.0
2 3 4 5 6 7 8 9 10 11
/*
 * Copyright (c) 2003-2006, Cluster File Systems, Inc, info@clusterfs.com
 * Written by Alex Tomas <alex@clusterfs.com>
 */


/*
 * mballoc.c contains the multiblocks allocation routines
 */

B
Bobi Jam 已提交
12
#include "ext4_jbd2.h"
13
#include "mballoc.h"
14
#include <linux/log2.h>
15
#include <linux/module.h>
16
#include <linux/slab.h>
17
#include <linux/nospec.h>
18
#include <linux/backing-dev.h>
19 20
#include <trace/events/ext4.h>

21 22 23 24 25 26 27
#ifdef CONFIG_EXT4_DEBUG
ushort ext4_mballoc_debug __read_mostly;

module_param_named(mballoc_debug, ext4_mballoc_debug, ushort, 0644);
MODULE_PARM_DESC(mballoc_debug, "Debugging level for ext4's mballoc");
#endif

28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51
/*
 * MUSTDO:
 *   - test ext4_ext_search_left() and ext4_ext_search_right()
 *   - search for metadata in few groups
 *
 * TODO v4:
 *   - normalization should take into account whether file is still open
 *   - discard preallocations if no free space left (policy?)
 *   - don't normalize tails
 *   - quota
 *   - reservation for superuser
 *
 * TODO v3:
 *   - bitmap read-ahead (proposed by Oleg Drokin aka green)
 *   - track min/max extents in each group for better group selection
 *   - mb_mark_used() may allocate chunk right after splitting buddy
 *   - tree of groups sorted by number of free blocks
 *   - error handling
 */

/*
 * The allocation request involve request for multiple number of blocks
 * near to the goal(block) value specified.
 *
T
Theodore Ts'o 已提交
52 53 54 55 56 57 58 59 60
 * During initialization phase of the allocator we decide to use the
 * group preallocation or inode preallocation depending on the size of
 * the file. The size of the file could be the resulting file size we
 * would have after allocation, or the current file size, which ever
 * is larger. If the size is less than sbi->s_mb_stream_request we
 * select to use the group preallocation. The default value of
 * s_mb_stream_request is 16 blocks. This can also be tuned via
 * /sys/fs/ext4/<partition>/mb_stream_req. The value is represented in
 * terms of number of blocks.
61 62
 *
 * The main motivation for having small file use group preallocation is to
T
Theodore Ts'o 已提交
63
 * ensure that we have small files closer together on the disk.
64
 *
T
Theodore Ts'o 已提交
65 66 67 68
 * First stage the allocator looks at the inode prealloc list,
 * ext4_inode_info->i_prealloc_list, which contains list of prealloc
 * spaces for this particular inode. The inode prealloc space is
 * represented as:
69 70 71
 *
 * pa_lstart -> the logical start block for this prealloc space
 * pa_pstart -> the physical start block for this prealloc space
72 73
 * pa_len    -> length for this prealloc space (in clusters)
 * pa_free   ->  free space available in this prealloc space (in clusters)
74 75 76
 *
 * The inode preallocation space is used looking at the _logical_ start
 * block. If only the logical file block falls within the range of prealloc
77 78
 * space we will consume the particular prealloc space. This makes sure that
 * we have contiguous physical blocks representing the file blocks
79 80 81 82 83 84 85
 *
 * The important thing to be noted in case of inode prealloc space is that
 * we don't modify the values associated to inode prealloc space except
 * pa_free.
 *
 * If we are not able to find blocks in the inode prealloc space and if we
 * have the group allocation flag set then we look at the locality group
86
 * prealloc space. These are per CPU prealloc list represented as
87 88 89 90 91 92 93
 *
 * ext4_sb_info.s_locality_groups[smp_processor_id()]
 *
 * The reason for having a per cpu locality group is to reduce the contention
 * between CPUs. It is possible to get scheduled at this point.
 *
 * The locality group prealloc space is used looking at whether we have
L
Lucas De Marchi 已提交
94
 * enough free space (pa_free) within the prealloc space.
95 96 97 98 99 100 101 102 103 104 105 106
 *
 * If we can't allocate blocks via inode prealloc or/and locality group
 * prealloc then we look at the buddy cache. The buddy cache is represented
 * by ext4_sb_info.s_buddy_cache (struct inode) whose file offset gets
 * mapped to the buddy and bitmap information regarding different
 * groups. The buddy information is attached to buddy cache inode so that
 * we can access them through the page cache. The information regarding
 * each group is loaded via ext4_mb_load_buddy.  The information involve
 * block bitmap and buddy information. The information are stored in the
 * inode as:
 *
 *  {                        page                        }
107
 *  [ group 0 bitmap][ group 0 buddy] [group 1][ group 1]...
108 109 110
 *
 *
 * one block each for bitmap and buddy information.  So for each group we
111
 * take up 2 blocks. A page can contain blocks_per_page (PAGE_SIZE /
112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127
 * blocksize) blocks.  So it can have information regarding groups_per_page
 * which is blocks_per_page/2
 *
 * The buddy cache inode is not stored on disk. The inode is thrown
 * away when the filesystem is unmounted.
 *
 * We look for count number of blocks in the buddy cache. If we were able
 * to locate that many free blocks we return with additional information
 * regarding rest of the contiguous physical block available
 *
 * Before allocating blocks via buddy cache we normalize the request
 * blocks. This ensure we ask for more blocks that we needed. The extra
 * blocks that we get after allocation is added to the respective prealloc
 * list. In case of inode preallocation we follow a list of heuristics
 * based on file size. This can be found in ext4_mb_normalize_request. If
 * we are doing a group prealloc we try to normalize the request to
128 129
 * sbi->s_mb_group_prealloc.  The default value of s_mb_group_prealloc is
 * dependent on the cluster size; for non-bigalloc file systems, it is
130
 * 512 blocks. This can be tuned via
131
 * /sys/fs/ext4/<partition>/mb_group_prealloc. The value is represented in
132 133
 * terms of number of blocks. If we have mounted the file system with -O
 * stripe=<value> option the group prealloc request is normalized to the
134 135
 * the smallest multiple of the stripe value (sbi->s_stripe) which is
 * greater than the default mb_group_prealloc.
136
 *
137
 * The regular allocator (using the buddy cache) supports a few tunables.
138
 *
T
Theodore Ts'o 已提交
139 140 141
 * /sys/fs/ext4/<partition>/mb_min_to_scan
 * /sys/fs/ext4/<partition>/mb_max_to_scan
 * /sys/fs/ext4/<partition>/mb_order2_req
142
 *
T
Theodore Ts'o 已提交
143
 * The regular allocator uses buddy scan only if the request len is power of
144 145
 * 2 blocks and the order of allocation is >= sbi->s_mb_order2_reqs. The
 * value of s_mb_order2_reqs can be tuned via
T
Theodore Ts'o 已提交
146
 * /sys/fs/ext4/<partition>/mb_order2_req.  If the request len is equal to
147
 * stripe size (sbi->s_stripe), we try to search for contiguous block in
T
Theodore Ts'o 已提交
148 149 150
 * stripe size. This should result in better allocation on RAID setups. If
 * not, we search in the specific group using bitmap for best extents. The
 * tunable min_to_scan and max_to_scan control the behaviour here.
151
 * min_to_scan indicate how long the mballoc __must__ look for a best
T
Theodore Ts'o 已提交
152
 * extent and max_to_scan indicates how long the mballoc __can__ look for a
153 154 155
 * best extent in the found extents. Searching for the blocks starts with
 * the group specified as the goal value in allocation context via
 * ac_g_ex. Each group is first checked based on the criteria whether it
156
 * can be used for allocation. ext4_mb_good_group explains how the groups are
157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 231 232 233 234 235 236 237 238 239 240 241 242 243 244 245 246 247 248 249 250 251 252 253 254 255 256 257 258 259 260 261 262 263 264 265 266 267 268 269 270 271 272 273 274 275 276 277 278 279 280 281 282 283 284 285 286 287 288 289 290 291 292 293 294 295 296 297 298 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
 * checked.
 *
 * Both the prealloc space are getting populated as above. So for the first
 * request we will hit the buddy cache which will result in this prealloc
 * space getting filled. The prealloc space is then later used for the
 * subsequent request.
 */

/*
 * mballoc operates on the following data:
 *  - on-disk bitmap
 *  - in-core buddy (actually includes buddy and bitmap)
 *  - preallocation descriptors (PAs)
 *
 * there are two types of preallocations:
 *  - inode
 *    assiged to specific inode and can be used for this inode only.
 *    it describes part of inode's space preallocated to specific
 *    physical blocks. any block from that preallocated can be used
 *    independent. the descriptor just tracks number of blocks left
 *    unused. so, before taking some block from descriptor, one must
 *    make sure corresponded logical block isn't allocated yet. this
 *    also means that freeing any block within descriptor's range
 *    must discard all preallocated blocks.
 *  - locality group
 *    assigned to specific locality group which does not translate to
 *    permanent set of inodes: inode can join and leave group. space
 *    from this type of preallocation can be used for any inode. thus
 *    it's consumed from the beginning to the end.
 *
 * relation between them can be expressed as:
 *    in-core buddy = on-disk bitmap + preallocation descriptors
 *
 * this mean blocks mballoc considers used are:
 *  - allocated blocks (persistent)
 *  - preallocated blocks (non-persistent)
 *
 * consistency in mballoc world means that at any time a block is either
 * free or used in ALL structures. notice: "any time" should not be read
 * literally -- time is discrete and delimited by locks.
 *
 *  to keep it simple, we don't use block numbers, instead we count number of
 *  blocks: how many blocks marked used/free in on-disk bitmap, buddy and PA.
 *
 * all operations can be expressed as:
 *  - init buddy:			buddy = on-disk + PAs
 *  - new PA:				buddy += N; PA = N
 *  - use inode PA:			on-disk += N; PA -= N
 *  - discard inode PA			buddy -= on-disk - PA; PA = 0
 *  - use locality group PA		on-disk += N; PA -= N
 *  - discard locality group PA		buddy -= PA; PA = 0
 *  note: 'buddy -= on-disk - PA' is used to show that on-disk bitmap
 *        is used in real operation because we can't know actual used
 *        bits from PA, only from on-disk bitmap
 *
 * if we follow this strict logic, then all operations above should be atomic.
 * given some of them can block, we'd have to use something like semaphores
 * killing performance on high-end SMP hardware. let's try to relax it using
 * the following knowledge:
 *  1) if buddy is referenced, it's already initialized
 *  2) while block is used in buddy and the buddy is referenced,
 *     nobody can re-allocate that block
 *  3) we work on bitmaps and '+' actually means 'set bits'. if on-disk has
 *     bit set and PA claims same block, it's OK. IOW, one can set bit in
 *     on-disk bitmap if buddy has same bit set or/and PA covers corresponded
 *     block
 *
 * so, now we're building a concurrency table:
 *  - init buddy vs.
 *    - new PA
 *      blocks for PA are allocated in the buddy, buddy must be referenced
 *      until PA is linked to allocation group to avoid concurrent buddy init
 *    - use inode PA
 *      we need to make sure that either on-disk bitmap or PA has uptodate data
 *      given (3) we care that PA-=N operation doesn't interfere with init
 *    - discard inode PA
 *      the simplest way would be to have buddy initialized by the discard
 *    - use locality group PA
 *      again PA-=N must be serialized with init
 *    - discard locality group PA
 *      the simplest way would be to have buddy initialized by the discard
 *  - new PA vs.
 *    - use inode PA
 *      i_data_sem serializes them
 *    - discard inode PA
 *      discard process must wait until PA isn't used by another process
 *    - use locality group PA
 *      some mutex should serialize them
 *    - discard locality group PA
 *      discard process must wait until PA isn't used by another process
 *  - use inode PA
 *    - use inode PA
 *      i_data_sem or another mutex should serializes them
 *    - discard inode PA
 *      discard process must wait until PA isn't used by another process
 *    - use locality group PA
 *      nothing wrong here -- they're different PAs covering different blocks
 *    - discard locality group PA
 *      discard process must wait until PA isn't used by another process
 *
 * now we're ready to make few consequences:
 *  - PA is referenced and while it is no discard is possible
 *  - PA is referenced until block isn't marked in on-disk bitmap
 *  - PA changes only after on-disk bitmap
 *  - discard must not compete with init. either init is done before
 *    any discard or they're serialized somehow
 *  - buddy init as sum of on-disk bitmap and PAs is done atomically
 *
 * a special case when we've used PA to emptiness. no need to modify buddy
 * in this case, but we should care about concurrent init
 *
 */

 /*
 * Logic in few words:
 *
 *  - allocation:
 *    load group
 *    find blocks
 *    mark bits in on-disk bitmap
 *    release group
 *
 *  - use preallocation:
 *    find proper PA (per-inode or group)
 *    load group
 *    mark bits in on-disk bitmap
 *    release group
 *    release PA
 *
 *  - free:
 *    load group
 *    mark bits in on-disk bitmap
 *    release group
 *
 *  - discard preallocations in group:
 *    mark PAs deleted
 *    move them onto local list
 *    load on-disk bitmap
 *    load group
 *    remove PA from object (inode or locality group)
 *    mark free blocks in-core
 *
 *  - discard inode's preallocations:
 */

/*
 * Locking rules
 *
 * Locks:
 *  - bitlock on a group	(group)
 *  - object (inode/locality)	(object)
 *  - per-pa lock		(pa)
 *
 * Paths:
 *  - new pa
 *    object
 *    group
 *
 *  - find and use pa:
 *    pa
 *
 *  - release consumed pa:
 *    pa
 *    group
 *    object
 *
 *  - generate in-core bitmap:
 *    group
 *        pa
 *
 *  - discard all for given object (inode, locality group):
 *    object
 *        pa
 *    group
 *
 *  - discard all for given group:
 *    group
 *        pa
 *    group
 *        object
 *
 */
339 340
static struct kmem_cache *ext4_pspace_cachep;
static struct kmem_cache *ext4_ac_cachep;
B
Bobi Jam 已提交
341
static struct kmem_cache *ext4_free_data_cachep;
342 343 344 345

/* We create slab caches for groupinfo data structures based on the
 * superblock block size.  There will be one per mounted filesystem for
 * each unique s_blocksize_bits */
346
#define NR_GRPINFO_CACHES 8
347 348
static struct kmem_cache *ext4_groupinfo_caches[NR_GRPINFO_CACHES];

349
static const char * const ext4_groupinfo_slab_names[NR_GRPINFO_CACHES] = {
350 351 352 353 354
	"ext4_groupinfo_1k", "ext4_groupinfo_2k", "ext4_groupinfo_4k",
	"ext4_groupinfo_8k", "ext4_groupinfo_16k", "ext4_groupinfo_32k",
	"ext4_groupinfo_64k", "ext4_groupinfo_128k"
};

355 356
static void ext4_mb_generate_from_pa(struct super_block *sb, void *bitmap,
					ext4_group_t group);
357 358
static void ext4_mb_generate_from_freelist(struct super_block *sb, void *bitmap,
						ext4_group_t group);
359

360 361
static inline void *mb_correct_addr_and_bit(int *bit, void *addr)
{
362
#if BITS_PER_LONG == 64
363 364
	*bit += ((unsigned long) addr & 7UL) << 3;
	addr = (void *) ((unsigned long) addr & ~7UL);
365
#elif BITS_PER_LONG == 32
366 367
	*bit += ((unsigned long) addr & 3UL) << 3;
	addr = (void *) ((unsigned long) addr & ~3UL);
368 369 370
#else
#error "how many bits you are?!"
#endif
371 372
	return addr;
}
373 374 375 376 377 378 379

static inline int mb_test_bit(int bit, void *addr)
{
	/*
	 * ext4_test_bit on architecture like powerpc
	 * needs unsigned long aligned address
	 */
380
	addr = mb_correct_addr_and_bit(&bit, addr);
381 382 383 384 385
	return ext4_test_bit(bit, addr);
}

static inline void mb_set_bit(int bit, void *addr)
{
386
	addr = mb_correct_addr_and_bit(&bit, addr);
387 388 389 390 391
	ext4_set_bit(bit, addr);
}

static inline void mb_clear_bit(int bit, void *addr)
{
392
	addr = mb_correct_addr_and_bit(&bit, addr);
393 394 395
	ext4_clear_bit(bit, addr);
}

396 397 398 399 400 401
static inline int mb_test_and_clear_bit(int bit, void *addr)
{
	addr = mb_correct_addr_and_bit(&bit, addr);
	return ext4_test_and_clear_bit(bit, addr);
}

402 403
static inline int mb_find_next_zero_bit(void *addr, int max, int start)
{
404
	int fix = 0, ret, tmpmax;
405
	addr = mb_correct_addr_and_bit(&fix, addr);
406
	tmpmax = max + fix;
407 408
	start += fix;

409 410 411 412
	ret = ext4_find_next_zero_bit(addr, tmpmax, start) - fix;
	if (ret > max)
		return max;
	return ret;
413 414 415 416
}

static inline int mb_find_next_bit(void *addr, int max, int start)
{
417
	int fix = 0, ret, tmpmax;
418
	addr = mb_correct_addr_and_bit(&fix, addr);
419
	tmpmax = max + fix;
420 421
	start += fix;

422 423 424 425
	ret = ext4_find_next_bit(addr, tmpmax, start) - fix;
	if (ret > max)
		return max;
	return ret;
426 427
}

428 429 430 431
static void *mb_find_buddy(struct ext4_buddy *e4b, int order, int *max)
{
	char *bb;

432
	BUG_ON(e4b->bd_bitmap == e4b->bd_buddy);
433 434 435 436 437 438 439 440
	BUG_ON(max == NULL);

	if (order > e4b->bd_blkbits + 1) {
		*max = 0;
		return NULL;
	}

	/* at order 0 we see each particular block */
C
Coly Li 已提交
441 442
	if (order == 0) {
		*max = 1 << (e4b->bd_blkbits + 3);
443
		return e4b->bd_bitmap;
C
Coly Li 已提交
444
	}
445

446
	bb = e4b->bd_buddy + EXT4_SB(e4b->bd_sb)->s_mb_offsets[order];
447 448 449 450 451 452 453 454 455 456 457 458 459 460
	*max = EXT4_SB(e4b->bd_sb)->s_mb_maxs[order];

	return bb;
}

#ifdef DOUBLE_CHECK
static void mb_free_blocks_double(struct inode *inode, struct ext4_buddy *e4b,
			   int first, int count)
{
	int i;
	struct super_block *sb = e4b->bd_sb;

	if (unlikely(e4b->bd_info->bb_bitmap == NULL))
		return;
461
	assert_spin_locked(ext4_group_lock_ptr(sb, e4b->bd_group));
462 463 464
	for (i = 0; i < count; i++) {
		if (!mb_test_bit(first + i, e4b->bd_info->bb_bitmap)) {
			ext4_fsblk_t blocknr;
465 466

			blocknr = ext4_group_first_block_no(sb, e4b->bd_group);
467
			blocknr += EXT4_C2B(EXT4_SB(sb), first + i);
468
			ext4_grp_locked_error(sb, e4b->bd_group,
469 470 471 472 473
					      inode ? inode->i_ino : 0,
					      blocknr,
					      "freeing block already freed "
					      "(bit %u)",
					      first + i);
474 475
			ext4_mark_group_bitmap_corrupted(sb, e4b->bd_group,
					EXT4_GROUP_INFO_BBITMAP_CORRUPT);
476 477 478 479 480 481 482 483 484 485 486
		}
		mb_clear_bit(first + i, e4b->bd_info->bb_bitmap);
	}
}

static void mb_mark_used_double(struct ext4_buddy *e4b, int first, int count)
{
	int i;

	if (unlikely(e4b->bd_info->bb_bitmap == NULL))
		return;
487
	assert_spin_locked(ext4_group_lock_ptr(e4b->bd_sb, e4b->bd_group));
488 489 490 491 492 493 494 495 496 497 498 499 500 501 502
	for (i = 0; i < count; i++) {
		BUG_ON(mb_test_bit(first + i, e4b->bd_info->bb_bitmap));
		mb_set_bit(first + i, e4b->bd_info->bb_bitmap);
	}
}

static void mb_cmp_bitmaps(struct ext4_buddy *e4b, void *bitmap)
{
	if (memcmp(e4b->bd_info->bb_bitmap, bitmap, e4b->bd_sb->s_blocksize)) {
		unsigned char *b1, *b2;
		int i;
		b1 = (unsigned char *) e4b->bd_info->bb_bitmap;
		b2 = (unsigned char *) bitmap;
		for (i = 0; i < e4b->bd_sb->s_blocksize; i++) {
			if (b1[i] != b2[i]) {
503 504 505 506 507
				ext4_msg(e4b->bd_sb, KERN_ERR,
					 "corruption in group %u "
					 "at byte %u(%u): %x in copy != %x "
					 "on disk/prealloc",
					 e4b->bd_group, i, i * 8, b1[i], b2[i]);
508 509 510 511 512 513 514 515 516 517 518 519 520 521 522 523 524 525 526 527 528 529 530 531 532 533 534 535 536 537 538 539 540 541 542 543 544 545 546 547 548 549 550 551 552 553 554 555 556 557 558 559 560 561 562 563 564 565 566 567 568 569 570 571 572 573 574 575 576 577 578 579 580 581 582 583 584 585 586 587 588 589
				BUG();
			}
		}
	}
}

#else
static inline void mb_free_blocks_double(struct inode *inode,
				struct ext4_buddy *e4b, int first, int count)
{
	return;
}
static inline void mb_mark_used_double(struct ext4_buddy *e4b,
						int first, int count)
{
	return;
}
static inline void mb_cmp_bitmaps(struct ext4_buddy *e4b, void *bitmap)
{
	return;
}
#endif

#ifdef AGGRESSIVE_CHECK

#define MB_CHECK_ASSERT(assert)						\
do {									\
	if (!(assert)) {						\
		printk(KERN_EMERG					\
			"Assertion failure in %s() at %s:%d: \"%s\"\n",	\
			function, file, line, # assert);		\
		BUG();							\
	}								\
} while (0)

static int __mb_check_buddy(struct ext4_buddy *e4b, char *file,
				const char *function, int line)
{
	struct super_block *sb = e4b->bd_sb;
	int order = e4b->bd_blkbits + 1;
	int max;
	int max2;
	int i;
	int j;
	int k;
	int count;
	struct ext4_group_info *grp;
	int fragments = 0;
	int fstart;
	struct list_head *cur;
	void *buddy;
	void *buddy2;

	{
		static int mb_check_counter;
		if (mb_check_counter++ % 100 != 0)
			return 0;
	}

	while (order > 1) {
		buddy = mb_find_buddy(e4b, order, &max);
		MB_CHECK_ASSERT(buddy);
		buddy2 = mb_find_buddy(e4b, order - 1, &max2);
		MB_CHECK_ASSERT(buddy2);
		MB_CHECK_ASSERT(buddy != buddy2);
		MB_CHECK_ASSERT(max * 2 == max2);

		count = 0;
		for (i = 0; i < max; i++) {

			if (mb_test_bit(i, buddy)) {
				/* only single bit in buddy2 may be 1 */
				if (!mb_test_bit(i << 1, buddy2)) {
					MB_CHECK_ASSERT(
						mb_test_bit((i<<1)+1, buddy2));
				} else if (!mb_test_bit((i << 1) + 1, buddy2)) {
					MB_CHECK_ASSERT(
						mb_test_bit(i << 1, buddy2));
				}
				continue;
			}

590
			/* both bits in buddy2 must be 1 */
591 592 593 594 595 596
			MB_CHECK_ASSERT(mb_test_bit(i << 1, buddy2));
			MB_CHECK_ASSERT(mb_test_bit((i << 1) + 1, buddy2));

			for (j = 0; j < (1 << order); j++) {
				k = (i * (1 << order)) + j;
				MB_CHECK_ASSERT(
597
					!mb_test_bit(k, e4b->bd_bitmap));
598 599 600 601 602 603 604 605 606 607 608 609 610 611 612 613 614 615 616 617 618 619 620 621 622 623 624 625 626 627 628 629 630 631
			}
			count++;
		}
		MB_CHECK_ASSERT(e4b->bd_info->bb_counters[order] == count);
		order--;
	}

	fstart = -1;
	buddy = mb_find_buddy(e4b, 0, &max);
	for (i = 0; i < max; i++) {
		if (!mb_test_bit(i, buddy)) {
			MB_CHECK_ASSERT(i >= e4b->bd_info->bb_first_free);
			if (fstart == -1) {
				fragments++;
				fstart = i;
			}
			continue;
		}
		fstart = -1;
		/* check used bits only */
		for (j = 0; j < e4b->bd_blkbits + 1; j++) {
			buddy2 = mb_find_buddy(e4b, j, &max2);
			k = i >> j;
			MB_CHECK_ASSERT(k < max2);
			MB_CHECK_ASSERT(mb_test_bit(k, buddy2));
		}
	}
	MB_CHECK_ASSERT(!EXT4_MB_GRP_NEED_INIT(e4b->bd_info));
	MB_CHECK_ASSERT(e4b->bd_info->bb_fragments == fragments);

	grp = ext4_get_group_info(sb, e4b->bd_group);
	list_for_each(cur, &grp->bb_prealloc_list) {
		ext4_group_t groupnr;
		struct ext4_prealloc_space *pa;
632 633
		pa = list_entry(cur, struct ext4_prealloc_space, pa_group_list);
		ext4_get_group_no_and_offset(sb, pa->pa_pstart, &groupnr, &k);
634
		MB_CHECK_ASSERT(groupnr == e4b->bd_group);
635
		for (i = 0; i < pa->pa_len; i++)
636 637 638 639 640 641
			MB_CHECK_ASSERT(mb_test_bit(k + i, buddy));
	}
	return 0;
}
#undef MB_CHECK_ASSERT
#define mb_check_buddy(e4b) __mb_check_buddy(e4b,	\
642
					__FILE__, __func__, __LINE__)
643 644 645 646
#else
#define mb_check_buddy(e4b)
#endif

647 648 649 650 651 652
/*
 * Divide blocks started from @first with length @len into
 * smaller chunks with power of 2 blocks.
 * Clear the bits in bitmap which the blocks of the chunk(s) covered,
 * then increase bb_counters[] for corresponded chunk size.
 */
653
static void ext4_mb_mark_free_simple(struct super_block *sb,
654
				void *buddy, ext4_grpblk_t first, ext4_grpblk_t len,
655 656 657
					struct ext4_group_info *grp)
{
	struct ext4_sb_info *sbi = EXT4_SB(sb);
658 659 660
	ext4_grpblk_t min;
	ext4_grpblk_t max;
	ext4_grpblk_t chunk;
661
	unsigned int border;
662

663
	BUG_ON(len > EXT4_CLUSTERS_PER_GROUP(sb));
664 665 666 667 668 669 670 671 672 673 674 675 676 677 678 679 680 681 682 683 684 685 686 687 688

	border = 2 << sb->s_blocksize_bits;

	while (len > 0) {
		/* find how many blocks can be covered since this position */
		max = ffs(first | border) - 1;

		/* find how many blocks of power 2 we need to mark */
		min = fls(len) - 1;

		if (max < min)
			min = max;
		chunk = 1 << min;

		/* mark multiblock chunks only */
		grp->bb_counters[min]++;
		if (min > 0)
			mb_clear_bit(first >> min,
				     buddy + sbi->s_mb_offsets[min]);

		len -= chunk;
		first += chunk;
	}
}

689 690 691 692 693 694 695 696 697 698 699 700 701 702 703 704 705 706 707 708 709
/*
 * Cache the order of the largest free extent we have available in this block
 * group.
 */
static void
mb_set_largest_free_order(struct super_block *sb, struct ext4_group_info *grp)
{
	int i;
	int bits;

	grp->bb_largest_free_order = -1; /* uninit */

	bits = sb->s_blocksize_bits + 1;
	for (i = bits; i >= 0; i--) {
		if (grp->bb_counters[i] > 0) {
			grp->bb_largest_free_order = i;
			break;
		}
	}
}

710 711
static noinline_for_stack
void ext4_mb_generate_buddy(struct super_block *sb,
712 713 714
				void *buddy, void *bitmap, ext4_group_t group)
{
	struct ext4_group_info *grp = ext4_get_group_info(sb, group);
715
	struct ext4_sb_info *sbi = EXT4_SB(sb);
716
	ext4_grpblk_t max = EXT4_CLUSTERS_PER_GROUP(sb);
717 718 719
	ext4_grpblk_t i = 0;
	ext4_grpblk_t first;
	ext4_grpblk_t len;
720 721 722 723 724 725
	unsigned free = 0;
	unsigned fragments = 0;
	unsigned long long period = get_cycles();

	/* initialize buddy from bitmap which is aggregation
	 * of on-disk bitmap and preallocations */
726
	i = mb_find_next_zero_bit(bitmap, max, 0);
727 728 729 730
	grp->bb_first_free = i;
	while (i < max) {
		fragments++;
		first = i;
731
		i = mb_find_next_bit(bitmap, max, i);
732 733 734 735 736 737 738
		len = i - first;
		free += len;
		if (len > 1)
			ext4_mb_mark_free_simple(sb, buddy, first, len, grp);
		else
			grp->bb_counters[0]++;
		if (i < max)
739
			i = mb_find_next_zero_bit(bitmap, max, i);
740 741 742 743
	}
	grp->bb_fragments = fragments;

	if (free != grp->bb_free) {
744
		ext4_grp_locked_error(sb, group, 0, 0,
745 746
				      "block bitmap and bg descriptor "
				      "inconsistent: %u vs %u free clusters",
747
				      free, grp->bb_free);
748
		/*
749
		 * If we intend to continue, we consider group descriptor
750 751
		 * corrupt and update bb_free using bitmap value
		 */
752
		grp->bb_free = free;
753 754
		ext4_mark_group_bitmap_corrupted(sb, group,
					EXT4_GROUP_INFO_BBITMAP_CORRUPT);
755
	}
756
	mb_set_largest_free_order(sb, grp);
757 758 759 760

	clear_bit(EXT4_GROUP_INFO_NEED_INIT_BIT, &(grp->bb_state));

	period = get_cycles() - period;
761 762 763 764
	spin_lock(&sbi->s_bal_lock);
	sbi->s_mb_buddies_generated++;
	sbi->s_mb_generation_time += period;
	spin_unlock(&sbi->s_bal_lock);
765 766
}

767 768 769 770 771 772 773 774 775 776 777 778 779 780 781 782 783 784
static void mb_regenerate_buddy(struct ext4_buddy *e4b)
{
	int count;
	int order = 1;
	void *buddy;

	while ((buddy = mb_find_buddy(e4b, order++, &count))) {
		ext4_set_bits(buddy, 0, count);
	}
	e4b->bd_info->bb_fragments = 0;
	memset(e4b->bd_info->bb_counters, 0,
		sizeof(*e4b->bd_info->bb_counters) *
		(e4b->bd_sb->s_blocksize_bits + 2));

	ext4_mb_generate_buddy(e4b->bd_sb, e4b->bd_buddy,
		e4b->bd_bitmap, e4b->bd_group);
}

785 786 787 788 789 790 791
/* The buddy information is attached the buddy cache inode
 * for convenience. The information regarding each group
 * is loaded via ext4_mb_load_buddy. The information involve
 * block bitmap and buddy information. The information are
 * stored in the inode as
 *
 * {                        page                        }
792
 * [ group 0 bitmap][ group 0 buddy] [group 1][ group 1]...
793 794 795 796
 *
 *
 * one block each for bitmap and buddy information.
 * So for each group we take up 2 blocks. A page can
797
 * contain blocks_per_page (PAGE_SIZE / blocksize)  blocks.
798 799
 * So it can have information regarding groups_per_page which
 * is blocks_per_page/2
800 801 802
 *
 * Locking note:  This routine takes the block group lock of all groups
 * for this page; do not hold this lock when calling this routine!
803 804
 */

805
static int ext4_mb_init_cache(struct page *page, char *incore, gfp_t gfp)
806
{
807
	ext4_group_t ngroups;
808 809 810 811 812
	int blocksize;
	int blocks_per_page;
	int groups_per_page;
	int err = 0;
	int i;
813
	ext4_group_t first_group, group;
814 815 816
	int first_block;
	struct super_block *sb;
	struct buffer_head *bhs;
817
	struct buffer_head **bh = NULL;
818 819 820
	struct inode *inode;
	char *data;
	char *bitmap;
821
	struct ext4_group_info *grinfo;
822

823
	mb_debug(1, "init page %lu\n", page->index);
824 825 826

	inode = page->mapping->host;
	sb = inode->i_sb;
827
	ngroups = ext4_get_groups_count(sb);
F
Fabian Frederick 已提交
828
	blocksize = i_blocksize(inode);
829
	blocks_per_page = PAGE_SIZE / blocksize;
830 831 832 833 834 835 836 837

	groups_per_page = blocks_per_page >> 1;
	if (groups_per_page == 0)
		groups_per_page = 1;

	/* allocate buffer_heads to read bitmaps */
	if (groups_per_page > 1) {
		i = sizeof(struct buffer_head *) * groups_per_page;
838
		bh = kzalloc(i, gfp);
839 840
		if (bh == NULL) {
			err = -ENOMEM;
841
			goto out;
842
		}
843 844 845 846 847 848
	} else
		bh = &bhs;

	first_group = page->index * blocks_per_page / 2;

	/* read all groups the page covers into the cache */
849 850
	for (i = 0, group = first_group; i < groups_per_page; i++, group++) {
		if (group >= ngroups)
851 852
			break;

853
		grinfo = ext4_get_group_info(sb, group);
854 855 856 857 858 859 860 861 862 863
		/*
		 * If page is uptodate then we came here after online resize
		 * which added some new uninitialized group info structs, so
		 * we must skip all initialized uptodate buddies on the page,
		 * which may be currently in use by an allocating task.
		 */
		if (PageUptodate(page) && !EXT4_MB_GRP_NEED_INIT(grinfo)) {
			bh[i] = NULL;
			continue;
		}
864 865 866 867
		bh[i] = ext4_read_block_bitmap_nowait(sb, group);
		if (IS_ERR(bh[i])) {
			err = PTR_ERR(bh[i]);
			bh[i] = NULL;
868
			goto out;
869
		}
870
		mb_debug(1, "read bitmap for group %u\n", group);
871 872 873
	}

	/* wait for I/O completion */
874
	for (i = 0, group = first_group; i < groups_per_page; i++, group++) {
875 876 877 878 879 880 881
		int err2;

		if (!bh[i])
			continue;
		err2 = ext4_wait_block_bitmap(sb, group, bh[i]);
		if (!err)
			err = err2;
882
	}
883 884 885 886

	first_block = page->index * blocks_per_page;
	for (i = 0; i < blocks_per_page; i++) {
		group = (first_block + i) >> 1;
887
		if (group >= ngroups)
888 889
			break;

890 891 892 893
		if (!bh[group - first_group])
			/* skip initialized uptodate buddy */
			continue;

894 895 896 897 898
		if (!buffer_verified(bh[group - first_group]))
			/* Skip faulty bitmaps */
			continue;
		err = 0;

899 900 901 902 903 904 905 906 907 908 909 910 911 912 913 914
		/*
		 * data carry information regarding this
		 * particular group in the format specified
		 * above
		 *
		 */
		data = page_address(page) + (i * blocksize);
		bitmap = bh[group - first_group]->b_data;

		/*
		 * We place the buddy block and bitmap block
		 * close together
		 */
		if ((first_block + i) & 1) {
			/* this is block of buddy */
			BUG_ON(incore == NULL);
915
			mb_debug(1, "put buddy for group %u in page %lu/%x\n",
916
				group, page->index, i * blocksize);
917
			trace_ext4_mb_buddy_bitmap_load(sb, group);
918 919 920
			grinfo = ext4_get_group_info(sb, group);
			grinfo->bb_fragments = 0;
			memset(grinfo->bb_counters, 0,
921 922
			       sizeof(*grinfo->bb_counters) *
				(sb->s_blocksize_bits+2));
923 924 925
			/*
			 * incore got set to the group block bitmap below
			 */
926
			ext4_lock_group(sb, group);
927 928
			/* init the buddy */
			memset(data, 0xff, blocksize);
929
			ext4_mb_generate_buddy(sb, data, incore, group);
930
			ext4_unlock_group(sb, group);
931 932 933 934
			incore = NULL;
		} else {
			/* this is block of bitmap */
			BUG_ON(incore != NULL);
935
			mb_debug(1, "put bitmap for group %u in page %lu/%x\n",
936
				group, page->index, i * blocksize);
937
			trace_ext4_mb_bitmap_load(sb, group);
938 939 940 941 942 943 944

			/* see comments in ext4_mb_put_pa() */
			ext4_lock_group(sb, group);
			memcpy(data, bitmap, blocksize);

			/* mark all preallocated blks used in in-core bitmap */
			ext4_mb_generate_from_pa(sb, data, group);
945
			ext4_mb_generate_from_freelist(sb, data, group);
946 947 948 949 950 951 952 953 954 955 956 957
			ext4_unlock_group(sb, group);

			/* set incore so that the buddy information can be
			 * generated using this
			 */
			incore = data;
		}
	}
	SetPageUptodate(page);

out:
	if (bh) {
958
		for (i = 0; i < groups_per_page; i++)
959 960 961 962 963 964 965
			brelse(bh[i]);
		if (bh != &bhs)
			kfree(bh);
	}
	return err;
}

966
/*
967 968 969 970
 * Lock the buddy and bitmap pages. This make sure other parallel init_group
 * on the same buddy page doesn't happen whild holding the buddy page lock.
 * Return locked buddy and bitmap pages on e4b struct. If buddy and bitmap
 * are on the same page e4b->bd_buddy_page is NULL and return value is 0.
971
 */
972
static int ext4_mb_get_buddy_page_lock(struct super_block *sb,
973
		ext4_group_t group, struct ext4_buddy *e4b, gfp_t gfp)
974
{
975 976
	struct inode *inode = EXT4_SB(sb)->s_buddy_cache;
	int block, pnum, poff;
977
	int blocks_per_page;
978 979 980 981
	struct page *page;

	e4b->bd_buddy_page = NULL;
	e4b->bd_bitmap_page = NULL;
982

983
	blocks_per_page = PAGE_SIZE / sb->s_blocksize;
984 985 986 987 988 989 990
	/*
	 * the buddy cache inode stores the block bitmap
	 * and buddy information in consecutive blocks.
	 * So for each group we need two blocks.
	 */
	block = group * 2;
	pnum = block / blocks_per_page;
991
	poff = block % blocks_per_page;
992
	page = find_or_create_page(inode->i_mapping, pnum, gfp);
993
	if (!page)
994
		return -ENOMEM;
995 996 997 998 999 1000 1001
	BUG_ON(page->mapping != inode->i_mapping);
	e4b->bd_bitmap_page = page;
	e4b->bd_bitmap = page_address(page) + (poff * sb->s_blocksize);

	if (blocks_per_page >= 2) {
		/* buddy and bitmap are on the same page */
		return 0;
1002
	}
1003 1004 1005

	block++;
	pnum = block / blocks_per_page;
1006
	page = find_or_create_page(inode->i_mapping, pnum, gfp);
1007
	if (!page)
1008
		return -ENOMEM;
1009 1010 1011
	BUG_ON(page->mapping != inode->i_mapping);
	e4b->bd_buddy_page = page;
	return 0;
1012 1013
}

1014
static void ext4_mb_put_buddy_page_lock(struct ext4_buddy *e4b)
1015
{
1016 1017
	if (e4b->bd_bitmap_page) {
		unlock_page(e4b->bd_bitmap_page);
1018
		put_page(e4b->bd_bitmap_page);
1019 1020 1021
	}
	if (e4b->bd_buddy_page) {
		unlock_page(e4b->bd_buddy_page);
1022
		put_page(e4b->bd_buddy_page);
1023 1024 1025
	}
}

1026 1027 1028 1029 1030
/*
 * Locking note:  This routine calls ext4_mb_init_cache(), which takes the
 * block group lock of all groups for this page; do not hold the BG lock when
 * calling this routine!
 */
1031
static noinline_for_stack
1032
int ext4_mb_init_group(struct super_block *sb, ext4_group_t group, gfp_t gfp)
1033 1034 1035
{

	struct ext4_group_info *this_grp;
1036 1037 1038
	struct ext4_buddy e4b;
	struct page *page;
	int ret = 0;
1039

1040
	might_sleep();
1041 1042 1043
	mb_debug(1, "init group %u\n", group);
	this_grp = ext4_get_group_info(sb, group);
	/*
1044 1045 1046 1047
	 * This ensures that we don't reinit the buddy cache
	 * page which map to the group from which we are already
	 * allocating. If we are looking at the buddy cache we would
	 * have taken a reference using ext4_mb_load_buddy and that
1048
	 * would have pinned buddy page to page cache.
1049 1050
	 * The call to ext4_mb_get_buddy_page_lock will mark the
	 * page accessed.
1051
	 */
1052
	ret = ext4_mb_get_buddy_page_lock(sb, group, &e4b, gfp);
1053
	if (ret || !EXT4_MB_GRP_NEED_INIT(this_grp)) {
1054 1055 1056 1057 1058 1059
		/*
		 * somebody initialized the group
		 * return without doing anything
		 */
		goto err;
	}
1060 1061

	page = e4b.bd_bitmap_page;
1062
	ret = ext4_mb_init_cache(page, NULL, gfp);
1063 1064 1065
	if (ret)
		goto err;
	if (!PageUptodate(page)) {
1066 1067 1068 1069
		ret = -EIO;
		goto err;
	}

1070
	if (e4b.bd_buddy_page == NULL) {
1071 1072 1073 1074 1075
		/*
		 * If both the bitmap and buddy are in
		 * the same page we don't need to force
		 * init the buddy
		 */
1076 1077
		ret = 0;
		goto err;
1078
	}
1079 1080
	/* init buddy cache */
	page = e4b.bd_buddy_page;
1081
	ret = ext4_mb_init_cache(page, e4b.bd_bitmap, gfp);
1082 1083 1084
	if (ret)
		goto err;
	if (!PageUptodate(page)) {
1085 1086 1087 1088
		ret = -EIO;
		goto err;
	}
err:
1089
	ext4_mb_put_buddy_page_lock(&e4b);
1090 1091 1092
	return ret;
}

1093 1094 1095 1096 1097
/*
 * Locking note:  This routine calls ext4_mb_init_cache(), which takes the
 * block group lock of all groups for this page; do not hold the BG lock when
 * calling this routine!
 */
1098
static noinline_for_stack int
1099 1100
ext4_mb_load_buddy_gfp(struct super_block *sb, ext4_group_t group,
		       struct ext4_buddy *e4b, gfp_t gfp)
1101 1102 1103 1104 1105 1106
{
	int blocks_per_page;
	int block;
	int pnum;
	int poff;
	struct page *page;
1107
	int ret;
1108 1109 1110
	struct ext4_group_info *grp;
	struct ext4_sb_info *sbi = EXT4_SB(sb);
	struct inode *inode = sbi->s_buddy_cache;
1111

1112
	might_sleep();
1113
	mb_debug(1, "load group %u\n", group);
1114

1115
	blocks_per_page = PAGE_SIZE / sb->s_blocksize;
1116
	grp = ext4_get_group_info(sb, group);
1117 1118

	e4b->bd_blkbits = sb->s_blocksize_bits;
1119
	e4b->bd_info = grp;
1120 1121 1122 1123 1124
	e4b->bd_sb = sb;
	e4b->bd_group = group;
	e4b->bd_buddy_page = NULL;
	e4b->bd_bitmap_page = NULL;

1125 1126 1127 1128 1129
	if (unlikely(EXT4_MB_GRP_NEED_INIT(grp))) {
		/*
		 * we need full data about the group
		 * to make a good selection
		 */
1130
		ret = ext4_mb_init_group(sb, group, gfp);
1131 1132 1133 1134
		if (ret)
			return ret;
	}

1135 1136 1137 1138 1139 1140 1141 1142 1143 1144 1145
	/*
	 * the buddy cache inode stores the block bitmap
	 * and buddy information in consecutive blocks.
	 * So for each group we need two blocks.
	 */
	block = group * 2;
	pnum = block / blocks_per_page;
	poff = block % blocks_per_page;

	/* we could use find_or_create_page(), but it locks page
	 * what we'd like to avoid in fast path ... */
1146
	page = find_get_page_flags(inode->i_mapping, pnum, FGP_ACCESSED);
1147 1148
	if (page == NULL || !PageUptodate(page)) {
		if (page)
1149 1150 1151 1152 1153 1154 1155 1156
			/*
			 * drop the page reference and try
			 * to get the page with lock. If we
			 * are not uptodate that implies
			 * somebody just created the page but
			 * is yet to initialize the same. So
			 * wait for it to initialize.
			 */
1157
			put_page(page);
1158
		page = find_or_create_page(inode->i_mapping, pnum, gfp);
1159 1160 1161
		if (page) {
			BUG_ON(page->mapping != inode->i_mapping);
			if (!PageUptodate(page)) {
1162
				ret = ext4_mb_init_cache(page, NULL, gfp);
1163 1164 1165 1166
				if (ret) {
					unlock_page(page);
					goto err;
				}
1167 1168 1169 1170 1171 1172
				mb_cmp_bitmaps(e4b, page_address(page) +
					       (poff * sb->s_blocksize));
			}
			unlock_page(page);
		}
	}
1173 1174 1175 1176 1177
	if (page == NULL) {
		ret = -ENOMEM;
		goto err;
	}
	if (!PageUptodate(page)) {
1178
		ret = -EIO;
1179
		goto err;
1180
	}
1181 1182

	/* Pages marked accessed already */
1183 1184 1185 1186 1187 1188 1189
	e4b->bd_bitmap_page = page;
	e4b->bd_bitmap = page_address(page) + (poff * sb->s_blocksize);

	block++;
	pnum = block / blocks_per_page;
	poff = block % blocks_per_page;

1190
	page = find_get_page_flags(inode->i_mapping, pnum, FGP_ACCESSED);
1191 1192
	if (page == NULL || !PageUptodate(page)) {
		if (page)
1193
			put_page(page);
1194
		page = find_or_create_page(inode->i_mapping, pnum, gfp);
1195 1196
		if (page) {
			BUG_ON(page->mapping != inode->i_mapping);
1197
			if (!PageUptodate(page)) {
1198 1199
				ret = ext4_mb_init_cache(page, e4b->bd_bitmap,
							 gfp);
1200 1201 1202 1203 1204
				if (ret) {
					unlock_page(page);
					goto err;
				}
			}
1205 1206 1207
			unlock_page(page);
		}
	}
1208 1209 1210 1211 1212
	if (page == NULL) {
		ret = -ENOMEM;
		goto err;
	}
	if (!PageUptodate(page)) {
1213
		ret = -EIO;
1214
		goto err;
1215
	}
1216 1217

	/* Pages marked accessed already */
1218 1219 1220 1221 1222 1223 1224 1225 1226
	e4b->bd_buddy_page = page;
	e4b->bd_buddy = page_address(page) + (poff * sb->s_blocksize);

	BUG_ON(e4b->bd_bitmap_page == NULL);
	BUG_ON(e4b->bd_buddy_page == NULL);

	return 0;

err:
1227
	if (page)
1228
		put_page(page);
1229
	if (e4b->bd_bitmap_page)
1230
		put_page(e4b->bd_bitmap_page);
1231
	if (e4b->bd_buddy_page)
1232
		put_page(e4b->bd_buddy_page);
1233 1234
	e4b->bd_buddy = NULL;
	e4b->bd_bitmap = NULL;
1235
	return ret;
1236 1237
}

1238 1239 1240 1241 1242 1243
static int ext4_mb_load_buddy(struct super_block *sb, ext4_group_t group,
			      struct ext4_buddy *e4b)
{
	return ext4_mb_load_buddy_gfp(sb, group, e4b, GFP_NOFS);
}

1244
static void ext4_mb_unload_buddy(struct ext4_buddy *e4b)
1245 1246
{
	if (e4b->bd_bitmap_page)
1247
		put_page(e4b->bd_bitmap_page);
1248
	if (e4b->bd_buddy_page)
1249
		put_page(e4b->bd_buddy_page);
1250 1251 1252 1253 1254 1255
}


static int mb_find_order_for_block(struct ext4_buddy *e4b, int block)
{
	int order = 1;
1256
	int bb_incr = 1 << (e4b->bd_blkbits - 1);
1257 1258
	void *bb;

1259
	BUG_ON(e4b->bd_bitmap == e4b->bd_buddy);
1260 1261
	BUG_ON(block >= (1 << (e4b->bd_blkbits + 3)));

1262
	bb = e4b->bd_buddy;
1263 1264 1265 1266 1267 1268
	while (order <= e4b->bd_blkbits + 1) {
		block = block >> 1;
		if (!mb_test_bit(block, bb)) {
			/* this block is part of buddy of order 'order' */
			return order;
		}
1269 1270
		bb += bb_incr;
		bb_incr >>= 1;
1271 1272 1273 1274 1275
		order++;
	}
	return 0;
}

1276
static void mb_clear_bits(void *bm, int cur, int len)
1277 1278 1279 1280 1281 1282 1283 1284 1285 1286 1287 1288
{
	__u32 *addr;

	len = cur + len;
	while (cur < len) {
		if ((cur & 31) == 0 && (len - cur) >= 32) {
			/* fast path: clear whole word at once */
			addr = bm + (cur >> 3);
			*addr = 0;
			cur += 32;
			continue;
		}
1289
		mb_clear_bit(cur, bm);
1290 1291 1292 1293
		cur++;
	}
}

1294 1295 1296 1297 1298 1299 1300 1301 1302 1303 1304 1305 1306 1307 1308 1309 1310 1311 1312 1313 1314 1315 1316 1317 1318 1319 1320
/* clear bits in given range
 * will return first found zero bit if any, -1 otherwise
 */
static int mb_test_and_clear_bits(void *bm, int cur, int len)
{
	__u32 *addr;
	int zero_bit = -1;

	len = cur + len;
	while (cur < len) {
		if ((cur & 31) == 0 && (len - cur) >= 32) {
			/* fast path: clear whole word at once */
			addr = bm + (cur >> 3);
			if (*addr != (__u32)(-1) && zero_bit == -1)
				zero_bit = cur + mb_find_next_zero_bit(addr, 32, 0);
			*addr = 0;
			cur += 32;
			continue;
		}
		if (!mb_test_and_clear_bit(cur, bm) && zero_bit == -1)
			zero_bit = cur;
		cur++;
	}

	return zero_bit;
}

1321
void ext4_set_bits(void *bm, int cur, int len)
1322 1323 1324 1325 1326 1327 1328 1329 1330 1331 1332 1333
{
	__u32 *addr;

	len = cur + len;
	while (cur < len) {
		if ((cur & 31) == 0 && (len - cur) >= 32) {
			/* fast path: set whole word at once */
			addr = bm + (cur >> 3);
			*addr = 0xffffffff;
			cur += 32;
			continue;
		}
1334
		mb_set_bit(cur, bm);
1335 1336 1337 1338
		cur++;
	}
}

1339 1340 1341 1342 1343 1344 1345 1346 1347 1348 1349 1350 1351 1352 1353 1354 1355 1356 1357 1358 1359 1360 1361 1362 1363 1364 1365 1366 1367 1368 1369 1370 1371 1372 1373 1374 1375 1376 1377 1378 1379 1380 1381 1382 1383 1384 1385 1386 1387 1388 1389 1390 1391 1392 1393 1394 1395 1396 1397 1398 1399 1400 1401 1402 1403 1404 1405 1406 1407 1408 1409 1410 1411 1412
/*
 * _________________________________________________________________ */

static inline int mb_buddy_adjust_border(int* bit, void* bitmap, int side)
{
	if (mb_test_bit(*bit + side, bitmap)) {
		mb_clear_bit(*bit, bitmap);
		(*bit) -= side;
		return 1;
	}
	else {
		(*bit) += side;
		mb_set_bit(*bit, bitmap);
		return -1;
	}
}

static void mb_buddy_mark_free(struct ext4_buddy *e4b, int first, int last)
{
	int max;
	int order = 1;
	void *buddy = mb_find_buddy(e4b, order, &max);

	while (buddy) {
		void *buddy2;

		/* Bits in range [first; last] are known to be set since
		 * corresponding blocks were allocated. Bits in range
		 * (first; last) will stay set because they form buddies on
		 * upper layer. We just deal with borders if they don't
		 * align with upper layer and then go up.
		 * Releasing entire group is all about clearing
		 * single bit of highest order buddy.
		 */

		/* Example:
		 * ---------------------------------
		 * |   1   |   1   |   1   |   1   |
		 * ---------------------------------
		 * | 0 | 1 | 1 | 1 | 1 | 1 | 1 | 1 |
		 * ---------------------------------
		 *   0   1   2   3   4   5   6   7
		 *      \_____________________/
		 *
		 * Neither [1] nor [6] is aligned to above layer.
		 * Left neighbour [0] is free, so mark it busy,
		 * decrease bb_counters and extend range to
		 * [0; 6]
		 * Right neighbour [7] is busy. It can't be coaleasced with [6], so
		 * mark [6] free, increase bb_counters and shrink range to
		 * [0; 5].
		 * Then shift range to [0; 2], go up and do the same.
		 */


		if (first & 1)
			e4b->bd_info->bb_counters[order] += mb_buddy_adjust_border(&first, buddy, -1);
		if (!(last & 1))
			e4b->bd_info->bb_counters[order] += mb_buddy_adjust_border(&last, buddy, 1);
		if (first > last)
			break;
		order++;

		if (first == last || !(buddy2 = mb_find_buddy(e4b, order, &max))) {
			mb_clear_bits(buddy, first, last - first + 1);
			e4b->bd_info->bb_counters[order - 1] += last - first + 1;
			break;
		}
		first >>= 1;
		last >>= 1;
		buddy = buddy2;
	}
}

1413
static void mb_free_blocks(struct inode *inode, struct ext4_buddy *e4b,
1414
			   int first, int count)
1415
{
1416 1417 1418 1419
	int left_is_free = 0;
	int right_is_free = 0;
	int block;
	int last = first + count - 1;
1420 1421
	struct super_block *sb = e4b->bd_sb;

1422 1423
	if (WARN_ON(count == 0))
		return;
1424
	BUG_ON(last >= (sb->s_blocksize << 3));
1425
	assert_spin_locked(ext4_group_lock_ptr(sb, e4b->bd_group));
1426 1427 1428 1429
	/* Don't bother if the block group is corrupt. */
	if (unlikely(EXT4_MB_GRP_BBITMAP_CORRUPT(e4b->bd_info)))
		return;

1430 1431 1432 1433 1434 1435 1436
	mb_check_buddy(e4b);
	mb_free_blocks_double(inode, e4b, first, count);

	e4b->bd_info->bb_free += count;
	if (first < e4b->bd_info->bb_first_free)
		e4b->bd_info->bb_first_free = first;

1437 1438 1439
	/* access memory sequentially: check left neighbour,
	 * clear range and then check right neighbour
	 */
1440
	if (first != 0)
1441 1442 1443 1444 1445 1446
		left_is_free = !mb_test_bit(first - 1, e4b->bd_bitmap);
	block = mb_test_and_clear_bits(e4b->bd_bitmap, first, count);
	if (last + 1 < EXT4_SB(sb)->s_mb_maxs[0])
		right_is_free = !mb_test_bit(last + 1, e4b->bd_bitmap);

	if (unlikely(block != -1)) {
1447
		struct ext4_sb_info *sbi = EXT4_SB(sb);
1448 1449 1450
		ext4_fsblk_t blocknr;

		blocknr = ext4_group_first_block_no(sb, e4b->bd_group);
1451
		blocknr += EXT4_C2B(sbi, block);
1452 1453 1454 1455
		ext4_grp_locked_error(sb, e4b->bd_group,
				      inode ? inode->i_ino : 0,
				      blocknr,
				      "freeing already freed block "
1456 1457
				      "(bit %u); block bitmap corrupt.",
				      block);
1458 1459
		ext4_mark_group_bitmap_corrupted(sb, e4b->bd_group,
				EXT4_GROUP_INFO_BBITMAP_CORRUPT);
1460 1461 1462 1463 1464 1465
		mb_regenerate_buddy(e4b);
		goto done;
	}

	/* let's maintain fragments counter */
	if (left_is_free && right_is_free)
1466
		e4b->bd_info->bb_fragments--;
1467
	else if (!left_is_free && !right_is_free)
1468 1469
		e4b->bd_info->bb_fragments++;

1470 1471 1472 1473 1474 1475 1476 1477 1478 1479 1480 1481 1482 1483
	/* buddy[0] == bd_bitmap is a special case, so handle
	 * it right away and let mb_buddy_mark_free stay free of
	 * zero order checks.
	 * Check if neighbours are to be coaleasced,
	 * adjust bitmap bb_counters and borders appropriately.
	 */
	if (first & 1) {
		first += !left_is_free;
		e4b->bd_info->bb_counters[0] += left_is_free ? -1 : 1;
	}
	if (!(last & 1)) {
		last -= !right_is_free;
		e4b->bd_info->bb_counters[0] += right_is_free ? -1 : 1;
	}
1484

1485 1486
	if (first <= last)
		mb_buddy_mark_free(e4b, first >> 1, last >> 1);
1487

1488
done:
1489
	mb_set_largest_free_order(sb, e4b->bd_info);
1490 1491 1492
	mb_check_buddy(e4b);
}

1493
static int mb_find_extent(struct ext4_buddy *e4b, int block,
1494 1495 1496
				int needed, struct ext4_free_extent *ex)
{
	int next = block;
1497
	int max, order;
1498 1499
	void *buddy;

1500
	assert_spin_locked(ext4_group_lock_ptr(e4b->bd_sb, e4b->bd_group));
1501 1502
	BUG_ON(ex == NULL);

1503
	buddy = mb_find_buddy(e4b, 0, &max);
1504 1505 1506 1507 1508 1509 1510 1511 1512
	BUG_ON(buddy == NULL);
	BUG_ON(block >= max);
	if (mb_test_bit(block, buddy)) {
		ex->fe_len = 0;
		ex->fe_start = 0;
		ex->fe_group = 0;
		return 0;
	}

1513 1514 1515
	/* find actual order */
	order = mb_find_order_for_block(e4b, block);
	block = block >> order;
1516 1517 1518 1519 1520 1521 1522 1523 1524 1525 1526

	ex->fe_len = 1 << order;
	ex->fe_start = block << order;
	ex->fe_group = e4b->bd_group;

	/* calc difference from given start */
	next = next - ex->fe_start;
	ex->fe_len -= next;
	ex->fe_start += next;

	while (needed > ex->fe_len &&
A
Alan Cox 已提交
1527
	       mb_find_buddy(e4b, order, &max)) {
1528 1529 1530 1531 1532

		if (block + 1 >= max)
			break;

		next = (block + 1) * (1 << order);
1533
		if (mb_test_bit(next, e4b->bd_bitmap))
1534 1535
			break;

1536
		order = mb_find_order_for_block(e4b, next);
1537 1538 1539 1540 1541

		block = next >> order;
		ex->fe_len += 1 << order;
	}

1542 1543 1544 1545 1546 1547 1548 1549 1550 1551 1552
	if (ex->fe_start + ex->fe_len > (1 << (e4b->bd_blkbits + 3))) {
		/* Should never happen! (but apparently sometimes does?!?) */
		WARN_ON(1);
		ext4_error(e4b->bd_sb, "corruption or bug in mb_find_extent "
			   "block=%d, order=%d needed=%d ex=%u/%d/%d@%u",
			   block, order, needed, ex->fe_group, ex->fe_start,
			   ex->fe_len, ex->fe_logical);
		ex->fe_len = 0;
		ex->fe_start = 0;
		ex->fe_group = 0;
	}
1553 1554 1555 1556 1557 1558 1559 1560 1561 1562 1563 1564 1565 1566 1567 1568 1569
	return ex->fe_len;
}

static int mb_mark_used(struct ext4_buddy *e4b, struct ext4_free_extent *ex)
{
	int ord;
	int mlen = 0;
	int max = 0;
	int cur;
	int start = ex->fe_start;
	int len = ex->fe_len;
	unsigned ret = 0;
	int len0 = len;
	void *buddy;

	BUG_ON(start + len > (e4b->bd_sb->s_blocksize << 3));
	BUG_ON(e4b->bd_group != ex->fe_group);
1570
	assert_spin_locked(ext4_group_lock_ptr(e4b->bd_sb, e4b->bd_group));
1571 1572 1573 1574 1575 1576 1577 1578 1579
	mb_check_buddy(e4b);
	mb_mark_used_double(e4b, start, len);

	e4b->bd_info->bb_free -= len;
	if (e4b->bd_info->bb_first_free == start)
		e4b->bd_info->bb_first_free += len;

	/* let's maintain fragments counter */
	if (start != 0)
1580
		mlen = !mb_test_bit(start - 1, e4b->bd_bitmap);
1581
	if (start + len < EXT4_SB(e4b->bd_sb)->s_mb_maxs[0])
1582
		max = !mb_test_bit(start + len, e4b->bd_bitmap);
1583 1584 1585 1586 1587 1588 1589 1590 1591 1592 1593 1594 1595 1596 1597 1598 1599 1600 1601 1602 1603 1604 1605 1606 1607 1608 1609 1610 1611 1612 1613 1614 1615 1616 1617 1618 1619 1620 1621 1622
	if (mlen && max)
		e4b->bd_info->bb_fragments++;
	else if (!mlen && !max)
		e4b->bd_info->bb_fragments--;

	/* let's maintain buddy itself */
	while (len) {
		ord = mb_find_order_for_block(e4b, start);

		if (((start >> ord) << ord) == start && len >= (1 << ord)) {
			/* the whole chunk may be allocated at once! */
			mlen = 1 << ord;
			buddy = mb_find_buddy(e4b, ord, &max);
			BUG_ON((start >> ord) >= max);
			mb_set_bit(start >> ord, buddy);
			e4b->bd_info->bb_counters[ord]--;
			start += mlen;
			len -= mlen;
			BUG_ON(len < 0);
			continue;
		}

		/* store for history */
		if (ret == 0)
			ret = len | (ord << 16);

		/* we have to split large buddy */
		BUG_ON(ord <= 0);
		buddy = mb_find_buddy(e4b, ord, &max);
		mb_set_bit(start >> ord, buddy);
		e4b->bd_info->bb_counters[ord]--;

		ord--;
		cur = (start >> ord) & ~1U;
		buddy = mb_find_buddy(e4b, ord, &max);
		mb_clear_bit(cur, buddy);
		mb_clear_bit(cur + 1, buddy);
		e4b->bd_info->bb_counters[ord]++;
		e4b->bd_info->bb_counters[ord]++;
	}
1623
	mb_set_largest_free_order(e4b->bd_sb, e4b->bd_info);
1624

1625
	ext4_set_bits(e4b->bd_bitmap, ex->fe_start, len0);
1626 1627 1628 1629 1630 1631 1632 1633 1634 1635 1636 1637 1638 1639 1640 1641 1642 1643 1644 1645 1646 1647 1648 1649 1650 1651 1652 1653 1654
	mb_check_buddy(e4b);

	return ret;
}

/*
 * Must be called under group lock!
 */
static void ext4_mb_use_best_found(struct ext4_allocation_context *ac,
					struct ext4_buddy *e4b)
{
	struct ext4_sb_info *sbi = EXT4_SB(ac->ac_sb);
	int ret;

	BUG_ON(ac->ac_b_ex.fe_group != e4b->bd_group);
	BUG_ON(ac->ac_status == AC_STATUS_FOUND);

	ac->ac_b_ex.fe_len = min(ac->ac_b_ex.fe_len, ac->ac_g_ex.fe_len);
	ac->ac_b_ex.fe_logical = ac->ac_g_ex.fe_logical;
	ret = mb_mark_used(e4b, &ac->ac_b_ex);

	/* preallocation can change ac_b_ex, thus we store actually
	 * allocated blocks for history */
	ac->ac_f_ex = ac->ac_b_ex;

	ac->ac_status = AC_STATUS_FOUND;
	ac->ac_tail = ret & 0xffff;
	ac->ac_buddy = ret >> 16;

1655 1656 1657 1658 1659 1660 1661
	/*
	 * take the page reference. We want the page to be pinned
	 * so that we don't get a ext4_mb_init_cache_call for this
	 * group until we update the bitmap. That would mean we
	 * double allocate blocks. The reference is dropped
	 * in ext4_mb_release_context
	 */
1662 1663 1664 1665 1666
	ac->ac_bitmap_page = e4b->bd_bitmap_page;
	get_page(ac->ac_bitmap_page);
	ac->ac_buddy_page = e4b->bd_buddy_page;
	get_page(ac->ac_buddy_page);
	/* store last allocated for subsequent stream allocation */
1667
	if (ac->ac_flags & EXT4_MB_STREAM_ALLOC) {
1668 1669 1670 1671 1672 1673 1674 1675 1676 1677 1678 1679 1680 1681 1682 1683 1684 1685 1686 1687 1688
		spin_lock(&sbi->s_md_lock);
		sbi->s_mb_last_group = ac->ac_f_ex.fe_group;
		sbi->s_mb_last_start = ac->ac_f_ex.fe_start;
		spin_unlock(&sbi->s_md_lock);
	}
}

/*
 * regular allocator, for general purposes allocation
 */

static void ext4_mb_check_limits(struct ext4_allocation_context *ac,
					struct ext4_buddy *e4b,
					int finish_group)
{
	struct ext4_sb_info *sbi = EXT4_SB(ac->ac_sb);
	struct ext4_free_extent *bex = &ac->ac_b_ex;
	struct ext4_free_extent *gex = &ac->ac_g_ex;
	struct ext4_free_extent ex;
	int max;

1689 1690
	if (ac->ac_status == AC_STATUS_FOUND)
		return;
1691 1692 1693 1694 1695 1696 1697 1698 1699 1700 1701 1702 1703 1704 1705 1706 1707 1708 1709 1710
	/*
	 * We don't want to scan for a whole year
	 */
	if (ac->ac_found > sbi->s_mb_max_to_scan &&
			!(ac->ac_flags & EXT4_MB_HINT_FIRST)) {
		ac->ac_status = AC_STATUS_BREAK;
		return;
	}

	/*
	 * Haven't found good chunk so far, let's continue
	 */
	if (bex->fe_len < gex->fe_len)
		return;

	if ((finish_group || ac->ac_found > sbi->s_mb_min_to_scan)
			&& bex->fe_group == e4b->bd_group) {
		/* recheck chunk's availability - we don't know
		 * when it was found (within this lock-unlock
		 * period or not) */
1711
		max = mb_find_extent(e4b, bex->fe_start, gex->fe_len, &ex);
1712 1713 1714 1715 1716 1717 1718 1719 1720 1721 1722 1723 1724 1725 1726 1727 1728 1729 1730 1731 1732 1733 1734 1735 1736
		if (max >= gex->fe_len) {
			ext4_mb_use_best_found(ac, e4b);
			return;
		}
	}
}

/*
 * The routine checks whether found extent is good enough. If it is,
 * then the extent gets marked used and flag is set to the context
 * to stop scanning. Otherwise, the extent is compared with the
 * previous found extent and if new one is better, then it's stored
 * in the context. Later, the best found extent will be used, if
 * mballoc can't find good enough extent.
 *
 * FIXME: real allocation policy is to be designed yet!
 */
static void ext4_mb_measure_extent(struct ext4_allocation_context *ac,
					struct ext4_free_extent *ex,
					struct ext4_buddy *e4b)
{
	struct ext4_free_extent *bex = &ac->ac_b_ex;
	struct ext4_free_extent *gex = &ac->ac_g_ex;

	BUG_ON(ex->fe_len <= 0);
1737 1738
	BUG_ON(ex->fe_len > EXT4_CLUSTERS_PER_GROUP(ac->ac_sb));
	BUG_ON(ex->fe_start >= EXT4_CLUSTERS_PER_GROUP(ac->ac_sb));
1739 1740 1741 1742 1743 1744 1745 1746 1747 1748 1749 1750 1751 1752 1753 1754 1755 1756 1757 1758 1759 1760 1761 1762 1763 1764 1765 1766 1767 1768 1769 1770 1771 1772 1773 1774 1775 1776 1777 1778 1779 1780 1781 1782 1783 1784 1785 1786 1787
	BUG_ON(ac->ac_status != AC_STATUS_CONTINUE);

	ac->ac_found++;

	/*
	 * The special case - take what you catch first
	 */
	if (unlikely(ac->ac_flags & EXT4_MB_HINT_FIRST)) {
		*bex = *ex;
		ext4_mb_use_best_found(ac, e4b);
		return;
	}

	/*
	 * Let's check whether the chuck is good enough
	 */
	if (ex->fe_len == gex->fe_len) {
		*bex = *ex;
		ext4_mb_use_best_found(ac, e4b);
		return;
	}

	/*
	 * If this is first found extent, just store it in the context
	 */
	if (bex->fe_len == 0) {
		*bex = *ex;
		return;
	}

	/*
	 * If new found extent is better, store it in the context
	 */
	if (bex->fe_len < gex->fe_len) {
		/* if the request isn't satisfied, any found extent
		 * larger than previous best one is better */
		if (ex->fe_len > bex->fe_len)
			*bex = *ex;
	} else if (ex->fe_len > gex->fe_len) {
		/* if the request is satisfied, then we try to find
		 * an extent that still satisfy the request, but is
		 * smaller than previous one */
		if (ex->fe_len < bex->fe_len)
			*bex = *ex;
	}

	ext4_mb_check_limits(ac, e4b, 0);
}

1788 1789
static noinline_for_stack
int ext4_mb_try_best_found(struct ext4_allocation_context *ac,
1790 1791 1792 1793 1794 1795 1796 1797 1798 1799 1800 1801 1802
					struct ext4_buddy *e4b)
{
	struct ext4_free_extent ex = ac->ac_b_ex;
	ext4_group_t group = ex.fe_group;
	int max;
	int err;

	BUG_ON(ex.fe_len <= 0);
	err = ext4_mb_load_buddy(ac->ac_sb, group, e4b);
	if (err)
		return err;

	ext4_lock_group(ac->ac_sb, group);
1803
	max = mb_find_extent(e4b, ex.fe_start, ex.fe_len, &ex);
1804 1805 1806 1807 1808 1809 1810

	if (max > 0) {
		ac->ac_b_ex = ex;
		ext4_mb_use_best_found(ac, e4b);
	}

	ext4_unlock_group(ac->ac_sb, group);
1811
	ext4_mb_unload_buddy(e4b);
1812 1813 1814 1815

	return 0;
}

1816 1817
static noinline_for_stack
int ext4_mb_find_by_goal(struct ext4_allocation_context *ac,
1818 1819 1820 1821 1822 1823
				struct ext4_buddy *e4b)
{
	ext4_group_t group = ac->ac_g_ex.fe_group;
	int max;
	int err;
	struct ext4_sb_info *sbi = EXT4_SB(ac->ac_sb);
1824
	struct ext4_group_info *grp = ext4_get_group_info(ac->ac_sb, group);
1825 1826 1827 1828
	struct ext4_free_extent ex;

	if (!(ac->ac_flags & EXT4_MB_HINT_TRY_GOAL))
		return 0;
1829 1830
	if (grp->bb_free == 0)
		return 0;
1831 1832 1833 1834 1835

	err = ext4_mb_load_buddy(ac->ac_sb, group, e4b);
	if (err)
		return err;

1836 1837 1838 1839 1840
	if (unlikely(EXT4_MB_GRP_BBITMAP_CORRUPT(e4b->bd_info))) {
		ext4_mb_unload_buddy(e4b);
		return 0;
	}

1841
	ext4_lock_group(ac->ac_sb, group);
1842
	max = mb_find_extent(e4b, ac->ac_g_ex.fe_start,
1843
			     ac->ac_g_ex.fe_len, &ex);
1844
	ex.fe_logical = 0xDEADFA11; /* debug value */
1845 1846 1847 1848

	if (max >= ac->ac_g_ex.fe_len && ac->ac_g_ex.fe_len == sbi->s_stripe) {
		ext4_fsblk_t start;

1849 1850
		start = ext4_group_first_block_no(ac->ac_sb, e4b->bd_group) +
			ex.fe_start;
1851 1852 1853 1854 1855 1856 1857 1858 1859 1860 1861 1862 1863 1864 1865 1866 1867 1868 1869 1870 1871 1872 1873 1874
		/* use do_div to get remainder (would be 64-bit modulo) */
		if (do_div(start, sbi->s_stripe) == 0) {
			ac->ac_found++;
			ac->ac_b_ex = ex;
			ext4_mb_use_best_found(ac, e4b);
		}
	} else if (max >= ac->ac_g_ex.fe_len) {
		BUG_ON(ex.fe_len <= 0);
		BUG_ON(ex.fe_group != ac->ac_g_ex.fe_group);
		BUG_ON(ex.fe_start != ac->ac_g_ex.fe_start);
		ac->ac_found++;
		ac->ac_b_ex = ex;
		ext4_mb_use_best_found(ac, e4b);
	} else if (max > 0 && (ac->ac_flags & EXT4_MB_HINT_MERGE)) {
		/* Sometimes, caller may want to merge even small
		 * number of blocks to an existing extent */
		BUG_ON(ex.fe_len <= 0);
		BUG_ON(ex.fe_group != ac->ac_g_ex.fe_group);
		BUG_ON(ex.fe_start != ac->ac_g_ex.fe_start);
		ac->ac_found++;
		ac->ac_b_ex = ex;
		ext4_mb_use_best_found(ac, e4b);
	}
	ext4_unlock_group(ac->ac_sb, group);
1875
	ext4_mb_unload_buddy(e4b);
1876 1877 1878 1879 1880 1881 1882 1883

	return 0;
}

/*
 * The routine scans buddy structures (not bitmap!) from given order
 * to max order and tries to find big enough chunk to satisfy the req
 */
1884 1885
static noinline_for_stack
void ext4_mb_simple_scan_group(struct ext4_allocation_context *ac,
1886 1887 1888 1889 1890 1891 1892 1893 1894 1895 1896 1897 1898 1899 1900 1901 1902
					struct ext4_buddy *e4b)
{
	struct super_block *sb = ac->ac_sb;
	struct ext4_group_info *grp = e4b->bd_info;
	void *buddy;
	int i;
	int k;
	int max;

	BUG_ON(ac->ac_2order <= 0);
	for (i = ac->ac_2order; i <= sb->s_blocksize_bits + 1; i++) {
		if (grp->bb_counters[i] == 0)
			continue;

		buddy = mb_find_buddy(e4b, i, &max);
		BUG_ON(buddy == NULL);

1903
		k = mb_find_next_zero_bit(buddy, max, 0);
1904 1905 1906 1907 1908 1909 1910 1911 1912 1913 1914 1915 1916 1917 1918 1919 1920 1921 1922 1923 1924 1925 1926 1927
		BUG_ON(k >= max);

		ac->ac_found++;

		ac->ac_b_ex.fe_len = 1 << i;
		ac->ac_b_ex.fe_start = k << i;
		ac->ac_b_ex.fe_group = e4b->bd_group;

		ext4_mb_use_best_found(ac, e4b);

		BUG_ON(ac->ac_b_ex.fe_len != ac->ac_g_ex.fe_len);

		if (EXT4_SB(sb)->s_mb_stats)
			atomic_inc(&EXT4_SB(sb)->s_bal_2orders);

		break;
	}
}

/*
 * The routine scans the group and measures all found extents.
 * In order to optimize scanning, caller must pass number of
 * free blocks in the group, so the routine can know upper limit.
 */
1928 1929
static noinline_for_stack
void ext4_mb_complex_scan_group(struct ext4_allocation_context *ac,
1930 1931 1932
					struct ext4_buddy *e4b)
{
	struct super_block *sb = ac->ac_sb;
1933
	void *bitmap = e4b->bd_bitmap;
1934 1935 1936 1937 1938 1939 1940 1941 1942 1943
	struct ext4_free_extent ex;
	int i;
	int free;

	free = e4b->bd_info->bb_free;
	BUG_ON(free <= 0);

	i = e4b->bd_info->bb_first_free;

	while (free && ac->ac_status == AC_STATUS_CONTINUE) {
1944
		i = mb_find_next_zero_bit(bitmap,
1945 1946
						EXT4_CLUSTERS_PER_GROUP(sb), i);
		if (i >= EXT4_CLUSTERS_PER_GROUP(sb)) {
1947
			/*
1948
			 * IF we have corrupt bitmap, we won't find any
1949 1950 1951
			 * free blocks even though group info says we
			 * we have free blocks
			 */
1952
			ext4_grp_locked_error(sb, e4b->bd_group, 0, 0,
1953
					"%d free clusters as per "
1954
					"group info. But bitmap says 0",
1955
					free);
1956 1957
			ext4_mark_group_bitmap_corrupted(sb, e4b->bd_group,
					EXT4_GROUP_INFO_BBITMAP_CORRUPT);
1958 1959 1960
			break;
		}

1961
		mb_find_extent(e4b, i, ac->ac_g_ex.fe_len, &ex);
1962
		BUG_ON(ex.fe_len <= 0);
1963
		if (free < ex.fe_len) {
1964
			ext4_grp_locked_error(sb, e4b->bd_group, 0, 0,
1965
					"%d free clusters as per "
1966
					"group info. But got %d blocks",
1967
					free, ex.fe_len);
1968 1969
			ext4_mark_group_bitmap_corrupted(sb, e4b->bd_group,
					EXT4_GROUP_INFO_BBITMAP_CORRUPT);
1970 1971 1972 1973 1974 1975
			/*
			 * The number of free blocks differs. This mostly
			 * indicate that the bitmap is corrupt. So exit
			 * without claiming the space.
			 */
			break;
1976
		}
1977
		ex.fe_logical = 0xDEADC0DE; /* debug value */
1978 1979 1980 1981 1982 1983 1984 1985 1986 1987 1988
		ext4_mb_measure_extent(ac, &ex, e4b);

		i += ex.fe_len;
		free -= ex.fe_len;
	}

	ext4_mb_check_limits(ac, e4b, 1);
}

/*
 * This is a special case for storages like raid5
1989
 * we try to find stripe-aligned chunks for stripe-size-multiple requests
1990
 */
1991 1992
static noinline_for_stack
void ext4_mb_scan_aligned(struct ext4_allocation_context *ac,
1993 1994 1995 1996
				 struct ext4_buddy *e4b)
{
	struct super_block *sb = ac->ac_sb;
	struct ext4_sb_info *sbi = EXT4_SB(sb);
1997
	void *bitmap = e4b->bd_bitmap;
1998 1999 2000 2001 2002 2003 2004 2005 2006
	struct ext4_free_extent ex;
	ext4_fsblk_t first_group_block;
	ext4_fsblk_t a;
	ext4_grpblk_t i;
	int max;

	BUG_ON(sbi->s_stripe == 0);

	/* find first stripe-aligned block in group */
2007 2008
	first_group_block = ext4_group_first_block_no(sb, e4b->bd_group);

2009 2010 2011 2012
	a = first_group_block + sbi->s_stripe - 1;
	do_div(a, sbi->s_stripe);
	i = (a * sbi->s_stripe) - first_group_block;

2013
	while (i < EXT4_CLUSTERS_PER_GROUP(sb)) {
2014
		if (!mb_test_bit(i, bitmap)) {
2015
			max = mb_find_extent(e4b, i, sbi->s_stripe, &ex);
2016 2017
			if (max >= sbi->s_stripe) {
				ac->ac_found++;
2018
				ex.fe_logical = 0xDEADF00D; /* debug value */
2019 2020 2021 2022 2023 2024 2025 2026 2027
				ac->ac_b_ex = ex;
				ext4_mb_use_best_found(ac, e4b);
				break;
			}
		}
		i += sbi->s_stripe;
	}
}

2028 2029 2030 2031 2032 2033
/*
 * This is now called BEFORE we load the buddy bitmap.
 * Returns either 1 or 0 indicating that the group is either suitable
 * for the allocation or not. In addition it can also return negative
 * error code when something goes wrong.
 */
2034 2035 2036 2037
static int ext4_mb_good_group(struct ext4_allocation_context *ac,
				ext4_group_t group, int cr)
{
	unsigned free, fragments;
2038
	int flex_size = ext4_flex_bg_size(EXT4_SB(ac->ac_sb));
2039 2040 2041
	struct ext4_group_info *grp = ext4_get_group_info(ac->ac_sb, group);

	BUG_ON(cr < 0 || cr >= 4);
2042

2043 2044 2045 2046 2047 2048
	free = grp->bb_free;
	if (free == 0)
		return 0;
	if (cr <= 2 && free < ac->ac_g_ex.fe_len)
		return 0;

2049 2050 2051
	if (unlikely(EXT4_MB_GRP_BBITMAP_CORRUPT(grp)))
		return 0;

2052 2053
	/* We only do this if the grp has never been initialized */
	if (unlikely(EXT4_MB_GRP_NEED_INIT(grp))) {
2054
		int ret = ext4_mb_init_group(ac->ac_sb, group, GFP_NOFS);
2055
		if (ret)
2056
			return ret;
2057
	}
2058 2059 2060 2061 2062 2063 2064 2065 2066

	fragments = grp->bb_fragments;
	if (fragments == 0)
		return 0;

	switch (cr) {
	case 0:
		BUG_ON(ac->ac_2order == 0);

2067 2068 2069 2070 2071 2072
		/* Avoid using the first bg of a flexgroup for data files */
		if ((ac->ac_flags & EXT4_MB_HINT_DATA) &&
		    (flex_size >= EXT4_FLEX_SIZE_DIR_ALLOC_SCHEME) &&
		    ((group % flex_size) == 0))
			return 0;

2073 2074 2075 2076 2077 2078 2079
		if ((ac->ac_2order > ac->ac_sb->s_blocksize_bits+1) ||
		    (free / fragments) >= ac->ac_g_ex.fe_len)
			return 1;

		if (grp->bb_largest_free_order < ac->ac_2order)
			return 0;

2080
		return 1;
2081 2082 2083 2084 2085 2086 2087 2088 2089 2090 2091 2092 2093 2094 2095 2096 2097
	case 1:
		if ((free / fragments) >= ac->ac_g_ex.fe_len)
			return 1;
		break;
	case 2:
		if (free >= ac->ac_g_ex.fe_len)
			return 1;
		break;
	case 3:
		return 1;
	default:
		BUG();
	}

	return 0;
}

2098 2099
static noinline_for_stack int
ext4_mb_regular_allocator(struct ext4_allocation_context *ac)
2100
{
2101
	ext4_group_t ngroups, group, i;
2102
	int cr;
2103
	int err = 0, first_err = 0;
2104 2105 2106 2107 2108 2109
	struct ext4_sb_info *sbi;
	struct super_block *sb;
	struct ext4_buddy e4b;

	sb = ac->ac_sb;
	sbi = EXT4_SB(sb);
2110
	ngroups = ext4_get_groups_count(sb);
2111
	/* non-extent files are limited to low blocks/groups */
2112
	if (!(ext4_test_inode_flag(ac->ac_inode, EXT4_INODE_EXTENTS)))
2113 2114
		ngroups = sbi->s_blockfile_groups;

2115 2116 2117 2118 2119 2120 2121 2122 2123 2124 2125 2126 2127 2128 2129 2130 2131 2132 2133 2134
	BUG_ON(ac->ac_status == AC_STATUS_FOUND);

	/* first, try the goal */
	err = ext4_mb_find_by_goal(ac, &e4b);
	if (err || ac->ac_status == AC_STATUS_FOUND)
		goto out;

	if (unlikely(ac->ac_flags & EXT4_MB_HINT_GOAL_ONLY))
		goto out;

	/*
	 * ac->ac2_order is set only if the fe_len is a power of 2
	 * if ac2_order is set we also set criteria to 0 so that we
	 * try exact allocation using buddy.
	 */
	i = fls(ac->ac_g_ex.fe_len);
	ac->ac_2order = 0;
	/*
	 * We search using buddy data only if the order of the request
	 * is greater than equal to the sbi_s_mb_order2_reqs
T
Theodore Ts'o 已提交
2135
	 * You can tune it via /sys/fs/ext4/<partition>/mb_order2_req
2136 2137
	 * We also support searching for power-of-two requests only for
	 * requests upto maximum buddy size we have constructed.
2138
	 */
2139
	if (i >= sbi->s_mb_order2_reqs && i <= sb->s_blocksize_bits + 2) {
2140 2141 2142 2143
		/*
		 * This should tell if fe_len is exactly power of 2
		 */
		if ((ac->ac_g_ex.fe_len & (~(1 << (i - 1)))) == 0)
2144 2145
			ac->ac_2order = array_index_nospec(i - 1,
							   sb->s_blocksize_bits + 2);
2146 2147
	}

2148 2149
	/* if stream allocation is enabled, use global goal */
	if (ac->ac_flags & EXT4_MB_STREAM_ALLOC) {
2150 2151 2152 2153 2154 2155
		/* TBD: may be hot point */
		spin_lock(&sbi->s_md_lock);
		ac->ac_g_ex.fe_group = sbi->s_mb_last_group;
		ac->ac_g_ex.fe_start = sbi->s_mb_last_start;
		spin_unlock(&sbi->s_md_lock);
	}
2156

2157 2158 2159 2160 2161 2162 2163 2164 2165
	/* Let's just scan groups to find more-less suitable blocks */
	cr = ac->ac_2order ? 0 : 1;
	/*
	 * cr == 0 try to get exact allocation,
	 * cr == 3  try to get anything
	 */
repeat:
	for (; cr < 4 && ac->ac_status == AC_STATUS_CONTINUE; cr++) {
		ac->ac_criteria = cr;
2166 2167 2168 2169 2170 2171
		/*
		 * searching for the right group start
		 * from the goal value specified
		 */
		group = ac->ac_g_ex.fe_group;

2172
		for (i = 0; i < ngroups; group++, i++) {
2173
			int ret = 0;
2174
			cond_resched();
2175 2176 2177 2178 2179
			/*
			 * Artificially restricted ngroups for non-extent
			 * files makes group > ngroups possible on first loop.
			 */
			if (group >= ngroups)
2180 2181
				group = 0;

2182
			/* This now checks without needing the buddy page */
2183 2184 2185 2186
			ret = ext4_mb_good_group(ac, group, cr);
			if (ret <= 0) {
				if (!first_err)
					first_err = ret;
2187
				continue;
2188
			}
2189 2190 2191 2192 2193 2194

			err = ext4_mb_load_buddy(sb, group, &e4b);
			if (err)
				goto out;

			ext4_lock_group(sb, group);
2195 2196 2197 2198 2199

			/*
			 * We need to check again after locking the
			 * block group
			 */
2200 2201
			ret = ext4_mb_good_group(ac, group, cr);
			if (ret <= 0) {
2202
				ext4_unlock_group(sb, group);
2203
				ext4_mb_unload_buddy(&e4b);
2204 2205
				if (!first_err)
					first_err = ret;
2206 2207 2208 2209
				continue;
			}

			ac->ac_groups_scanned++;
2210
			if (cr == 0)
2211
				ext4_mb_simple_scan_group(ac, &e4b);
2212 2213
			else if (cr == 1 && sbi->s_stripe &&
					!(ac->ac_g_ex.fe_len % sbi->s_stripe))
2214 2215 2216 2217 2218
				ext4_mb_scan_aligned(ac, &e4b);
			else
				ext4_mb_complex_scan_group(ac, &e4b);

			ext4_unlock_group(sb, group);
2219
			ext4_mb_unload_buddy(&e4b);
2220 2221 2222 2223 2224 2225 2226 2227 2228 2229 2230 2231 2232 2233 2234 2235 2236 2237 2238 2239 2240 2241 2242 2243 2244 2245 2246 2247 2248 2249 2250 2251

			if (ac->ac_status != AC_STATUS_CONTINUE)
				break;
		}
	}

	if (ac->ac_b_ex.fe_len > 0 && ac->ac_status != AC_STATUS_FOUND &&
	    !(ac->ac_flags & EXT4_MB_HINT_FIRST)) {
		/*
		 * We've been searching too long. Let's try to allocate
		 * the best chunk we've found so far
		 */

		ext4_mb_try_best_found(ac, &e4b);
		if (ac->ac_status != AC_STATUS_FOUND) {
			/*
			 * Someone more lucky has already allocated it.
			 * The only thing we can do is just take first
			 * found block(s)
			printk(KERN_DEBUG "EXT4-fs: someone won our chunk\n");
			 */
			ac->ac_b_ex.fe_group = 0;
			ac->ac_b_ex.fe_start = 0;
			ac->ac_b_ex.fe_len = 0;
			ac->ac_status = AC_STATUS_CONTINUE;
			ac->ac_flags |= EXT4_MB_HINT_FIRST;
			cr = 3;
			atomic_inc(&sbi->s_mb_lost_chunks);
			goto repeat;
		}
	}
out:
2252 2253
	if (!err && ac->ac_status != AC_STATUS_FOUND && first_err)
		err = first_err;
2254 2255 2256 2257 2258
	return err;
}

static void *ext4_mb_seq_groups_start(struct seq_file *seq, loff_t *pos)
{
C
Christoph Hellwig 已提交
2259
	struct super_block *sb = PDE_DATA(file_inode(seq->file));
2260 2261
	ext4_group_t group;

2262
	if (*pos < 0 || *pos >= ext4_get_groups_count(sb))
2263 2264
		return NULL;
	group = *pos + 1;
2265
	return (void *) ((unsigned long) group);
2266 2267 2268 2269
}

static void *ext4_mb_seq_groups_next(struct seq_file *seq, void *v, loff_t *pos)
{
C
Christoph Hellwig 已提交
2270
	struct super_block *sb = PDE_DATA(file_inode(seq->file));
2271 2272 2273
	ext4_group_t group;

	++*pos;
2274
	if (*pos < 0 || *pos >= ext4_get_groups_count(sb))
2275 2276
		return NULL;
	group = *pos + 1;
2277
	return (void *) ((unsigned long) group);
2278 2279 2280 2281
}

static int ext4_mb_seq_groups_show(struct seq_file *seq, void *v)
{
C
Christoph Hellwig 已提交
2282
	struct super_block *sb = PDE_DATA(file_inode(seq->file));
2283
	ext4_group_t group = (ext4_group_t) ((unsigned long) v);
2284
	int i;
2285
	int err, buddy_loaded = 0;
2286
	struct ext4_buddy e4b;
2287
	struct ext4_group_info *grinfo;
2288 2289 2290
	unsigned char blocksize_bits = min_t(unsigned char,
					     sb->s_blocksize_bits,
					     EXT4_MAX_BLOCK_LOG_SIZE);
2291 2292
	struct sg {
		struct ext4_group_info info;
T
Theodore Ts'o 已提交
2293
		ext4_grpblk_t counters[EXT4_MAX_BLOCK_LOG_SIZE + 2];
2294 2295 2296 2297
	} sg;

	group--;
	if (group == 0)
2298 2299
		seq_puts(seq, "#group: free  frags first ["
			      " 2^0   2^1   2^2   2^3   2^4   2^5   2^6  "
2300
			      " 2^7   2^8   2^9   2^10  2^11  2^12  2^13  ]\n");
2301

T
Theodore Ts'o 已提交
2302 2303 2304
	i = (blocksize_bits + 2) * sizeof(sg.info.bb_counters[0]) +
		sizeof(struct ext4_group_info);

2305 2306 2307 2308 2309 2310 2311 2312 2313
	grinfo = ext4_get_group_info(sb, group);
	/* Load the group info in memory only if not already loaded. */
	if (unlikely(EXT4_MB_GRP_NEED_INIT(grinfo))) {
		err = ext4_mb_load_buddy(sb, group, &e4b);
		if (err) {
			seq_printf(seq, "#%-5u: I/O error\n", group);
			return 0;
		}
		buddy_loaded = 1;
2314
	}
2315

T
Theodore Ts'o 已提交
2316
	memcpy(&sg, ext4_get_group_info(sb, group), i);
2317 2318 2319

	if (buddy_loaded)
		ext4_mb_unload_buddy(&e4b);
2320

2321
	seq_printf(seq, "#%-5u: %-5u %-5u %-5u [", group, sg.info.bb_free,
2322 2323
			sg.info.bb_fragments, sg.info.bb_first_free);
	for (i = 0; i <= 13; i++)
2324
		seq_printf(seq, " %-5u", i <= blocksize_bits + 1 ?
2325 2326 2327 2328 2329 2330 2331 2332 2333 2334
				sg.info.bb_counters[i] : 0);
	seq_printf(seq, " ]\n");

	return 0;
}

static void ext4_mb_seq_groups_stop(struct seq_file *seq, void *v)
{
}

C
Christoph Hellwig 已提交
2335
const struct seq_operations ext4_mb_seq_groups_ops = {
2336 2337 2338 2339 2340 2341
	.start  = ext4_mb_seq_groups_start,
	.next   = ext4_mb_seq_groups_next,
	.stop   = ext4_mb_seq_groups_stop,
	.show   = ext4_mb_seq_groups_show,
};

2342 2343 2344 2345 2346 2347 2348 2349
static struct kmem_cache *get_groupinfo_cache(int blocksize_bits)
{
	int cache_index = blocksize_bits - EXT4_MIN_BLOCK_LOG_SIZE;
	struct kmem_cache *cachep = ext4_groupinfo_caches[cache_index];

	BUG_ON(!cachep);
	return cachep;
}
2350

2351 2352 2353 2354 2355 2356 2357 2358 2359 2360 2361 2362 2363 2364 2365 2366
/*
 * Allocate the top-level s_group_info array for the specified number
 * of groups
 */
int ext4_mb_alloc_groupinfo(struct super_block *sb, ext4_group_t ngroups)
{
	struct ext4_sb_info *sbi = EXT4_SB(sb);
	unsigned size;
	struct ext4_group_info ***new_groupinfo;

	size = (ngroups + EXT4_DESC_PER_BLOCK(sb) - 1) >>
		EXT4_DESC_PER_BLOCK_BITS(sb);
	if (size <= sbi->s_group_info_size)
		return 0;

	size = roundup_pow_of_two(sizeof(*sbi->s_group_info) * size);
M
Michal Hocko 已提交
2367
	new_groupinfo = kvzalloc(size, GFP_KERNEL);
2368 2369 2370 2371 2372 2373 2374
	if (!new_groupinfo) {
		ext4_msg(sb, KERN_ERR, "can't allocate buddy meta group");
		return -ENOMEM;
	}
	if (sbi->s_group_info) {
		memcpy(new_groupinfo, sbi->s_group_info,
		       sbi->s_group_info_size * sizeof(*sbi->s_group_info));
A
Al Viro 已提交
2375
		kvfree(sbi->s_group_info);
2376 2377 2378 2379 2380 2381 2382 2383
	}
	sbi->s_group_info = new_groupinfo;
	sbi->s_group_info_size = size / sizeof(*sbi->s_group_info);
	ext4_debug("allocated s_groupinfo array for %d meta_bg's\n", 
		   sbi->s_group_info_size);
	return 0;
}

2384
/* Create and initialize ext4_group_info data for the given group. */
2385
int ext4_mb_add_groupinfo(struct super_block *sb, ext4_group_t group,
2386 2387
			  struct ext4_group_desc *desc)
{
2388
	int i;
2389 2390 2391
	int metalen = 0;
	struct ext4_sb_info *sbi = EXT4_SB(sb);
	struct ext4_group_info **meta_group_info;
2392
	struct kmem_cache *cachep = get_groupinfo_cache(sb->s_blocksize_bits);
2393 2394 2395 2396 2397 2398 2399 2400 2401

	/*
	 * First check if this group is the first of a reserved block.
	 * If it's true, we have to allocate a new table of pointers
	 * to ext4_group_info structures
	 */
	if (group % EXT4_DESC_PER_BLOCK(sb) == 0) {
		metalen = sizeof(*meta_group_info) <<
			EXT4_DESC_PER_BLOCK_BITS(sb);
2402
		meta_group_info = kmalloc(metalen, GFP_NOFS);
2403
		if (meta_group_info == NULL) {
2404
			ext4_msg(sb, KERN_ERR, "can't allocate mem "
2405
				 "for a buddy group");
2406 2407 2408 2409 2410 2411 2412 2413 2414 2415
			goto exit_meta_group_info;
		}
		sbi->s_group_info[group >> EXT4_DESC_PER_BLOCK_BITS(sb)] =
			meta_group_info;
	}

	meta_group_info =
		sbi->s_group_info[group >> EXT4_DESC_PER_BLOCK_BITS(sb)];
	i = group & (EXT4_DESC_PER_BLOCK(sb) - 1);

2416
	meta_group_info[i] = kmem_cache_zalloc(cachep, GFP_NOFS);
2417
	if (meta_group_info[i] == NULL) {
2418
		ext4_msg(sb, KERN_ERR, "can't allocate buddy mem");
2419 2420 2421 2422 2423 2424 2425 2426 2427
		goto exit_group_info;
	}
	set_bit(EXT4_GROUP_INFO_NEED_INIT_BIT,
		&(meta_group_info[i]->bb_state));

	/*
	 * initialize bb_free to be able to skip
	 * empty groups without initialization
	 */
2428 2429
	if (ext4_has_group_desc_csum(sb) &&
	    (desc->bg_flags & cpu_to_le16(EXT4_BG_BLOCK_UNINIT))) {
2430
		meta_group_info[i]->bb_free =
2431
			ext4_free_clusters_after_init(sb, group, desc);
2432 2433
	} else {
		meta_group_info[i]->bb_free =
2434
			ext4_free_group_clusters(sb, desc);
2435 2436 2437
	}

	INIT_LIST_HEAD(&meta_group_info[i]->bb_prealloc_list);
2438
	init_rwsem(&meta_group_info[i]->alloc_sem);
2439
	meta_group_info[i]->bb_free_root = RB_ROOT;
2440
	meta_group_info[i]->bb_largest_free_order = -1;  /* uninit */
2441 2442 2443 2444 2445

#ifdef DOUBLE_CHECK
	{
		struct buffer_head *bh;
		meta_group_info[i]->bb_bitmap =
2446
			kmalloc(sb->s_blocksize, GFP_NOFS);
2447 2448
		BUG_ON(meta_group_info[i]->bb_bitmap == NULL);
		bh = ext4_read_block_bitmap(sb, group);
2449
		BUG_ON(IS_ERR_OR_NULL(bh));
2450 2451 2452 2453 2454 2455 2456 2457 2458 2459
		memcpy(meta_group_info[i]->bb_bitmap, bh->b_data,
			sb->s_blocksize);
		put_bh(bh);
	}
#endif

	return 0;

exit_group_info:
	/* If a meta_group_info table has been allocated, release it now */
2460
	if (group % EXT4_DESC_PER_BLOCK(sb) == 0) {
2461
		kfree(sbi->s_group_info[group >> EXT4_DESC_PER_BLOCK_BITS(sb)]);
2462 2463
		sbi->s_group_info[group >> EXT4_DESC_PER_BLOCK_BITS(sb)] = NULL;
	}
2464 2465 2466 2467
exit_meta_group_info:
	return -ENOMEM;
} /* ext4_mb_add_groupinfo */

2468 2469
static int ext4_mb_init_backend(struct super_block *sb)
{
2470
	ext4_group_t ngroups = ext4_get_groups_count(sb);
2471 2472
	ext4_group_t i;
	struct ext4_sb_info *sbi = EXT4_SB(sb);
2473
	int err;
2474
	struct ext4_group_desc *desc;
2475
	struct kmem_cache *cachep;
2476

2477 2478 2479
	err = ext4_mb_alloc_groupinfo(sb, ngroups);
	if (err)
		return err;
2480 2481 2482

	sbi->s_buddy_cache = new_inode(sb);
	if (sbi->s_buddy_cache == NULL) {
2483
		ext4_msg(sb, KERN_ERR, "can't get new inode");
2484 2485
		goto err_freesgi;
	}
2486 2487 2488 2489 2490
	/* To avoid potentially colliding with an valid on-disk inode number,
	 * use EXT4_BAD_INO for the buddy cache inode number.  This inode is
	 * not in the inode hash, so it should never be found by iget(), but
	 * this will avoid confusion if it ever shows up during debugging. */
	sbi->s_buddy_cache->i_ino = EXT4_BAD_INO;
2491
	EXT4_I(sbi->s_buddy_cache)->i_disksize = 0;
2492
	for (i = 0; i < ngroups; i++) {
2493 2494
		desc = ext4_get_group_desc(sb, i, NULL);
		if (desc == NULL) {
2495
			ext4_msg(sb, KERN_ERR, "can't read descriptor %u", i);
2496 2497
			goto err_freebuddy;
		}
2498 2499
		if (ext4_mb_add_groupinfo(sb, i, desc) != 0)
			goto err_freebuddy;
2500 2501 2502 2503 2504
	}

	return 0;

err_freebuddy:
2505
	cachep = get_groupinfo_cache(sb->s_blocksize_bits);
2506
	while (i-- > 0)
2507
		kmem_cache_free(cachep, ext4_get_group_info(sb, i));
2508
	i = sbi->s_group_info_size;
2509
	while (i-- > 0)
2510 2511 2512
		kfree(sbi->s_group_info[i]);
	iput(sbi->s_buddy_cache);
err_freesgi:
A
Al Viro 已提交
2513
	kvfree(sbi->s_group_info);
2514 2515 2516
	return -ENOMEM;
}

2517 2518 2519 2520 2521
static void ext4_groupinfo_destroy_slabs(void)
{
	int i;

	for (i = 0; i < NR_GRPINFO_CACHES; i++) {
2522
		kmem_cache_destroy(ext4_groupinfo_caches[i]);
2523 2524 2525 2526 2527 2528 2529 2530 2531 2532 2533 2534 2535 2536 2537 2538 2539 2540 2541 2542 2543 2544 2545 2546 2547 2548 2549 2550 2551 2552 2553
		ext4_groupinfo_caches[i] = NULL;
	}
}

static int ext4_groupinfo_create_slab(size_t size)
{
	static DEFINE_MUTEX(ext4_grpinfo_slab_create_mutex);
	int slab_size;
	int blocksize_bits = order_base_2(size);
	int cache_index = blocksize_bits - EXT4_MIN_BLOCK_LOG_SIZE;
	struct kmem_cache *cachep;

	if (cache_index >= NR_GRPINFO_CACHES)
		return -EINVAL;

	if (unlikely(cache_index < 0))
		cache_index = 0;

	mutex_lock(&ext4_grpinfo_slab_create_mutex);
	if (ext4_groupinfo_caches[cache_index]) {
		mutex_unlock(&ext4_grpinfo_slab_create_mutex);
		return 0;	/* Already created */
	}

	slab_size = offsetof(struct ext4_group_info,
				bb_counters[blocksize_bits + 2]);

	cachep = kmem_cache_create(ext4_groupinfo_slab_names[cache_index],
					slab_size, 0, SLAB_RECLAIM_ACCOUNT,
					NULL);

2554 2555
	ext4_groupinfo_caches[cache_index] = cachep;

2556 2557
	mutex_unlock(&ext4_grpinfo_slab_create_mutex);
	if (!cachep) {
2558 2559
		printk(KERN_EMERG
		       "EXT4-fs: no memory for groupinfo slab cache\n");
2560 2561 2562 2563 2564 2565
		return -ENOMEM;
	}

	return 0;
}

2566
int ext4_mb_init(struct super_block *sb)
2567 2568
{
	struct ext4_sb_info *sbi = EXT4_SB(sb);
2569
	unsigned i, j;
2570
	unsigned offset, offset_incr;
2571
	unsigned max;
2572
	int ret;
2573

2574
	i = (sb->s_blocksize_bits + 2) * sizeof(*sbi->s_mb_offsets);
2575 2576 2577

	sbi->s_mb_offsets = kmalloc(i, GFP_KERNEL);
	if (sbi->s_mb_offsets == NULL) {
2578 2579
		ret = -ENOMEM;
		goto out;
2580
	}
2581

2582
	i = (sb->s_blocksize_bits + 2) * sizeof(*sbi->s_mb_maxs);
2583 2584
	sbi->s_mb_maxs = kmalloc(i, GFP_KERNEL);
	if (sbi->s_mb_maxs == NULL) {
2585 2586 2587 2588
		ret = -ENOMEM;
		goto out;
	}

2589 2590 2591
	ret = ext4_groupinfo_create_slab(sb->s_blocksize);
	if (ret < 0)
		goto out;
2592 2593 2594 2595 2596 2597 2598

	/* order 0 is regular bitmap */
	sbi->s_mb_maxs[0] = sb->s_blocksize << 3;
	sbi->s_mb_offsets[0] = 0;

	i = 1;
	offset = 0;
2599
	offset_incr = 1 << (sb->s_blocksize_bits - 1);
2600 2601 2602 2603
	max = sb->s_blocksize << 2;
	do {
		sbi->s_mb_offsets[i] = offset;
		sbi->s_mb_maxs[i] = max;
2604 2605
		offset += offset_incr;
		offset_incr = offset_incr >> 1;
2606 2607 2608 2609 2610 2611
		max = max >> 1;
		i++;
	} while (i <= sb->s_blocksize_bits + 1);

	spin_lock_init(&sbi->s_md_lock);
	spin_lock_init(&sbi->s_bal_lock);
2612
	sbi->s_mb_free_pending = 0;
2613
	INIT_LIST_HEAD(&sbi->s_freed_data_list);
2614 2615 2616 2617 2618 2619

	sbi->s_mb_max_to_scan = MB_DEFAULT_MAX_TO_SCAN;
	sbi->s_mb_min_to_scan = MB_DEFAULT_MIN_TO_SCAN;
	sbi->s_mb_stats = MB_DEFAULT_STATS;
	sbi->s_mb_stream_request = MB_DEFAULT_STREAM_THRESHOLD;
	sbi->s_mb_order2_reqs = MB_DEFAULT_ORDER2_REQS;
2620 2621 2622 2623 2624 2625 2626 2627 2628 2629 2630 2631 2632 2633
	/*
	 * The default group preallocation is 512, which for 4k block
	 * sizes translates to 2 megabytes.  However for bigalloc file
	 * systems, this is probably too big (i.e, if the cluster size
	 * is 1 megabyte, then group preallocation size becomes half a
	 * gigabyte!).  As a default, we will keep a two megabyte
	 * group pralloc size for cluster sizes up to 64k, and after
	 * that, we will force a minimum group preallocation size of
	 * 32 clusters.  This translates to 8 megs when the cluster
	 * size is 256k, and 32 megs when the cluster size is 1 meg,
	 * which seems reasonable as a default.
	 */
	sbi->s_mb_group_prealloc = max(MB_DEFAULT_GROUP_PREALLOC >>
				       sbi->s_cluster_bits, 32);
2634 2635 2636 2637 2638 2639 2640 2641 2642 2643 2644 2645
	/*
	 * If there is a s_stripe > 1, then we set the s_mb_group_prealloc
	 * to the lowest multiple of s_stripe which is bigger than
	 * the s_mb_group_prealloc as determined above. We want
	 * the preallocation size to be an exact multiple of the
	 * RAID stripe size so that preallocations don't fragment
	 * the stripes.
	 */
	if (sbi->s_stripe > 1) {
		sbi->s_mb_group_prealloc = roundup(
			sbi->s_mb_group_prealloc, sbi->s_stripe);
	}
2646

2647
	sbi->s_locality_groups = alloc_percpu(struct ext4_locality_group);
2648
	if (sbi->s_locality_groups == NULL) {
2649
		ret = -ENOMEM;
2650
		goto out;
2651
	}
2652
	for_each_possible_cpu(i) {
2653
		struct ext4_locality_group *lg;
2654
		lg = per_cpu_ptr(sbi->s_locality_groups, i);
2655
		mutex_init(&lg->lg_mutex);
2656 2657
		for (j = 0; j < PREALLOC_TB_SIZE; j++)
			INIT_LIST_HEAD(&lg->lg_prealloc_list[j]);
2658 2659 2660
		spin_lock_init(&lg->lg_prealloc_lock);
	}

2661 2662
	/* init file for buddy data */
	ret = ext4_mb_init_backend(sb);
2663 2664
	if (ret != 0)
		goto out_free_locality_groups;
2665

2666 2667 2668 2669 2670
	return 0;

out_free_locality_groups:
	free_percpu(sbi->s_locality_groups);
	sbi->s_locality_groups = NULL;
2671
out:
2672 2673 2674 2675
	kfree(sbi->s_mb_offsets);
	sbi->s_mb_offsets = NULL;
	kfree(sbi->s_mb_maxs);
	sbi->s_mb_maxs = NULL;
2676
	return ret;
2677 2678
}

2679
/* need to called with the ext4 group lock held */
2680 2681 2682 2683 2684 2685 2686 2687 2688 2689
static void ext4_mb_cleanup_pa(struct ext4_group_info *grp)
{
	struct ext4_prealloc_space *pa;
	struct list_head *cur, *tmp;
	int count = 0;

	list_for_each_safe(cur, tmp, &grp->bb_prealloc_list) {
		pa = list_entry(cur, struct ext4_prealloc_space, pa_group_list);
		list_del(&pa->pa_group_list);
		count++;
2690
		kmem_cache_free(ext4_pspace_cachep, pa);
2691 2692
	}
	if (count)
2693
		mb_debug(1, "mballoc: %u PAs left\n", count);
2694 2695 2696 2697 2698

}

int ext4_mb_release(struct super_block *sb)
{
2699
	ext4_group_t ngroups = ext4_get_groups_count(sb);
2700 2701 2702 2703
	ext4_group_t i;
	int num_meta_group_infos;
	struct ext4_group_info *grinfo;
	struct ext4_sb_info *sbi = EXT4_SB(sb);
2704
	struct kmem_cache *cachep = get_groupinfo_cache(sb->s_blocksize_bits);
2705 2706

	if (sbi->s_group_info) {
2707
		for (i = 0; i < ngroups; i++) {
2708 2709 2710 2711 2712 2713 2714
			grinfo = ext4_get_group_info(sb, i);
#ifdef DOUBLE_CHECK
			kfree(grinfo->bb_bitmap);
#endif
			ext4_lock_group(sb, i);
			ext4_mb_cleanup_pa(grinfo);
			ext4_unlock_group(sb, i);
2715
			kmem_cache_free(cachep, grinfo);
2716
		}
2717
		num_meta_group_infos = (ngroups +
2718 2719 2720 2721
				EXT4_DESC_PER_BLOCK(sb) - 1) >>
			EXT4_DESC_PER_BLOCK_BITS(sb);
		for (i = 0; i < num_meta_group_infos; i++)
			kfree(sbi->s_group_info[i]);
A
Al Viro 已提交
2722
		kvfree(sbi->s_group_info);
2723 2724 2725
	}
	kfree(sbi->s_mb_offsets);
	kfree(sbi->s_mb_maxs);
2726
	iput(sbi->s_buddy_cache);
2727
	if (sbi->s_mb_stats) {
2728 2729
		ext4_msg(sb, KERN_INFO,
		       "mballoc: %u blocks %u reqs (%u success)",
2730 2731 2732
				atomic_read(&sbi->s_bal_allocated),
				atomic_read(&sbi->s_bal_reqs),
				atomic_read(&sbi->s_bal_success));
2733 2734 2735
		ext4_msg(sb, KERN_INFO,
		      "mballoc: %u extents scanned, %u goal hits, "
				"%u 2^N hits, %u breaks, %u lost",
2736 2737 2738 2739 2740
				atomic_read(&sbi->s_bal_ex_scanned),
				atomic_read(&sbi->s_bal_goals),
				atomic_read(&sbi->s_bal_2orders),
				atomic_read(&sbi->s_bal_breaks),
				atomic_read(&sbi->s_mb_lost_chunks));
2741 2742
		ext4_msg(sb, KERN_INFO,
		       "mballoc: %lu generated and it took %Lu",
2743
				sbi->s_mb_buddies_generated,
2744
				sbi->s_mb_generation_time);
2745 2746
		ext4_msg(sb, KERN_INFO,
		       "mballoc: %u preallocated, %u discarded",
2747 2748 2749 2750
				atomic_read(&sbi->s_mb_preallocated),
				atomic_read(&sbi->s_mb_discarded));
	}

2751
	free_percpu(sbi->s_locality_groups);
2752 2753 2754 2755

	return 0;
}

2756
static inline int ext4_issue_discard(struct super_block *sb,
2757 2758
		ext4_group_t block_group, ext4_grpblk_t cluster, int count,
		struct bio **biop)
2759 2760 2761
{
	ext4_fsblk_t discard_block;

2762 2763 2764
	discard_block = (EXT4_C2B(EXT4_SB(sb), cluster) +
			 ext4_group_first_block_no(sb, block_group));
	count = EXT4_C2B(EXT4_SB(sb), count);
2765 2766
	trace_ext4_discard_blocks(sb,
			(unsigned long long) discard_block, count);
2767 2768 2769 2770 2771 2772 2773
	if (biop) {
		return __blkdev_issue_discard(sb->s_bdev,
			(sector_t)discard_block << (sb->s_blocksize_bits - 9),
			(sector_t)count << (sb->s_blocksize_bits - 9),
			GFP_NOFS, 0, biop);
	} else
		return sb_issue_discard(sb, discard_block, count, GFP_NOFS, 0);
2774 2775
}

2776 2777
static void ext4_free_data_in_buddy(struct super_block *sb,
				    struct ext4_free_data *entry)
2778 2779
{
	struct ext4_buddy e4b;
2780
	struct ext4_group_info *db;
2781
	int err, count = 0, count2 = 0;
2782

B
Bobi Jam 已提交
2783 2784
	mb_debug(1, "gonna free %u blocks in group %u (0x%p):",
		 entry->efd_count, entry->efd_group, entry);
2785

B
Bobi Jam 已提交
2786 2787 2788
	err = ext4_mb_load_buddy(sb, entry->efd_group, &e4b);
	/* we expect to find existing buddy because it's pinned */
	BUG_ON(err != 0);
2789

2790 2791 2792
	spin_lock(&EXT4_SB(sb)->s_md_lock);
	EXT4_SB(sb)->s_mb_free_pending -= entry->efd_count;
	spin_unlock(&EXT4_SB(sb)->s_md_lock);
2793

B
Bobi Jam 已提交
2794 2795 2796 2797 2798 2799 2800 2801
	db = e4b.bd_info;
	/* there are blocks to put in buddy to make them really free */
	count += entry->efd_count;
	count2++;
	ext4_lock_group(sb, entry->efd_group);
	/* Take it out of per group rb tree */
	rb_erase(&entry->efd_node, &(db->bb_free_root));
	mb_free_blocks(NULL, &e4b, entry->efd_start_cluster, entry->efd_count);
2802

B
Bobi Jam 已提交
2803 2804 2805 2806 2807 2808 2809 2810
	/*
	 * Clear the trimmed flag for the group so that the next
	 * ext4_trim_fs can trim it.
	 * If the volume is mounted with -o discard, online discard
	 * is supported and the free blocks will be trimmed online.
	 */
	if (!test_opt(sb, DISCARD))
		EXT4_MB_GRP_CLEAR_TRIMMED(db);
2811

B
Bobi Jam 已提交
2812 2813 2814 2815
	if (!db->bb_free_root.rb_node) {
		/* No more items in the per group rb tree
		 * balance refcounts from ext4_mb_free_metadata()
		 */
2816 2817
		put_page(e4b.bd_buddy_page);
		put_page(e4b.bd_bitmap_page);
2818
	}
B
Bobi Jam 已提交
2819 2820 2821
	ext4_unlock_group(sb, entry->efd_group);
	kmem_cache_free(ext4_free_data_cachep, entry);
	ext4_mb_unload_buddy(&e4b);
2822

2823
	mb_debug(1, "freed %u blocks in %u structures\n", count, count2);
2824 2825
}

2826 2827 2828 2829 2830 2831 2832 2833 2834 2835 2836 2837 2838 2839 2840 2841 2842 2843 2844 2845 2846 2847 2848 2849 2850 2851 2852 2853 2854 2855 2856 2857 2858 2859 2860 2861 2862 2863 2864 2865 2866 2867
/*
 * This function is called by the jbd2 layer once the commit has finished,
 * so we know we can free the blocks that were released with that commit.
 */
void ext4_process_freed_data(struct super_block *sb, tid_t commit_tid)
{
	struct ext4_sb_info *sbi = EXT4_SB(sb);
	struct ext4_free_data *entry, *tmp;
	struct bio *discard_bio = NULL;
	struct list_head freed_data_list;
	struct list_head *cut_pos = NULL;
	int err;

	INIT_LIST_HEAD(&freed_data_list);

	spin_lock(&sbi->s_md_lock);
	list_for_each_entry(entry, &sbi->s_freed_data_list, efd_list) {
		if (entry->efd_tid != commit_tid)
			break;
		cut_pos = &entry->efd_list;
	}
	if (cut_pos)
		list_cut_position(&freed_data_list, &sbi->s_freed_data_list,
				  cut_pos);
	spin_unlock(&sbi->s_md_lock);

	if (test_opt(sb, DISCARD)) {
		list_for_each_entry(entry, &freed_data_list, efd_list) {
			err = ext4_issue_discard(sb, entry->efd_group,
						 entry->efd_start_cluster,
						 entry->efd_count,
						 &discard_bio);
			if (err && err != -EOPNOTSUPP) {
				ext4_msg(sb, KERN_WARNING, "discard request in"
					 " group:%d block:%d count:%d failed"
					 " with %d", entry->efd_group,
					 entry->efd_start_cluster,
					 entry->efd_count, err);
			} else if (err == -EOPNOTSUPP)
				break;
		}

2868
		if (discard_bio) {
2869
			submit_bio_wait(discard_bio);
2870 2871
			bio_put(discard_bio);
		}
2872 2873 2874 2875 2876 2877
	}

	list_for_each_entry_safe(entry, tmp, &freed_data_list, efd_list)
		ext4_free_data_in_buddy(sb, entry);
}

2878
int __init ext4_init_mballoc(void)
2879
{
2880 2881
	ext4_pspace_cachep = KMEM_CACHE(ext4_prealloc_space,
					SLAB_RECLAIM_ACCOUNT);
2882 2883 2884
	if (ext4_pspace_cachep == NULL)
		return -ENOMEM;

2885 2886
	ext4_ac_cachep = KMEM_CACHE(ext4_allocation_context,
				    SLAB_RECLAIM_ACCOUNT);
2887 2888 2889 2890
	if (ext4_ac_cachep == NULL) {
		kmem_cache_destroy(ext4_pspace_cachep);
		return -ENOMEM;
	}
2891

B
Bobi Jam 已提交
2892 2893 2894
	ext4_free_data_cachep = KMEM_CACHE(ext4_free_data,
					   SLAB_RECLAIM_ACCOUNT);
	if (ext4_free_data_cachep == NULL) {
2895 2896 2897 2898
		kmem_cache_destroy(ext4_pspace_cachep);
		kmem_cache_destroy(ext4_ac_cachep);
		return -ENOMEM;
	}
2899 2900 2901
	return 0;
}

2902
void ext4_exit_mballoc(void)
2903
{
2904
	/*
2905 2906 2907 2908
	 * Wait for completion of call_rcu()'s on ext4_pspace_cachep
	 * before destroying the slab cache.
	 */
	rcu_barrier();
2909
	kmem_cache_destroy(ext4_pspace_cachep);
2910
	kmem_cache_destroy(ext4_ac_cachep);
B
Bobi Jam 已提交
2911
	kmem_cache_destroy(ext4_free_data_cachep);
2912
	ext4_groupinfo_destroy_slabs();
2913 2914 2915 2916
}


/*
2917
 * Check quota and mark chosen space (ac->ac_b_ex) non-free in bitmaps
2918 2919
 * Returns 0 if success or error code
 */
2920 2921
static noinline_for_stack int
ext4_mb_mark_diskspace_used(struct ext4_allocation_context *ac,
2922
				handle_t *handle, unsigned int reserv_clstrs)
2923 2924 2925 2926 2927 2928 2929
{
	struct buffer_head *bitmap_bh = NULL;
	struct ext4_group_desc *gdp;
	struct buffer_head *gdp_bh;
	struct ext4_sb_info *sbi;
	struct super_block *sb;
	ext4_fsblk_t block;
2930
	int err, len;
2931 2932 2933 2934 2935 2936 2937

	BUG_ON(ac->ac_status != AC_STATUS_FOUND);
	BUG_ON(ac->ac_b_ex.fe_len <= 0);

	sb = ac->ac_sb;
	sbi = EXT4_SB(sb);

2938
	bitmap_bh = ext4_read_block_bitmap(sb, ac->ac_b_ex.fe_group);
2939 2940 2941
	if (IS_ERR(bitmap_bh)) {
		err = PTR_ERR(bitmap_bh);
		bitmap_bh = NULL;
2942
		goto out_err;
2943
	}
2944

2945
	BUFFER_TRACE(bitmap_bh, "getting write access");
2946 2947 2948 2949 2950 2951 2952 2953 2954
	err = ext4_journal_get_write_access(handle, bitmap_bh);
	if (err)
		goto out_err;

	err = -EIO;
	gdp = ext4_get_group_desc(sb, ac->ac_b_ex.fe_group, &gdp_bh);
	if (!gdp)
		goto out_err;

2955
	ext4_debug("using block group %u(%d)\n", ac->ac_b_ex.fe_group,
2956
			ext4_free_group_clusters(sb, gdp));
2957

2958
	BUFFER_TRACE(gdp_bh, "get_write_access");
2959 2960 2961 2962
	err = ext4_journal_get_write_access(handle, gdp_bh);
	if (err)
		goto out_err;

2963
	block = ext4_grp_offs_to_block(sb, &ac->ac_b_ex);
2964

2965
	len = EXT4_C2B(sbi, ac->ac_b_ex.fe_len);
2966
	if (!ext4_data_block_valid(sbi, block, len)) {
2967
		ext4_error(sb, "Allocating blocks %llu-%llu which overlap "
2968
			   "fs metadata", block, block+len);
2969
		/* File system mounted not to panic on error
2970
		 * Fix the bitmap and return EFSCORRUPTED
2971 2972
		 * We leak some of the blocks here.
		 */
2973
		ext4_lock_group(sb, ac->ac_b_ex.fe_group);
2974 2975
		ext4_set_bits(bitmap_bh->b_data, ac->ac_b_ex.fe_start,
			      ac->ac_b_ex.fe_len);
2976
		ext4_unlock_group(sb, ac->ac_b_ex.fe_group);
2977
		err = ext4_handle_dirty_metadata(handle, NULL, bitmap_bh);
2978
		if (!err)
2979
			err = -EFSCORRUPTED;
2980
		goto out_err;
2981
	}
2982 2983

	ext4_lock_group(sb, ac->ac_b_ex.fe_group);
2984 2985 2986 2987 2988 2989 2990 2991 2992
#ifdef AGGRESSIVE_CHECK
	{
		int i;
		for (i = 0; i < ac->ac_b_ex.fe_len; i++) {
			BUG_ON(mb_test_bit(ac->ac_b_ex.fe_start + i,
						bitmap_bh->b_data));
		}
	}
#endif
2993 2994
	ext4_set_bits(bitmap_bh->b_data, ac->ac_b_ex.fe_start,
		      ac->ac_b_ex.fe_len);
2995 2996
	if (ext4_has_group_desc_csum(sb) &&
	    (gdp->bg_flags & cpu_to_le16(EXT4_BG_BLOCK_UNINIT))) {
2997
		gdp->bg_flags &= cpu_to_le16(~EXT4_BG_BLOCK_UNINIT);
2998
		ext4_free_group_clusters_set(sb, gdp,
2999
					     ext4_free_clusters_after_init(sb,
3000
						ac->ac_b_ex.fe_group, gdp));
3001
	}
3002 3003
	len = ext4_free_group_clusters(sb, gdp) - ac->ac_b_ex.fe_len;
	ext4_free_group_clusters_set(sb, gdp, len);
3004
	ext4_block_bitmap_csum_set(sb, ac->ac_b_ex.fe_group, gdp, bitmap_bh);
3005
	ext4_group_desc_csum_set(sb, ac->ac_b_ex.fe_group, gdp);
3006 3007

	ext4_unlock_group(sb, ac->ac_b_ex.fe_group);
3008
	percpu_counter_sub(&sbi->s_freeclusters_counter, ac->ac_b_ex.fe_len);
3009
	/*
3010
	 * Now reduce the dirty block count also. Should not go negative
3011
	 */
3012 3013
	if (!(ac->ac_flags & EXT4_MB_DELALLOC_RESERVED))
		/* release all the reserved blocks if non delalloc */
3014 3015
		percpu_counter_sub(&sbi->s_dirtyclusters_counter,
				   reserv_clstrs);
3016

3017 3018 3019
	if (sbi->s_log_groups_per_flex) {
		ext4_group_t flex_group = ext4_flex_group(sbi,
							  ac->ac_b_ex.fe_group);
3020 3021
		atomic64_sub(ac->ac_b_ex.fe_len,
			     &sbi->s_flex_groups[flex_group].free_clusters);
3022 3023
	}

3024
	err = ext4_handle_dirty_metadata(handle, NULL, bitmap_bh);
3025 3026
	if (err)
		goto out_err;
3027
	err = ext4_handle_dirty_metadata(handle, NULL, gdp_bh);
3028 3029

out_err:
3030
	brelse(bitmap_bh);
3031 3032 3033 3034 3035
	return err;
}

/*
 * here we normalize request for locality group
3036 3037 3038
 * Group request are normalized to s_mb_group_prealloc, which goes to
 * s_strip if we set the same via mount option.
 * s_mb_group_prealloc can be configured via
T
Theodore Ts'o 已提交
3039
 * /sys/fs/ext4/<partition>/mb_group_prealloc
3040 3041 3042 3043 3044 3045 3046 3047 3048
 *
 * XXX: should we try to preallocate more than the group has now?
 */
static void ext4_mb_normalize_group_request(struct ext4_allocation_context *ac)
{
	struct super_block *sb = ac->ac_sb;
	struct ext4_locality_group *lg = ac->ac_lg;

	BUG_ON(lg == NULL);
3049
	ac->ac_g_ex.fe_len = EXT4_SB(sb)->s_mb_group_prealloc;
3050
	mb_debug(1, "#%u: goal %u blocks for locality group\n",
3051 3052 3053 3054 3055 3056 3057
		current->pid, ac->ac_g_ex.fe_len);
}

/*
 * Normalization means making request better in terms of
 * size and alignment
 */
3058 3059
static noinline_for_stack void
ext4_mb_normalize_request(struct ext4_allocation_context *ac,
3060 3061
				struct ext4_allocation_request *ar)
{
3062
	struct ext4_sb_info *sbi = EXT4_SB(ac->ac_sb);
3063 3064
	int bsbits, max;
	ext4_lblk_t end;
3065 3066
	loff_t size, start_off;
	loff_t orig_size __maybe_unused;
3067
	ext4_lblk_t start;
3068
	struct ext4_inode_info *ei = EXT4_I(ac->ac_inode);
3069
	struct ext4_prealloc_space *pa;
3070 3071 3072 3073 3074 3075 3076 3077 3078 3079 3080 3081 3082 3083 3084 3085 3086 3087 3088 3089 3090 3091 3092 3093

	/* do normalize only data requests, metadata requests
	   do not need preallocation */
	if (!(ac->ac_flags & EXT4_MB_HINT_DATA))
		return;

	/* sometime caller may want exact blocks */
	if (unlikely(ac->ac_flags & EXT4_MB_HINT_GOAL_ONLY))
		return;

	/* caller may indicate that preallocation isn't
	 * required (it's a tail, for example) */
	if (ac->ac_flags & EXT4_MB_HINT_NOPREALLOC)
		return;

	if (ac->ac_flags & EXT4_MB_HINT_GROUP_ALLOC) {
		ext4_mb_normalize_group_request(ac);
		return ;
	}

	bsbits = ac->ac_sb->s_blocksize_bits;

	/* first, let's learn actual file size
	 * given current request is allocated */
3094
	size = ac->ac_o_ex.fe_logical + EXT4_C2B(sbi, ac->ac_o_ex.fe_len);
3095 3096 3097
	size = size << bsbits;
	if (size < i_size_read(ac->ac_inode))
		size = i_size_read(ac->ac_inode);
3098
	orig_size = size;
3099

3100 3101
	/* max size of free chunks */
	max = 2 << bsbits;
3102

3103 3104
#define NRL_CHECK_SIZE(req, size, max, chunk_size)	\
		(req <= (size) || max <= (chunk_size))
3105 3106 3107 3108 3109 3110 3111 3112 3113 3114 3115 3116 3117 3118 3119 3120 3121 3122

	/* first, try to predict filesize */
	/* XXX: should this table be tunable? */
	start_off = 0;
	if (size <= 16 * 1024) {
		size = 16 * 1024;
	} else if (size <= 32 * 1024) {
		size = 32 * 1024;
	} else if (size <= 64 * 1024) {
		size = 64 * 1024;
	} else if (size <= 128 * 1024) {
		size = 128 * 1024;
	} else if (size <= 256 * 1024) {
		size = 256 * 1024;
	} else if (size <= 512 * 1024) {
		size = 512 * 1024;
	} else if (size <= 1024 * 1024) {
		size = 1024 * 1024;
3123
	} else if (NRL_CHECK_SIZE(size, 4 * 1024 * 1024, max, 2 * 1024)) {
3124
		start_off = ((loff_t)ac->ac_o_ex.fe_logical >>
3125 3126 3127
						(21 - bsbits)) << 21;
		size = 2 * 1024 * 1024;
	} else if (NRL_CHECK_SIZE(size, 8 * 1024 * 1024, max, 4 * 1024)) {
3128 3129 3130 3131
		start_off = ((loff_t)ac->ac_o_ex.fe_logical >>
							(22 - bsbits)) << 22;
		size = 4 * 1024 * 1024;
	} else if (NRL_CHECK_SIZE(ac->ac_o_ex.fe_len,
3132
					(8<<20)>>bsbits, max, 8 * 1024)) {
3133 3134 3135 3136
		start_off = ((loff_t)ac->ac_o_ex.fe_logical >>
							(23 - bsbits)) << 23;
		size = 8 * 1024 * 1024;
	} else {
3137 3138 3139
		start_off = (loff_t) ac->ac_o_ex.fe_logical << bsbits;
		size	  = (loff_t) EXT4_C2B(EXT4_SB(ac->ac_sb),
					      ac->ac_o_ex.fe_len) << bsbits;
3140
	}
3141 3142
	size = size >> bsbits;
	start = start_off >> bsbits;
3143 3144 3145 3146 3147 3148 3149 3150 3151

	/* don't cover already allocated blocks in selected range */
	if (ar->pleft && start <= ar->lleft) {
		size -= ar->lleft + 1 - start;
		start = ar->lleft + 1;
	}
	if (ar->pright && start + size - 1 >= ar->lright)
		size -= start + size - ar->lright;

3152 3153 3154 3155 3156 3157 3158
	/*
	 * Trim allocation request for filesystems with artificially small
	 * groups.
	 */
	if (size > EXT4_BLOCKS_PER_GROUP(ac->ac_sb))
		size = EXT4_BLOCKS_PER_GROUP(ac->ac_sb);

3159 3160 3161 3162
	end = start + size;

	/* check we don't cross already preallocated blocks */
	rcu_read_lock();
3163
	list_for_each_entry_rcu(pa, &ei->i_prealloc_list, pa_inode_list) {
3164
		ext4_lblk_t pa_end;
3165 3166 3167 3168 3169 3170 3171 3172 3173

		if (pa->pa_deleted)
			continue;
		spin_lock(&pa->pa_lock);
		if (pa->pa_deleted) {
			spin_unlock(&pa->pa_lock);
			continue;
		}

3174 3175
		pa_end = pa->pa_lstart + EXT4_C2B(EXT4_SB(ac->ac_sb),
						  pa->pa_len);
3176 3177 3178 3179 3180

		/* PA must not overlap original request */
		BUG_ON(!(ac->ac_o_ex.fe_logical >= pa_end ||
			ac->ac_o_ex.fe_logical < pa->pa_lstart));

3181 3182
		/* skip PAs this normalized request doesn't overlap with */
		if (pa->pa_lstart >= end || pa_end <= start) {
3183 3184 3185 3186 3187
			spin_unlock(&pa->pa_lock);
			continue;
		}
		BUG_ON(pa->pa_lstart <= start && pa_end >= end);

3188
		/* adjust start or end to be adjacent to this pa */
3189 3190 3191
		if (pa_end <= ac->ac_o_ex.fe_logical) {
			BUG_ON(pa_end < start);
			start = pa_end;
3192
		} else if (pa->pa_lstart > ac->ac_o_ex.fe_logical) {
3193 3194 3195 3196 3197 3198 3199 3200 3201 3202
			BUG_ON(pa->pa_lstart > end);
			end = pa->pa_lstart;
		}
		spin_unlock(&pa->pa_lock);
	}
	rcu_read_unlock();
	size = end - start;

	/* XXX: extra loop to check we really don't overlap preallocations */
	rcu_read_lock();
3203
	list_for_each_entry_rcu(pa, &ei->i_prealloc_list, pa_inode_list) {
3204
		ext4_lblk_t pa_end;
3205

3206 3207
		spin_lock(&pa->pa_lock);
		if (pa->pa_deleted == 0) {
3208 3209
			pa_end = pa->pa_lstart + EXT4_C2B(EXT4_SB(ac->ac_sb),
							  pa->pa_len);
3210 3211 3212 3213 3214 3215 3216 3217
			BUG_ON(!(start >= pa_end || end <= pa->pa_lstart));
		}
		spin_unlock(&pa->pa_lock);
	}
	rcu_read_unlock();

	if (start + size <= ac->ac_o_ex.fe_logical &&
			start > ac->ac_o_ex.fe_logical) {
3218 3219 3220 3221
		ext4_msg(ac->ac_sb, KERN_ERR,
			 "start %lu, size %lu, fe_logical %lu",
			 (unsigned long) start, (unsigned long) size,
			 (unsigned long) ac->ac_o_ex.fe_logical);
3222
		BUG();
3223
	}
3224
	BUG_ON(size <= 0 || size > EXT4_BLOCKS_PER_GROUP(ac->ac_sb));
3225 3226 3227 3228 3229 3230

	/* now prepare goal request */

	/* XXX: is it better to align blocks WRT to logical
	 * placement or satisfy big request as is */
	ac->ac_g_ex.fe_logical = start;
3231
	ac->ac_g_ex.fe_len = EXT4_NUM_B2C(sbi, size);
3232 3233 3234 3235 3236 3237 3238 3239 3240 3241 3242 3243 3244 3245 3246 3247 3248

	/* define goal start in order to merge */
	if (ar->pright && (ar->lright == (start + size))) {
		/* merge to the right */
		ext4_get_group_no_and_offset(ac->ac_sb, ar->pright - size,
						&ac->ac_f_ex.fe_group,
						&ac->ac_f_ex.fe_start);
		ac->ac_flags |= EXT4_MB_HINT_TRY_GOAL;
	}
	if (ar->pleft && (ar->lleft + 1 == start)) {
		/* merge to the left */
		ext4_get_group_no_and_offset(ac->ac_sb, ar->pleft + 1,
						&ac->ac_f_ex.fe_group,
						&ac->ac_f_ex.fe_start);
		ac->ac_flags |= EXT4_MB_HINT_TRY_GOAL;
	}

3249
	mb_debug(1, "goal: %u(was %u) blocks at %u\n", (unsigned) size,
3250 3251 3252 3253 3254 3255 3256 3257 3258 3259
		(unsigned) orig_size, (unsigned) start);
}

static void ext4_mb_collect_stats(struct ext4_allocation_context *ac)
{
	struct ext4_sb_info *sbi = EXT4_SB(ac->ac_sb);

	if (sbi->s_mb_stats && ac->ac_g_ex.fe_len > 1) {
		atomic_inc(&sbi->s_bal_reqs);
		atomic_add(ac->ac_b_ex.fe_len, &sbi->s_bal_allocated);
3260
		if (ac->ac_b_ex.fe_len >= ac->ac_o_ex.fe_len)
3261 3262 3263 3264 3265 3266 3267 3268 3269
			atomic_inc(&sbi->s_bal_success);
		atomic_add(ac->ac_found, &sbi->s_bal_ex_scanned);
		if (ac->ac_g_ex.fe_start == ac->ac_b_ex.fe_start &&
				ac->ac_g_ex.fe_group == ac->ac_b_ex.fe_group)
			atomic_inc(&sbi->s_bal_goals);
		if (ac->ac_found > sbi->s_mb_max_to_scan)
			atomic_inc(&sbi->s_bal_breaks);
	}

3270 3271 3272 3273
	if (ac->ac_op == EXT4_MB_HISTORY_ALLOC)
		trace_ext4_mballoc_alloc(ac);
	else
		trace_ext4_mballoc_prealloc(ac);
3274 3275
}

3276 3277 3278 3279 3280 3281 3282 3283 3284
/*
 * Called on failure; free up any blocks from the inode PA for this
 * context.  We don't need this for MB_GROUP_PA because we only change
 * pa_free in ext4_mb_release_context(), but on failure, we've already
 * zeroed out ac->ac_b_ex.fe_len, so group_pa->pa_free is not changed.
 */
static void ext4_discard_allocated_blocks(struct ext4_allocation_context *ac)
{
	struct ext4_prealloc_space *pa = ac->ac_pa;
3285 3286
	struct ext4_buddy e4b;
	int err;
3287

3288
	if (pa == NULL) {
3289 3290
		if (ac->ac_f_ex.fe_len == 0)
			return;
3291 3292 3293 3294 3295 3296 3297 3298 3299 3300 3301 3302 3303 3304
		err = ext4_mb_load_buddy(ac->ac_sb, ac->ac_f_ex.fe_group, &e4b);
		if (err) {
			/*
			 * This should never happen since we pin the
			 * pages in the ext4_allocation_context so
			 * ext4_mb_load_buddy() should never fail.
			 */
			WARN(1, "mb_load_buddy failed (%d)", err);
			return;
		}
		ext4_lock_group(ac->ac_sb, ac->ac_f_ex.fe_group);
		mb_free_blocks(ac->ac_inode, &e4b, ac->ac_f_ex.fe_start,
			       ac->ac_f_ex.fe_len);
		ext4_unlock_group(ac->ac_sb, ac->ac_f_ex.fe_group);
3305
		ext4_mb_unload_buddy(&e4b);
3306 3307 3308
		return;
	}
	if (pa->pa_type == MB_INODE_PA)
3309
		pa->pa_free += ac->ac_b_ex.fe_len;
3310 3311
}

3312 3313 3314 3315 3316 3317
/*
 * use blocks preallocated to inode
 */
static void ext4_mb_use_inode_pa(struct ext4_allocation_context *ac,
				struct ext4_prealloc_space *pa)
{
3318
	struct ext4_sb_info *sbi = EXT4_SB(ac->ac_sb);
3319 3320 3321 3322 3323 3324
	ext4_fsblk_t start;
	ext4_fsblk_t end;
	int len;

	/* found preallocated blocks, use them */
	start = pa->pa_pstart + (ac->ac_o_ex.fe_logical - pa->pa_lstart);
3325 3326 3327
	end = min(pa->pa_pstart + EXT4_C2B(sbi, pa->pa_len),
		  start + EXT4_C2B(sbi, ac->ac_o_ex.fe_len));
	len = EXT4_NUM_B2C(sbi, end - start);
3328 3329 3330 3331 3332 3333 3334
	ext4_get_group_no_and_offset(ac->ac_sb, start, &ac->ac_b_ex.fe_group,
					&ac->ac_b_ex.fe_start);
	ac->ac_b_ex.fe_len = len;
	ac->ac_status = AC_STATUS_FOUND;
	ac->ac_pa = pa;

	BUG_ON(start < pa->pa_pstart);
3335
	BUG_ON(end > pa->pa_pstart + EXT4_C2B(sbi, pa->pa_len));
3336 3337 3338
	BUG_ON(pa->pa_free < len);
	pa->pa_free -= len;

3339
	mb_debug(1, "use %llu/%u from inode pa %p\n", start, len, pa);
3340 3341 3342 3343 3344 3345 3346 3347
}

/*
 * use blocks preallocated to locality group
 */
static void ext4_mb_use_group_pa(struct ext4_allocation_context *ac,
				struct ext4_prealloc_space *pa)
{
3348
	unsigned int len = ac->ac_o_ex.fe_len;
3349

3350 3351 3352 3353 3354 3355 3356 3357
	ext4_get_group_no_and_offset(ac->ac_sb, pa->pa_pstart,
					&ac->ac_b_ex.fe_group,
					&ac->ac_b_ex.fe_start);
	ac->ac_b_ex.fe_len = len;
	ac->ac_status = AC_STATUS_FOUND;
	ac->ac_pa = pa;

	/* we don't correct pa_pstart or pa_plen here to avoid
3358
	 * possible race when the group is being loaded concurrently
3359
	 * instead we correct pa later, after blocks are marked
3360 3361
	 * in on-disk bitmap -- see ext4_mb_release_context()
	 * Other CPUs are prevented from allocating from this pa by lg_mutex
3362
	 */
3363
	mb_debug(1, "use %u/%u from group pa %p\n", pa->pa_lstart-len, len, pa);
3364 3365
}

3366 3367 3368 3369 3370 3371 3372 3373 3374 3375 3376 3377 3378 3379 3380 3381 3382
/*
 * Return the prealloc space that have minimal distance
 * from the goal block. @cpa is the prealloc
 * space that is having currently known minimal distance
 * from the goal block.
 */
static struct ext4_prealloc_space *
ext4_mb_check_group_pa(ext4_fsblk_t goal_block,
			struct ext4_prealloc_space *pa,
			struct ext4_prealloc_space *cpa)
{
	ext4_fsblk_t cur_distance, new_distance;

	if (cpa == NULL) {
		atomic_inc(&pa->pa_count);
		return pa;
	}
A
Andrew Morton 已提交
3383 3384
	cur_distance = abs(goal_block - cpa->pa_pstart);
	new_distance = abs(goal_block - pa->pa_pstart);
3385

3386
	if (cur_distance <= new_distance)
3387 3388 3389 3390 3391 3392 3393 3394
		return cpa;

	/* drop the previous reference */
	atomic_dec(&cpa->pa_count);
	atomic_inc(&pa->pa_count);
	return pa;
}

3395 3396 3397
/*
 * search goal blocks in preallocated space
 */
3398 3399
static noinline_for_stack int
ext4_mb_use_preallocated(struct ext4_allocation_context *ac)
3400
{
3401
	struct ext4_sb_info *sbi = EXT4_SB(ac->ac_sb);
3402
	int order, i;
3403 3404
	struct ext4_inode_info *ei = EXT4_I(ac->ac_inode);
	struct ext4_locality_group *lg;
3405 3406
	struct ext4_prealloc_space *pa, *cpa = NULL;
	ext4_fsblk_t goal_block;
3407 3408 3409 3410 3411 3412 3413

	/* only data can be preallocated */
	if (!(ac->ac_flags & EXT4_MB_HINT_DATA))
		return 0;

	/* first, try per-file preallocation */
	rcu_read_lock();
3414
	list_for_each_entry_rcu(pa, &ei->i_prealloc_list, pa_inode_list) {
3415 3416 3417 3418

		/* all fields in this condition don't change,
		 * so we can skip locking for them */
		if (ac->ac_o_ex.fe_logical < pa->pa_lstart ||
3419 3420
		    ac->ac_o_ex.fe_logical >= (pa->pa_lstart +
					       EXT4_C2B(sbi, pa->pa_len)))
3421 3422
			continue;

3423
		/* non-extent files can't have physical blocks past 2^32 */
3424
		if (!(ext4_test_inode_flag(ac->ac_inode, EXT4_INODE_EXTENTS)) &&
3425 3426
		    (pa->pa_pstart + EXT4_C2B(sbi, pa->pa_len) >
		     EXT4_MAX_BLOCK_FILE_PHYS))
3427 3428
			continue;

3429 3430 3431 3432 3433 3434 3435 3436 3437 3438 3439 3440 3441 3442 3443 3444 3445 3446 3447 3448 3449 3450
		/* found preallocated blocks, use them */
		spin_lock(&pa->pa_lock);
		if (pa->pa_deleted == 0 && pa->pa_free) {
			atomic_inc(&pa->pa_count);
			ext4_mb_use_inode_pa(ac, pa);
			spin_unlock(&pa->pa_lock);
			ac->ac_criteria = 10;
			rcu_read_unlock();
			return 1;
		}
		spin_unlock(&pa->pa_lock);
	}
	rcu_read_unlock();

	/* can we use group allocation? */
	if (!(ac->ac_flags & EXT4_MB_HINT_GROUP_ALLOC))
		return 0;

	/* inode may have no locality group for some reason */
	lg = ac->ac_lg;
	if (lg == NULL)
		return 0;
3451 3452 3453 3454 3455
	order  = fls(ac->ac_o_ex.fe_len) - 1;
	if (order > PREALLOC_TB_SIZE - 1)
		/* The max size of hash table is PREALLOC_TB_SIZE */
		order = PREALLOC_TB_SIZE - 1;

3456
	goal_block = ext4_grp_offs_to_block(ac->ac_sb, &ac->ac_g_ex);
3457 3458 3459 3460
	/*
	 * search for the prealloc space that is having
	 * minimal distance from the goal block.
	 */
3461 3462 3463 3464 3465 3466 3467
	for (i = order; i < PREALLOC_TB_SIZE; i++) {
		rcu_read_lock();
		list_for_each_entry_rcu(pa, &lg->lg_prealloc_list[i],
					pa_inode_list) {
			spin_lock(&pa->pa_lock);
			if (pa->pa_deleted == 0 &&
					pa->pa_free >= ac->ac_o_ex.fe_len) {
3468 3469 3470

				cpa = ext4_mb_check_group_pa(goal_block,
								pa, cpa);
3471
			}
3472 3473
			spin_unlock(&pa->pa_lock);
		}
3474
		rcu_read_unlock();
3475
	}
3476 3477 3478 3479 3480
	if (cpa) {
		ext4_mb_use_group_pa(ac, cpa);
		ac->ac_criteria = 20;
		return 1;
	}
3481 3482 3483
	return 0;
}

3484 3485 3486 3487
/*
 * the function goes through all block freed in the group
 * but not yet committed and marks them used in in-core bitmap.
 * buddy must be generated from this bitmap
3488
 * Need to be called with the ext4 group lock held
3489 3490 3491 3492 3493 3494 3495 3496 3497 3498 3499 3500
 */
static void ext4_mb_generate_from_freelist(struct super_block *sb, void *bitmap,
						ext4_group_t group)
{
	struct rb_node *n;
	struct ext4_group_info *grp;
	struct ext4_free_data *entry;

	grp = ext4_get_group_info(sb, group);
	n = rb_first(&(grp->bb_free_root));

	while (n) {
B
Bobi Jam 已提交
3501 3502
		entry = rb_entry(n, struct ext4_free_data, efd_node);
		ext4_set_bits(bitmap, entry->efd_start_cluster, entry->efd_count);
3503 3504 3505 3506 3507
		n = rb_next(n);
	}
	return;
}

3508 3509 3510
/*
 * the function goes through all preallocation in this group and marks them
 * used in in-core bitmap. buddy must be generated from this bitmap
3511
 * Need to be called with ext4 group lock held
3512
 */
3513 3514
static noinline_for_stack
void ext4_mb_generate_from_pa(struct super_block *sb, void *bitmap,
3515 3516 3517 3518 3519 3520 3521 3522 3523 3524 3525 3526 3527 3528 3529 3530 3531 3532 3533 3534 3535 3536 3537 3538 3539 3540 3541 3542
					ext4_group_t group)
{
	struct ext4_group_info *grp = ext4_get_group_info(sb, group);
	struct ext4_prealloc_space *pa;
	struct list_head *cur;
	ext4_group_t groupnr;
	ext4_grpblk_t start;
	int preallocated = 0;
	int len;

	/* all form of preallocation discards first load group,
	 * so the only competing code is preallocation use.
	 * we don't need any locking here
	 * notice we do NOT ignore preallocations with pa_deleted
	 * otherwise we could leave used blocks available for
	 * allocation in buddy when concurrent ext4_mb_put_pa()
	 * is dropping preallocation
	 */
	list_for_each(cur, &grp->bb_prealloc_list) {
		pa = list_entry(cur, struct ext4_prealloc_space, pa_group_list);
		spin_lock(&pa->pa_lock);
		ext4_get_group_no_and_offset(sb, pa->pa_pstart,
					     &groupnr, &start);
		len = pa->pa_len;
		spin_unlock(&pa->pa_lock);
		if (unlikely(len == 0))
			continue;
		BUG_ON(groupnr != group);
3543
		ext4_set_bits(bitmap, start, len);
3544 3545
		preallocated += len;
	}
3546
	mb_debug(1, "preallocated %u for group %u\n", preallocated, group);
3547 3548 3549 3550 3551 3552
}

static void ext4_mb_pa_callback(struct rcu_head *head)
{
	struct ext4_prealloc_space *pa;
	pa = container_of(head, struct ext4_prealloc_space, u.pa_rcu);
3553 3554 3555

	BUG_ON(atomic_read(&pa->pa_count));
	BUG_ON(pa->pa_deleted == 0);
3556 3557 3558 3559 3560 3561 3562 3563 3564 3565
	kmem_cache_free(ext4_pspace_cachep, pa);
}

/*
 * drops a reference to preallocated space descriptor
 * if this was the last reference and the space is consumed
 */
static void ext4_mb_put_pa(struct ext4_allocation_context *ac,
			struct super_block *sb, struct ext4_prealloc_space *pa)
{
3566
	ext4_group_t grp;
3567
	ext4_fsblk_t grp_blk;
3568 3569 3570

	/* in this short window concurrent discard can set pa_deleted */
	spin_lock(&pa->pa_lock);
3571 3572 3573 3574 3575
	if (!atomic_dec_and_test(&pa->pa_count) || pa->pa_free != 0) {
		spin_unlock(&pa->pa_lock);
		return;
	}

3576 3577 3578 3579 3580 3581 3582 3583
	if (pa->pa_deleted == 1) {
		spin_unlock(&pa->pa_lock);
		return;
	}

	pa->pa_deleted = 1;
	spin_unlock(&pa->pa_lock);

3584
	grp_blk = pa->pa_pstart;
3585
	/*
3586 3587 3588 3589
	 * If doing group-based preallocation, pa_pstart may be in the
	 * next group when pa is used up
	 */
	if (pa->pa_type == MB_GROUP_PA)
3590 3591
		grp_blk--;

3592
	grp = ext4_get_group_number(sb, grp_blk);
3593 3594 3595 3596 3597 3598 3599 3600 3601 3602 3603 3604 3605 3606 3607 3608 3609 3610 3611 3612 3613 3614 3615 3616 3617 3618 3619 3620 3621

	/*
	 * possible race:
	 *
	 *  P1 (buddy init)			P2 (regular allocation)
	 *					find block B in PA
	 *  copy on-disk bitmap to buddy
	 *  					mark B in on-disk bitmap
	 *					drop PA from group
	 *  mark all PAs in buddy
	 *
	 * thus, P1 initializes buddy with B available. to prevent this
	 * we make "copy" and "mark all PAs" atomic and serialize "drop PA"
	 * against that pair
	 */
	ext4_lock_group(sb, grp);
	list_del(&pa->pa_group_list);
	ext4_unlock_group(sb, grp);

	spin_lock(pa->pa_obj_lock);
	list_del_rcu(&pa->pa_inode_list);
	spin_unlock(pa->pa_obj_lock);

	call_rcu(&(pa)->u.pa_rcu, ext4_mb_pa_callback);
}

/*
 * creates new preallocated space for given inode
 */
3622 3623
static noinline_for_stack int
ext4_mb_new_inode_pa(struct ext4_allocation_context *ac)
3624 3625
{
	struct super_block *sb = ac->ac_sb;
3626
	struct ext4_sb_info *sbi = EXT4_SB(sb);
3627 3628 3629 3630 3631 3632 3633 3634 3635 3636 3637 3638 3639 3640 3641 3642 3643 3644 3645 3646 3647 3648 3649 3650 3651 3652 3653 3654 3655 3656 3657
	struct ext4_prealloc_space *pa;
	struct ext4_group_info *grp;
	struct ext4_inode_info *ei;

	/* preallocate only when found space is larger then requested */
	BUG_ON(ac->ac_o_ex.fe_len >= ac->ac_b_ex.fe_len);
	BUG_ON(ac->ac_status != AC_STATUS_FOUND);
	BUG_ON(!S_ISREG(ac->ac_inode->i_mode));

	pa = kmem_cache_alloc(ext4_pspace_cachep, GFP_NOFS);
	if (pa == NULL)
		return -ENOMEM;

	if (ac->ac_b_ex.fe_len < ac->ac_g_ex.fe_len) {
		int winl;
		int wins;
		int win;
		int offs;

		/* we can't allocate as much as normalizer wants.
		 * so, found space must get proper lstart
		 * to cover original request */
		BUG_ON(ac->ac_g_ex.fe_logical > ac->ac_o_ex.fe_logical);
		BUG_ON(ac->ac_g_ex.fe_len < ac->ac_o_ex.fe_len);

		/* we're limited by original request in that
		 * logical block must be covered any way
		 * winl is window we can move our chunk within */
		winl = ac->ac_o_ex.fe_logical - ac->ac_g_ex.fe_logical;

		/* also, we should cover whole original request */
3658
		wins = EXT4_C2B(sbi, ac->ac_b_ex.fe_len - ac->ac_o_ex.fe_len);
3659 3660 3661 3662

		/* the smallest one defines real window */
		win = min(winl, wins);

3663 3664
		offs = ac->ac_o_ex.fe_logical %
			EXT4_C2B(sbi, ac->ac_b_ex.fe_len);
3665 3666 3667
		if (offs && offs < win)
			win = offs;

3668
		ac->ac_b_ex.fe_logical = ac->ac_o_ex.fe_logical -
3669
			EXT4_NUM_B2C(sbi, win);
3670 3671 3672 3673 3674 3675 3676 3677 3678 3679 3680 3681 3682 3683
		BUG_ON(ac->ac_o_ex.fe_logical < ac->ac_b_ex.fe_logical);
		BUG_ON(ac->ac_o_ex.fe_len > ac->ac_b_ex.fe_len);
	}

	/* preallocation can change ac_b_ex, thus we store actually
	 * allocated blocks for history */
	ac->ac_f_ex = ac->ac_b_ex;

	pa->pa_lstart = ac->ac_b_ex.fe_logical;
	pa->pa_pstart = ext4_grp_offs_to_block(sb, &ac->ac_b_ex);
	pa->pa_len = ac->ac_b_ex.fe_len;
	pa->pa_free = pa->pa_len;
	atomic_set(&pa->pa_count, 1);
	spin_lock_init(&pa->pa_lock);
3684 3685
	INIT_LIST_HEAD(&pa->pa_inode_list);
	INIT_LIST_HEAD(&pa->pa_group_list);
3686
	pa->pa_deleted = 0;
3687
	pa->pa_type = MB_INODE_PA;
3688

3689
	mb_debug(1, "new inode pa %p: %llu/%u for %u\n", pa,
3690
			pa->pa_pstart, pa->pa_len, pa->pa_lstart);
3691
	trace_ext4_mb_new_inode_pa(ac, pa);
3692 3693

	ext4_mb_use_inode_pa(ac, pa);
3694
	atomic_add(pa->pa_free, &sbi->s_mb_preallocated);
3695 3696 3697 3698 3699 3700 3701 3702 3703 3704 3705 3706 3707 3708 3709 3710 3711 3712 3713 3714 3715

	ei = EXT4_I(ac->ac_inode);
	grp = ext4_get_group_info(sb, ac->ac_b_ex.fe_group);

	pa->pa_obj_lock = &ei->i_prealloc_lock;
	pa->pa_inode = ac->ac_inode;

	ext4_lock_group(sb, ac->ac_b_ex.fe_group);
	list_add(&pa->pa_group_list, &grp->bb_prealloc_list);
	ext4_unlock_group(sb, ac->ac_b_ex.fe_group);

	spin_lock(pa->pa_obj_lock);
	list_add_rcu(&pa->pa_inode_list, &ei->i_prealloc_list);
	spin_unlock(pa->pa_obj_lock);

	return 0;
}

/*
 * creates new preallocated space for locality group inodes belongs to
 */
3716 3717
static noinline_for_stack int
ext4_mb_new_group_pa(struct ext4_allocation_context *ac)
3718 3719 3720 3721 3722 3723 3724 3725 3726 3727 3728 3729 3730 3731 3732 3733 3734 3735 3736 3737 3738 3739 3740 3741 3742 3743
{
	struct super_block *sb = ac->ac_sb;
	struct ext4_locality_group *lg;
	struct ext4_prealloc_space *pa;
	struct ext4_group_info *grp;

	/* preallocate only when found space is larger then requested */
	BUG_ON(ac->ac_o_ex.fe_len >= ac->ac_b_ex.fe_len);
	BUG_ON(ac->ac_status != AC_STATUS_FOUND);
	BUG_ON(!S_ISREG(ac->ac_inode->i_mode));

	BUG_ON(ext4_pspace_cachep == NULL);
	pa = kmem_cache_alloc(ext4_pspace_cachep, GFP_NOFS);
	if (pa == NULL)
		return -ENOMEM;

	/* preallocation can change ac_b_ex, thus we store actually
	 * allocated blocks for history */
	ac->ac_f_ex = ac->ac_b_ex;

	pa->pa_pstart = ext4_grp_offs_to_block(sb, &ac->ac_b_ex);
	pa->pa_lstart = pa->pa_pstart;
	pa->pa_len = ac->ac_b_ex.fe_len;
	pa->pa_free = pa->pa_len;
	atomic_set(&pa->pa_count, 1);
	spin_lock_init(&pa->pa_lock);
3744
	INIT_LIST_HEAD(&pa->pa_inode_list);
3745
	INIT_LIST_HEAD(&pa->pa_group_list);
3746
	pa->pa_deleted = 0;
3747
	pa->pa_type = MB_GROUP_PA;
3748

3749
	mb_debug(1, "new group pa %p: %llu/%u for %u\n", pa,
3750 3751
			pa->pa_pstart, pa->pa_len, pa->pa_lstart);
	trace_ext4_mb_new_group_pa(ac, pa);
3752 3753 3754 3755 3756 3757 3758 3759 3760 3761 3762 3763 3764 3765 3766

	ext4_mb_use_group_pa(ac, pa);
	atomic_add(pa->pa_free, &EXT4_SB(sb)->s_mb_preallocated);

	grp = ext4_get_group_info(sb, ac->ac_b_ex.fe_group);
	lg = ac->ac_lg;
	BUG_ON(lg == NULL);

	pa->pa_obj_lock = &lg->lg_prealloc_lock;
	pa->pa_inode = NULL;

	ext4_lock_group(sb, ac->ac_b_ex.fe_group);
	list_add(&pa->pa_group_list, &grp->bb_prealloc_list);
	ext4_unlock_group(sb, ac->ac_b_ex.fe_group);

3767 3768 3769 3770
	/*
	 * We will later add the new pa to the right bucket
	 * after updating the pa_free in ext4_mb_release_context
	 */
3771 3772 3773 3774 3775 3776 3777 3778 3779 3780 3781 3782 3783 3784 3785 3786 3787 3788 3789 3790 3791 3792
	return 0;
}

static int ext4_mb_new_preallocation(struct ext4_allocation_context *ac)
{
	int err;

	if (ac->ac_flags & EXT4_MB_HINT_GROUP_ALLOC)
		err = ext4_mb_new_group_pa(ac);
	else
		err = ext4_mb_new_inode_pa(ac);
	return err;
}

/*
 * finds all unused blocks in on-disk bitmap, frees them in
 * in-core bitmap and buddy.
 * @pa must be unlinked from inode and group lists, so that
 * nobody else can find/use it.
 * the caller MUST hold group/inode locks.
 * TODO: optimize the case when there are no in-core structures yet
 */
3793 3794
static noinline_for_stack int
ext4_mb_release_inode_pa(struct ext4_buddy *e4b, struct buffer_head *bitmap_bh,
3795
			struct ext4_prealloc_space *pa)
3796 3797 3798
{
	struct super_block *sb = e4b->bd_sb;
	struct ext4_sb_info *sbi = EXT4_SB(sb);
3799 3800
	unsigned int end;
	unsigned int next;
3801 3802
	ext4_group_t group;
	ext4_grpblk_t bit;
3803
	unsigned long long grp_blk_start;
3804 3805 3806 3807
	int free = 0;

	BUG_ON(pa->pa_deleted == 0);
	ext4_get_group_no_and_offset(sb, pa->pa_pstart, &group, &bit);
3808
	grp_blk_start = pa->pa_pstart - EXT4_C2B(sbi, bit);
3809 3810 3811 3812
	BUG_ON(group != e4b->bd_group && pa->pa_len != 0);
	end = bit + pa->pa_len;

	while (bit < end) {
3813
		bit = mb_find_next_zero_bit(bitmap_bh->b_data, end, bit);
3814 3815
		if (bit >= end)
			break;
3816
		next = mb_find_next_bit(bitmap_bh->b_data, end, bit);
3817
		mb_debug(1, "    free preallocated %u/%u in group %u\n",
3818 3819
			 (unsigned) ext4_group_first_block_no(sb, group) + bit,
			 (unsigned) next - bit, (unsigned) group);
3820 3821
		free += next - bit;

3822
		trace_ext4_mballoc_discard(sb, NULL, group, bit, next - bit);
3823 3824
		trace_ext4_mb_release_inode_pa(pa, (grp_blk_start +
						    EXT4_C2B(sbi, bit)),
L
Lukas Czerner 已提交
3825
					       next - bit);
3826 3827 3828 3829
		mb_free_blocks(pa->pa_inode, e4b, bit, next - bit);
		bit = next + 1;
	}
	if (free != pa->pa_free) {
3830 3831 3832 3833 3834
		ext4_msg(e4b->bd_sb, KERN_CRIT,
			 "pa %p: logic %lu, phys. %lu, len %lu",
			 pa, (unsigned long) pa->pa_lstart,
			 (unsigned long) pa->pa_pstart,
			 (unsigned long) pa->pa_len);
3835
		ext4_grp_locked_error(sb, group, 0, 0, "free %u, pa_free %u",
3836
					free, pa->pa_free);
3837 3838 3839 3840
		/*
		 * pa is already deleted so we use the value obtained
		 * from the bitmap and continue.
		 */
3841 3842 3843
	}
	atomic_add(free, &sbi->s_mb_discarded);

3844
	return 0;
3845 3846
}

3847 3848
static noinline_for_stack int
ext4_mb_release_group_pa(struct ext4_buddy *e4b,
3849
				struct ext4_prealloc_space *pa)
3850 3851 3852 3853 3854
{
	struct super_block *sb = e4b->bd_sb;
	ext4_group_t group;
	ext4_grpblk_t bit;

3855
	trace_ext4_mb_release_group_pa(sb, pa);
3856 3857 3858 3859 3860
	BUG_ON(pa->pa_deleted == 0);
	ext4_get_group_no_and_offset(sb, pa->pa_pstart, &group, &bit);
	BUG_ON(group != e4b->bd_group && pa->pa_len != 0);
	mb_free_blocks(pa->pa_inode, e4b, bit, pa->pa_len);
	atomic_add(pa->pa_len, &EXT4_SB(sb)->s_mb_discarded);
3861
	trace_ext4_mballoc_discard(sb, NULL, group, bit, pa->pa_len);
3862 3863 3864 3865 3866 3867 3868 3869 3870 3871 3872 3873 3874

	return 0;
}

/*
 * releases all preallocations in given group
 *
 * first, we need to decide discard policy:
 * - when do we discard
 *   1) ENOSPC
 * - how many do we discard
 *   1) how many requested
 */
3875 3876
static noinline_for_stack int
ext4_mb_discard_group_preallocations(struct super_block *sb,
3877 3878 3879 3880 3881 3882 3883 3884 3885 3886 3887
					ext4_group_t group, int needed)
{
	struct ext4_group_info *grp = ext4_get_group_info(sb, group);
	struct buffer_head *bitmap_bh = NULL;
	struct ext4_prealloc_space *pa, *tmp;
	struct list_head list;
	struct ext4_buddy e4b;
	int err;
	int busy = 0;
	int free = 0;

3888
	mb_debug(1, "discard preallocation for group %u\n", group);
3889 3890 3891 3892

	if (list_empty(&grp->bb_prealloc_list))
		return 0;

3893
	bitmap_bh = ext4_read_block_bitmap(sb, group);
3894 3895 3896 3897
	if (IS_ERR(bitmap_bh)) {
		err = PTR_ERR(bitmap_bh);
		ext4_error(sb, "Error %d reading block bitmap for %u",
			   err, group);
3898
		return 0;
3899 3900 3901
	}

	err = ext4_mb_load_buddy(sb, group, &e4b);
3902
	if (err) {
3903 3904
		ext4_warning(sb, "Error %d loading buddy information for %u",
			     err, group);
3905 3906 3907
		put_bh(bitmap_bh);
		return 0;
	}
3908 3909

	if (needed == 0)
3910
		needed = EXT4_CLUSTERS_PER_GROUP(sb) + 1;
3911 3912 3913 3914 3915 3916 3917 3918 3919 3920 3921 3922 3923 3924 3925 3926 3927 3928 3929 3930 3931 3932 3933 3934 3935 3936 3937 3938 3939 3940 3941 3942 3943

	INIT_LIST_HEAD(&list);
repeat:
	ext4_lock_group(sb, group);
	list_for_each_entry_safe(pa, tmp,
				&grp->bb_prealloc_list, pa_group_list) {
		spin_lock(&pa->pa_lock);
		if (atomic_read(&pa->pa_count)) {
			spin_unlock(&pa->pa_lock);
			busy = 1;
			continue;
		}
		if (pa->pa_deleted) {
			spin_unlock(&pa->pa_lock);
			continue;
		}

		/* seems this one can be freed ... */
		pa->pa_deleted = 1;

		/* we can trust pa_free ... */
		free += pa->pa_free;

		spin_unlock(&pa->pa_lock);

		list_del(&pa->pa_group_list);
		list_add(&pa->u.pa_tmp_list, &list);
	}

	/* if we still need more blocks and some PAs were used, try again */
	if (free < needed && busy) {
		busy = 0;
		ext4_unlock_group(sb, group);
L
Lukas Czerner 已提交
3944
		cond_resched();
3945 3946 3947 3948 3949 3950 3951 3952 3953 3954 3955 3956 3957 3958 3959 3960 3961
		goto repeat;
	}

	/* found anything to free? */
	if (list_empty(&list)) {
		BUG_ON(free != 0);
		goto out;
	}

	/* now free all selected PAs */
	list_for_each_entry_safe(pa, tmp, &list, u.pa_tmp_list) {

		/* remove from object (inode or locality group) */
		spin_lock(pa->pa_obj_lock);
		list_del_rcu(&pa->pa_inode_list);
		spin_unlock(pa->pa_obj_lock);

3962
		if (pa->pa_type == MB_GROUP_PA)
3963
			ext4_mb_release_group_pa(&e4b, pa);
3964
		else
3965
			ext4_mb_release_inode_pa(&e4b, bitmap_bh, pa);
3966 3967 3968 3969 3970 3971 3972

		list_del(&pa->u.pa_tmp_list);
		call_rcu(&(pa)->u.pa_rcu, ext4_mb_pa_callback);
	}

out:
	ext4_unlock_group(sb, group);
3973
	ext4_mb_unload_buddy(&e4b);
3974 3975 3976 3977 3978 3979 3980 3981 3982 3983 3984 3985 3986
	put_bh(bitmap_bh);
	return free;
}

/*
 * releases all non-used preallocated blocks for given inode
 *
 * It's important to discard preallocations under i_data_sem
 * We don't want another block to be served from the prealloc
 * space when we are discarding the inode prealloc space.
 *
 * FIXME!! Make sure it is valid at all the call sites
 */
3987
void ext4_discard_preallocations(struct inode *inode)
3988 3989 3990 3991 3992 3993 3994 3995 3996 3997
{
	struct ext4_inode_info *ei = EXT4_I(inode);
	struct super_block *sb = inode->i_sb;
	struct buffer_head *bitmap_bh = NULL;
	struct ext4_prealloc_space *pa, *tmp;
	ext4_group_t group = 0;
	struct list_head list;
	struct ext4_buddy e4b;
	int err;

3998
	if (!S_ISREG(inode->i_mode)) {
3999 4000 4001 4002
		/*BUG_ON(!list_empty(&ei->i_prealloc_list));*/
		return;
	}

4003
	mb_debug(1, "discard preallocation for inode %lu\n", inode->i_ino);
4004
	trace_ext4_discard_preallocations(inode);
4005 4006 4007 4008 4009 4010 4011 4012 4013 4014 4015 4016 4017 4018 4019 4020

	INIT_LIST_HEAD(&list);

repeat:
	/* first, collect all pa's in the inode */
	spin_lock(&ei->i_prealloc_lock);
	while (!list_empty(&ei->i_prealloc_list)) {
		pa = list_entry(ei->i_prealloc_list.next,
				struct ext4_prealloc_space, pa_inode_list);
		BUG_ON(pa->pa_obj_lock != &ei->i_prealloc_lock);
		spin_lock(&pa->pa_lock);
		if (atomic_read(&pa->pa_count)) {
			/* this shouldn't happen often - nobody should
			 * use preallocation while we're discarding it */
			spin_unlock(&pa->pa_lock);
			spin_unlock(&ei->i_prealloc_lock);
4021 4022
			ext4_msg(sb, KERN_ERR,
				 "uh-oh! used pa while discarding");
4023 4024 4025 4026 4027 4028 4029 4030 4031 4032 4033 4034 4035 4036 4037 4038 4039 4040 4041 4042 4043 4044 4045 4046 4047 4048 4049 4050 4051 4052 4053 4054 4055 4056 4057
			WARN_ON(1);
			schedule_timeout_uninterruptible(HZ);
			goto repeat;

		}
		if (pa->pa_deleted == 0) {
			pa->pa_deleted = 1;
			spin_unlock(&pa->pa_lock);
			list_del_rcu(&pa->pa_inode_list);
			list_add(&pa->u.pa_tmp_list, &list);
			continue;
		}

		/* someone is deleting pa right now */
		spin_unlock(&pa->pa_lock);
		spin_unlock(&ei->i_prealloc_lock);

		/* we have to wait here because pa_deleted
		 * doesn't mean pa is already unlinked from
		 * the list. as we might be called from
		 * ->clear_inode() the inode will get freed
		 * and concurrent thread which is unlinking
		 * pa from inode's list may access already
		 * freed memory, bad-bad-bad */

		/* XXX: if this happens too often, we can
		 * add a flag to force wait only in case
		 * of ->clear_inode(), but not in case of
		 * regular truncate */
		schedule_timeout_uninterruptible(HZ);
		goto repeat;
	}
	spin_unlock(&ei->i_prealloc_lock);

	list_for_each_entry_safe(pa, tmp, &list, u.pa_tmp_list) {
4058
		BUG_ON(pa->pa_type != MB_INODE_PA);
4059
		group = ext4_get_group_number(sb, pa->pa_pstart);
4060

4061 4062
		err = ext4_mb_load_buddy_gfp(sb, group, &e4b,
					     GFP_NOFS|__GFP_NOFAIL);
4063
		if (err) {
4064 4065
			ext4_error(sb, "Error %d loading buddy information for %u",
				   err, group);
4066 4067
			continue;
		}
4068

4069
		bitmap_bh = ext4_read_block_bitmap(sb, group);
4070 4071 4072 4073
		if (IS_ERR(bitmap_bh)) {
			err = PTR_ERR(bitmap_bh);
			ext4_error(sb, "Error %d reading block bitmap for %u",
					err, group);
4074
			ext4_mb_unload_buddy(&e4b);
4075
			continue;
4076 4077 4078 4079
		}

		ext4_lock_group(sb, group);
		list_del(&pa->pa_group_list);
4080
		ext4_mb_release_inode_pa(&e4b, bitmap_bh, pa);
4081 4082
		ext4_unlock_group(sb, group);

4083
		ext4_mb_unload_buddy(&e4b);
4084 4085 4086 4087 4088 4089 4090
		put_bh(bitmap_bh);

		list_del(&pa->u.pa_tmp_list);
		call_rcu(&(pa)->u.pa_rcu, ext4_mb_pa_callback);
	}
}

4091
#ifdef CONFIG_EXT4_DEBUG
4092 4093 4094
static void ext4_mb_show_ac(struct ext4_allocation_context *ac)
{
	struct super_block *sb = ac->ac_sb;
4095
	ext4_group_t ngroups, i;
4096

4097
	if (!ext4_mballoc_debug ||
4098
	    (EXT4_SB(sb)->s_mount_flags & EXT4_MF_FS_ABORTED))
4099 4100
		return;

4101
	ext4_msg(ac->ac_sb, KERN_ERR, "Can't allocate:"
4102
			" Allocation context details:");
4103
	ext4_msg(ac->ac_sb, KERN_ERR, "status %d flags %d",
4104
			ac->ac_status, ac->ac_flags);
4105
	ext4_msg(ac->ac_sb, KERN_ERR, "orig %lu/%lu/%lu@%lu, "
4106 4107
		 	"goal %lu/%lu/%lu@%lu, "
			"best %lu/%lu/%lu@%lu cr %d",
4108 4109 4110 4111 4112 4113 4114 4115 4116 4117 4118 4119 4120
			(unsigned long)ac->ac_o_ex.fe_group,
			(unsigned long)ac->ac_o_ex.fe_start,
			(unsigned long)ac->ac_o_ex.fe_len,
			(unsigned long)ac->ac_o_ex.fe_logical,
			(unsigned long)ac->ac_g_ex.fe_group,
			(unsigned long)ac->ac_g_ex.fe_start,
			(unsigned long)ac->ac_g_ex.fe_len,
			(unsigned long)ac->ac_g_ex.fe_logical,
			(unsigned long)ac->ac_b_ex.fe_group,
			(unsigned long)ac->ac_b_ex.fe_start,
			(unsigned long)ac->ac_b_ex.fe_len,
			(unsigned long)ac->ac_b_ex.fe_logical,
			(int)ac->ac_criteria);
E
Eric Sandeen 已提交
4121
	ext4_msg(ac->ac_sb, KERN_ERR, "%d found", ac->ac_found);
4122
	ext4_msg(ac->ac_sb, KERN_ERR, "groups: ");
4123 4124
	ngroups = ext4_get_groups_count(sb);
	for (i = 0; i < ngroups; i++) {
4125 4126 4127 4128 4129 4130 4131 4132 4133 4134 4135 4136
		struct ext4_group_info *grp = ext4_get_group_info(sb, i);
		struct ext4_prealloc_space *pa;
		ext4_grpblk_t start;
		struct list_head *cur;
		ext4_lock_group(sb, i);
		list_for_each(cur, &grp->bb_prealloc_list) {
			pa = list_entry(cur, struct ext4_prealloc_space,
					pa_group_list);
			spin_lock(&pa->pa_lock);
			ext4_get_group_no_and_offset(sb, pa->pa_pstart,
						     NULL, &start);
			spin_unlock(&pa->pa_lock);
4137 4138
			printk(KERN_ERR "PA:%u:%d:%u \n", i,
			       start, pa->pa_len);
4139
		}
4140
		ext4_unlock_group(sb, i);
4141 4142 4143

		if (grp->bb_free == 0)
			continue;
4144
		printk(KERN_ERR "%u: %d/%d \n",
4145 4146 4147 4148 4149 4150 4151 4152 4153 4154 4155 4156 4157 4158 4159 4160
		       i, grp->bb_free, grp->bb_fragments);
	}
	printk(KERN_ERR "\n");
}
#else
static inline void ext4_mb_show_ac(struct ext4_allocation_context *ac)
{
	return;
}
#endif

/*
 * We use locality group preallocation for small size file. The size of the
 * file is determined by the current size or the resulting size after
 * allocation which ever is larger
 *
T
Theodore Ts'o 已提交
4161
 * One can tune this size via /sys/fs/ext4/<partition>/mb_stream_req
4162 4163 4164 4165 4166 4167 4168 4169 4170 4171
 */
static void ext4_mb_group_or_file(struct ext4_allocation_context *ac)
{
	struct ext4_sb_info *sbi = EXT4_SB(ac->ac_sb);
	int bsbits = ac->ac_sb->s_blocksize_bits;
	loff_t size, isize;

	if (!(ac->ac_flags & EXT4_MB_HINT_DATA))
		return;

4172 4173 4174
	if (unlikely(ac->ac_flags & EXT4_MB_HINT_GOAL_ONLY))
		return;

4175
	size = ac->ac_o_ex.fe_logical + EXT4_C2B(sbi, ac->ac_o_ex.fe_len);
4176 4177
	isize = (i_size_read(ac->ac_inode) + ac->ac_sb->s_blocksize - 1)
		>> bsbits;
4178

4179 4180 4181 4182 4183 4184 4185
	if ((size == isize) &&
	    !ext4_fs_is_busy(sbi) &&
	    (atomic_read(&ac->ac_inode->i_writecount) == 0)) {
		ac->ac_flags |= EXT4_MB_HINT_NOPREALLOC;
		return;
	}

4186 4187 4188 4189 4190
	if (sbi->s_mb_group_prealloc <= 0) {
		ac->ac_flags |= EXT4_MB_STREAM_ALLOC;
		return;
	}

4191
	/* don't use group allocation for large files */
4192
	size = max(size, isize);
4193
	if (size > sbi->s_mb_stream_request) {
4194
		ac->ac_flags |= EXT4_MB_STREAM_ALLOC;
4195
		return;
4196
	}
4197 4198 4199 4200 4201 4202 4203

	BUG_ON(ac->ac_lg != NULL);
	/*
	 * locality group prealloc space are per cpu. The reason for having
	 * per cpu locality group is to reduce the contention between block
	 * request from multiple CPUs.
	 */
4204
	ac->ac_lg = raw_cpu_ptr(sbi->s_locality_groups);
4205 4206 4207 4208 4209 4210 4211 4212

	/* we're going to use group allocation */
	ac->ac_flags |= EXT4_MB_HINT_GROUP_ALLOC;

	/* serialize all allocations in the group */
	mutex_lock(&ac->ac_lg->lg_mutex);
}

4213 4214
static noinline_for_stack int
ext4_mb_initialize_context(struct ext4_allocation_context *ac,
4215 4216 4217 4218 4219 4220
				struct ext4_allocation_request *ar)
{
	struct super_block *sb = ar->inode->i_sb;
	struct ext4_sb_info *sbi = EXT4_SB(sb);
	struct ext4_super_block *es = sbi->s_es;
	ext4_group_t group;
4221 4222
	unsigned int len;
	ext4_fsblk_t goal;
4223 4224 4225 4226 4227 4228
	ext4_grpblk_t block;

	/* we can't allocate > group size */
	len = ar->len;

	/* just a dirty hack to filter too big requests  */
4229 4230
	if (len >= EXT4_CLUSTERS_PER_GROUP(sb))
		len = EXT4_CLUSTERS_PER_GROUP(sb);
4231 4232 4233 4234 4235 4236 4237 4238 4239

	/* start searching from the goal */
	goal = ar->goal;
	if (goal < le32_to_cpu(es->s_first_data_block) ||
			goal >= ext4_blocks_count(es))
		goal = le32_to_cpu(es->s_first_data_block);
	ext4_get_group_no_and_offset(sb, goal, &group, &block);

	/* set up allocation goals */
4240
	ac->ac_b_ex.fe_logical = EXT4_LBLK_CMASK(sbi, ar->logical);
4241 4242 4243
	ac->ac_status = AC_STATUS_CONTINUE;
	ac->ac_sb = sb;
	ac->ac_inode = ar->inode;
4244
	ac->ac_o_ex.fe_logical = ac->ac_b_ex.fe_logical;
4245 4246 4247
	ac->ac_o_ex.fe_group = group;
	ac->ac_o_ex.fe_start = block;
	ac->ac_o_ex.fe_len = len;
4248
	ac->ac_g_ex = ac->ac_o_ex;
4249 4250 4251 4252 4253 4254
	ac->ac_flags = ar->flags;

	/* we have to define context: we'll we work with a file or
	 * locality group. this is a policy, actually */
	ext4_mb_group_or_file(ac);

4255
	mb_debug(1, "init ac: %u blocks @ %u, goal %u, flags %x, 2^%d, "
4256 4257 4258 4259 4260 4261 4262 4263 4264 4265
			"left: %u/%u, right %u/%u to %swritable\n",
			(unsigned) ar->len, (unsigned) ar->logical,
			(unsigned) ar->goal, ac->ac_flags, ac->ac_2order,
			(unsigned) ar->lleft, (unsigned) ar->pleft,
			(unsigned) ar->lright, (unsigned) ar->pright,
			atomic_read(&ar->inode->i_writecount) ? "" : "non-");
	return 0;

}

4266 4267 4268 4269 4270 4271 4272 4273 4274 4275
static noinline_for_stack void
ext4_mb_discard_lg_preallocations(struct super_block *sb,
					struct ext4_locality_group *lg,
					int order, int total_entries)
{
	ext4_group_t group = 0;
	struct ext4_buddy e4b;
	struct list_head discard_list;
	struct ext4_prealloc_space *pa, *tmp;

4276
	mb_debug(1, "discard locality group preallocation\n");
4277 4278 4279 4280 4281 4282 4283 4284 4285 4286 4287 4288 4289 4290 4291 4292 4293 4294 4295 4296 4297

	INIT_LIST_HEAD(&discard_list);

	spin_lock(&lg->lg_prealloc_lock);
	list_for_each_entry_rcu(pa, &lg->lg_prealloc_list[order],
						pa_inode_list) {
		spin_lock(&pa->pa_lock);
		if (atomic_read(&pa->pa_count)) {
			/*
			 * This is the pa that we just used
			 * for block allocation. So don't
			 * free that
			 */
			spin_unlock(&pa->pa_lock);
			continue;
		}
		if (pa->pa_deleted) {
			spin_unlock(&pa->pa_lock);
			continue;
		}
		/* only lg prealloc space */
4298
		BUG_ON(pa->pa_type != MB_GROUP_PA);
4299 4300 4301 4302 4303 4304 4305 4306 4307 4308 4309 4310 4311 4312 4313 4314 4315 4316 4317 4318 4319 4320

		/* seems this one can be freed ... */
		pa->pa_deleted = 1;
		spin_unlock(&pa->pa_lock);

		list_del_rcu(&pa->pa_inode_list);
		list_add(&pa->u.pa_tmp_list, &discard_list);

		total_entries--;
		if (total_entries <= 5) {
			/*
			 * we want to keep only 5 entries
			 * allowing it to grow to 8. This
			 * mak sure we don't call discard
			 * soon for this list.
			 */
			break;
		}
	}
	spin_unlock(&lg->lg_prealloc_lock);

	list_for_each_entry_safe(pa, tmp, &discard_list, u.pa_tmp_list) {
4321
		int err;
4322

4323
		group = ext4_get_group_number(sb, pa->pa_pstart);
4324 4325 4326 4327 4328
		err = ext4_mb_load_buddy_gfp(sb, group, &e4b,
					     GFP_NOFS|__GFP_NOFAIL);
		if (err) {
			ext4_error(sb, "Error %d loading buddy information for %u",
				   err, group);
4329 4330 4331 4332
			continue;
		}
		ext4_lock_group(sb, group);
		list_del(&pa->pa_group_list);
4333
		ext4_mb_release_group_pa(&e4b, pa);
4334 4335
		ext4_unlock_group(sb, group);

4336
		ext4_mb_unload_buddy(&e4b);
4337 4338 4339 4340 4341 4342 4343 4344 4345 4346 4347 4348 4349 4350 4351 4352 4353 4354 4355 4356 4357 4358 4359 4360 4361 4362
		list_del(&pa->u.pa_tmp_list);
		call_rcu(&(pa)->u.pa_rcu, ext4_mb_pa_callback);
	}
}

/*
 * We have incremented pa_count. So it cannot be freed at this
 * point. Also we hold lg_mutex. So no parallel allocation is
 * possible from this lg. That means pa_free cannot be updated.
 *
 * A parallel ext4_mb_discard_group_preallocations is possible.
 * which can cause the lg_prealloc_list to be updated.
 */

static void ext4_mb_add_n_trim(struct ext4_allocation_context *ac)
{
	int order, added = 0, lg_prealloc_count = 1;
	struct super_block *sb = ac->ac_sb;
	struct ext4_locality_group *lg = ac->ac_lg;
	struct ext4_prealloc_space *tmp_pa, *pa = ac->ac_pa;

	order = fls(pa->pa_free) - 1;
	if (order > PREALLOC_TB_SIZE - 1)
		/* The max size of hash table is PREALLOC_TB_SIZE */
		order = PREALLOC_TB_SIZE - 1;
	/* Add the prealloc space to lg */
4363
	spin_lock(&lg->lg_prealloc_lock);
4364 4365 4366 4367
	list_for_each_entry_rcu(tmp_pa, &lg->lg_prealloc_list[order],
						pa_inode_list) {
		spin_lock(&tmp_pa->pa_lock);
		if (tmp_pa->pa_deleted) {
4368
			spin_unlock(&tmp_pa->pa_lock);
4369 4370 4371 4372 4373 4374 4375 4376 4377 4378 4379 4380 4381 4382 4383 4384 4385 4386
			continue;
		}
		if (!added && pa->pa_free < tmp_pa->pa_free) {
			/* Add to the tail of the previous entry */
			list_add_tail_rcu(&pa->pa_inode_list,
						&tmp_pa->pa_inode_list);
			added = 1;
			/*
			 * we want to count the total
			 * number of entries in the list
			 */
		}
		spin_unlock(&tmp_pa->pa_lock);
		lg_prealloc_count++;
	}
	if (!added)
		list_add_tail_rcu(&pa->pa_inode_list,
					&lg->lg_prealloc_list[order]);
4387
	spin_unlock(&lg->lg_prealloc_lock);
4388 4389 4390 4391

	/* Now trim the list to be not more than 8 elements */
	if (lg_prealloc_count > 8) {
		ext4_mb_discard_lg_preallocations(sb, lg,
4392
						  order, lg_prealloc_count);
4393 4394 4395 4396 4397
		return;
	}
	return ;
}

4398 4399 4400 4401 4402
/*
 * release all resource we used in allocation
 */
static int ext4_mb_release_context(struct ext4_allocation_context *ac)
{
4403
	struct ext4_sb_info *sbi = EXT4_SB(ac->ac_sb);
4404 4405
	struct ext4_prealloc_space *pa = ac->ac_pa;
	if (pa) {
4406
		if (pa->pa_type == MB_GROUP_PA) {
4407
			/* see comment in ext4_mb_use_group_pa() */
4408
			spin_lock(&pa->pa_lock);
4409 4410
			pa->pa_pstart += EXT4_C2B(sbi, ac->ac_b_ex.fe_len);
			pa->pa_lstart += EXT4_C2B(sbi, ac->ac_b_ex.fe_len);
4411 4412 4413
			pa->pa_free -= ac->ac_b_ex.fe_len;
			pa->pa_len -= ac->ac_b_ex.fe_len;
			spin_unlock(&pa->pa_lock);
4414 4415
		}
	}
A
Aneesh Kumar K.V 已提交
4416 4417 4418 4419 4420
	if (pa) {
		/*
		 * We want to add the pa to the right bucket.
		 * Remove it from the list and while adding
		 * make sure the list to which we are adding
A
Amir Goldstein 已提交
4421
		 * doesn't grow big.
A
Aneesh Kumar K.V 已提交
4422
		 */
4423
		if ((pa->pa_type == MB_GROUP_PA) && likely(pa->pa_free)) {
A
Aneesh Kumar K.V 已提交
4424 4425 4426 4427 4428 4429 4430
			spin_lock(pa->pa_obj_lock);
			list_del_rcu(&pa->pa_inode_list);
			spin_unlock(pa->pa_obj_lock);
			ext4_mb_add_n_trim(ac);
		}
		ext4_mb_put_pa(ac, ac->ac_sb, pa);
	}
4431
	if (ac->ac_bitmap_page)
4432
		put_page(ac->ac_bitmap_page);
4433
	if (ac->ac_buddy_page)
4434
		put_page(ac->ac_buddy_page);
4435 4436 4437 4438 4439 4440 4441 4442
	if (ac->ac_flags & EXT4_MB_HINT_GROUP_ALLOC)
		mutex_unlock(&ac->ac_lg->lg_mutex);
	ext4_mb_collect_stats(ac);
	return 0;
}

static int ext4_mb_discard_preallocations(struct super_block *sb, int needed)
{
4443
	ext4_group_t i, ngroups = ext4_get_groups_count(sb);
4444 4445 4446
	int ret;
	int freed = 0;

4447
	trace_ext4_mb_discard_preallocations(sb, needed);
4448
	for (i = 0; i < ngroups && needed > 0; i++) {
4449 4450 4451 4452 4453 4454 4455 4456 4457 4458 4459 4460 4461 4462
		ret = ext4_mb_discard_group_preallocations(sb, i, needed);
		freed += ret;
		needed -= ret;
	}

	return freed;
}

/*
 * Main entry point into mballoc to allocate blocks
 * it tries to use preallocation first, then falls back
 * to usual allocation
 */
ext4_fsblk_t ext4_mb_new_blocks(handle_t *handle,
4463
				struct ext4_allocation_request *ar, int *errp)
4464
{
4465
	int freed;
4466
	struct ext4_allocation_context *ac = NULL;
4467 4468 4469
	struct ext4_sb_info *sbi;
	struct super_block *sb;
	ext4_fsblk_t block = 0;
4470
	unsigned int inquota = 0;
4471
	unsigned int reserv_clstrs = 0;
4472

4473
	might_sleep();
4474 4475 4476
	sb = ar->inode->i_sb;
	sbi = EXT4_SB(sb);

4477
	trace_ext4_request_blocks(ar);
4478

4479
	/* Allow to use superuser reservation for quota file */
T
Tahsin Erdogan 已提交
4480
	if (ext4_is_quota_file(ar->inode))
4481 4482
		ar->flags |= EXT4_MB_USE_ROOT_BLOCKS;

4483
	if ((ar->flags & EXT4_MB_DELALLOC_RESERVED) == 0) {
4484 4485 4486
		/* Without delayed allocation we need to verify
		 * there is enough free blocks to do block allocation
		 * and verify allocation doesn't exceed the quota limits.
4487
		 */
4488
		while (ar->len &&
4489
			ext4_claim_free_clusters(sbi, ar->len, ar->flags)) {
4490

A
Aneesh Kumar K.V 已提交
4491
			/* let others to free the space */
L
Lukas Czerner 已提交
4492
			cond_resched();
A
Aneesh Kumar K.V 已提交
4493 4494 4495
			ar->len = ar->len >> 1;
		}
		if (!ar->len) {
4496 4497 4498
			*errp = -ENOSPC;
			return 0;
		}
4499
		reserv_clstrs = ar->len;
4500
		if (ar->flags & EXT4_MB_USE_ROOT_BLOCKS) {
4501 4502
			dquot_alloc_block_nofail(ar->inode,
						 EXT4_C2B(sbi, ar->len));
4503 4504
		} else {
			while (ar->len &&
4505 4506
				dquot_alloc_block(ar->inode,
						  EXT4_C2B(sbi, ar->len))) {
4507 4508 4509 4510

				ar->flags |= EXT4_MB_HINT_NOPREALLOC;
				ar->len--;
			}
4511 4512 4513 4514
		}
		inquota = ar->len;
		if (ar->len == 0) {
			*errp = -EDQUOT;
4515
			goto out;
4516
		}
4517
	}
4518

4519
	ac = kmem_cache_zalloc(ext4_ac_cachep, GFP_NOFS);
4520
	if (!ac) {
4521
		ar->len = 0;
4522
		*errp = -ENOMEM;
4523
		goto out;
4524 4525 4526
	}

	*errp = ext4_mb_initialize_context(ac, ar);
4527 4528
	if (*errp) {
		ar->len = 0;
4529
		goto out;
4530 4531
	}

4532 4533 4534 4535
	ac->ac_op = EXT4_MB_HISTORY_PREALLOC;
	if (!ext4_mb_use_preallocated(ac)) {
		ac->ac_op = EXT4_MB_HISTORY_ALLOC;
		ext4_mb_normalize_request(ac, ar);
4536 4537
repeat:
		/* allocate space in core */
4538
		*errp = ext4_mb_regular_allocator(ac);
4539 4540
		if (*errp)
			goto discard_and_exit;
4541 4542

		/* as we've just preallocated more space than
4543
		 * user requested originally, we store allocated
4544
		 * space in a special descriptor */
4545
		if (ac->ac_status == AC_STATUS_FOUND &&
4546 4547 4548 4549 4550 4551 4552
		    ac->ac_o_ex.fe_len < ac->ac_b_ex.fe_len)
			*errp = ext4_mb_new_preallocation(ac);
		if (*errp) {
		discard_and_exit:
			ext4_discard_allocated_blocks(ac);
			goto errout;
		}
4553
	}
4554
	if (likely(ac->ac_status == AC_STATUS_FOUND)) {
4555
		*errp = ext4_mb_mark_diskspace_used(ac, handle, reserv_clstrs);
4556
		if (*errp) {
4557
			ext4_discard_allocated_blocks(ac);
4558 4559
			goto errout;
		} else {
4560 4561 4562
			block = ext4_grp_offs_to_block(sb, &ac->ac_b_ex);
			ar->len = ac->ac_b_ex.fe_len;
		}
4563
	} else {
4564
		freed  = ext4_mb_discard_preallocations(sb, ac->ac_o_ex.fe_len);
4565 4566 4567
		if (freed)
			goto repeat;
		*errp = -ENOSPC;
4568 4569
	}

4570
errout:
4571
	if (*errp) {
4572
		ac->ac_b_ex.fe_len = 0;
4573
		ar->len = 0;
4574
		ext4_mb_show_ac(ac);
4575
	}
4576
	ext4_mb_release_context(ac);
4577 4578 4579
out:
	if (ac)
		kmem_cache_free(ext4_ac_cachep, ac);
4580
	if (inquota && ar->len < inquota)
4581
		dquot_free_block(ar->inode, EXT4_C2B(sbi, inquota - ar->len));
4582
	if (!ar->len) {
4583
		if ((ar->flags & EXT4_MB_DELALLOC_RESERVED) == 0)
4584
			/* release all the reserved blocks if non delalloc */
4585
			percpu_counter_sub(&sbi->s_dirtyclusters_counter,
4586
						reserv_clstrs);
4587
	}
4588

4589
	trace_ext4_allocate_blocks(ar, (unsigned long long)block);
4590

4591 4592 4593
	return block;
}

4594 4595 4596 4597 4598
/*
 * We can merge two free data extents only if the physical blocks
 * are contiguous, AND the extents were freed by the same transaction,
 * AND the blocks are associated with the same group.
 */
4599 4600 4601 4602
static void ext4_try_merge_freed_extent(struct ext4_sb_info *sbi,
					struct ext4_free_data *entry,
					struct ext4_free_data *new_entry,
					struct rb_root *entry_rb_root)
4603
{
4604 4605 4606 4607 4608 4609 4610 4611 4612 4613 4614 4615 4616 4617 4618 4619 4620
	if ((entry->efd_tid != new_entry->efd_tid) ||
	    (entry->efd_group != new_entry->efd_group))
		return;
	if (entry->efd_start_cluster + entry->efd_count ==
	    new_entry->efd_start_cluster) {
		new_entry->efd_start_cluster = entry->efd_start_cluster;
		new_entry->efd_count += entry->efd_count;
	} else if (new_entry->efd_start_cluster + new_entry->efd_count ==
		   entry->efd_start_cluster) {
		new_entry->efd_count += entry->efd_count;
	} else
		return;
	spin_lock(&sbi->s_md_lock);
	list_del(&entry->efd_list);
	spin_unlock(&sbi->s_md_lock);
	rb_erase(&entry->efd_node, entry_rb_root);
	kmem_cache_free(ext4_free_data_cachep, entry);
4621 4622
}

4623 4624
static noinline_for_stack int
ext4_mb_free_metadata(handle_t *handle, struct ext4_buddy *e4b,
4625
		      struct ext4_free_data *new_entry)
4626
{
4627
	ext4_group_t group = e4b->bd_group;
4628
	ext4_grpblk_t cluster;
4629
	ext4_grpblk_t clusters = new_entry->efd_count;
4630
	struct ext4_free_data *entry;
4631 4632 4633
	struct ext4_group_info *db = e4b->bd_info;
	struct super_block *sb = e4b->bd_sb;
	struct ext4_sb_info *sbi = EXT4_SB(sb);
4634 4635 4636
	struct rb_node **n = &db->bb_free_root.rb_node, *node;
	struct rb_node *parent = NULL, *new_node;

4637
	BUG_ON(!ext4_handle_valid(handle));
4638 4639 4640
	BUG_ON(e4b->bd_bitmap_page == NULL);
	BUG_ON(e4b->bd_buddy_page == NULL);

B
Bobi Jam 已提交
4641 4642
	new_node = &new_entry->efd_node;
	cluster = new_entry->efd_start_cluster;
4643 4644 4645 4646 4647 4648 4649

	if (!*n) {
		/* first free block exent. We need to
		   protect buddy cache from being freed,
		 * otherwise we'll refresh it from
		 * on-disk bitmap and lose not-yet-available
		 * blocks */
4650 4651
		get_page(e4b->bd_buddy_page);
		get_page(e4b->bd_bitmap_page);
4652 4653 4654
	}
	while (*n) {
		parent = *n;
B
Bobi Jam 已提交
4655 4656
		entry = rb_entry(parent, struct ext4_free_data, efd_node);
		if (cluster < entry->efd_start_cluster)
4657
			n = &(*n)->rb_left;
B
Bobi Jam 已提交
4658
		else if (cluster >= (entry->efd_start_cluster + entry->efd_count))
4659 4660
			n = &(*n)->rb_right;
		else {
4661
			ext4_grp_locked_error(sb, group, 0,
4662 4663
				ext4_group_first_block_no(sb, group) +
				EXT4_C2B(sbi, cluster),
4664
				"Block already on to-be-freed list");
4665
			return 0;
4666
		}
4667
	}
4668

4669 4670 4671 4672 4673 4674
	rb_link_node(new_node, parent, n);
	rb_insert_color(new_node, &db->bb_free_root);

	/* Now try to see the extent can be merged to left and right */
	node = rb_prev(new_node);
	if (node) {
B
Bobi Jam 已提交
4675
		entry = rb_entry(node, struct ext4_free_data, efd_node);
4676 4677
		ext4_try_merge_freed_extent(sbi, entry, new_entry,
					    &(db->bb_free_root));
4678
	}
4679

4680 4681
	node = rb_next(new_node);
	if (node) {
B
Bobi Jam 已提交
4682
		entry = rb_entry(node, struct ext4_free_data, efd_node);
4683 4684
		ext4_try_merge_freed_extent(sbi, entry, new_entry,
					    &(db->bb_free_root));
4685
	}
4686

4687
	spin_lock(&sbi->s_md_lock);
4688
	list_add_tail(&new_entry->efd_list, &sbi->s_freed_data_list);
4689 4690
	sbi->s_mb_free_pending += clusters;
	spin_unlock(&sbi->s_md_lock);
4691 4692 4693
	return 0;
}

4694 4695 4696 4697 4698 4699
/**
 * ext4_free_blocks() -- Free given blocks and update quota
 * @handle:		handle for this transaction
 * @inode:		inode
 * @block:		start physical block to free
 * @count:		number of blocks to count
4700
 * @flags:		flags used by ext4_free_blocks
4701
 */
4702
void ext4_free_blocks(handle_t *handle, struct inode *inode,
4703 4704
		      struct buffer_head *bh, ext4_fsblk_t block,
		      unsigned long count, int flags)
4705
{
4706
	struct buffer_head *bitmap_bh = NULL;
4707 4708
	struct super_block *sb = inode->i_sb;
	struct ext4_group_desc *gdp;
4709
	unsigned int overflow;
4710 4711 4712 4713 4714
	ext4_grpblk_t bit;
	struct buffer_head *gd_bh;
	ext4_group_t block_group;
	struct ext4_sb_info *sbi;
	struct ext4_buddy e4b;
4715
	unsigned int count_clusters;
4716 4717 4718
	int err = 0;
	int ret;

4719
	might_sleep();
4720 4721 4722 4723 4724 4725
	if (bh) {
		if (block)
			BUG_ON(block != bh->b_blocknr);
		else
			block = bh->b_blocknr;
	}
4726 4727

	sbi = EXT4_SB(sb);
4728 4729
	if (!(flags & EXT4_FREE_BLOCKS_VALIDATED) &&
	    !ext4_data_block_valid(sbi, block, count)) {
4730
		ext4_error(sb, "Freeing blocks not in datazone - "
4731
			   "block = %llu, count = %lu", block, count);
4732 4733 4734
		goto error_return;
	}

4735
	ext4_debug("freeing block %llu\n", block);
4736 4737
	trace_ext4_free_blocks(inode, block, count, flags);

4738 4739
	if (bh && (flags & EXT4_FREE_BLOCKS_FORGET)) {
		BUG_ON(count > 1);
4740

4741 4742
		ext4_forget(handle, flags & EXT4_FREE_BLOCKS_METADATA,
			    inode, bh, block);
4743 4744
	}

4745 4746 4747 4748 4749 4750 4751
	/*
	 * If the extent to be freed does not begin on a cluster
	 * boundary, we need to deal with partial clusters at the
	 * beginning and end of the extent.  Normally we will free
	 * blocks at the beginning or the end unless we are explicitly
	 * requested to avoid doing so.
	 */
4752
	overflow = EXT4_PBLK_COFF(sbi, block);
4753 4754 4755 4756 4757 4758 4759 4760 4761 4762 4763 4764 4765
	if (overflow) {
		if (flags & EXT4_FREE_BLOCKS_NOFREE_FIRST_CLUSTER) {
			overflow = sbi->s_cluster_ratio - overflow;
			block += overflow;
			if (count > overflow)
				count -= overflow;
			else
				return;
		} else {
			block -= overflow;
			count += overflow;
		}
	}
4766
	overflow = EXT4_LBLK_COFF(sbi, count);
4767 4768 4769 4770 4771 4772 4773 4774 4775 4776
	if (overflow) {
		if (flags & EXT4_FREE_BLOCKS_NOFREE_LAST_CLUSTER) {
			if (count > overflow)
				count -= overflow;
			else
				return;
		} else
			count += sbi->s_cluster_ratio - overflow;
	}

4777 4778
	if (!bh && (flags & EXT4_FREE_BLOCKS_FORGET)) {
		int i;
4779
		int is_metadata = flags & EXT4_FREE_BLOCKS_METADATA;
4780 4781 4782

		for (i = 0; i < count; i++) {
			cond_resched();
4783 4784 4785
			if (is_metadata)
				bh = sb_find_get_block(inode->i_sb, block + i);
			ext4_forget(handle, is_metadata, inode, bh, block + i);
4786 4787 4788
		}
	}

4789 4790 4791 4792
do_more:
	overflow = 0;
	ext4_get_group_no_and_offset(sb, block, &block_group, &bit);

4793 4794 4795 4796
	if (unlikely(EXT4_MB_GRP_BBITMAP_CORRUPT(
			ext4_get_group_info(sb, block_group))))
		return;

4797 4798 4799 4800
	/*
	 * Check to see if we are freeing blocks across a group
	 * boundary.
	 */
4801 4802 4803
	if (EXT4_C2B(sbi, bit) + count > EXT4_BLOCKS_PER_GROUP(sb)) {
		overflow = EXT4_C2B(sbi, bit) + count -
			EXT4_BLOCKS_PER_GROUP(sb);
4804 4805
		count -= overflow;
	}
4806
	count_clusters = EXT4_NUM_B2C(sbi, count);
4807
	bitmap_bh = ext4_read_block_bitmap(sb, block_group);
4808 4809 4810
	if (IS_ERR(bitmap_bh)) {
		err = PTR_ERR(bitmap_bh);
		bitmap_bh = NULL;
4811
		goto error_return;
4812
	}
4813
	gdp = ext4_get_group_desc(sb, block_group, &gd_bh);
4814 4815
	if (!gdp) {
		err = -EIO;
4816
		goto error_return;
4817
	}
4818 4819 4820 4821

	if (in_range(ext4_block_bitmap(sb, gdp), block, count) ||
	    in_range(ext4_inode_bitmap(sb, gdp), block, count) ||
	    in_range(block, ext4_inode_table(sb, gdp),
4822
		     sbi->s_itb_per_group) ||
4823
	    in_range(block + count - 1, ext4_inode_table(sb, gdp),
4824
		     sbi->s_itb_per_group)) {
4825

4826
		ext4_error(sb, "Freeing blocks in system zone - "
4827
			   "Block = %llu, count = %lu", block, count);
4828 4829
		/* err = 0. ext4_std_error should be a no op */
		goto error_return;
4830 4831 4832 4833 4834 4835 4836 4837 4838 4839 4840 4841 4842 4843 4844 4845 4846 4847 4848
	}

	BUFFER_TRACE(bitmap_bh, "getting write access");
	err = ext4_journal_get_write_access(handle, bitmap_bh);
	if (err)
		goto error_return;

	/*
	 * We are about to modify some metadata.  Call the journal APIs
	 * to unshare ->b_data if a currently-committing transaction is
	 * using it
	 */
	BUFFER_TRACE(gd_bh, "get_write_access");
	err = ext4_journal_get_write_access(handle, gd_bh);
	if (err)
		goto error_return;
#ifdef AGGRESSIVE_CHECK
	{
		int i;
4849
		for (i = 0; i < count_clusters; i++)
4850 4851 4852
			BUG_ON(!mb_test_bit(bit + i, bitmap_bh->b_data));
	}
#endif
4853
	trace_ext4_mballoc_free(sb, inode, block_group, bit, count_clusters);
4854

4855 4856 4857
	/* __GFP_NOFAIL: retry infinitely, ignore TIF_MEMDIE and memcg limit. */
	err = ext4_mb_load_buddy_gfp(sb, block_group, &e4b,
				     GFP_NOFS|__GFP_NOFAIL);
4858 4859
	if (err)
		goto error_return;
4860

4861 4862 4863 4864 4865 4866 4867 4868 4869
	/*
	 * We need to make sure we don't reuse the freed block until after the
	 * transaction is committed. We make an exception if the inode is to be
	 * written in writeback mode since writeback mode has weak data
	 * consistency guarantees.
	 */
	if (ext4_handle_valid(handle) &&
	    ((flags & EXT4_FREE_BLOCKS_METADATA) ||
	     !ext4_should_writeback_data(inode))) {
4870 4871
		struct ext4_free_data *new_entry;
		/*
4872 4873
		 * We use __GFP_NOFAIL because ext4_free_blocks() is not allowed
		 * to fail.
4874
		 */
4875 4876
		new_entry = kmem_cache_alloc(ext4_free_data_cachep,
				GFP_NOFS|__GFP_NOFAIL);
B
Bobi Jam 已提交
4877 4878 4879 4880
		new_entry->efd_start_cluster = bit;
		new_entry->efd_group = block_group;
		new_entry->efd_count = count_clusters;
		new_entry->efd_tid = handle->h_transaction->t_tid;
4881

4882
		ext4_lock_group(sb, block_group);
4883
		mb_clear_bits(bitmap_bh->b_data, bit, count_clusters);
4884
		ext4_mb_free_metadata(handle, &e4b, new_entry);
4885
	} else {
4886 4887 4888 4889
		/* need to update group_info->bb_free and bitmap
		 * with group lock held. generate_buddy look at
		 * them with group lock_held
		 */
4890
		if (test_opt(sb, DISCARD)) {
4891 4892
			err = ext4_issue_discard(sb, block_group, bit, count,
						 NULL);
4893 4894 4895 4896 4897
			if (err && err != -EOPNOTSUPP)
				ext4_msg(sb, KERN_WARNING, "discard request in"
					 " group:%d block:%d count:%lu failed"
					 " with %d", block_group, bit, count,
					 err);
4898 4899
		} else
			EXT4_MB_GRP_CLEAR_TRIMMED(e4b.bd_info);
4900

4901
		ext4_lock_group(sb, block_group);
4902 4903
		mb_clear_bits(bitmap_bh->b_data, bit, count_clusters);
		mb_free_blocks(inode, &e4b, bit, count_clusters);
4904 4905
	}

4906 4907
	ret = ext4_free_group_clusters(sb, gdp) + count_clusters;
	ext4_free_group_clusters_set(sb, gdp, ret);
4908
	ext4_block_bitmap_csum_set(sb, block_group, gdp, bitmap_bh);
4909
	ext4_group_desc_csum_set(sb, block_group, gdp);
4910
	ext4_unlock_group(sb, block_group);
4911

4912 4913
	if (sbi->s_log_groups_per_flex) {
		ext4_group_t flex_group = ext4_flex_group(sbi, block_group);
4914 4915
		atomic64_add(count_clusters,
			     &sbi->s_flex_groups[flex_group].free_clusters);
4916 4917
	}

4918
	if (!(flags & EXT4_FREE_BLOCKS_NO_QUOT_UPDATE))
4919
		dquot_free_block(inode, EXT4_C2B(sbi, count_clusters));
4920 4921 4922
	percpu_counter_add(&sbi->s_freeclusters_counter, count_clusters);

	ext4_mb_unload_buddy(&e4b);
4923

4924 4925 4926 4927
	/* We dirtied the bitmap block */
	BUFFER_TRACE(bitmap_bh, "dirtied bitmap block");
	err = ext4_handle_dirty_metadata(handle, NULL, bitmap_bh);

4928 4929
	/* And the group descriptor block */
	BUFFER_TRACE(gd_bh, "dirtied group descriptor block");
4930
	ret = ext4_handle_dirty_metadata(handle, NULL, gd_bh);
4931 4932 4933 4934 4935 4936 4937 4938 4939 4940 4941 4942 4943 4944
	if (!err)
		err = ret;

	if (overflow && !err) {
		block += count;
		count = overflow;
		put_bh(bitmap_bh);
		goto do_more;
	}
error_return:
	brelse(bitmap_bh);
	ext4_std_error(sb, err);
	return;
}
4945

4946
/**
4947
 * ext4_group_add_blocks() -- Add given blocks to an existing group
4948 4949
 * @handle:			handle to this transaction
 * @sb:				super block
4950
 * @block:			start physical block to add to the block group
4951 4952
 * @count:			number of blocks to free
 *
4953
 * This marks the blocks as free in the bitmap and buddy.
4954
 */
4955
int ext4_group_add_blocks(handle_t *handle, struct super_block *sb,
4956 4957 4958 4959 4960 4961 4962 4963 4964
			 ext4_fsblk_t block, unsigned long count)
{
	struct buffer_head *bitmap_bh = NULL;
	struct buffer_head *gd_bh;
	ext4_group_t block_group;
	ext4_grpblk_t bit;
	unsigned int i;
	struct ext4_group_desc *desc;
	struct ext4_sb_info *sbi = EXT4_SB(sb);
4965
	struct ext4_buddy e4b;
4966 4967 4968 4969 4970
	int err = 0, ret, free_clusters_count;
	ext4_grpblk_t clusters_freed;
	ext4_fsblk_t first_cluster = EXT4_B2C(sbi, block);
	ext4_fsblk_t last_cluster = EXT4_B2C(sbi, block + count - 1);
	unsigned long cluster_count = last_cluster - first_cluster + 1;
4971 4972 4973

	ext4_debug("Adding block(s) %llu-%llu\n", block, block + count - 1);

4974 4975 4976
	if (count == 0)
		return 0;

4977 4978 4979 4980 4981
	ext4_get_group_no_and_offset(sb, block, &block_group, &bit);
	/*
	 * Check to see if we are freeing blocks across a group
	 * boundary.
	 */
4982 4983
	if (bit + cluster_count > EXT4_CLUSTERS_PER_GROUP(sb)) {
		ext4_warning(sb, "too many blocks added to group %u",
4984 4985
			     block_group);
		err = -EINVAL;
4986
		goto error_return;
4987
	}
4988

4989
	bitmap_bh = ext4_read_block_bitmap(sb, block_group);
4990 4991 4992
	if (IS_ERR(bitmap_bh)) {
		err = PTR_ERR(bitmap_bh);
		bitmap_bh = NULL;
4993
		goto error_return;
4994 4995
	}

4996
	desc = ext4_get_group_desc(sb, block_group, &gd_bh);
4997 4998
	if (!desc) {
		err = -EIO;
4999
		goto error_return;
5000
	}
5001 5002 5003 5004 5005 5006 5007 5008 5009

	if (in_range(ext4_block_bitmap(sb, desc), block, count) ||
	    in_range(ext4_inode_bitmap(sb, desc), block, count) ||
	    in_range(block, ext4_inode_table(sb, desc), sbi->s_itb_per_group) ||
	    in_range(block + count - 1, ext4_inode_table(sb, desc),
		     sbi->s_itb_per_group)) {
		ext4_error(sb, "Adding blocks in system zones - "
			   "Block = %llu, count = %lu",
			   block, count);
5010
		err = -EINVAL;
5011 5012 5013
		goto error_return;
	}

5014 5015
	BUFFER_TRACE(bitmap_bh, "getting write access");
	err = ext4_journal_get_write_access(handle, bitmap_bh);
5016 5017 5018 5019 5020 5021 5022 5023 5024 5025 5026 5027
	if (err)
		goto error_return;

	/*
	 * We are about to modify some metadata.  Call the journal APIs
	 * to unshare ->b_data if a currently-committing transaction is
	 * using it
	 */
	BUFFER_TRACE(gd_bh, "get_write_access");
	err = ext4_journal_get_write_access(handle, gd_bh);
	if (err)
		goto error_return;
5028

5029
	for (i = 0, clusters_freed = 0; i < cluster_count; i++) {
5030
		BUFFER_TRACE(bitmap_bh, "clear bit");
5031
		if (!mb_test_bit(bit + i, bitmap_bh->b_data)) {
5032 5033 5034 5035
			ext4_error(sb, "bit already cleared for block %llu",
				   (ext4_fsblk_t)(block + i));
			BUFFER_TRACE(bitmap_bh, "bit already cleared");
		} else {
5036
			clusters_freed++;
5037 5038
		}
	}
5039 5040 5041 5042 5043 5044 5045 5046 5047 5048

	err = ext4_mb_load_buddy(sb, block_group, &e4b);
	if (err)
		goto error_return;

	/*
	 * need to update group_info->bb_free and bitmap
	 * with group lock held. generate_buddy look at
	 * them with group lock_held
	 */
5049
	ext4_lock_group(sb, block_group);
5050 5051 5052 5053 5054
	mb_clear_bits(bitmap_bh->b_data, bit, cluster_count);
	mb_free_blocks(NULL, &e4b, bit, cluster_count);
	free_clusters_count = clusters_freed +
		ext4_free_group_clusters(sb, desc);
	ext4_free_group_clusters_set(sb, desc, free_clusters_count);
5055
	ext4_block_bitmap_csum_set(sb, block_group, desc, bitmap_bh);
5056
	ext4_group_desc_csum_set(sb, block_group, desc);
5057
	ext4_unlock_group(sb, block_group);
5058
	percpu_counter_add(&sbi->s_freeclusters_counter,
5059
			   clusters_freed);
5060 5061 5062

	if (sbi->s_log_groups_per_flex) {
		ext4_group_t flex_group = ext4_flex_group(sbi, block_group);
5063
		atomic64_add(clusters_freed,
5064
			     &sbi->s_flex_groups[flex_group].free_clusters);
5065
	}
5066 5067

	ext4_mb_unload_buddy(&e4b);
5068 5069 5070 5071 5072 5073 5074 5075 5076 5077 5078 5079 5080 5081

	/* We dirtied the bitmap block */
	BUFFER_TRACE(bitmap_bh, "dirtied bitmap block");
	err = ext4_handle_dirty_metadata(handle, NULL, bitmap_bh);

	/* And the group descriptor block */
	BUFFER_TRACE(gd_bh, "dirtied group descriptor block");
	ret = ext4_handle_dirty_metadata(handle, NULL, gd_bh);
	if (!err)
		err = ret;

error_return:
	brelse(bitmap_bh);
	ext4_std_error(sb, err);
5082
	return err;
5083 5084
}

5085 5086 5087 5088 5089 5090 5091 5092 5093 5094 5095 5096
/**
 * ext4_trim_extent -- function to TRIM one single free extent in the group
 * @sb:		super block for the file system
 * @start:	starting block of the free extent in the alloc. group
 * @count:	number of blocks to TRIM
 * @group:	alloc. group we are working with
 * @e4b:	ext4 buddy for the group
 *
 * Trim "count" blocks starting at "start" in the "group". To assure that no
 * one will allocate those blocks, mark it as used in buddy bitmap. This must
 * be called with under the group lock.
 */
5097
static int ext4_trim_extent(struct super_block *sb, int start, int count,
5098
			     ext4_group_t group, struct ext4_buddy *e4b)
5099 5100
__releases(bitlock)
__acquires(bitlock)
5101 5102
{
	struct ext4_free_extent ex;
5103
	int ret = 0;
5104

T
Tao Ma 已提交
5105 5106
	trace_ext4_trim_extent(sb, group, start, count);

5107 5108 5109 5110 5111 5112 5113 5114 5115 5116 5117 5118
	assert_spin_locked(ext4_group_lock_ptr(sb, group));

	ex.fe_start = start;
	ex.fe_group = group;
	ex.fe_len = count;

	/*
	 * Mark blocks used, so no one can reuse them while
	 * being trimmed.
	 */
	mb_mark_used(e4b, &ex);
	ext4_unlock_group(sb, group);
5119
	ret = ext4_issue_discard(sb, group, start, count, NULL);
5120 5121
	ext4_lock_group(sb, group);
	mb_free_blocks(NULL, e4b, start, ex.fe_len);
5122
	return ret;
5123 5124 5125 5126 5127
}

/**
 * ext4_trim_all_free -- function to trim all free space in alloc. group
 * @sb:			super block for file system
5128
 * @group:		group to be trimmed
5129 5130 5131 5132 5133 5134 5135 5136 5137 5138 5139 5140 5141 5142
 * @start:		first group block to examine
 * @max:		last group block to examine
 * @minblocks:		minimum extent block count
 *
 * ext4_trim_all_free walks through group's buddy bitmap searching for free
 * extents. When the free block is found, ext4_trim_extent is called to TRIM
 * the extent.
 *
 *
 * ext4_trim_all_free walks through group's block bitmap searching for free
 * extents. When the free extent is found, mark it as used in group buddy
 * bitmap. Then issue a TRIM command on this extent and free the extent in
 * the group buddy bitmap. This is done until whole group is scanned.
 */
5143
static ext4_grpblk_t
5144 5145 5146
ext4_trim_all_free(struct super_block *sb, ext4_group_t group,
		   ext4_grpblk_t start, ext4_grpblk_t max,
		   ext4_grpblk_t minblocks)
5147 5148
{
	void *bitmap;
5149
	ext4_grpblk_t next, count = 0, free_count = 0;
5150
	struct ext4_buddy e4b;
5151
	int ret = 0;
5152

T
Tao Ma 已提交
5153 5154
	trace_ext4_trim_all_free(sb, group, start, max);

5155 5156
	ret = ext4_mb_load_buddy(sb, group, &e4b);
	if (ret) {
5157 5158
		ext4_warning(sb, "Error %d loading buddy information for %u",
			     ret, group);
5159 5160 5161
		return ret;
	}
	bitmap = e4b.bd_bitmap;
5162 5163

	ext4_lock_group(sb, group);
5164 5165 5166 5167
	if (EXT4_MB_GRP_WAS_TRIMMED(e4b.bd_info) &&
	    minblocks >= atomic_read(&EXT4_SB(sb)->s_last_trim_minblks))
		goto out;

5168 5169
	start = (e4b.bd_info->bb_first_free > start) ?
		e4b.bd_info->bb_first_free : start;
5170

5171 5172 5173
	while (start <= max) {
		start = mb_find_next_zero_bit(bitmap, max + 1, start);
		if (start > max)
5174
			break;
5175
		next = mb_find_next_bit(bitmap, max + 1, start);
5176 5177

		if ((next - start) >= minblocks) {
5178 5179 5180 5181 5182
			ret = ext4_trim_extent(sb, start,
					       next - start, group, &e4b);
			if (ret && ret != -EOPNOTSUPP)
				break;
			ret = 0;
5183 5184
			count += next - start;
		}
5185
		free_count += next - start;
5186 5187 5188 5189 5190 5191 5192 5193 5194 5195 5196 5197 5198
		start = next + 1;

		if (fatal_signal_pending(current)) {
			count = -ERESTARTSYS;
			break;
		}

		if (need_resched()) {
			ext4_unlock_group(sb, group);
			cond_resched();
			ext4_lock_group(sb, group);
		}

5199
		if ((e4b.bd_info->bb_free - free_count) < minblocks)
5200 5201
			break;
	}
5202

5203 5204
	if (!ret) {
		ret = count;
5205
		EXT4_MB_GRP_SET_TRIMMED(e4b.bd_info);
5206
	}
5207
out:
5208
	ext4_unlock_group(sb, group);
5209
	ext4_mb_unload_buddy(&e4b);
5210 5211 5212 5213

	ext4_debug("trimmed %d blocks in the group %d\n",
		count, group);

5214
	return ret;
5215 5216 5217 5218 5219 5220 5221 5222 5223 5224 5225 5226 5227 5228 5229 5230
}

/**
 * ext4_trim_fs() -- trim ioctl handle function
 * @sb:			superblock for filesystem
 * @range:		fstrim_range structure
 *
 * start:	First Byte to trim
 * len:		number of Bytes to trim from start
 * minlen:	minimum extent length in Bytes
 * ext4_trim_fs goes through all allocation groups containing Bytes from
 * start to start+len. For each such a group ext4_trim_all_free function
 * is invoked to trim all free space.
 */
int ext4_trim_fs(struct super_block *sb, struct fstrim_range *range)
{
5231
	struct ext4_group_info *grp;
5232
	ext4_group_t group, first_group, last_group;
5233
	ext4_grpblk_t cnt = 0, first_cluster, last_cluster;
5234
	uint64_t start, end, minlen, trimmed = 0;
5235 5236
	ext4_fsblk_t first_data_blk =
			le32_to_cpu(EXT4_SB(sb)->s_es->s_first_data_block);
5237
	ext4_fsblk_t max_blks = ext4_blocks_count(EXT4_SB(sb)->s_es);
5238 5239 5240
	int ret = 0;

	start = range->start >> sb->s_blocksize_bits;
5241
	end = start + (range->len >> sb->s_blocksize_bits) - 1;
5242 5243
	minlen = EXT4_NUM_B2C(EXT4_SB(sb),
			      range->minlen >> sb->s_blocksize_bits);
5244

5245 5246 5247
	if (minlen > EXT4_CLUSTERS_PER_GROUP(sb) ||
	    start >= max_blks ||
	    range->len < sb->s_blocksize)
5248
		return -EINVAL;
5249 5250 5251
	if (end >= max_blks)
		end = max_blks - 1;
	if (end <= first_data_blk)
5252
		goto out;
5253
	if (start < first_data_blk)
5254
		start = first_data_blk;
5255

5256
	/* Determine first and last group to examine based on start and end */
5257
	ext4_get_group_no_and_offset(sb, (ext4_fsblk_t) start,
5258
				     &first_group, &first_cluster);
5259
	ext4_get_group_no_and_offset(sb, (ext4_fsblk_t) end,
5260
				     &last_group, &last_cluster);
5261

5262 5263
	/* end now represents the last cluster to discard in this group */
	end = EXT4_CLUSTERS_PER_GROUP(sb) - 1;
5264 5265

	for (group = first_group; group <= last_group; group++) {
5266 5267 5268
		grp = ext4_get_group_info(sb, group);
		/* We only do this if the grp has never been initialized */
		if (unlikely(EXT4_MB_GRP_NEED_INIT(grp))) {
5269
			ret = ext4_mb_init_group(sb, group, GFP_NOFS);
5270 5271
			if (ret)
				break;
5272 5273
		}

5274
		/*
5275 5276 5277 5278
		 * For all the groups except the last one, last cluster will
		 * always be EXT4_CLUSTERS_PER_GROUP(sb)-1, so we only need to
		 * change it for the last group, note that last_cluster is
		 * already computed earlier by ext4_get_group_no_and_offset()
5279
		 */
5280 5281
		if (group == last_group)
			end = last_cluster;
5282

5283
		if (grp->bb_free >= minlen) {
5284
			cnt = ext4_trim_all_free(sb, group, first_cluster,
5285
						end, minlen);
5286 5287 5288 5289
			if (cnt < 0) {
				ret = cnt;
				break;
			}
5290
			trimmed += cnt;
5291
		}
5292 5293 5294 5295 5296

		/*
		 * For every group except the first one, we are sure
		 * that the first cluster to discard will be cluster #0.
		 */
5297
		first_cluster = 0;
5298 5299
	}

5300 5301 5302
	if (!ret)
		atomic_set(&EXT4_SB(sb)->s_last_trim_minblks, minlen);

5303
out:
5304
	range->len = EXT4_C2B(EXT4_SB(sb), trimmed) << sb->s_blocksize_bits;
5305 5306
	return ret;
}
D
Darrick J. Wong 已提交
5307 5308 5309 5310 5311 5312 5313 5314 5315 5316 5317 5318 5319 5320 5321 5322 5323 5324 5325 5326 5327 5328 5329 5330 5331 5332 5333 5334 5335 5336 5337 5338 5339 5340 5341 5342 5343 5344 5345 5346 5347 5348 5349 5350 5351 5352 5353 5354 5355

/* Iterate all the free extents in the group. */
int
ext4_mballoc_query_range(
	struct super_block		*sb,
	ext4_group_t			group,
	ext4_grpblk_t			start,
	ext4_grpblk_t			end,
	ext4_mballoc_query_range_fn	formatter,
	void				*priv)
{
	void				*bitmap;
	ext4_grpblk_t			next;
	struct ext4_buddy		e4b;
	int				error;

	error = ext4_mb_load_buddy(sb, group, &e4b);
	if (error)
		return error;
	bitmap = e4b.bd_bitmap;

	ext4_lock_group(sb, group);

	start = (e4b.bd_info->bb_first_free > start) ?
		e4b.bd_info->bb_first_free : start;
	if (end >= EXT4_CLUSTERS_PER_GROUP(sb))
		end = EXT4_CLUSTERS_PER_GROUP(sb) - 1;

	while (start <= end) {
		start = mb_find_next_zero_bit(bitmap, end + 1, start);
		if (start > end)
			break;
		next = mb_find_next_bit(bitmap, end + 1, start);

		ext4_unlock_group(sb, group);
		error = formatter(sb, group, start, next - start, priv);
		if (error)
			goto out_unload;
		ext4_lock_group(sb, group);

		start = next + 1;
	}

	ext4_unlock_group(sb, group);
out_unload:
	ext4_mb_unload_buddy(&e4b);

	return error;
}