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
;
136 struct ext4_system_blocks
*system_blks
;
139 printk(KERN_INFO
"System zones: ");
141 system_blks
= rcu_dereference(sbi
->system_blks
);
142 node
= rb_first(&system_blks
->root
);
144 entry
= rb_entry(node
, struct ext4_system_zone
, node
);
145 printk(KERN_CONT
"%s%llu-%llu", first
? "" : ", ",
146 entry
->start_blk
, entry
->start_blk
+ entry
->count
- 1);
148 node
= rb_next(node
);
151 printk(KERN_CONT
"\n");
155 * Returns 1 if the passed-in block region (start_blk,
156 * start_blk+count) is valid; 0 if some part of the block region
157 * overlaps with filesystem metadata blocks.
159 static int ext4_data_block_valid_rcu(struct ext4_sb_info
*sbi
,
160 struct ext4_system_blocks
*system_blks
,
161 ext4_fsblk_t start_blk
,
164 struct ext4_system_zone
*entry
;
167 if ((start_blk
<= le32_to_cpu(sbi
->s_es
->s_first_data_block
)) ||
168 (start_blk
+ count
< start_blk
) ||
169 (start_blk
+ count
> ext4_blocks_count(sbi
->s_es
))) {
170 sbi
->s_es
->s_last_error_block
= cpu_to_le64(start_blk
);
174 if (system_blks
== NULL
)
177 n
= system_blks
->root
.rb_node
;
179 entry
= rb_entry(n
, struct ext4_system_zone
, node
);
180 if (start_blk
+ count
- 1 < entry
->start_blk
)
182 else if (start_blk
>= (entry
->start_blk
+ entry
->count
))
185 sbi
->s_es
->s_last_error_block
= cpu_to_le64(start_blk
);
192 static int ext4_protect_reserved_inode(struct super_block
*sb
,
193 struct ext4_system_blocks
*system_blks
,
197 struct ext4_sb_info
*sbi
= EXT4_SB(sb
);
198 struct ext4_map_blocks map
;
202 if ((ino
< EXT4_ROOT_INO
) ||
203 (ino
> le32_to_cpu(sbi
->s_es
->s_inodes_count
)))
205 inode
= ext4_iget(sb
, ino
, EXT4_IGET_SPECIAL
);
207 return PTR_ERR(inode
);
208 num
= (inode
->i_size
+ sb
->s_blocksize
- 1) >> sb
->s_blocksize_bits
;
213 n
= ext4_map_blocks(NULL
, inode
, &map
, 0);
221 if (!ext4_data_block_valid_rcu(sbi
, system_blks
,
223 ext4_error(sb
, "blocks %llu-%llu from inode %u "
224 "overlap system zone", map
.m_pblk
,
225 map
.m_pblk
+ map
.m_len
- 1, ino
);
229 err
= add_system_zone(system_blks
, map
.m_pblk
, n
);
239 static void ext4_destroy_system_zone(struct rcu_head
*rcu
)
241 struct ext4_system_blocks
*system_blks
;
243 system_blks
= container_of(rcu
, struct ext4_system_blocks
, rcu
);
244 release_system_zone(system_blks
);
249 * Build system zone rbtree which is used for block validity checking.
251 * The update of system_blks pointer in this function is protected by
252 * sb->s_umount semaphore. However we have to be careful as we can be
253 * racing with ext4_data_block_valid() calls reading system_blks rbtree
254 * protected only by RCU. That's why we first build the rbtree and then
257 int ext4_setup_system_zone(struct super_block
*sb
)
259 ext4_group_t ngroups
= ext4_get_groups_count(sb
);
260 struct ext4_sb_info
*sbi
= EXT4_SB(sb
);
261 struct ext4_system_blocks
*system_blks
;
262 struct ext4_group_desc
*gdp
;
264 int flex_size
= ext4_flex_bg_size(sbi
);
267 if (!test_opt(sb
, BLOCK_VALIDITY
)) {
268 if (sbi
->system_blks
)
269 ext4_release_system_zone(sb
);
272 if (sbi
->system_blks
)
275 system_blks
= kzalloc(sizeof(*system_blks
), GFP_KERNEL
);
279 for (i
=0; i
< ngroups
; i
++) {
281 if (ext4_bg_has_super(sb
, i
) &&
282 ((i
< 5) || ((i
% flex_size
) == 0)))
283 add_system_zone(system_blks
,
284 ext4_group_first_block_no(sb
, i
),
285 ext4_bg_num_gdb(sb
, i
) + 1);
286 gdp
= ext4_get_group_desc(sb
, i
, NULL
);
287 ret
= add_system_zone(system_blks
,
288 ext4_block_bitmap(sb
, gdp
), 1);
291 ret
= add_system_zone(system_blks
,
292 ext4_inode_bitmap(sb
, gdp
), 1);
295 ret
= add_system_zone(system_blks
,
296 ext4_inode_table(sb
, gdp
),
297 sbi
->s_itb_per_group
);
301 if (ext4_has_feature_journal(sb
) && sbi
->s_es
->s_journal_inum
) {
302 ret
= ext4_protect_reserved_inode(sb
, system_blks
,
303 le32_to_cpu(sbi
->s_es
->s_journal_inum
));
309 * System blks rbtree complete, announce it once to prevent racing
310 * with ext4_data_block_valid() accessing the rbtree at the same
313 rcu_assign_pointer(sbi
->system_blks
, system_blks
);
315 if (test_opt(sb
, DEBUG
))
316 debug_print_tree(sbi
);
319 release_system_zone(system_blks
);
325 * Called when the filesystem is unmounted or when remounting it with
326 * noblock_validity specified.
328 * The update of system_blks pointer in this function is protected by
329 * sb->s_umount semaphore. However we have to be careful as we can be
330 * racing with ext4_data_block_valid() calls reading system_blks rbtree
331 * protected only by RCU. So we first clear the system_blks pointer and
332 * then free the rbtree only after RCU grace period expires.
334 void ext4_release_system_zone(struct super_block
*sb
)
336 struct ext4_system_blocks
*system_blks
;
338 system_blks
= rcu_dereference_protected(EXT4_SB(sb
)->system_blks
,
339 lockdep_is_held(&sb
->s_umount
));
340 rcu_assign_pointer(EXT4_SB(sb
)->system_blks
, NULL
);
343 call_rcu(&system_blks
->rcu
, ext4_destroy_system_zone
);
346 int ext4_data_block_valid(struct ext4_sb_info
*sbi
, ext4_fsblk_t start_blk
,
349 struct ext4_system_blocks
*system_blks
;
353 * Lock the system zone to prevent it being released concurrently
354 * when doing a remount which inverse current "[no]block_validity"
358 system_blks
= rcu_dereference(sbi
->system_blks
);
359 ret
= ext4_data_block_valid_rcu(sbi
, system_blks
, start_blk
,
365 int ext4_check_blockref(const char *function
, unsigned int line
,
366 struct inode
*inode
, __le32
*p
, unsigned int max
)
368 struct ext4_super_block
*es
= EXT4_SB(inode
->i_sb
)->s_es
;
372 if (ext4_has_feature_journal(inode
->i_sb
) &&
374 le32_to_cpu(EXT4_SB(inode
->i_sb
)->s_es
->s_journal_inum
)))
377 while (bref
< p
+max
) {
378 blk
= le32_to_cpu(*bref
++);
380 unlikely(!ext4_data_block_valid(EXT4_SB(inode
->i_sb
),
382 es
->s_last_error_block
= cpu_to_le64(blk
);
383 ext4_error_inode(inode
, function
, line
, blk
,
385 return -EFSCORRUPTED
;