Jiri Slaby 282abc
From: Daeho Jeong <daehojeong@google.com>
Jiri Slaby 282abc
Date: Thu, 9 Feb 2023 10:18:19 -0800
Jiri Slaby 282abc
Subject: [PATCH] f2fs: synchronize atomic write aborts
Jiri Slaby 282abc
References: bsc#1012628
Jiri Slaby 282abc
Patch-mainline: 6.2.5
Jiri Slaby 282abc
Git-commit: a46bebd502fe1a3bd1d22f64cedd93e7e7702693
Jiri Slaby 282abc
Jiri Slaby 282abc
[ Upstream commit a46bebd502fe1a3bd1d22f64cedd93e7e7702693 ]
Jiri Slaby 282abc
Jiri Slaby 282abc
To fix a race condition between atomic write aborts, I use the inode
Jiri Slaby 282abc
lock and make COW inode to be re-usable thoroughout the whole
Jiri Slaby 282abc
atomic file inode lifetime.
Jiri Slaby 282abc
Jiri Slaby 282abc
Reported-by: syzbot+823000d23b3400619f7c@syzkaller.appspotmail.com
Jiri Slaby 282abc
Fixes: 3db1de0e582c ("f2fs: change the current atomic write way")
Jiri Slaby 282abc
Signed-off-by: Daeho Jeong <daehojeong@google.com>
Jiri Slaby 282abc
Reviewed-by: Chao Yu <chao@kernel.org>
Jiri Slaby 282abc
Signed-off-by: Jaegeuk Kim <jaegeuk@kernel.org>
Jiri Slaby 282abc
Signed-off-by: Sasha Levin <sashal@kernel.org>
Jiri Slaby 282abc
Signed-off-by: Jiri Slaby <jslaby@suse.cz>
Jiri Slaby 282abc
---
Jiri Slaby 282abc
 fs/f2fs/file.c    | 44 +++++++++++++++++++++++++++++---------------
Jiri Slaby 282abc
 fs/f2fs/inode.c   | 11 +++++++++--
Jiri Slaby 282abc
 fs/f2fs/segment.c |  3 ---
Jiri Slaby 282abc
 fs/f2fs/super.c   |  2 --
Jiri Slaby 282abc
 4 files changed, 38 insertions(+), 22 deletions(-)
Jiri Slaby 282abc
Jiri Slaby 282abc
diff --git a/fs/f2fs/file.c b/fs/f2fs/file.c
Jiri Slaby 282abc
index 8583c098..05297427 100644
Jiri Slaby 282abc
--- a/fs/f2fs/file.c
Jiri Slaby 282abc
+++ b/fs/f2fs/file.c
Jiri Slaby 282abc
@@ -1867,7 +1867,10 @@ static int f2fs_release_file(struct inode *inode, struct file *filp)
Jiri Slaby 282abc
 			atomic_read(&inode->i_writecount) != 1)
Jiri Slaby 282abc
 		return 0;
Jiri Slaby 282abc
 
Jiri Slaby 282abc
+	inode_lock(inode);
Jiri Slaby 282abc
 	f2fs_abort_atomic_write(inode, true);
Jiri Slaby 282abc
+	inode_unlock(inode);
Jiri Slaby 282abc
+
Jiri Slaby 282abc
 	return 0;
Jiri Slaby 282abc
 }
Jiri Slaby 282abc
 
Jiri Slaby 282abc
@@ -1882,8 +1885,12 @@ static int f2fs_file_flush(struct file *file, fl_owner_t id)
Jiri Slaby 282abc
 	 * before dropping file lock, it needs to do in ->flush.
Jiri Slaby 282abc
 	 */
Jiri Slaby 282abc
 	if (F2FS_I(inode)->atomic_write_task == current &&
Jiri Slaby 282abc
-				(current->flags & PF_EXITING))
Jiri Slaby 282abc
+				(current->flags & PF_EXITING)) {
Jiri Slaby 282abc
+		inode_lock(inode);
Jiri Slaby 282abc
 		f2fs_abort_atomic_write(inode, true);
Jiri Slaby 282abc
+		inode_unlock(inode);
Jiri Slaby 282abc
+	}
Jiri Slaby 282abc
+
Jiri Slaby 282abc
 	return 0;
Jiri Slaby 282abc
 }
Jiri Slaby 282abc
 
Jiri Slaby 282abc
@@ -2089,19 +2096,28 @@ static int f2fs_ioc_start_atomic_write(struct file *filp, bool truncate)
Jiri Slaby 282abc
 		goto out;
Jiri Slaby 282abc
 	}
Jiri Slaby 282abc
 
Jiri Slaby 282abc
-	/* Create a COW inode for atomic write */
Jiri Slaby 282abc
-	pinode = f2fs_iget(inode->i_sb, fi->i_pino);
Jiri Slaby 282abc
-	if (IS_ERR(pinode)) {
Jiri Slaby 282abc
-		f2fs_up_write(&fi->i_gc_rwsem[WRITE]);
Jiri Slaby 282abc
-		ret = PTR_ERR(pinode);
Jiri Slaby 282abc
-		goto out;
Jiri Slaby 282abc
-	}
Jiri Slaby 282abc
+	/* Check if the inode already has a COW inode */
Jiri Slaby 282abc
+	if (fi->cow_inode == NULL) {
Jiri Slaby 282abc
+		/* Create a COW inode for atomic write */
Jiri Slaby 282abc
+		pinode = f2fs_iget(inode->i_sb, fi->i_pino);
Jiri Slaby 282abc
+		if (IS_ERR(pinode)) {
Jiri Slaby 282abc
+			f2fs_up_write(&fi->i_gc_rwsem[WRITE]);
Jiri Slaby 282abc
+			ret = PTR_ERR(pinode);
Jiri Slaby 282abc
+			goto out;
Jiri Slaby 282abc
+		}
Jiri Slaby 282abc
 
Jiri Slaby 282abc
-	ret = f2fs_get_tmpfile(mnt_userns, pinode, &fi->cow_inode);
Jiri Slaby 282abc
-	iput(pinode);
Jiri Slaby 282abc
-	if (ret) {
Jiri Slaby 282abc
-		f2fs_up_write(&fi->i_gc_rwsem[WRITE]);
Jiri Slaby 282abc
-		goto out;
Jiri Slaby 282abc
+		ret = f2fs_get_tmpfile(mnt_userns, pinode, &fi->cow_inode);
Jiri Slaby 282abc
+		iput(pinode);
Jiri Slaby 282abc
+		if (ret) {
Jiri Slaby 282abc
+			f2fs_up_write(&fi->i_gc_rwsem[WRITE]);
Jiri Slaby 282abc
+			goto out;
Jiri Slaby 282abc
+		}
Jiri Slaby 282abc
+
Jiri Slaby 282abc
+		set_inode_flag(fi->cow_inode, FI_COW_FILE);
Jiri Slaby 282abc
+		clear_inode_flag(fi->cow_inode, FI_INLINE_DATA);
Jiri Slaby 282abc
+	} else {
Jiri Slaby 282abc
+		/* Reuse the already created COW inode */
Jiri Slaby 282abc
+		f2fs_do_truncate_blocks(fi->cow_inode, 0, true);
Jiri Slaby 282abc
 	}
Jiri Slaby 282abc
 
Jiri Slaby 282abc
 	f2fs_write_inode(inode, NULL);
Jiri Slaby 282abc
@@ -2109,8 +2125,6 @@ static int f2fs_ioc_start_atomic_write(struct file *filp, bool truncate)
Jiri Slaby 282abc
 	stat_inc_atomic_inode(inode);
Jiri Slaby 282abc
 
Jiri Slaby 282abc
 	set_inode_flag(inode, FI_ATOMIC_FILE);
Jiri Slaby 282abc
-	set_inode_flag(fi->cow_inode, FI_COW_FILE);
Jiri Slaby 282abc
-	clear_inode_flag(fi->cow_inode, FI_INLINE_DATA);
Jiri Slaby 282abc
 
Jiri Slaby 282abc
 	isize = i_size_read(inode);
Jiri Slaby 282abc
 	fi->original_i_size = isize;
Jiri Slaby 282abc
diff --git a/fs/f2fs/inode.c b/fs/f2fs/inode.c
Jiri Slaby 282abc
index 622eb796..f438f39a 100644
Jiri Slaby 282abc
--- a/fs/f2fs/inode.c
Jiri Slaby 282abc
+++ b/fs/f2fs/inode.c
Jiri Slaby 282abc
@@ -767,11 +767,18 @@ int f2fs_write_inode(struct inode *inode, struct writeback_control *wbc)
Jiri Slaby 282abc
 void f2fs_evict_inode(struct inode *inode)
Jiri Slaby 282abc
 {
Jiri Slaby 282abc
 	struct f2fs_sb_info *sbi = F2FS_I_SB(inode);
Jiri Slaby 282abc
-	nid_t xnid = F2FS_I(inode)->i_xattr_nid;
Jiri Slaby 282abc
+	struct f2fs_inode_info *fi = F2FS_I(inode);
Jiri Slaby 282abc
+	nid_t xnid = fi->i_xattr_nid;
Jiri Slaby 282abc
 	int err = 0;
Jiri Slaby 282abc
 
Jiri Slaby 282abc
 	f2fs_abort_atomic_write(inode, true);
Jiri Slaby 282abc
 
Jiri Slaby 282abc
+	if (fi->cow_inode) {
Jiri Slaby 282abc
+		clear_inode_flag(fi->cow_inode, FI_COW_FILE);
Jiri Slaby 282abc
+		iput(fi->cow_inode);
Jiri Slaby 282abc
+		fi->cow_inode = NULL;
Jiri Slaby 282abc
+	}
Jiri Slaby 282abc
+
Jiri Slaby 282abc
 	trace_f2fs_evict_inode(inode);
Jiri Slaby 282abc
 	truncate_inode_pages_final(&inode->i_data);
Jiri Slaby 282abc
 
Jiri Slaby 282abc
@@ -858,7 +865,7 @@ void f2fs_evict_inode(struct inode *inode)
Jiri Slaby 282abc
 	stat_dec_inline_inode(inode);
Jiri Slaby 282abc
 	stat_dec_compr_inode(inode);
Jiri Slaby 282abc
 	stat_sub_compr_blocks(inode,
Jiri Slaby 282abc
-			atomic_read(&F2FS_I(inode)->i_compr_blocks));
Jiri Slaby 282abc
+			atomic_read(&fi->i_compr_blocks));
Jiri Slaby 282abc
 
Jiri Slaby 282abc
 	if (likely(!f2fs_cp_error(sbi) &&
Jiri Slaby 282abc
 				!is_sbi_flag_set(sbi, SBI_CP_DISABLED)))
Jiri Slaby 282abc
diff --git a/fs/f2fs/segment.c b/fs/f2fs/segment.c
Jiri Slaby 282abc
index 06cae552..269f89d2 100644
Jiri Slaby 282abc
--- a/fs/f2fs/segment.c
Jiri Slaby 282abc
+++ b/fs/f2fs/segment.c
Jiri Slaby 282abc
@@ -192,9 +192,6 @@ void f2fs_abort_atomic_write(struct inode *inode, bool clean)
Jiri Slaby 282abc
 	if (!f2fs_is_atomic_file(inode))
Jiri Slaby 282abc
 		return;
Jiri Slaby 282abc
 
Jiri Slaby 282abc
-	clear_inode_flag(fi->cow_inode, FI_COW_FILE);
Jiri Slaby 282abc
-	iput(fi->cow_inode);
Jiri Slaby 282abc
-	fi->cow_inode = NULL;
Jiri Slaby 282abc
 	release_atomic_write_cnt(inode);
Jiri Slaby 282abc
 	clear_inode_flag(inode, FI_ATOMIC_COMMITTED);
Jiri Slaby 282abc
 	clear_inode_flag(inode, FI_ATOMIC_REPLACE);
Jiri Slaby 282abc
diff --git a/fs/f2fs/super.c b/fs/f2fs/super.c
Jiri Slaby 282abc
index 53878feb..551468da 100644
Jiri Slaby 282abc
--- a/fs/f2fs/super.c
Jiri Slaby 282abc
+++ b/fs/f2fs/super.c
Jiri Slaby 282abc
@@ -1430,8 +1430,6 @@ static int f2fs_drop_inode(struct inode *inode)
Jiri Slaby 282abc
 			atomic_inc(&inode->i_count);
Jiri Slaby 282abc
 			spin_unlock(&inode->i_lock);
Jiri Slaby 282abc
 
Jiri Slaby 282abc
-			f2fs_abort_atomic_write(inode, true);
Jiri Slaby 282abc
-
Jiri Slaby 282abc
 			/* should remain fi->extent_tree for writepage */
Jiri Slaby 282abc
 			f2fs_destroy_extent_node(inode);
Jiri Slaby 282abc
 
Jiri Slaby 282abc
-- 
Jiri Slaby 282abc
2.35.3
Jiri Slaby 282abc