| Message ID | 1515049322-29555-1-git-send-email-yunlong.song@huawei.com (mailing list archive) |
|---|---|
| State | New, archived |
| Headers | show |
On 01/04, Yunlong Song wrote: > In some case, the node blocks has wrong blkaddr whose segment type is > NODE, e.g., recover inode has missing xattr flag and the blkaddr is in > the xattr range. Since fsck.f2fs does not check the recovery nodes, this > will cause __f2fs_replace_block change the curseg of node and do the > update_sit_entry(sbi, new_blkaddr, 1) with no next_blkoff refresh, as a > result, when recovery process write checkpoint and sync nodes, the > next_blkoff of curseg is used in the segment bit map, then it will > cause f2fs_bug_on. So let's check segment type in __f2fs_replace_block. > > Signed-off-by: Yunlong Song <yunlong.song@huawei.com> > --- > fs/f2fs/segment.c | 1 + > 1 file changed, 1 insertion(+) > > diff --git a/fs/f2fs/segment.c b/fs/f2fs/segment.c > index 890d483..50575d5 100644 > --- a/fs/f2fs/segment.c > +++ b/fs/f2fs/segment.c > @@ -2720,6 +2720,7 @@ void __f2fs_replace_block(struct f2fs_sb_info *sbi, struct f2fs_summary *sum, > type = se->type; > > down_write(&SM_I(sbi)->curseg_lock); > + f2fs_bug_on(sbi, se->valid_blocks && !IS_DATASEG(type)); Let me just move this below like this and start some tests. ... + f2fs_bug_on(sbi, !IS_DATASEG(type)); curseg = CURSEG_I(sbi, type); > > if (!recover_curseg) { > /* for recovery flow */ > -- > 1.8.5.2
On 2018/1/4 15:10, Jaegeuk Kim wrote: > On 01/04, Yunlong Song wrote: >> In some case, the node blocks has wrong blkaddr whose segment type is >> NODE, e.g., recover inode has missing xattr flag and the blkaddr is in >> the xattr range. Since fsck.f2fs does not check the recovery nodes, this >> will cause __f2fs_replace_block change the curseg of node and do the >> update_sit_entry(sbi, new_blkaddr, 1) with no next_blkoff refresh, as a >> result, when recovery process write checkpoint and sync nodes, the >> next_blkoff of curseg is used in the segment bit map, then it will >> cause f2fs_bug_on. So let's check segment type in __f2fs_replace_block. >> >> Signed-off-by: Yunlong Song <yunlong.song@huawei.com> >> --- >> fs/f2fs/segment.c | 1 + >> 1 file changed, 1 insertion(+) >> >> diff --git a/fs/f2fs/segment.c b/fs/f2fs/segment.c >> index 890d483..50575d5 100644 >> --- a/fs/f2fs/segment.c >> +++ b/fs/f2fs/segment.c >> @@ -2720,6 +2720,7 @@ void __f2fs_replace_block(struct f2fs_sb_info *sbi, struct f2fs_summary *sum, >> type = se->type; >> >> down_write(&SM_I(sbi)->curseg_lock); >> + f2fs_bug_on(sbi, se->valid_blocks && !IS_DATASEG(type)); > > Let me just move this below like this and start some tests. > > ... > > + f2fs_bug_on(sbi, !IS_DATASEG(type)); Better, Reviewed-by: Chao Yu <yuchao0@huawei.com> Thanks, > curseg = CURSEG_I(sbi, type); > >> >> if (!recover_curseg) { >> /* for recovery flow */ >> -- >> 1.8.5.2 > > . >
diff --git a/fs/f2fs/segment.c b/fs/f2fs/segment.c index 890d483..50575d5 100644 --- a/fs/f2fs/segment.c +++ b/fs/f2fs/segment.c @@ -2720,6 +2720,7 @@ void __f2fs_replace_block(struct f2fs_sb_info *sbi, struct f2fs_summary *sum, type = se->type; down_write(&SM_I(sbi)->curseg_lock); + f2fs_bug_on(sbi, se->valid_blocks && !IS_DATASEG(type)); if (!recover_curseg) { /* for recovery flow */
In some case, the node blocks has wrong blkaddr whose segment type is NODE, e.g., recover inode has missing xattr flag and the blkaddr is in the xattr range. Since fsck.f2fs does not check the recovery nodes, this will cause __f2fs_replace_block change the curseg of node and do the update_sit_entry(sbi, new_blkaddr, 1) with no next_blkoff refresh, as a result, when recovery process write checkpoint and sync nodes, the next_blkoff of curseg is used in the segment bit map, then it will cause f2fs_bug_on. So let's check segment type in __f2fs_replace_block. Signed-off-by: Yunlong Song <yunlong.song@huawei.com> --- fs/f2fs/segment.c | 1 + 1 file changed, 1 insertion(+)