1 // SPDX-License-Identifier: GPL-2.0
3 * linux/fs/ext4/block_validity.c
6 * Theodore Ts'o (tytso@mit.edu)
8 * Track which blocks in the filesystem are metadata blocks that
9 * should never be used as data blocks by files or directories.
12 #include <linux/time.h>
14 #include <linux/namei.h>
15 #include <linux/quotaops.h>
16 #include <linux/buffer_head.h>
17 #include <linux/swap.h>
18 #include <linux/pagemap.h>
19 #include <linux/blkdev.h>
20 #include <linux/slab.h>
23 struct ext4_system_zone
{
25 ext4_fsblk_t start_blk
;
29 static struct kmem_cache
*ext4_system_zone_cachep
;
31 int __init
ext4_init_system_zone(void)
33 ext4_system_zone_cachep
= KMEM_CACHE(ext4_system_zone
, 0);
34 if (ext4_system_zone_cachep
== NULL
)
39 void ext4_exit_system_zone(void)
42 kmem_cache_destroy(ext4_system_zone_cachep
);
45 static inline int can_merge(struct ext4_system_zone
*entry1
,
46 struct ext4_system_zone
*entry2
)
48 if ((entry1
->start_blk
+ entry1
->count
) == entry2
->start_blk
)
53 static void release_system_zone(struct ext4_system_blocks
*system_blks
)
55 struct ext4_system_zone
*entry
, *n
;
57 rbtree_postorder_for_each_entry_safe(entry
, n
,
58 &system_blks
->root
, node
)
59 kmem_cache_free(ext4_system_zone_cachep
, entry
);
63 * Mark a range of blocks as belonging to the "system zone" --- that
64 * is, filesystem metadata blocks which should never be used by
67 static int add_system_zone(struct ext4_system_blocks
*system_blks
,
68 ext4_fsblk_t start_blk
,
71 struct ext4_system_zone
*new_entry
= NULL
, *entry
;
72 struct rb_node
**n
= &system_blks
->root
.rb_node
, *node
;
73 struct rb_node
*parent
= NULL
, *new_node
= NULL
;
77 entry
= rb_entry(parent
, struct ext4_system_zone
, node
);
78 if (start_blk
< entry
->start_blk
)
80 else if (start_blk
>= (entry
->start_blk
+ entry
->count
))
83 if (start_blk
+ count
> (entry
->start_blk
+
85 entry
->count
= (start_blk
+ count
-
88 new_entry
= rb_entry(new_node
, struct ext4_system_zone
,
95 new_entry
= kmem_cache_alloc(ext4_system_zone_cachep
,
99 new_entry
->start_blk
= start_blk
;
100 new_entry
->count
= count
;
101 new_node
= &new_entry
->node
;
103 rb_link_node(new_node
, parent
, n
);
104 rb_insert_color(new_node
, &system_blks
->root
);
107 /* Can we merge to the left? */
108 node
= rb_prev(new_node
);
110 entry
= rb_entry(node
, struct ext4_system_zone
, node
);
111 if (can_merge(entry
, new_entry
)) {
112 new_entry
->start_blk
= entry
->start_blk
;
113 new_entry
->count
+= entry
->count
;
114 rb_erase(node
, &system_blks
->root
);
115 kmem_cache_free(ext4_system_zone_cachep
, entry
);
119 /* Can we merge to the right? */
120 node
= rb_next(new_node
);
122 entry
= rb_entry(node
, struct ext4_system_zone
, node
);
123 if (can_merge(new_entry
, entry
)) {
124 new_entry
->count
+= entry
->count
;
125 rb_erase(node
, &system_blks
->root
);
126 kmem_cache_free(ext4_system_zone_cachep
, entry
);
132 static void debug_print_tree(struct ext4_sb_info
*sbi
)
134 struct rb_node
*node
;
135 struct ext4_system_zone
*entry
;
138 printk(KERN_INFO
"System zones: ");
139 node
= rb_first(&sbi
->system_blks
->root
);
141 entry
= rb_entry(node
, struct ext4_system_zone
, node
);
142 printk(KERN_CONT
"%s%llu-%llu", first
? "" : ", ",
143 entry
->start_blk
, entry
->start_blk
+ entry
->count
- 1);
145 node
= rb_next(node
);
147 printk(KERN_CONT
"\n");
151 * Returns 1 if the passed-in block region (start_blk,
152 * start_blk+count) is valid; 0 if some part of the block region
153 * overlaps with filesystem metadata blocks.
155 static int ext4_data_block_valid_rcu(struct ext4_sb_info
*sbi
,
156 struct ext4_system_blocks
*system_blks
,
157 ext4_fsblk_t start_blk
,
160 struct ext4_system_zone
*entry
;
163 if ((start_blk
<= le32_to_cpu(sbi
->s_es
->s_first_data_block
)) ||
164 (start_blk
+ count
< start_blk
) ||
165 (start_blk
+ count
> ext4_blocks_count(sbi
->s_es
))) {
166 sbi
->s_es
->s_last_error_block
= cpu_to_le64(start_blk
);
170 if (system_blks
== NULL
)
173 n
= system_blks
->root
.rb_node
;
175 entry
= rb_entry(n
, struct ext4_system_zone
, node
);
176 if (start_blk
+ count
- 1 < entry
->start_blk
)
178 else if (start_blk
>= (entry
->start_blk
+ entry
->count
))
181 sbi
->s_es
->s_last_error_block
= cpu_to_le64(start_blk
);
188 static int ext4_protect_reserved_inode(struct super_block
*sb
,
189 struct ext4_system_blocks
*system_blks
,
193 struct ext4_sb_info
*sbi
= EXT4_SB(sb
);
194 struct ext4_map_blocks map
;
198 if ((ino
< EXT4_ROOT_INO
) ||
199 (ino
> le32_to_cpu(sbi
->s_es
->s_inodes_count
)))
201 inode
= ext4_iget(sb
, ino
, EXT4_IGET_SPECIAL
);
203 return PTR_ERR(inode
);
204 num
= (inode
->i_size
+ sb
->s_blocksize
- 1) >> sb
->s_blocksize_bits
;
209 n
= ext4_map_blocks(NULL
, inode
, &map
, 0);
217 if (!ext4_data_block_valid_rcu(sbi
, system_blks
,
219 ext4_error(sb
, "blocks %llu-%llu from inode %u "
220 "overlap system zone", map
.m_pblk
,
221 map
.m_pblk
+ map
.m_len
- 1, ino
);
225 err
= add_system_zone(system_blks
, map
.m_pblk
, n
);
235 static void ext4_destroy_system_zone(struct rcu_head
*rcu
)
237 struct ext4_system_blocks
*system_blks
;
239 system_blks
= container_of(rcu
, struct ext4_system_blocks
, rcu
);
240 release_system_zone(system_blks
);
245 * Build system zone rbtree which is used for block validity checking.
247 * The update of system_blks pointer in this function is protected by
248 * sb->s_umount semaphore. However we have to be careful as we can be
249 * racing with ext4_data_block_valid() calls reading system_blks rbtree
250 * protected only by RCU. That's why we first build the rbtree and then
253 int ext4_setup_system_zone(struct super_block
*sb
)
255 ext4_group_t ngroups
= ext4_get_groups_count(sb
);
256 struct ext4_sb_info
*sbi
= EXT4_SB(sb
);
257 struct ext4_system_blocks
*system_blks
;
258 struct ext4_group_desc
*gdp
;
260 int flex_size
= ext4_flex_bg_size(sbi
);
263 if (!test_opt(sb
, BLOCK_VALIDITY
)) {
264 if (sbi
->system_blks
)
265 ext4_release_system_zone(sb
);
268 if (sbi
->system_blks
)
271 system_blks
= kzalloc(sizeof(*system_blks
), GFP_KERNEL
);
275 for (i
=0; i
< ngroups
; i
++) {
276 if (ext4_bg_has_super(sb
, i
) &&
277 ((i
< 5) || ((i
% flex_size
) == 0)))
278 add_system_zone(system_blks
,
279 ext4_group_first_block_no(sb
, i
),
280 ext4_bg_num_gdb(sb
, i
) + 1);
281 gdp
= ext4_get_group_desc(sb
, i
, NULL
);
282 ret
= add_system_zone(system_blks
,
283 ext4_block_bitmap(sb
, gdp
), 1);
286 ret
= add_system_zone(system_blks
,
287 ext4_inode_bitmap(sb
, gdp
), 1);
290 ret
= add_system_zone(system_blks
,
291 ext4_inode_table(sb
, gdp
),
292 sbi
->s_itb_per_group
);
296 if (ext4_has_feature_journal(sb
) && sbi
->s_es
->s_journal_inum
) {
297 ret
= ext4_protect_reserved_inode(sb
, system_blks
,
298 le32_to_cpu(sbi
->s_es
->s_journal_inum
));
304 * System blks rbtree complete, announce it once to prevent racing
305 * with ext4_data_block_valid() accessing the rbtree at the same
308 rcu_assign_pointer(sbi
->system_blks
, system_blks
);
310 if (test_opt(sb
, DEBUG
))
311 debug_print_tree(sbi
);
314 release_system_zone(system_blks
);
320 * Called when the filesystem is unmounted or when remounting it with
321 * noblock_validity specified.
323 * The update of system_blks pointer in this function is protected by
324 * sb->s_umount semaphore. However we have to be careful as we can be
325 * racing with ext4_data_block_valid() calls reading system_blks rbtree
326 * protected only by RCU. So we first clear the system_blks pointer and
327 * then free the rbtree only after RCU grace period expires.
329 void ext4_release_system_zone(struct super_block
*sb
)
331 struct ext4_system_blocks
*system_blks
;
333 system_blks
= rcu_dereference_protected(EXT4_SB(sb
)->system_blks
,
334 lockdep_is_held(&sb
->s_umount
));
335 rcu_assign_pointer(EXT4_SB(sb
)->system_blks
, NULL
);
338 call_rcu(&system_blks
->rcu
, ext4_destroy_system_zone
);
341 int ext4_data_block_valid(struct ext4_sb_info
*sbi
, ext4_fsblk_t start_blk
,
344 struct ext4_system_blocks
*system_blks
;
348 * Lock the system zone to prevent it being released concurrently
349 * when doing a remount which inverse current "[no]block_validity"
353 system_blks
= rcu_dereference(sbi
->system_blks
);
354 ret
= ext4_data_block_valid_rcu(sbi
, system_blks
, start_blk
,
360 int ext4_check_blockref(const char *function
, unsigned int line
,
361 struct inode
*inode
, __le32
*p
, unsigned int max
)
363 struct ext4_super_block
*es
= EXT4_SB(inode
->i_sb
)->s_es
;
367 if (ext4_has_feature_journal(inode
->i_sb
) &&
369 le32_to_cpu(EXT4_SB(inode
->i_sb
)->s_es
->s_journal_inum
)))
372 while (bref
< p
+max
) {
373 blk
= le32_to_cpu(*bref
++);
375 unlikely(!ext4_data_block_valid(EXT4_SB(inode
->i_sb
),
377 es
->s_last_error_block
= cpu_to_le64(blk
);
378 ext4_error_inode(inode
, function
, line
, blk
,
380 return -EFSCORRUPTED
;