]> git.ipfire.org Git - thirdparty/kernel/linux.git/commit
f2fs: fix to avoid migrating empty section
authorChao Yu <chao@kernel.org>
Mon, 1 Sep 2025 02:04:15 +0000 (10:04 +0800)
committerJaegeuk Kim <jaegeuk@kernel.org>
Tue, 16 Sep 2025 02:12:11 +0000 (02:12 +0000)
commitd625a2b08c089397d3a03bff13fa8645e4ec7a01
tree0b4ee0bbb43d8bd5ec5155272697f893b5f475cf
parent9251a9e6e871cb03c4714a18efa8f5d4a8818450
f2fs: fix to avoid migrating empty section

It reports a bug from device w/ zufs:

F2FS-fs (dm-64): Inconsistent segment (173822) type [1, 0] in SSA and SIT
F2FS-fs (dm-64): Stopped filesystem due to reason: 4

Thread A Thread B
- f2fs_expand_inode_data
 - f2fs_allocate_pinning_section
  - f2fs_gc_range
   - do_garbage_collect w/ segno #x
- writepage
 - f2fs_allocate_data_block
  - new_curseg
   - allocate segno #x

The root cause is: fallocate on pinning file may race w/ block allocation
as above, result in do_garbage_collect() from fallocate() may migrate
segment which is just allocated by a log, the log will update segment type
in its in-memory structure, however GC will get segment type from on-disk
SSA block, once segment type changes by log, we can detect such
inconsistency, then shutdown filesystem.

In this case, on-disk SSA shows type of segno #173822 is 1 (SUM_TYPE_NODE),
however segno #173822 was just allocated as data type segment, so in-memory
SIT shows type of segno #173822 is 0 (SUM_TYPE_DATA).

Change as below to fix this issue:
- check whether current section is empty before gc
- add sanity checks on do_garbage_collect() to avoid any race case, result
in migrating segment used by log.
- btw, it fixes misc issue in printed logs: "SSA and SIT" -> "SIT and SSA".

Fixes: 9703d69d9d15 ("f2fs: support file pinning for zoned devices")
Cc: Daeho Jeong <daehojeong@google.com>
Signed-off-by: Chao Yu <chao@kernel.org>
Signed-off-by: Jaegeuk Kim <jaegeuk@kernel.org>
fs/f2fs/gc.c