f2fs: compress: fix to avoid inconsistence bewteen i_blocks and dnode

[ Upstream commit 54607494875edd636aff3c21ace3ad9a7da758a9 ]

In reserve_compress_blocks(), we update blkaddrs of dnode in prior to
inc_valid_block_count(), it may cause inconsistent status bewteen
i_blocks and blkaddrs once inc_valid_block_count() fails.

To fix this issue, it needs to reverse their invoking order.

Fixes: c75488fb4d82 ("f2fs: introduce F2FS_IOC_RESERVE_COMPRESS_BLOCKS")
Reviewed-by: Daeho Jeong <daehojeong@google.com>
Signed-off-by: Chao Yu <chao@kernel.org>
Signed-off-by: Jaegeuk Kim <jaegeuk@kernel.org>
Signed-off-by: Sasha Levin <sashal@kernel.org>

diff --git a/fs/f2fs/data.c b/fs/f2fs/data.c
index 1aa7d443cf364120c8018b3bbe1e1777954d7911..b83b8ac29f430868af60d3e910dc4fc3312c85ea 100644 (file)
--- a/fs/f2fs/data.c
+++ b/fs/f2fs/data.c
@@ -1142,7 +1142,8 @@ int f2fs_reserve_new_blocks(struct dnode_of_data *dn, blkcnt_t count)
 
        if (unlikely(is_inode_flag_set(dn->inode, FI_NO_ALLOC)))
                return -EPERM;
-       if (unlikely((err = inc_valid_block_count(sbi, dn->inode, &count))))
+       err = inc_valid_block_count(sbi, dn->inode, &count, true);
+       if (unlikely(err))
                return err;
 
        trace_f2fs_reserve_new_blocks(dn->inode, dn->nid,
@@ -1413,7 +1414,7 @@ static int __allocate_data_block(struct dnode_of_data *dn, int seg_type)
 
        dn->data_blkaddr = f2fs_data_blkaddr(dn);
        if (dn->data_blkaddr == NULL_ADDR) {
-               err = inc_valid_block_count(sbi, dn->inode, &count);
+               err = inc_valid_block_count(sbi, dn->inode, &count, true);
                if (unlikely(err))
                        return err;
        }

diff --git a/fs/f2fs/f2fs.h b/fs/f2fs/f2fs.h
index 7f34c7d0d156e375d755dac28d78b4c8d2a5e81b..2afb91471b5357ccf9b57fac979b7434fafc2ae6 100644 (file)
--- a/fs/f2fs/f2fs.h
+++ b/fs/f2fs/f2fs.h
@@ -2286,7 +2286,7 @@ static inline bool __allow_reserved_blocks(struct f2fs_sb_info *sbi,
 
 static inline void f2fs_i_blocks_write(struct inode *, block_t, bool, bool);
 static inline int inc_valid_block_count(struct f2fs_sb_info *sbi,
-                                struct inode *inode, blkcnt_t *count)
+                                struct inode *inode, blkcnt_t *count, bool partial)
 {
        blkcnt_t diff = 0, release = 0;
        block_t avail_user_block_count;
@@ -2327,6 +2327,11 @@ static inline int inc_valid_block_count(struct f2fs_sb_info *sbi,
                        avail_user_block_count = 0;
        }
        if (unlikely(sbi->total_valid_block_count > avail_user_block_count)) {
+               if (!partial) {
+                       spin_unlock(&sbi->stat_lock);
+                       goto enospc;
+               }
+
                diff = sbi->total_valid_block_count - avail_user_block_count;
                if (diff > *count)
                        diff = *count;

diff --git a/fs/f2fs/file.c b/fs/f2fs/file.c
index aa3ded9825f0cd80c610f03bfb3abf8ee2aac834..96b59c87f30c7dfadcc87115556318a420fc2b21 100644 (file)
--- a/fs/f2fs/file.c
+++ b/fs/f2fs/file.c
@@ -3587,14 +3587,16 @@ static int reserve_compress_blocks(struct dnode_of_data *dn, pgoff_t count)
                blkcnt_t reserved;
                int ret;
 
-               for (i = 0; i < cluster_size; i++, dn->ofs_in_node++) {
-                       blkaddr = f2fs_data_blkaddr(dn);
+               for (i = 0; i < cluster_size; i++) {
+                       blkaddr = data_blkaddr(dn->inode, dn->node_page,
+                                               dn->ofs_in_node + i);
 
                        if (i == 0) {
-                               if (blkaddr == COMPRESS_ADDR)
-                                       continue;
-                               dn->ofs_in_node += cluster_size;
-                               goto next;
+                               if (blkaddr != COMPRESS_ADDR) {
+                                       dn->ofs_in_node += cluster_size;
+                                       goto next;
+                               }
+                               continue;
                        }
 
                        /*
@@ -3607,8 +3609,6 @@ static int reserve_compress_blocks(struct dnode_of_data *dn, pgoff_t count)
                                compr_blocks++;
                                continue;
                        }
-
-                       f2fs_set_data_blkaddr(dn, NEW_ADDR);
                }
 
                reserved = cluster_size - compr_blocks;
@@ -3617,12 +3617,14 @@ static int reserve_compress_blocks(struct dnode_of_data *dn, pgoff_t count)
                if (reserved == 1)
                        goto next;
 
-               ret = inc_valid_block_count(sbi, dn->inode, &reserved);
-               if (ret)
+               ret = inc_valid_block_count(sbi, dn->inode, &reserved, false);
+               if (unlikely(ret))
                        return ret;
 
-               if (reserved != cluster_size - compr_blocks)
-                       return -ENOSPC;
+               for (i = 0; i < cluster_size; i++, dn->ofs_in_node++) {
+                       if (f2fs_data_blkaddr(dn) == NULL_ADDR)
+                               f2fs_set_data_blkaddr(dn, NEW_ADDR);
+               }
 
                f2fs_i_compr_blocks_update(dn->inode, compr_blocks, true);
 

diff --git a/fs/f2fs/segment.c b/fs/f2fs/segment.c
index a3dabec1f216ac9515c3ce0e14ba4868ff3573be..aa1ba2fdfe00da4bdb3f1e11c314b99d3ae1f9d8 100644 (file)
--- a/fs/f2fs/segment.c
+++ b/fs/f2fs/segment.c
@@ -247,7 +247,7 @@ static int __replace_atomic_write_block(struct inode *inode, pgoff_t index,
        } else {
                blkcnt_t count = 1;
 
-               err = inc_valid_block_count(sbi, inode, &count);
+               err = inc_valid_block_count(sbi, inode, &count, true);
                if (err) {
                        f2fs_put_dnode(&dn);
                        return err;