xref: /openbmc/linux/fs/ext4/block_validity.c (revision 49598e04)
1b2441318SGreg Kroah-Hartman // SPDX-License-Identifier: GPL-2.0
26fd058f7STheodore Ts'o /*
36fd058f7STheodore Ts'o  *  linux/fs/ext4/block_validity.c
46fd058f7STheodore Ts'o  *
56fd058f7STheodore Ts'o  * Copyright (C) 2009
66fd058f7STheodore Ts'o  * Theodore Ts'o (tytso@mit.edu)
76fd058f7STheodore Ts'o  *
86fd058f7STheodore Ts'o  * Track which blocks in the filesystem are metadata blocks that
96fd058f7STheodore Ts'o  * should never be used as data blocks by files or directories.
106fd058f7STheodore Ts'o  */
116fd058f7STheodore Ts'o 
126fd058f7STheodore Ts'o #include <linux/time.h>
136fd058f7STheodore Ts'o #include <linux/fs.h>
146fd058f7STheodore Ts'o #include <linux/namei.h>
156fd058f7STheodore Ts'o #include <linux/quotaops.h>
166fd058f7STheodore Ts'o #include <linux/buffer_head.h>
176fd058f7STheodore Ts'o #include <linux/swap.h>
186fd058f7STheodore Ts'o #include <linux/pagemap.h>
196fd058f7STheodore Ts'o #include <linux/blkdev.h>
205a0e3ad6STejun Heo #include <linux/slab.h>
216fd058f7STheodore Ts'o #include "ext4.h"
226fd058f7STheodore Ts'o 
236fd058f7STheodore Ts'o struct ext4_system_zone {
246fd058f7STheodore Ts'o 	struct rb_node	node;
256fd058f7STheodore Ts'o 	ext4_fsblk_t	start_blk;
266fd058f7STheodore Ts'o 	unsigned int	count;
276fd058f7STheodore Ts'o };
286fd058f7STheodore Ts'o 
296fd058f7STheodore Ts'o static struct kmem_cache *ext4_system_zone_cachep;
306fd058f7STheodore Ts'o 
315dabfc78STheodore Ts'o int __init ext4_init_system_zone(void)
326fd058f7STheodore Ts'o {
3316828088STheodore Ts'o 	ext4_system_zone_cachep = KMEM_CACHE(ext4_system_zone, 0);
346fd058f7STheodore Ts'o 	if (ext4_system_zone_cachep == NULL)
356fd058f7STheodore Ts'o 		return -ENOMEM;
366fd058f7STheodore Ts'o 	return 0;
376fd058f7STheodore Ts'o }
386fd058f7STheodore Ts'o 
395dabfc78STheodore Ts'o void ext4_exit_system_zone(void)
406fd058f7STheodore Ts'o {
416fd058f7STheodore Ts'o 	kmem_cache_destroy(ext4_system_zone_cachep);
426fd058f7STheodore Ts'o }
436fd058f7STheodore Ts'o 
446fd058f7STheodore Ts'o static inline int can_merge(struct ext4_system_zone *entry1,
456fd058f7STheodore Ts'o 		     struct ext4_system_zone *entry2)
466fd058f7STheodore Ts'o {
476fd058f7STheodore Ts'o 	if ((entry1->start_blk + entry1->count) == entry2->start_blk)
486fd058f7STheodore Ts'o 		return 1;
496fd058f7STheodore Ts'o 	return 0;
506fd058f7STheodore Ts'o }
516fd058f7STheodore Ts'o 
526fd058f7STheodore Ts'o /*
536fd058f7STheodore Ts'o  * Mark a range of blocks as belonging to the "system zone" --- that
546fd058f7STheodore Ts'o  * is, filesystem metadata blocks which should never be used by
556fd058f7STheodore Ts'o  * inodes.
566fd058f7STheodore Ts'o  */
576fd058f7STheodore Ts'o static int add_system_zone(struct ext4_sb_info *sbi,
586fd058f7STheodore Ts'o 			   ext4_fsblk_t start_blk,
596fd058f7STheodore Ts'o 			   unsigned int count)
606fd058f7STheodore Ts'o {
616fd058f7STheodore Ts'o 	struct ext4_system_zone *new_entry = NULL, *entry;
626fd058f7STheodore Ts'o 	struct rb_node **n = &sbi->system_blks.rb_node, *node;
636fd058f7STheodore Ts'o 	struct rb_node *parent = NULL, *new_node = NULL;
646fd058f7STheodore Ts'o 
656fd058f7STheodore Ts'o 	while (*n) {
666fd058f7STheodore Ts'o 		parent = *n;
676fd058f7STheodore Ts'o 		entry = rb_entry(parent, struct ext4_system_zone, node);
686fd058f7STheodore Ts'o 		if (start_blk < entry->start_blk)
696fd058f7STheodore Ts'o 			n = &(*n)->rb_left;
706fd058f7STheodore Ts'o 		else if (start_blk >= (entry->start_blk + entry->count))
716fd058f7STheodore Ts'o 			n = &(*n)->rb_right;
726fd058f7STheodore Ts'o 		else {
736fd058f7STheodore Ts'o 			if (start_blk + count > (entry->start_blk +
746fd058f7STheodore Ts'o 						 entry->count))
756fd058f7STheodore Ts'o 				entry->count = (start_blk + count -
766fd058f7STheodore Ts'o 						entry->start_blk);
776fd058f7STheodore Ts'o 			new_node = *n;
786fd058f7STheodore Ts'o 			new_entry = rb_entry(new_node, struct ext4_system_zone,
796fd058f7STheodore Ts'o 					     node);
806fd058f7STheodore Ts'o 			break;
816fd058f7STheodore Ts'o 		}
826fd058f7STheodore Ts'o 	}
836fd058f7STheodore Ts'o 
846fd058f7STheodore Ts'o 	if (!new_entry) {
856fd058f7STheodore Ts'o 		new_entry = kmem_cache_alloc(ext4_system_zone_cachep,
866fd058f7STheodore Ts'o 					     GFP_KERNEL);
876fd058f7STheodore Ts'o 		if (!new_entry)
886fd058f7STheodore Ts'o 			return -ENOMEM;
896fd058f7STheodore Ts'o 		new_entry->start_blk = start_blk;
906fd058f7STheodore Ts'o 		new_entry->count = count;
916fd058f7STheodore Ts'o 		new_node = &new_entry->node;
926fd058f7STheodore Ts'o 
936fd058f7STheodore Ts'o 		rb_link_node(new_node, parent, n);
946fd058f7STheodore Ts'o 		rb_insert_color(new_node, &sbi->system_blks);
956fd058f7STheodore Ts'o 	}
966fd058f7STheodore Ts'o 
976fd058f7STheodore Ts'o 	/* Can we merge to the left? */
986fd058f7STheodore Ts'o 	node = rb_prev(new_node);
996fd058f7STheodore Ts'o 	if (node) {
1006fd058f7STheodore Ts'o 		entry = rb_entry(node, struct ext4_system_zone, node);
1016fd058f7STheodore Ts'o 		if (can_merge(entry, new_entry)) {
1026fd058f7STheodore Ts'o 			new_entry->start_blk = entry->start_blk;
1036fd058f7STheodore Ts'o 			new_entry->count += entry->count;
1046fd058f7STheodore Ts'o 			rb_erase(node, &sbi->system_blks);
1056fd058f7STheodore Ts'o 			kmem_cache_free(ext4_system_zone_cachep, entry);
1066fd058f7STheodore Ts'o 		}
1076fd058f7STheodore Ts'o 	}
1086fd058f7STheodore Ts'o 
1096fd058f7STheodore Ts'o 	/* Can we merge to the right? */
1106fd058f7STheodore Ts'o 	node = rb_next(new_node);
1116fd058f7STheodore Ts'o 	if (node) {
1126fd058f7STheodore Ts'o 		entry = rb_entry(node, struct ext4_system_zone, node);
1136fd058f7STheodore Ts'o 		if (can_merge(new_entry, entry)) {
1146fd058f7STheodore Ts'o 			new_entry->count += entry->count;
1156fd058f7STheodore Ts'o 			rb_erase(node, &sbi->system_blks);
1166fd058f7STheodore Ts'o 			kmem_cache_free(ext4_system_zone_cachep, entry);
1176fd058f7STheodore Ts'o 		}
1186fd058f7STheodore Ts'o 	}
1196fd058f7STheodore Ts'o 	return 0;
1206fd058f7STheodore Ts'o }
1216fd058f7STheodore Ts'o 
1226fd058f7STheodore Ts'o static void debug_print_tree(struct ext4_sb_info *sbi)
1236fd058f7STheodore Ts'o {
1246fd058f7STheodore Ts'o 	struct rb_node *node;
1256fd058f7STheodore Ts'o 	struct ext4_system_zone *entry;
1266fd058f7STheodore Ts'o 	int first = 1;
1276fd058f7STheodore Ts'o 
1286fd058f7STheodore Ts'o 	printk(KERN_INFO "System zones: ");
1296fd058f7STheodore Ts'o 	node = rb_first(&sbi->system_blks);
1306fd058f7STheodore Ts'o 	while (node) {
1316fd058f7STheodore Ts'o 		entry = rb_entry(node, struct ext4_system_zone, node);
132d74f3d25SJoe Perches 		printk(KERN_CONT "%s%llu-%llu", first ? "" : ", ",
1336fd058f7STheodore Ts'o 		       entry->start_blk, entry->start_blk + entry->count - 1);
1346fd058f7STheodore Ts'o 		first = 0;
1356fd058f7STheodore Ts'o 		node = rb_next(node);
1366fd058f7STheodore Ts'o 	}
137d74f3d25SJoe Perches 	printk(KERN_CONT "\n");
1386fd058f7STheodore Ts'o }
1396fd058f7STheodore Ts'o 
1406fd058f7STheodore Ts'o int ext4_setup_system_zone(struct super_block *sb)
1416fd058f7STheodore Ts'o {
1426fd058f7STheodore Ts'o 	ext4_group_t ngroups = ext4_get_groups_count(sb);
1436fd058f7STheodore Ts'o 	struct ext4_sb_info *sbi = EXT4_SB(sb);
1446fd058f7STheodore Ts'o 	struct ext4_group_desc *gdp;
1456fd058f7STheodore Ts'o 	ext4_group_t i;
1466fd058f7STheodore Ts'o 	int flex_size = ext4_flex_bg_size(sbi);
1476fd058f7STheodore Ts'o 	int ret;
1486fd058f7STheodore Ts'o 
1496fd058f7STheodore Ts'o 	if (!test_opt(sb, BLOCK_VALIDITY)) {
15049598e04SJun Piao 		if (sbi->system_blks.rb_node)
1516fd058f7STheodore Ts'o 			ext4_release_system_zone(sb);
1526fd058f7STheodore Ts'o 		return 0;
1536fd058f7STheodore Ts'o 	}
15449598e04SJun Piao 	if (sbi->system_blks.rb_node)
1556fd058f7STheodore Ts'o 		return 0;
1566fd058f7STheodore Ts'o 
1576fd058f7STheodore Ts'o 	for (i=0; i < ngroups; i++) {
1586fd058f7STheodore Ts'o 		if (ext4_bg_has_super(sb, i) &&
1596fd058f7STheodore Ts'o 		    ((i < 5) || ((i % flex_size) == 0)))
1606fd058f7STheodore Ts'o 			add_system_zone(sbi, ext4_group_first_block_no(sb, i),
1611032988cSTheodore Ts'o 					ext4_bg_num_gdb(sb, i) + 1);
1626fd058f7STheodore Ts'o 		gdp = ext4_get_group_desc(sb, i, NULL);
1636fd058f7STheodore Ts'o 		ret = add_system_zone(sbi, ext4_block_bitmap(sb, gdp), 1);
1646fd058f7STheodore Ts'o 		if (ret)
1656fd058f7STheodore Ts'o 			return ret;
1666fd058f7STheodore Ts'o 		ret = add_system_zone(sbi, ext4_inode_bitmap(sb, gdp), 1);
1676fd058f7STheodore Ts'o 		if (ret)
1686fd058f7STheodore Ts'o 			return ret;
1696fd058f7STheodore Ts'o 		ret = add_system_zone(sbi, ext4_inode_table(sb, gdp),
1706fd058f7STheodore Ts'o 				sbi->s_itb_per_group);
1716fd058f7STheodore Ts'o 		if (ret)
1726fd058f7STheodore Ts'o 			return ret;
1736fd058f7STheodore Ts'o 	}
1746fd058f7STheodore Ts'o 
1756fd058f7STheodore Ts'o 	if (test_opt(sb, DEBUG))
17649598e04SJun Piao 		debug_print_tree(sbi);
1776fd058f7STheodore Ts'o 	return 0;
1786fd058f7STheodore Ts'o }
1796fd058f7STheodore Ts'o 
1806fd058f7STheodore Ts'o /* Called when the filesystem is unmounted */
1816fd058f7STheodore Ts'o void ext4_release_system_zone(struct super_block *sb)
1826fd058f7STheodore Ts'o {
183d1866bd0SCody P Schafer 	struct ext4_system_zone	*entry, *n;
1846fd058f7STheodore Ts'o 
185d1866bd0SCody P Schafer 	rbtree_postorder_for_each_entry_safe(entry, n,
186d1866bd0SCody P Schafer 			&EXT4_SB(sb)->system_blks, node)
1876fd058f7STheodore Ts'o 		kmem_cache_free(ext4_system_zone_cachep, entry);
188d1866bd0SCody P Schafer 
18964e290ecSVenkatesh Pallipadi 	EXT4_SB(sb)->system_blks = RB_ROOT;
1906fd058f7STheodore Ts'o }
1916fd058f7STheodore Ts'o 
1926fd058f7STheodore Ts'o /*
1936fd058f7STheodore Ts'o  * Returns 1 if the passed-in block region (start_blk,
1946fd058f7STheodore Ts'o  * start_blk+count) is valid; 0 if some part of the block region
1956fd058f7STheodore Ts'o  * overlaps with filesystem metadata blocks.
1966fd058f7STheodore Ts'o  */
1976fd058f7STheodore Ts'o int ext4_data_block_valid(struct ext4_sb_info *sbi, ext4_fsblk_t start_blk,
1986fd058f7STheodore Ts'o 			  unsigned int count)
1996fd058f7STheodore Ts'o {
2006fd058f7STheodore Ts'o 	struct ext4_system_zone *entry;
2016fd058f7STheodore Ts'o 	struct rb_node *n = sbi->system_blks.rb_node;
2026fd058f7STheodore Ts'o 
2036fd058f7STheodore Ts'o 	if ((start_blk <= le32_to_cpu(sbi->s_es->s_first_data_block)) ||
2041585d8d8STheodore Ts'o 	    (start_blk + count < start_blk) ||
2051c13d5c0STheodore Ts'o 	    (start_blk + count > ext4_blocks_count(sbi->s_es))) {
2061c13d5c0STheodore Ts'o 		sbi->s_es->s_last_error_block = cpu_to_le64(start_blk);
2076fd058f7STheodore Ts'o 		return 0;
2081c13d5c0STheodore Ts'o 	}
2096fd058f7STheodore Ts'o 	while (n) {
2106fd058f7STheodore Ts'o 		entry = rb_entry(n, struct ext4_system_zone, node);
2116fd058f7STheodore Ts'o 		if (start_blk + count - 1 < entry->start_blk)
2126fd058f7STheodore Ts'o 			n = n->rb_left;
2136fd058f7STheodore Ts'o 		else if (start_blk >= (entry->start_blk + entry->count))
2146fd058f7STheodore Ts'o 			n = n->rb_right;
2151c13d5c0STheodore Ts'o 		else {
2161c13d5c0STheodore Ts'o 			sbi->s_es->s_last_error_block = cpu_to_le64(start_blk);
2176fd058f7STheodore Ts'o 			return 0;
2186fd058f7STheodore Ts'o 		}
2191c13d5c0STheodore Ts'o 	}
2206fd058f7STheodore Ts'o 	return 1;
2216fd058f7STheodore Ts'o }
2226fd058f7STheodore Ts'o 
2231f7d1e77STheodore Ts'o int ext4_check_blockref(const char *function, unsigned int line,
2241f7d1e77STheodore Ts'o 			struct inode *inode, __le32 *p, unsigned int max)
2251f7d1e77STheodore Ts'o {
2261f7d1e77STheodore Ts'o 	struct ext4_super_block *es = EXT4_SB(inode->i_sb)->s_es;
2271f7d1e77STheodore Ts'o 	__le32 *bref = p;
2281f7d1e77STheodore Ts'o 	unsigned int blk;
2291f7d1e77STheodore Ts'o 
2301f7d1e77STheodore Ts'o 	while (bref < p+max) {
2311f7d1e77STheodore Ts'o 		blk = le32_to_cpu(*bref++);
2321f7d1e77STheodore Ts'o 		if (blk &&
2331f7d1e77STheodore Ts'o 		    unlikely(!ext4_data_block_valid(EXT4_SB(inode->i_sb),
2341f7d1e77STheodore Ts'o 						    blk, 1))) {
2351f7d1e77STheodore Ts'o 			es->s_last_error_block = cpu_to_le64(blk);
2361f7d1e77STheodore Ts'o 			ext4_error_inode(inode, function, line, blk,
2371f7d1e77STheodore Ts'o 					 "invalid block");
2386a797d27SDarrick J. Wong 			return -EFSCORRUPTED;
2391f7d1e77STheodore Ts'o 		}
2401f7d1e77STheodore Ts'o 	}
2411f7d1e77STheodore Ts'o 	return 0;
2421f7d1e77STheodore Ts'o }
243dae1e52cSAmir Goldstein 
244