resize.c 33.7 KB
Newer Older
1
/*
2
 *  linux/fs/ext4/resize.c
3
 *
4
 * Support for resizing an ext4 filesystem while it is mounted.
5 6 7 8 9 10 11
 *
 * Copyright (C) 2001, 2002 Andreas Dilger <adilger@clusterfs.com>
 *
 * This could probably be made into a module, because it is not often in use.
 */


12
#define EXT4FS_DEBUG
13 14 15 16

#include <linux/errno.h>
#include <linux/slab.h>

17
#include "ext4_jbd2.h"
18 19 20 21 22

#define outside(b, first, last)	((b) < (first) || (b) >= (last))
#define inside(b, first, last)	((b) >= (first) && (b) < (last))

static int verify_group_input(struct super_block *sb,
23
			      struct ext4_new_group_data *input)
24
{
25 26
	struct ext4_sb_info *sbi = EXT4_SB(sb);
	struct ext4_super_block *es = sbi->s_es;
L
Laurent Vivier 已提交
27
	ext4_fsblk_t start = ext4_blocks_count(es);
28
	ext4_fsblk_t end = start + input->blocks_count;
29
	ext4_group_t group = input->group;
30 31 32
	ext4_fsblk_t itend = input->inode_table + sbi->s_itb_per_group;
	unsigned overhead = ext4_bg_has_super(sb, group) ?
		(1 + ext4_bg_num_gdb(sb, group) +
33
		 le16_to_cpu(es->s_reserved_gdt_blocks)) : 0;
34
	ext4_fsblk_t metaend = start + overhead;
35
	struct buffer_head *bh = NULL;
36
	ext4_grpblk_t free_blocks_count, offset;
37 38 39 40 41 42
	int err = -EINVAL;

	input->free_blocks_count = free_blocks_count =
		input->blocks_count - 2 - overhead - sbi->s_itb_per_group;

	if (test_opt(sb, DEBUG))
43
		printk(KERN_DEBUG "EXT4-fs: adding %s group %u: %u blocks "
44
		       "(%d free, %u reserved)\n",
45
		       ext4_bg_has_super(sb, input->group) ? "normal" :
46 47 48
		       "no-super", input->group, input->blocks_count,
		       free_blocks_count, input->reserved_blocks);

49
	ext4_get_group_no_and_offset(sb, start, NULL, &offset);
50
	if (group != sbi->s_groups_count)
51
		ext4_warning(sb, "Cannot add at group %u (only %u groups)",
52
			     input->group, sbi->s_groups_count);
53
	else if (offset != 0)
54
			ext4_warning(sb, "Last group not full");
55
	else if (input->reserved_blocks > input->blocks_count / 5)
56
		ext4_warning(sb, "Reserved blocks too high (%u)",
57 58
			     input->reserved_blocks);
	else if (free_blocks_count < 0)
59
		ext4_warning(sb, "Bad blocks count %u",
60 61
			     input->blocks_count);
	else if (!(bh = sb_bread(sb, end - 1)))
62
		ext4_warning(sb, "Cannot read last block (%llu)",
63 64
			     end - 1);
	else if (outside(input->block_bitmap, start, end))
65
		ext4_warning(sb, "Block bitmap not in group (block %llu)",
66
			     (unsigned long long)input->block_bitmap);
67
	else if (outside(input->inode_bitmap, start, end))
68
		ext4_warning(sb, "Inode bitmap not in group (block %llu)",
69
			     (unsigned long long)input->inode_bitmap);
70
	else if (outside(input->inode_table, start, end) ||
71
		 outside(itend - 1, start, end))
72
		ext4_warning(sb, "Inode table not in group (blocks %llu-%llu)",
73
			     (unsigned long long)input->inode_table, itend - 1);
74
	else if (input->inode_bitmap == input->block_bitmap)
75
		ext4_warning(sb, "Block bitmap same as inode bitmap (%llu)",
76
			     (unsigned long long)input->block_bitmap);
77
	else if (inside(input->block_bitmap, input->inode_table, itend))
78 79
		ext4_warning(sb, "Block bitmap (%llu) in inode table "
			     "(%llu-%llu)",
80 81
			     (unsigned long long)input->block_bitmap,
			     (unsigned long long)input->inode_table, itend - 1);
82
	else if (inside(input->inode_bitmap, input->inode_table, itend))
83 84
		ext4_warning(sb, "Inode bitmap (%llu) in inode table "
			     "(%llu-%llu)",
85 86
			     (unsigned long long)input->inode_bitmap,
			     (unsigned long long)input->inode_table, itend - 1);
87
	else if (inside(input->block_bitmap, start, metaend))
88
		ext4_warning(sb, "Block bitmap (%llu) in GDT table (%llu-%llu)",
89 90
			     (unsigned long long)input->block_bitmap,
			     start, metaend - 1);
91
	else if (inside(input->inode_bitmap, start, metaend))
92
		ext4_warning(sb, "Inode bitmap (%llu) in GDT table (%llu-%llu)",
93 94
			     (unsigned long long)input->inode_bitmap,
			     start, metaend - 1);
95
	else if (inside(input->inode_table, start, metaend) ||
96
		 inside(itend - 1, start, metaend))
97 98
		ext4_warning(sb, "Inode table (%llu-%llu) overlaps GDT table "
			     "(%llu-%llu)",
99 100
			     (unsigned long long)input->inode_table,
			     itend - 1, start, metaend - 1);
101 102 103 104 105 106 107 108
	else
		err = 0;
	brelse(bh);

	return err;
}

static struct buffer_head *bclean(handle_t *handle, struct super_block *sb,
109
				  ext4_fsblk_t blk)
110 111 112 113 114 115 116
{
	struct buffer_head *bh;
	int err;

	bh = sb_getblk(sb, blk);
	if (!bh)
		return ERR_PTR(-EIO);
117
	if ((err = ext4_journal_get_write_access(handle, bh))) {
118 119 120 121 122 123 124 125 126 127 128 129
		brelse(bh);
		bh = ERR_PTR(err);
	} else {
		lock_buffer(bh);
		memset(bh->b_data, 0, sb->s_blocksize);
		set_buffer_uptodate(bh);
		unlock_buffer(bh);
	}

	return bh;
}

130 131 132 133 134 135 136 137 138 139
/*
 * If we have fewer than thresh credits, extend by EXT4_MAX_TRANS_DATA.
 * If that fails, restart the transaction & regain write access for the
 * buffer head which is used for block_bitmap modifications.
 */
static int extend_or_restart_transaction(handle_t *handle, int thresh,
					 struct buffer_head *bh)
{
	int err;

140
	if (ext4_handle_has_enough_credits(handle, thresh))
141 142 143 144 145 146 147 148
		return 0;

	err = ext4_journal_extend(handle, EXT4_MAX_TRANS_DATA);
	if (err < 0)
		return err;
	if (err) {
		if ((err = ext4_journal_restart(handle, EXT4_MAX_TRANS_DATA)))
			return err;
149
		if ((err = ext4_journal_get_write_access(handle, bh)))
150
			return err;
151
	}
152 153 154 155

	return 0;
}

156 157 158 159 160 161 162 163
/*
 * Set up the block and inode bitmaps, and the inode table for the new group.
 * This doesn't need to be part of the main transaction, since we are only
 * changing blocks outside the actual filesystem.  We still do journaling to
 * ensure the recovery is correct in case of a failure just after resize.
 * If any part of this fails, we simply abort the resize.
 */
static int setup_new_group_blocks(struct super_block *sb,
164
				  struct ext4_new_group_data *input)
165
{
166 167 168
	struct ext4_sb_info *sbi = EXT4_SB(sb);
	ext4_fsblk_t start = ext4_group_first_block_no(sb, input->group);
	int reserved_gdb = ext4_bg_has_super(sb, input->group) ?
169
		le16_to_cpu(sbi->s_es->s_reserved_gdt_blocks) : 0;
170
	unsigned long gdblocks = ext4_bg_num_gdb(sb, input->group);
171 172
	struct buffer_head *bh;
	handle_t *handle;
173 174
	ext4_fsblk_t block;
	ext4_grpblk_t bit;
175 176 177
	int i;
	int err = 0, err2;

178 179 180
	/* This transaction may be extended/restarted along the way */
	handle = ext4_journal_start_sb(sb, EXT4_MAX_TRANS_DATA);

181 182 183
	if (IS_ERR(handle))
		return PTR_ERR(handle);

184
	mutex_lock(&sbi->s_resize_lock);
185 186 187 188 189 190 191 192 193 194
	if (input->group != sbi->s_groups_count) {
		err = -EBUSY;
		goto exit_journal;
	}

	if (IS_ERR(bh = bclean(handle, sb, input->block_bitmap))) {
		err = PTR_ERR(bh);
		goto exit_journal;
	}

195
	if (ext4_bg_has_super(sb, input->group)) {
E
Eric Sandeen 已提交
196
		ext4_debug("mark backup superblock %#04llx (+0)\n", start);
197
		ext4_set_bit(0, bh->b_data);
198 199 200 201 202 203 204
	}

	/* Copy all of the GDT blocks into the backup in this group */
	for (i = 0, bit = 1, block = start + 1;
	     i < gdblocks; i++, block++, bit++) {
		struct buffer_head *gdb;

E
Eric Sandeen 已提交
205
		ext4_debug("update backup group %#04llx (+%d)\n", block, bit);
206

207 208 209
		if ((err = extend_or_restart_transaction(handle, 1, bh)))
			goto exit_bh;

210 211 212 213 214
		gdb = sb_getblk(sb, block);
		if (!gdb) {
			err = -EIO;
			goto exit_bh;
		}
215
		if ((err = ext4_journal_get_write_access(handle, gdb))) {
216 217 218
			brelse(gdb);
			goto exit_bh;
		}
219 220
		lock_buffer(gdb);
		memcpy(gdb->b_data, sbi->s_group_desc[i]->b_data, gdb->b_size);
221
		set_buffer_uptodate(gdb);
222
		unlock_buffer(gdb);
223 224 225 226 227
		err = ext4_handle_dirty_metadata(handle, NULL, gdb);
		if (unlikely(err)) {
			brelse(gdb);
			goto exit_bh;
		}
228
		ext4_set_bit(bit, bh->b_data);
229 230 231 232
		brelse(gdb);
	}

	/* Zero out all of the reserved backup group descriptor table blocks */
233
	ext4_debug("clear inode table blocks %#04llx -> %#04lx\n",
234 235
			block, sbi->s_itb_per_group);
	err = sb_issue_zeroout(sb, gdblocks + start + 1, reserved_gdb,
236
			       GFP_NOFS);
237 238
	if (err)
		goto exit_bh;
239 240
	for (i = 0, bit = gdblocks + 1; i < reserved_gdb; i++, bit++)
		ext4_set_bit(bit, bh->b_data);
241

E
Eric Sandeen 已提交
242
	ext4_debug("mark block bitmap %#04llx (+%llu)\n", input->block_bitmap,
243
		   input->block_bitmap - start);
244
	ext4_set_bit(input->block_bitmap - start, bh->b_data);
E
Eric Sandeen 已提交
245
	ext4_debug("mark inode bitmap %#04llx (+%llu)\n", input->inode_bitmap,
246
		   input->inode_bitmap - start);
247
	ext4_set_bit(input->inode_bitmap - start, bh->b_data);
248 249

	/* Zero out all of the inode table blocks */
250
	block = input->inode_table;
251
	ext4_debug("clear inode table blocks %#04llx -> %#04lx\n",
252
			block, sbi->s_itb_per_group);
253
	err = sb_issue_zeroout(sb, block, sbi->s_itb_per_group, GFP_NOFS);
254 255
	if (err)
		goto exit_bh;
256 257 258
	for (i = 0, bit = input->inode_table - start;
	     i < sbi->s_itb_per_group; i++, bit++)
		ext4_set_bit(bit, bh->b_data);
259 260 261 262

	if ((err = extend_or_restart_transaction(handle, 2, bh)))
		goto exit_bh;

263 264
	ext4_mark_bitmap_end(input->blocks_count, sb->s_blocksize * 8,
			     bh->b_data);
265 266 267 268 269
	err = ext4_handle_dirty_metadata(handle, NULL, bh);
	if (unlikely(err)) {
		ext4_std_error(sb, err);
		goto exit_bh;
	}
270 271
	brelse(bh);
	/* Mark unused entries in inode bitmap used */
E
Eric Sandeen 已提交
272
	ext4_debug("clear inode bitmap %#04llx (+%llu)\n",
273 274 275 276 277 278
		   input->inode_bitmap, input->inode_bitmap - start);
	if (IS_ERR(bh = bclean(handle, sb, input->inode_bitmap))) {
		err = PTR_ERR(bh);
		goto exit_journal;
	}

279 280
	ext4_mark_bitmap_end(EXT4_INODES_PER_GROUP(sb), sb->s_blocksize * 8,
			     bh->b_data);
281 282 283
	err = ext4_handle_dirty_metadata(handle, NULL, bh);
	if (unlikely(err))
		ext4_std_error(sb, err);
284 285 286 287
exit_bh:
	brelse(bh);

exit_journal:
288
	mutex_unlock(&sbi->s_resize_lock);
289
	if ((err2 = ext4_journal_stop(handle)) && !err)
290 291 292 293 294 295 296
		err = err2;

	return err;
}

/*
 * Iterate through the groups which hold BACKUP superblock/GDT copies in an
297
 * ext4 filesystem.  The counters should be initialized to 1, 5, and 7 before
298 299 300 301
 * calling this for the first time.  In a sparse filesystem it will be the
 * sequence of powers of 3, 5, and 7: 1, 3, 5, 7, 9, 25, 27, 49, 81, ...
 * For a non-sparse filesystem it will be every group: 1, 2, 3, 4, ...
 */
302
static unsigned ext4_list_backups(struct super_block *sb, unsigned *three,
303 304 305 306 307 308
				  unsigned *five, unsigned *seven)
{
	unsigned *min = three;
	int mult = 3;
	unsigned ret;

309 310
	if (!EXT4_HAS_RO_COMPAT_FEATURE(sb,
					EXT4_FEATURE_RO_COMPAT_SPARSE_SUPER)) {
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
		ret = *min;
		*min += 1;
		return ret;
	}

	if (*five < *min) {
		min = five;
		mult = 5;
	}
	if (*seven < *min) {
		min = seven;
		mult = 7;
	}

	ret = *min;
	*min *= mult;

	return ret;
}

/*
 * Check that all of the backup GDT blocks are held in the primary GDT block.
 * It is assumed that they are stored in group order.  Returns the number of
 * groups in current filesystem that have BACKUPS, or -ve error code.
 */
static int verify_reserved_gdb(struct super_block *sb,
			       struct buffer_head *primary)
{
339
	const ext4_fsblk_t blk = primary->b_blocknr;
340
	const ext4_group_t end = EXT4_SB(sb)->s_groups_count;
341 342 343 344 345 346 347
	unsigned three = 1;
	unsigned five = 5;
	unsigned seven = 7;
	unsigned grp;
	__le32 *p = (__le32 *)primary->b_data;
	int gdbackups = 0;

348
	while ((grp = ext4_list_backups(sb, &three, &five, &seven)) < end) {
L
Laurent Vivier 已提交
349 350
		if (le32_to_cpu(*p++) !=
		    grp * EXT4_BLOCKS_PER_GROUP(sb) + blk){
351
			ext4_warning(sb, "reserved GDT %llu"
352
				     " missing grp %d (%llu)",
353
				     blk, grp,
L
Laurent Vivier 已提交
354 355 356
				     grp *
				     (ext4_fsblk_t)EXT4_BLOCKS_PER_GROUP(sb) +
				     blk);
357 358
			return -EINVAL;
		}
359
		if (++gdbackups > EXT4_ADDR_PER_BLOCK(sb))
360 361 362 363 364 365 366 367 368 369 370 371 372 373 374 375 376 377 378 379
			return -EFBIG;
	}

	return gdbackups;
}

/*
 * Called when we need to bring a reserved group descriptor table block into
 * use from the resize inode.  The primary copy of the new GDT block currently
 * is an indirect block (under the double indirect block in the resize inode).
 * The new backup GDT blocks will be stored as leaf blocks in this indirect
 * block, in group order.  Even though we know all the block numbers we need,
 * we check to ensure that the resize inode has actually reserved these blocks.
 *
 * Don't need to update the block bitmaps because the blocks are still in use.
 *
 * We get all of the error cases out of the way, so that we are sure to not
 * fail once we start modifying the data on disk, because JBD has no rollback.
 */
static int add_new_gdb(handle_t *handle, struct inode *inode,
380
		       struct ext4_new_group_data *input,
381 382 383
		       struct buffer_head **primary)
{
	struct super_block *sb = inode->i_sb;
384 385 386
	struct ext4_super_block *es = EXT4_SB(sb)->s_es;
	unsigned long gdb_num = input->group / EXT4_DESC_PER_BLOCK(sb);
	ext4_fsblk_t gdblock = EXT4_SB(sb)->s_sbh->b_blocknr + 1 + gdb_num;
387 388 389
	struct buffer_head **o_group_desc, **n_group_desc;
	struct buffer_head *dind;
	int gdbackups;
390
	struct ext4_iloc iloc;
391 392 393 394 395
	__le32 *data;
	int err;

	if (test_opt(sb, DEBUG))
		printk(KERN_DEBUG
396
		       "EXT4-fs: ext4_add_new_gdb: adding group block %lu\n",
397 398
		       gdb_num);

399 400
	/*
	 * If we are not using the primary superblock/GDT copy don't resize,
401 402 403
         * because the user tools have no way of handling this.  Probably a
         * bad time to do it anyways.
         */
404 405
	if (EXT4_SB(sb)->s_sbh->b_blocknr !=
	    le32_to_cpu(EXT4_SB(sb)->s_es->s_first_data_block)) {
406
		ext4_warning(sb, "won't resize using backup superblock at %llu",
407
			(unsigned long long)EXT4_SB(sb)->s_sbh->b_blocknr);
408 409 410 411 412 413 414 415 416 417 418 419
		return -EPERM;
	}

	*primary = sb_bread(sb, gdblock);
	if (!*primary)
		return -EIO;

	if ((gdbackups = verify_reserved_gdb(sb, *primary)) < 0) {
		err = gdbackups;
		goto exit_bh;
	}

420
	data = EXT4_I(inode)->i_data + EXT4_DIND_BLOCK;
421 422 423 424 425 426 427
	dind = sb_bread(sb, le32_to_cpu(*data));
	if (!dind) {
		err = -EIO;
		goto exit_bh;
	}

	data = (__le32 *)dind->b_data;
428
	if (le32_to_cpu(data[gdb_num % EXT4_ADDR_PER_BLOCK(sb)]) != gdblock) {
429
		ext4_warning(sb, "new group %u GDT block %llu not reserved",
430 431 432 433 434
			     input->group, gdblock);
		err = -EINVAL;
		goto exit_dind;
	}

435 436
	err = ext4_journal_get_write_access(handle, EXT4_SB(sb)->s_sbh);
	if (unlikely(err))
437 438
		goto exit_dind;

439 440
	err = ext4_journal_get_write_access(handle, *primary);
	if (unlikely(err))
441 442
		goto exit_sbh;

443 444 445
	err = ext4_journal_get_write_access(handle, dind);
	if (unlikely(err))
		ext4_std_error(sb, err);
446

447
	/* ext4_reserve_inode_write() gets a reference on the iloc */
448 449
	err = ext4_reserve_inode_write(handle, inode, &iloc);
	if (unlikely(err))
450 451 452
		goto exit_dindj;

	n_group_desc = kmalloc((gdb_num + 1) * sizeof(struct buffer_head *),
453
			GFP_NOFS);
454 455
	if (!n_group_desc) {
		err = -ENOMEM;
456
		ext4_warning(sb,
457 458 459 460 461 462 463 464 465 466 467 468 469
			      "not enough memory for %lu groups", gdb_num + 1);
		goto exit_inode;
	}

	/*
	 * Finally, we have all of the possible failures behind us...
	 *
	 * Remove new GDT block from inode double-indirect block and clear out
	 * the new GDT block for use (which also "frees" the backup GDT blocks
	 * from the reserved inode).  We don't need to change the bitmaps for
	 * these blocks, because they are marked as in-use from being in the
	 * reserved inode, and will become GDT blocks (primary and backup).
	 */
470
	data[gdb_num % EXT4_ADDR_PER_BLOCK(sb)] = 0;
471 472 473 474 475
	err = ext4_handle_dirty_metadata(handle, NULL, dind);
	if (unlikely(err)) {
		ext4_std_error(sb, err);
		goto exit_inode;
	}
476
	inode->i_blocks -= (gdbackups + 1) * sb->s_blocksize >> 9;
477
	ext4_mark_iloc_dirty(handle, inode, &iloc);
478
	memset((*primary)->b_data, 0, sb->s_blocksize);
479 480 481 482 483 484
	err = ext4_handle_dirty_metadata(handle, NULL, *primary);
	if (unlikely(err)) {
		ext4_std_error(sb, err);
		goto exit_inode;
	}
	brelse(dind);
485

486
	o_group_desc = EXT4_SB(sb)->s_group_desc;
487
	memcpy(n_group_desc, o_group_desc,
488
	       EXT4_SB(sb)->s_gdb_count * sizeof(struct buffer_head *));
489
	n_group_desc[gdb_num] = *primary;
490 491
	EXT4_SB(sb)->s_group_desc = n_group_desc;
	EXT4_SB(sb)->s_gdb_count++;
492 493
	kfree(o_group_desc);

M
Marcin Slusarz 已提交
494
	le16_add_cpu(&es->s_reserved_gdt_blocks, -1);
495 496 497
	err = ext4_handle_dirty_metadata(handle, NULL, EXT4_SB(sb)->s_sbh);
	if (err)
		ext4_std_error(sb, err);
498

499
	return err;
500 501

exit_inode:
502
	/* ext4_handle_release_buffer(handle, iloc.bh); */
503 504
	brelse(iloc.bh);
exit_dindj:
505
	/* ext4_handle_release_buffer(handle, dind); */
506
exit_sbh:
507
	/* ext4_handle_release_buffer(handle, EXT4_SB(sb)->s_sbh); */
508 509 510 511 512
exit_dind:
	brelse(dind);
exit_bh:
	brelse(*primary);

513
	ext4_debug("leaving with error %d\n", err);
514 515 516 517 518 519 520 521 522 523 524 525 526 527 528 529 530
	return err;
}

/*
 * Called when we are adding a new group which has a backup copy of each of
 * the GDT blocks (i.e. sparse group) and there are reserved GDT blocks.
 * We need to add these reserved backup GDT blocks to the resize inode, so
 * that they are kept for future resizing and not allocated to files.
 *
 * Each reserved backup GDT block will go into a different indirect block.
 * The indirect blocks are actually the primary reserved GDT blocks,
 * so we know in advance what their block numbers are.  We only get the
 * double-indirect block to verify it is pointing to the primary reserved
 * GDT blocks so we don't overwrite a data block by accident.  The reserved
 * backup GDT blocks are stored in their reserved primary GDT block.
 */
static int reserve_backup_gdb(handle_t *handle, struct inode *inode,
531
			      struct ext4_new_group_data *input)
532 533
{
	struct super_block *sb = inode->i_sb;
534
	int reserved_gdb =le16_to_cpu(EXT4_SB(sb)->s_es->s_reserved_gdt_blocks);
535 536
	struct buffer_head **primary;
	struct buffer_head *dind;
537 538
	struct ext4_iloc iloc;
	ext4_fsblk_t blk;
539 540 541 542 543
	__le32 *data, *end;
	int gdbackups = 0;
	int res, i;
	int err;

544
	primary = kmalloc(reserved_gdb * sizeof(*primary), GFP_NOFS);
545 546 547
	if (!primary)
		return -ENOMEM;

548
	data = EXT4_I(inode)->i_data + EXT4_DIND_BLOCK;
549 550 551 552 553 554
	dind = sb_bread(sb, le32_to_cpu(*data));
	if (!dind) {
		err = -EIO;
		goto exit_free;
	}

555
	blk = EXT4_SB(sb)->s_sbh->b_blocknr + 1 + EXT4_SB(sb)->s_gdb_count;
J
Josef Bacik 已提交
556 557
	data = (__le32 *)dind->b_data + (EXT4_SB(sb)->s_gdb_count %
					 EXT4_ADDR_PER_BLOCK(sb));
558
	end = (__le32 *)dind->b_data + EXT4_ADDR_PER_BLOCK(sb);
559 560 561 562

	/* Get each reserved primary GDT block and verify it holds backups */
	for (res = 0; res < reserved_gdb; res++, blk++) {
		if (le32_to_cpu(*data) != blk) {
563
			ext4_warning(sb, "reserved block %llu"
564 565 566 567 568 569 570 571 572 573 574 575 576 577 578 579 580 581 582 583 584
				     " not at offset %ld",
				     blk,
				     (long)(data - (__le32 *)dind->b_data));
			err = -EINVAL;
			goto exit_bh;
		}
		primary[res] = sb_bread(sb, blk);
		if (!primary[res]) {
			err = -EIO;
			goto exit_bh;
		}
		if ((gdbackups = verify_reserved_gdb(sb, primary[res])) < 0) {
			brelse(primary[res]);
			err = gdbackups;
			goto exit_bh;
		}
		if (++data >= end)
			data = (__le32 *)dind->b_data;
	}

	for (i = 0; i < reserved_gdb; i++) {
585
		if ((err = ext4_journal_get_write_access(handle, primary[i]))) {
586 587 588
			/*
			int j;
			for (j = 0; j < i; j++)
589
				ext4_handle_release_buffer(handle, primary[j]);
590 591 592 593 594
			 */
			goto exit_bh;
		}
	}

595
	if ((err = ext4_reserve_inode_write(handle, inode, &iloc)))
596 597 598 599 600 601
		goto exit_bh;

	/*
	 * Finally we can add each of the reserved backup GDT blocks from
	 * the new group to its reserved primary GDT block.
	 */
602
	blk = input->group * EXT4_BLOCKS_PER_GROUP(sb);
603 604 605 606 607 608 609
	for (i = 0; i < reserved_gdb; i++) {
		int err2;
		data = (__le32 *)primary[i]->b_data;
		/* printk("reserving backup %lu[%u] = %lu\n",
		       primary[i]->b_blocknr, gdbackups,
		       blk + primary[i]->b_blocknr); */
		data[gdbackups] = cpu_to_le32(blk + primary[i]->b_blocknr);
610
		err2 = ext4_handle_dirty_metadata(handle, NULL, primary[i]);
611 612 613 614
		if (!err)
			err = err2;
	}
	inode->i_blocks += reserved_gdb * sb->s_blocksize >> 9;
615
	ext4_mark_iloc_dirty(handle, inode, &iloc);
616 617 618 619 620 621 622 623 624 625 626 627 628

exit_bh:
	while (--res >= 0)
		brelse(primary[res]);
	brelse(dind);

exit_free:
	kfree(primary);

	return err;
}

/*
629
 * Update the backup copies of the ext4 metadata.  These don't need to be part
630 631 632 633 634 635 636
 * of the main resize transaction, because e2fsck will re-write them if there
 * is a problem (basically only OOM will cause a problem).  However, we
 * _should_ update the backups if possible, in case the primary gets trashed
 * for some reason and we need to run e2fsck from a backup superblock.  The
 * important part is that the new block and inode counts are in the backup
 * superblocks, and the location of the new group metadata in the GDT backups.
 *
637 638 639 640 641 642
 * We do not need take the s_resize_lock for this, because these
 * blocks are not otherwise touched by the filesystem code when it is
 * mounted.  We don't need to worry about last changing from
 * sbi->s_groups_count, because the worst that can happen is that we
 * do not copy the full number of backups at this time.  The resize
 * which changed s_groups_count will backup again.
643 644 645 646
 */
static void update_backups(struct super_block *sb,
			   int blk_off, char *data, int size)
{
647
	struct ext4_sb_info *sbi = EXT4_SB(sb);
648
	const ext4_group_t last = sbi->s_groups_count;
649
	const int bpg = EXT4_BLOCKS_PER_GROUP(sb);
650 651 652
	unsigned three = 1;
	unsigned five = 5;
	unsigned seven = 7;
653
	ext4_group_t group;
654 655 656 657
	int rest = sb->s_blocksize - size;
	handle_t *handle;
	int err = 0, err2;

658
	handle = ext4_journal_start_sb(sb, EXT4_MAX_TRANS_DATA);
659 660 661 662 663 664
	if (IS_ERR(handle)) {
		group = 1;
		err = PTR_ERR(handle);
		goto exit_err;
	}

665
	while ((group = ext4_list_backups(sb, &three, &five, &seven)) < last) {
666 667 668
		struct buffer_head *bh;

		/* Out of journal space, and can't get more - abort - so sad */
669 670
		if (ext4_handle_valid(handle) &&
		    handle->h_buffer_credits == 0 &&
671 672
		    ext4_journal_extend(handle, EXT4_MAX_TRANS_DATA) &&
		    (err = ext4_journal_restart(handle, EXT4_MAX_TRANS_DATA)))
673 674 675 676 677 678 679
			break;

		bh = sb_getblk(sb, group * bpg + blk_off);
		if (!bh) {
			err = -EIO;
			break;
		}
680
		ext4_debug("update metadata backup %#04lx\n",
681
			  (unsigned long)bh->b_blocknr);
682
		if ((err = ext4_journal_get_write_access(handle, bh)))
683 684 685 686 687 688 689
			break;
		lock_buffer(bh);
		memcpy(bh->b_data, data, size);
		if (rest)
			memset(bh->b_data + size, 0, rest);
		set_buffer_uptodate(bh);
		unlock_buffer(bh);
690 691 692
		err = ext4_handle_dirty_metadata(handle, NULL, bh);
		if (unlikely(err))
			ext4_std_error(sb, err);
693 694
		brelse(bh);
	}
695
	if ((err2 = ext4_journal_stop(handle)) && !err)
696 697 698 699 700 701 702 703 704 705 706 707 708 709
		err = err2;

	/*
	 * Ugh! Need to have e2fsck write the backup copies.  It is too
	 * late to revert the resize, we shouldn't fail just because of
	 * the backup copies (they are only needed in case of corruption).
	 *
	 * However, if we got here we have a journal problem too, so we
	 * can't really start a transaction to mark the superblock.
	 * Chicken out and just set the flag on the hope it will be written
	 * to disk, and if not - we will simply wait until next fsck.
	 */
exit_err:
	if (err) {
710
		ext4_warning(sb, "can't update backup for group %u (err %d), "
711
			     "forcing fsck on next reboot", group, err);
712 713
		sbi->s_mount_state &= ~EXT4_VALID_FS;
		sbi->s_es->s_state &= cpu_to_le16(~EXT4_VALID_FS);
714 715 716 717 718 719 720 721 722 723 724 725 726 727 728 729 730
		mark_buffer_dirty(sbi->s_sbh);
	}
}

/* Add group descriptor data to an existing or new group descriptor block.
 * Ensure we handle all possible error conditions _before_ we start modifying
 * the filesystem, because we cannot abort the transaction and not have it
 * write the data to disk.
 *
 * If we are on a GDT block boundary, we need to get the reserved GDT block.
 * Otherwise, we may need to add backup GDT blocks for a sparse group.
 *
 * We only need to hold the superblock lock while we are actually adding
 * in the new group's counts to the superblock.  Prior to that we have
 * not really "added" the group at all.  We re-check that we are still
 * adding in the last group in case things have changed since verifying.
 */
731
int ext4_group_add(struct super_block *sb, struct ext4_new_group_data *input)
732
{
733 734 735
	struct ext4_sb_info *sbi = EXT4_SB(sb);
	struct ext4_super_block *es = sbi->s_es;
	int reserved_gdb = ext4_bg_has_super(sb, input->group) ?
736 737
		le16_to_cpu(es->s_reserved_gdt_blocks) : 0;
	struct buffer_head *primary = NULL;
738
	struct ext4_group_desc *gdp;
739 740 741 742 743
	struct inode *inode = NULL;
	handle_t *handle;
	int gdb_off, gdb_num;
	int err, err2;

744 745
	gdb_num = input->group / EXT4_DESC_PER_BLOCK(sb);
	gdb_off = input->group % EXT4_DESC_PER_BLOCK(sb);
746

747 748
	if (gdb_off == 0 && !EXT4_HAS_RO_COMPAT_FEATURE(sb,
					EXT4_FEATURE_RO_COMPAT_SPARSE_SUPER)) {
749
		ext4_warning(sb, "Can't resize non-sparse filesystem further");
750 751 752
		return -EPERM;
	}

L
Laurent Vivier 已提交
753 754
	if (ext4_blocks_count(es) + input->blocks_count <
	    ext4_blocks_count(es)) {
755
		ext4_warning(sb, "blocks_count overflow");
756 757 758
		return -EINVAL;
	}

759
	if (le32_to_cpu(es->s_inodes_count) + EXT4_INODES_PER_GROUP(sb) <
760
	    le32_to_cpu(es->s_inodes_count)) {
761
		ext4_warning(sb, "inodes_count overflow");
762 763 764 765
		return -EINVAL;
	}

	if (reserved_gdb || gdb_off == 0) {
766
		if (!EXT4_HAS_COMPAT_FEATURE(sb,
767 768
					     EXT4_FEATURE_COMPAT_RESIZE_INODE)
		    || !le16_to_cpu(es->s_reserved_gdt_blocks)) {
769
			ext4_warning(sb,
770 771 772
				     "No reserved GDT blocks, can't resize");
			return -EPERM;
		}
773 774
		inode = ext4_iget(sb, EXT4_RESIZE_INO);
		if (IS_ERR(inode)) {
775
			ext4_warning(sb, "Error opening resize inode");
776
			return PTR_ERR(inode);
777 778 779
		}
	}

780

781 782 783 784 785 786 787 788 789 790 791 792 793
	if ((err = verify_group_input(sb, input)))
		goto exit_put;

	if ((err = setup_new_group_blocks(sb, input)))
		goto exit_put;

	/*
	 * We will always be modifying at least the superblock and a GDT
	 * block.  If we are adding a group past the last current GDT block,
	 * we will also modify the inode and the dindirect block.  If we
	 * are adding a group with superblock/GDT backups  we will also
	 * modify each of the reserved GDT dindirect blocks.
	 */
794 795
	handle = ext4_journal_start_sb(sb,
				       ext4_bg_has_super(sb, input->group) ?
796 797 798 799 800 801
				       3 + reserved_gdb : 4);
	if (IS_ERR(handle)) {
		err = PTR_ERR(handle);
		goto exit_put;
	}

802
	mutex_lock(&sbi->s_resize_lock);
803
	if (input->group != sbi->s_groups_count) {
804
		ext4_warning(sb, "multiple resizers run on filesystem!");
805 806 807 808
		err = -EBUSY;
		goto exit_journal;
	}

809
	if ((err = ext4_journal_get_write_access(handle, sbi->s_sbh)))
810 811
		goto exit_journal;

812 813 814 815 816 817
        /*
         * We will only either add reserved group blocks to a backup group
         * or remove reserved blocks for the first group in a new group block.
         * Doing both would be mean more complex code, and sane people don't
         * use non-sparse filesystems anymore.  This is already checked above.
         */
818 819
	if (gdb_off) {
		primary = sbi->s_group_desc[gdb_num];
820
		if ((err = ext4_journal_get_write_access(handle, primary)))
821 822
			goto exit_journal;

823
		if (reserved_gdb && ext4_bg_num_gdb(sb, input->group) &&
824 825 826 827 828
		    (err = reserve_backup_gdb(handle, inode, input)))
			goto exit_journal;
	} else if ((err = add_new_gdb(handle, inode, input, &primary)))
		goto exit_journal;

829 830 831
        /*
         * OK, now we've set up the new group.  Time to make it active.
         *
832
         * We do not lock all allocations via s_resize_lock
833 834 835 836 837 838 839 840 841 842 843 844 845 846
         * so we have to be safe wrt. concurrent accesses the group
         * data.  So we need to be careful to set all of the relevant
         * group descriptor data etc. *before* we enable the group.
         *
         * The key field here is sbi->s_groups_count: as long as
         * that retains its old value, nobody is going to access the new
         * group.
         *
         * So first we update all the descriptor metadata for the new
         * group; then we update the total disk blocks count; then we
         * update the groups count to enable the group; then finally we
         * update the free space counts so that the system can start
         * using the new disk blocks.
         */
847 848

	/* Update group descriptor block for new group */
849 850
	gdp = (struct ext4_group_desc *)((char *)primary->b_data +
					 gdb_off * EXT4_DESC_SIZE(sb));
851

852
	memset(gdp, 0, EXT4_DESC_SIZE(sb));
853 854 855
	ext4_block_bitmap_set(sb, gdp, input->block_bitmap); /* LV FIXME */
	ext4_inode_bitmap_set(sb, gdp, input->inode_bitmap); /* LV FIXME */
	ext4_inode_table_set(sb, gdp, input->inode_table); /* LV FIXME */
856 857
	ext4_free_blks_set(sb, gdp, input->free_blocks_count);
	ext4_free_inodes_set(sb, gdp, EXT4_INODES_PER_GROUP(sb));
858
	gdp->bg_flags = cpu_to_le16(EXT4_BG_INODE_ZEROED);
A
Andreas Dilger 已提交
859
	gdp->bg_checksum = ext4_group_desc_csum(sbi, input->group, gdp);
860

861 862 863 864
	/*
	 * We can allocate memory for mb_alloc based on the new group
	 * descriptor
	 */
865
	err = ext4_mb_add_groupinfo(sb, input->group, gdp);
866
	if (err)
867 868
		goto exit_journal;

869 870 871 872 873 874 875 876 877 878
	/*
	 * Make the new blocks and inodes valid next.  We do this before
	 * increasing the group count so that once the group is enabled,
	 * all of its blocks and inodes are already valid.
	 *
	 * We always allocate group-by-group, then block-by-block or
	 * inode-by-inode within a group, so enabling these
	 * blocks/inodes before the group is live won't actually let us
	 * allocate the new space yet.
	 */
L
Laurent Vivier 已提交
879
	ext4_blocks_count_set(es, ext4_blocks_count(es) +
880
		input->blocks_count);
M
Marcin Slusarz 已提交
881
	le32_add_cpu(&es->s_inodes_count, EXT4_INODES_PER_GROUP(sb));
882 883 884 885 886 887 888

	/*
	 * We need to protect s_groups_count against other CPUs seeing
	 * inconsistent state in the superblock.
	 *
	 * The precise rules we use are:
	 *
889
	 * * Writers of s_groups_count *must* hold s_resize_lock
890 891 892 893
	 * AND
	 * * Writers must perform a smp_wmb() after updating all dependent
	 *   data and before modifying the groups count
	 *
894
	 * * Readers must hold s_resize_lock over the access
895 896 897 898 899 900 901 902 903 904 905 906 907 908 909
	 * OR
	 * * Readers must perform an smp_rmb() after reading the groups count
	 *   and before reading any dependent data.
	 *
	 * NB. These rules can be relaxed when checking the group count
	 * while freeing data, as we can only allocate from a block
	 * group after serialising against the group count, and we can
	 * only then free after serialising in turn against that
	 * allocation.
	 */
	smp_wmb();

	/* Update the global fs size fields */
	sbi->s_groups_count++;

910 911 912 913 914
	err = ext4_handle_dirty_metadata(handle, NULL, primary);
	if (unlikely(err)) {
		ext4_std_error(sb, err);
		goto exit_journal;
	}
915 916 917

	/* Update the reserved block counts only once the new group is
	 * active. */
L
Laurent Vivier 已提交
918
	ext4_r_blocks_count_set(es, ext4_r_blocks_count(es) +
919 920 921
		input->reserved_blocks);

	/* Update the free space counts */
P
Peter Zijlstra 已提交
922
	percpu_counter_add(&sbi->s_freeblocks_counter,
923
			   input->free_blocks_count);
P
Peter Zijlstra 已提交
924
	percpu_counter_add(&sbi->s_freeinodes_counter,
925
			   EXT4_INODES_PER_GROUP(sb));
926

927 928
	if (EXT4_HAS_INCOMPAT_FEATURE(sb, EXT4_FEATURE_INCOMPAT_FLEX_BG) &&
	    sbi->s_log_groups_per_flex) {
929 930
		ext4_group_t flex_group;
		flex_group = ext4_flex_group(sbi, input->group);
931 932 933 934
		atomic_add(input->free_blocks_count,
			   &sbi->s_flex_groups[flex_group].free_blocks);
		atomic_add(EXT4_INODES_PER_GROUP(sb),
			   &sbi->s_flex_groups[flex_group].free_inodes);
935 936
	}

T
Theodore Ts'o 已提交
937
	ext4_handle_dirty_super(handle, sb);
938 939

exit_journal:
940
	mutex_unlock(&sbi->s_resize_lock);
941
	if ((err2 = ext4_journal_stop(handle)) && !err)
942 943 944
		err = err2;
	if (!err) {
		update_backups(sb, sbi->s_sbh->b_blocknr, (char *)es,
945
			       sizeof(struct ext4_super_block));
946 947 948 949 950 951
		update_backups(sb, primary->b_blocknr, primary->b_data,
			       primary->b_size);
	}
exit_put:
	iput(inode);
	return err;
952
} /* ext4_group_add */
953

954 955
/*
 * Extend the filesystem to the new number of blocks specified.  This entry
956 957 958 959
 * point is only used to extend the current filesystem to the end of the last
 * existing group.  It can be accessed via ioctl, or by "remount,resize=<size>"
 * for emergencies (because it has no dependencies on reserved blocks).
 *
960
 * If we _really_ wanted, we could use default values to call ext4_group_add()
961 962 963
 * allow the "remount" trick to work for arbitrary resizing, assuming enough
 * GDT blocks are reserved to grow to the desired size.
 */
964 965
int ext4_group_extend(struct super_block *sb, struct ext4_super_block *es,
		      ext4_fsblk_t n_blocks_count)
966
{
967 968 969
	ext4_fsblk_t o_blocks_count;
	ext4_grpblk_t last;
	ext4_grpblk_t add;
970
	struct buffer_head *bh;
971 972
	handle_t *handle;
	int err;
973
	ext4_group_t group;
974 975 976

	/* We don't need to worry about locking wrt other resizers just
	 * yet: we're going to revalidate es->s_blocks_count after
977
	 * taking the s_resize_lock below. */
L
Laurent Vivier 已提交
978
	o_blocks_count = ext4_blocks_count(es);
979 980

	if (test_opt(sb, DEBUG))
981
		printk(KERN_DEBUG "EXT4-fs: extending last group from %llu uto %llu blocks\n",
982 983 984 985 986 987
		       o_blocks_count, n_blocks_count);

	if (n_blocks_count == 0 || n_blocks_count == o_blocks_count)
		return 0;

	if (n_blocks_count > (sector_t)(~0ULL) >> (sb->s_blocksize_bits - 9)) {
988
		printk(KERN_ERR "EXT4-fs: filesystem on %s:"
989
			" too large to resize to %llu blocks safely\n",
990 991
			sb->s_id, n_blocks_count);
		if (sizeof(sector_t) < 8)
992
			ext4_warning(sb, "CONFIG_LBDAF not enabled");
993 994 995 996
		return -EINVAL;
	}

	if (n_blocks_count < o_blocks_count) {
997
		ext4_warning(sb, "can't shrink FS - resize aborted");
998 999 1000 1001
		return -EBUSY;
	}

	/* Handle the remaining blocks in the last group only. */
1002
	ext4_get_group_no_and_offset(sb, o_blocks_count, &group, &last);
1003 1004

	if (last == 0) {
1005
		ext4_warning(sb, "need to use ext2online to resize further");
1006 1007 1008
		return -EPERM;
	}

1009
	add = EXT4_BLOCKS_PER_GROUP(sb) - last;
1010 1011

	if (o_blocks_count + add < o_blocks_count) {
1012
		ext4_warning(sb, "blocks_count overflow");
1013 1014 1015 1016 1017 1018 1019
		return -EINVAL;
	}

	if (o_blocks_count + add > n_blocks_count)
		add = n_blocks_count - o_blocks_count;

	if (o_blocks_count + add < n_blocks_count)
1020
		ext4_warning(sb, "will only finish group (%llu blocks, %u new)",
1021 1022 1023
			     o_blocks_count + add, add);

	/* See if the device is actually as big as what was requested */
1024
	bh = sb_bread(sb, o_blocks_count + add - 1);
1025
	if (!bh) {
1026
		ext4_warning(sb, "can't read last block, resize aborted");
1027 1028 1029 1030 1031
		return -ENOSPC;
	}
	brelse(bh);

	/* We will update the superblock, one block bitmap, and
1032
	 * one group descriptor via ext4_free_blocks().
1033
	 */
1034
	handle = ext4_journal_start_sb(sb, 3);
1035 1036
	if (IS_ERR(handle)) {
		err = PTR_ERR(handle);
1037
		ext4_warning(sb, "error %d on journal start", err);
1038 1039 1040
		goto exit_put;
	}

1041
	mutex_lock(&EXT4_SB(sb)->s_resize_lock);
L
Laurent Vivier 已提交
1042
	if (o_blocks_count != ext4_blocks_count(es)) {
1043
		ext4_warning(sb, "multiple resizers run on filesystem!");
1044
		mutex_unlock(&EXT4_SB(sb)->s_resize_lock);
1045
		ext4_journal_stop(handle);
1046 1047 1048 1049
		err = -EBUSY;
		goto exit_put;
	}

1050 1051
	if ((err = ext4_journal_get_write_access(handle,
						 EXT4_SB(sb)->s_sbh))) {
1052
		ext4_warning(sb, "error %d on journal write access", err);
1053
		mutex_unlock(&EXT4_SB(sb)->s_resize_lock);
1054
		ext4_journal_stop(handle);
1055 1056
		goto exit_put;
	}
L
Laurent Vivier 已提交
1057
	ext4_blocks_count_set(es, o_blocks_count + add);
1058
	mutex_unlock(&EXT4_SB(sb)->s_resize_lock);
E
Eric Sandeen 已提交
1059
	ext4_debug("freeing blocks %llu through %llu\n", o_blocks_count,
1060
		   o_blocks_count + add);
1061 1062
	/* We add the blocks to the bitmap and set the group need init bit */
	ext4_add_groupblocks(handle, sb, o_blocks_count, add);
T
Theodore Ts'o 已提交
1063
	ext4_handle_dirty_super(handle, sb);
1064
	ext4_debug("freed blocks %llu through %llu\n", o_blocks_count,
1065
		   o_blocks_count + add);
1066
	if ((err = ext4_journal_stop(handle)))
1067
		goto exit_put;
1068

1069
	if (test_opt(sb, DEBUG))
L
Laurent Vivier 已提交
1070 1071
		printk(KERN_DEBUG "EXT4-fs: extended group to %llu blocks\n",
		       ext4_blocks_count(es));
1072 1073
	update_backups(sb, EXT4_SB(sb)->s_sbh->b_blocknr, (char *)es,
		       sizeof(struct ext4_super_block));
1074 1075
exit_put:
	return err;
1076
} /* ext4_group_extend */