Jiri Slaby c5b460
From: Kemeng Shi <shikemeng@huaweicloud.com>
Jiri Slaby c5b460
Date: Sat, 4 Mar 2023 01:21:01 +0800
Jiri Slaby c5b460
Subject: [PATCH] ext4: set goal start correctly in ext4_mb_normalize_request
Jiri Slaby c5b460
References: bsc#1012628
Jiri Slaby c5b460
Patch-mainline: 6.3.4
Jiri Slaby c5b460
Git-commit: b07ffe6927c75d99af534d685282ea188d9f71a6
Jiri Slaby c5b460
Jiri Slaby c5b460
[ Upstream commit b07ffe6927c75d99af534d685282ea188d9f71a6 ]
Jiri Slaby c5b460
Jiri Slaby c5b460
We need to set ac_g_ex to notify the goal start used in
Jiri Slaby c5b460
ext4_mb_find_by_goal. Set ac_g_ex instead of ac_f_ex in
Jiri Slaby c5b460
ext4_mb_normalize_request.
Jiri Slaby c5b460
Besides we should assure goal start is in range [first_data_block,
Jiri Slaby c5b460
blocks_count) as ext4_mb_initialize_context does.
Jiri Slaby c5b460
Jiri Slaby c5b460
[ Added a check to make sure size is less than ar->pright; otherwise
Jiri Slaby c5b460
  we could end up passing an underflowed value of ar->pright - size to
Jiri Slaby c5b460
  ext4_get_group_no_and_offset(), which will trigger a BUG_ON later on.
Jiri Slaby c5b460
  - TYT ]
Jiri Slaby c5b460
Jiri Slaby c5b460
Signed-off-by: Kemeng Shi <shikemeng@huaweicloud.com>
Jiri Slaby c5b460
Reviewed-by: Ritesh Harjani (IBM) <ritesh.list@gmail.com>
Jiri Slaby c5b460
Link: https://lore.kernel.org/r/20230303172120.3800725-2-shikemeng@huaweicloud.com
Jiri Slaby c5b460
Signed-off-by: Theodore Ts'o <tytso@mit.edu>
Jiri Slaby c5b460
Signed-off-by: Sasha Levin <sashal@kernel.org>
Jiri Slaby c5b460
Signed-off-by: Jiri Slaby <jslaby@suse.cz>
Jiri Slaby c5b460
---
Jiri Slaby c5b460
 fs/ext4/mballoc.c | 16 ++++++++++------
Jiri Slaby c5b460
 1 file changed, 10 insertions(+), 6 deletions(-)
Jiri Slaby c5b460
Jiri Slaby c5b460
diff --git a/fs/ext4/mballoc.c b/fs/ext4/mballoc.c
Jiri Slaby c5b460
index 2a1df157..90daeca1 100644
Jiri Slaby c5b460
--- a/fs/ext4/mballoc.c
Jiri Slaby c5b460
+++ b/fs/ext4/mballoc.c
Jiri Slaby c5b460
@@ -4018,6 +4018,7 @@ ext4_mb_normalize_request(struct ext4_allocation_context *ac,
Jiri Slaby c5b460
 				struct ext4_allocation_request *ar)
Jiri Slaby c5b460
 {
Jiri Slaby c5b460
 	struct ext4_sb_info *sbi = EXT4_SB(ac->ac_sb);
Jiri Slaby c5b460
+	struct ext4_super_block *es = sbi->s_es;
Jiri Slaby c5b460
 	int bsbits, max;
Jiri Slaby c5b460
 	ext4_lblk_t end;
Jiri Slaby c5b460
 	loff_t size, start_off;
Jiri Slaby c5b460
@@ -4213,18 +4214,21 @@ ext4_mb_normalize_request(struct ext4_allocation_context *ac,
Jiri Slaby c5b460
 	ac->ac_g_ex.fe_len = EXT4_NUM_B2C(sbi, size);
Jiri Slaby c5b460
 
Jiri Slaby c5b460
 	/* define goal start in order to merge */
Jiri Slaby c5b460
-	if (ar->pright && (ar->lright == (start + size))) {
Jiri Slaby c5b460
+	if (ar->pright && (ar->lright == (start + size)) &&
Jiri Slaby c5b460
+	    ar->pright >= size &&
Jiri Slaby c5b460
+	    ar->pright - size >= le32_to_cpu(es->s_first_data_block)) {
Jiri Slaby c5b460
 		/* merge to the right */
Jiri Slaby c5b460
 		ext4_get_group_no_and_offset(ac->ac_sb, ar->pright - size,
Jiri Slaby c5b460
-						&ac->ac_f_ex.fe_group,
Jiri Slaby c5b460
-						&ac->ac_f_ex.fe_start);
Jiri Slaby c5b460
+						&ac->ac_g_ex.fe_group,
Jiri Slaby c5b460
+						&ac->ac_g_ex.fe_start);
Jiri Slaby c5b460
 		ac->ac_flags |= EXT4_MB_HINT_TRY_GOAL;
Jiri Slaby c5b460
 	}
Jiri Slaby c5b460
-	if (ar->pleft && (ar->lleft + 1 == start)) {
Jiri Slaby c5b460
+	if (ar->pleft && (ar->lleft + 1 == start) &&
Jiri Slaby c5b460
+	    ar->pleft + 1 < ext4_blocks_count(es)) {
Jiri Slaby c5b460
 		/* merge to the left */
Jiri Slaby c5b460
 		ext4_get_group_no_and_offset(ac->ac_sb, ar->pleft + 1,
Jiri Slaby c5b460
-						&ac->ac_f_ex.fe_group,
Jiri Slaby c5b460
-						&ac->ac_f_ex.fe_start);
Jiri Slaby c5b460
+						&ac->ac_g_ex.fe_group,
Jiri Slaby c5b460
+						&ac->ac_g_ex.fe_start);
Jiri Slaby c5b460
 		ac->ac_flags |= EXT4_MB_HINT_TRY_GOAL;
Jiri Slaby c5b460
 	}
Jiri Slaby c5b460
 
Jiri Slaby c5b460
-- 
Jiri Slaby c5b460
2.35.3
Jiri Slaby c5b460