Re: [f2fs-dev] [PATCH v3 06/17] f2fs: account large folio dirty data at block granularity

[Chao Yu via Linux-f2fs-devel <linux-f2fs-devel@lists.sourceforge.net>]

On 10/10/26 00:12, Nanzhe Zhao wrote:
> Originally inode->dirty_pages was accounted once per folio, but f2fs
> needs the counter to be accounted in blocks.
> 
> This introduces batch dirty page add/sub accounting; for a large folio
> the changed dirty page count is computed from the dirty bitmap bit
> changes.
> 
> Found by f2fs/006 (lfs + checkpoint=disable) and generic/363.
> 
> Signed-off-by: Nanzhe Zhao <zhaonanzhe@xiaomi.com>
> ---
>   fs/f2fs/checkpoint.c | 38 ++++++++++++++++++++++----
>   fs/f2fs/data.c       | 24 ++++++++++++----
>   fs/f2fs/f2fs.h       | 65 ++++++++++++++++++++++++++++++++++----------
>   3 files changed, 101 insertions(+), 26 deletions(-)
> 
> diff --git a/fs/f2fs/checkpoint.c b/fs/f2fs/checkpoint.c
> index 81c1c2de936f..49075c840c61 100644
> --- a/fs/f2fs/checkpoint.c
> +++ b/fs/f2fs/checkpoint.c
> @@ -1316,20 +1316,46 @@ static void __remove_dirty_inode(struct inode *inode, enum inode_type type)
>   	stat_dec_dirty_inode(F2FS_I_SB(inode), type);
>   }
>   
> -void f2fs_update_dirty_folio(struct inode *inode, struct folio *folio)
> +/*
> + * Account @nr dirty pages (negative when dirtiness is cleared) for @inode.
> + */
> +void f2fs_account_dirty_pages(struct inode *inode, int nr)

How about f2fs_account_dirty_blocks() to match your commit title?

>   {
>   	struct f2fs_sb_info *sbi = F2FS_I_SB(inode);
>   	enum inode_type type = S_ISDIR(inode->i_mode) ? DIR_INODE : FILE_INODE;
>   
> -	if (!S_ISDIR(inode->i_mode) && !S_ISREG(inode->i_mode) &&
> -			!S_ISLNK(inode->i_mode))
> +	if (!nr)
>   		return;
>   
>   	spin_lock(&sbi->inode_lock[type]);
> -	if (type != FILE_INODE || test_opt(sbi, DATA_FLUSH))
> -		__add_dirty_inode(inode, type);
> -	inode_inc_dirty_pages(inode);
> +	if (nr > 0) {
> +		if (type != FILE_INODE || test_opt(sbi, DATA_FLUSH))
> +			__add_dirty_inode(inode, type);
> +		inode_inc_dirty_pages_nr(inode, nr);
> +	} else {
> +		inode_dec_dirty_pages_nr(inode, -nr);
> +		__remove_dirty_inode(inode, type);
> +	}
>   	spin_unlock(&sbi->inode_lock[type]);
> +}
> +
> +void f2fs_update_dirty_folio(struct inode *inode, struct folio *folio)
> +{
> +	if (!S_ISDIR(inode->i_mode) && !S_ISREG(inode->i_mode) &&
> +			!S_ISLNK(inode->i_mode))
> +		return;
> +
> +	/*
> +	 * Large folios have a subpage dirty bitmap, so defer their dirty accounting
> +	 * to the f2fs_ffs_*subrange_dirty*() helpers.  This avoids nesting
> +	 * ffs->state_lock with the inode dirty list lock.
> +	 */
> +	if (f2fs_folio_has_ffs(folio)) {
> +		folio_set_f2fs_reference(folio);
> +		return;
> +	}
> +
> +	f2fs_account_dirty_pages(inode, 1);
>   
>   	folio_set_f2fs_reference(folio);
>   }
> diff --git a/fs/f2fs/data.c b/fs/f2fs/data.c
> index da388ed9cccc..d45fbe0db161 100644
> --- a/fs/f2fs/data.c
> +++ b/fs/f2fs/data.c
> @@ -2902,6 +2902,7 @@ void f2fs_ffs_mark_subrange_dirty(struct folio *folio,
>   				    size_t offset, size_t len)
>   {
>   	struct f2fs_folio_state *ffs;
> +	unsigned int set;
>   	unsigned long flags;
>   
>   	f2fs_bug_on(F2FS_F_SB(folio), offset + len > folio_size(folio));
> @@ -2912,21 +2913,27 @@ void f2fs_ffs_mark_subrange_dirty(struct folio *folio,
>   	ffs = (struct f2fs_folio_state *)folio->private;
>   
>   	spin_lock_irqsave(&ffs->state_lock, flags);
> -	__ffs_mark_subrange_dirty(folio, ffs, offset, len);
> +	set = __ffs_mark_subrange_dirty(folio, ffs, offset, len);
>   	spin_unlock_irqrestore(&ffs->state_lock, flags);
> +
> +	if (set)
> +		f2fs_account_dirty_pages(folio->mapping->host, set);
>   }
>   
>   static bool __ffs_clear_subrange_dirty(struct folio *folio,
> -			struct f2fs_folio_state *ffs, size_t offset, size_t len)
> +			struct f2fs_folio_state *ffs, size_t offset, size_t len,
> +			unsigned int *cleared)
>   {
>   	unsigned int nr_subpages = folio_nr_pages(folio);
> -	unsigned int start, end;
> +	unsigned int start, end, before;
>   
>   	start = offset >> PAGE_SHIFT;
>   	end = (offset + len + PAGE_SIZE - 1) >> PAGE_SHIFT;
>   	end = min(end, nr_subpages);
>   
> +	before = bitmap_weight(ffs->state, 2 * nr_subpages);
>   	bitmap_clear(ffs->state, nr_subpages + start, end - start);
> +	*cleared = before - bitmap_weight(ffs->state, 2 * nr_subpages);
>   	return find_next_bit(ffs->state, 2 * nr_subpages, nr_subpages) <
>   			2 * nr_subpages;
>   }
> @@ -2938,13 +2945,15 @@ static bool __ffs_clear_subrange_dirty(struct folio *folio,
>    * @len: byte length of the subrange
>    *
>    * Clear the dirty bits of the 4K subpages covered by [offset, offset + len),
> - * and return whether the folio still has any dirty subpage left.
> + * account the cleared subpages against the inode dirty counters, and return
> + * whether the folio still has any dirty subpage left.
>    */
>   bool f2fs_ffs_clear_subrange_dirty_and_test(struct folio *folio, size_t offset,
>   					    size_t len)
>   {
>   	struct f2fs_folio_state *ffs;
>   	unsigned long flags;
> +	unsigned int cleared = 0;
>   	bool dirty;
>   
>   	if (!f2fs_folio_has_ffs(folio))
> @@ -2952,9 +2961,12 @@ bool f2fs_ffs_clear_subrange_dirty_and_test(struct folio *folio, size_t offset,
>   
>   	ffs = (struct f2fs_folio_state *)folio->private;
>   	spin_lock_irqsave(&ffs->state_lock, flags);
> -	dirty = __ffs_clear_subrange_dirty(folio, ffs, offset, len);
> +	dirty = __ffs_clear_subrange_dirty(folio, ffs, offset, len, &cleared);
>   	spin_unlock_irqrestore(&ffs->state_lock, flags);
>   
> +	if (cleared)
> +		f2fs_account_dirty_pages(folio->mapping->host, -cleared);
> +
>   	return dirty;
>   }
>   
> @@ -4319,7 +4331,7 @@ static int f2fs_write_cache_folios(struct address_space *mapping,
>   		if (f2fs_ffs_clear_subrange_dirty_and_test(folio, 0,
>   					(err ? pos : end_pos) - folio_pos(folio)))
>   			folio_redirty_for_writepage(wbc, folio);
> -		else
> +		else if (!f2fs_folio_has_ffs(folio))
>   			inode_dec_dirty_pages(inode);
>   
>   		if (bias_added) {
> diff --git a/fs/f2fs/f2fs.h b/fs/f2fs/f2fs.h
> index e14275f98fe7..2cf98f49c876 100644
> --- a/fs/f2fs/f2fs.h
> +++ b/fs/f2fs/f2fs.h
> @@ -2916,9 +2916,10 @@ static inline void dec_valid_block_count(struct f2fs_sb_info *sbi,
>   	f2fs_i_blocks_write(inode, count, false, true);
>   }
>   
> -static inline void inc_cache_count(struct f2fs_sb_info *sbi, int count_type)
> +static inline void inc_cache_count_nr(struct f2fs_sb_info *sbi,

add_cache_counts()

> +					int count_type, int nr)
>   {
> -	atomic_inc(&sbi->nr_caches[count_type]);
> +	atomic_add(nr, &sbi->nr_caches[count_type]);
>   
>   	if (count_type == F2FS_DIRTY_DENTS ||
>   			count_type == F2FS_DIRTY_NODES ||
> @@ -2928,31 +2929,66 @@ static inline void inc_cache_count(struct f2fs_sb_info *sbi, int count_type)
>   		set_sbi_flag(sbi, SBI_IS_DIRTY);
>   }
>   
> -static inline void inode_inc_dirty_pages(struct inode *inode)
> +static inline void dec_cache_count_nr(struct f2fs_sb_info *sbi,

sub_cache_counts()

> +					int count_type, int nr)
>   {
> -	atomic_inc(&F2FS_I(inode)->dirty_pages);
> -	inc_cache_count(F2FS_I_SB(inode), S_ISDIR(inode->i_mode) ?
> -				F2FS_DIRTY_DENTS : F2FS_DIRTY_DATA);
> -	if (IS_NOQUOTA(inode))
> -		inc_cache_count(F2FS_I_SB(inode), F2FS_DIRTY_QDATA);
> +	atomic_sub(nr, &sbi->nr_caches[count_type]);
> +}
> +
> +static inline void inc_cache_count(struct f2fs_sb_info *sbi, int count_type)
> +{
> +	inc_cache_count_nr(sbi, count_type, 1);
>   }
>   
>   static inline void dec_cache_count(struct f2fs_sb_info *sbi, int count_type)
>   {
> -	atomic_dec(&sbi->nr_caches[count_type]);
> +	dec_cache_count_nr(sbi, count_type, 1);
>   }
>   
> -static inline void inode_dec_dirty_pages(struct inode *inode)
> +/*
> + * Account @nr dirty pages for @inode; one page is
> + * (PAGE_SIZE >> log_blocksize) filesystem blocks.
> + */
> +static inline void inode_inc_dirty_pages_nr(struct inode *inode, int nr)

inode_add_dirty_blocks()

> +{
> +	struct f2fs_sb_info *sbi = F2FS_I_SB(inode);
> +	int blocks = nr * (PAGE_SIZE >> sbi->log_blocksize);
> +

    	if (!S_ISDIR(inode->i_mode) && !S_ISREG(inode->i_mode) &&
    			!S_ISLNK(inode->i_mode))
    		return;

> +	atomic_add(blocks, &F2FS_I(inode)->dirty_pages);
> +	if (S_ISDIR(inode->i_mode))
> +		inc_cache_count_nr(sbi, F2FS_DIRTY_DENTS, blocks);
> +	else
> +		inc_cache_count_nr(sbi, F2FS_DIRTY_DATA, blocks);
> +	if (IS_NOQUOTA(inode))
> +		inc_cache_count_nr(sbi, F2FS_DIRTY_QDATA, blocks);
> +}
> +
> +static inline void inode_dec_dirty_pages_nr(struct inode *inode, int nr)

inode_sub_dirty_blocks()

>   {
> +	struct f2fs_sb_info *sbi = F2FS_I_SB(inode);
> +	int blocks = nr * (PAGE_SIZE >> sbi->log_blocksize);
> +
>   	if (!S_ISDIR(inode->i_mode) && !S_ISREG(inode->i_mode) &&
>   			!S_ISLNK(inode->i_mode))
>   		return;
>   
> -	atomic_dec(&F2FS_I(inode)->dirty_pages);
> -	dec_cache_count(F2FS_I_SB(inode), S_ISDIR(inode->i_mode) ?
> -				F2FS_DIRTY_DENTS : F2FS_DIRTY_DATA);
> +	atomic_sub(blocks, &F2FS_I(inode)->dirty_pages);
> +	if (S_ISDIR(inode->i_mode))
> +		dec_cache_count_nr(sbi, F2FS_DIRTY_DENTS, blocks);
> +	else
> +		dec_cache_count_nr(sbi, F2FS_DIRTY_DATA, blocks);
>   	if (IS_NOQUOTA(inode))
> -		dec_cache_count(F2FS_I_SB(inode), F2FS_DIRTY_QDATA);
> +		dec_cache_count_nr(sbi, F2FS_DIRTY_QDATA, blocks);
> +}
> +
> +static inline void inode_inc_dirty_pages(struct inode *inode)

inode_inc_dirty_block()

> +{
> +	inode_inc_dirty_pages_nr(inode, 1);
> +}
> +
> +static inline void inode_dec_dirty_pages(struct inode *inode)

inode_dec_dirty_block()

> +{
> +	inode_dec_dirty_pages_nr(inode, 1);
>   }
>   
>   static inline void inc_atomic_write_cnt(struct inode *inode)
> @@ -4380,6 +4416,7 @@ void f2fs_remove_orphan_inode(struct f2fs_sb_info *sbi, nid_t ino);
>   int f2fs_recover_orphan_inodes(struct f2fs_sb_info *sbi);
>   int f2fs_get_valid_checkpoint(struct f2fs_sb_info *sbi);
>   void f2fs_update_dirty_folio(struct inode *inode, struct folio *folio);
> +void f2fs_account_dirty_pages(struct inode *inode, int nr);
>   void f2fs_remove_dirty_inode(struct inode *inode);
>   int f2fs_sync_dirty_inodes(struct f2fs_sb_info *sbi, enum inode_type type,
>   								bool from_cp);



_______________________________________________
Linux-f2fs-devel mailing list
Linux-f2fs-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/linux-f2fs-devel