public inbox for linux-fsdevel@vger.kernel.org
 help / color / mirror / Atom feed
From: "Darrick J. Wong" <djwong@kernel.org>
To: Joanne Koong <joannelkoong@gmail.com>
Cc: brauner@kernel.org, hch@infradead.org, bfoster@redhat.com,
	linux-fsdevel@vger.kernel.org, kernel-team@meta.com,
	Christoph Hellwig <hch@lst.de>
Subject: Re: [PATCH v3 4/8] iomap: simplify ->read_folio_range() error handling for reads
Date: Tue, 4 Nov 2025 17:50:58 -0800	[thread overview]
Message-ID: <20251105015058.GJ196362@frogsfrogsfrogs> (raw)
In-Reply-To: <20251104205119.1600045-5-joannelkoong@gmail.com>

On Tue, Nov 04, 2025 at 12:51:15PM -0800, Joanne Koong wrote:
> Instead of requiring that the caller calls iomap_finish_folio_read()
> even if the ->read_folio_range() callback returns an error, account for
> this internally in iomap instead, which makes the interface simpler and
> makes it match writeback's ->read_folio_range() error handling
> expectations.
> 
> Signed-off-by: Joanne Koong <joannelkoong@gmail.com>
> Reviewed-by: Christoph Hellwig <hch@lst.de>
> ---
>  .../filesystems/iomap/operations.rst          |  7 +++--
>  fs/fuse/file.c                                | 10 ++-----
>  fs/iomap/buffered-io.c                        | 27 +++++++++----------
>  include/linux/iomap.h                         |  5 ++--
>  4 files changed, 20 insertions(+), 29 deletions(-)
> 
> diff --git a/Documentation/filesystems/iomap/operations.rst b/Documentation/filesystems/iomap/operations.rst
> index 4d30723be7fa..64f4baf5750e 100644
> --- a/Documentation/filesystems/iomap/operations.rst
> +++ b/Documentation/filesystems/iomap/operations.rst
> @@ -149,10 +149,9 @@ These ``struct kiocb`` flags are significant for buffered I/O with iomap:
>  iomap calls these functions:
>  
>    - ``read_folio_range``: Called to read in the range. This must be provided
> -    by the caller. The caller is responsible for calling
> -    iomap_finish_folio_read() after reading in the folio range. This should be
> -    done even if an error is encountered during the read. This returns 0 on
> -    success or a negative error on failure.
> +    by the caller. If this succeeds, iomap_finish_folio_read() must be called
> +    after the range is read in, regardless of whether the read succeeded or
> +    failed.
>  
>    - ``submit_read``: Submit any pending read requests. This function is
>      optional.
> diff --git a/fs/fuse/file.c b/fs/fuse/file.c
> index b343a6f37563..7bcb650a9f26 100644
> --- a/fs/fuse/file.c
> +++ b/fs/fuse/file.c
> @@ -922,13 +922,6 @@ static int fuse_iomap_read_folio_range_async(const struct iomap_iter *iter,
>  
>  	if (ctx->rac) {
>  		ret = fuse_handle_readahead(folio, ctx->rac, data, pos, len);
> -		/*
> -		 * If fuse_handle_readahead was successful, fuse_readpages_end
> -		 * will do the iomap_finish_folio_read, else we need to call it
> -		 * here
> -		 */
> -		if (ret)
> -			iomap_finish_folio_read(folio, off, len, ret);
>  	} else {
>  		/*
>  		 *  for non-readahead read requests, do reads synchronously
> @@ -936,7 +929,8 @@ static int fuse_iomap_read_folio_range_async(const struct iomap_iter *iter,
>  		 *  out-of-order reads
>  		 */
>  		ret = fuse_do_readfolio(file, folio, off, len);
> -		iomap_finish_folio_read(folio, off, len, ret);
> +		if (!ret)
> +			iomap_finish_folio_read(folio, off, len, ret);
>  	}
>  	return ret;
>  }
> diff --git a/fs/iomap/buffered-io.c b/fs/iomap/buffered-io.c
> index e3171462ba08..0f14d2a91f49 100644
> --- a/fs/iomap/buffered-io.c
> +++ b/fs/iomap/buffered-io.c
> @@ -398,7 +398,8 @@ static void iomap_read_init(struct folio *folio)
>  		 * finished reading in the entire folio.
>  		 */
>  		spin_lock_irq(&ifs->state_lock);
> -		ifs->read_bytes_pending += len + 1;
> +		WARN_ON_ONCE(ifs->read_bytes_pending != 0);
> +		ifs->read_bytes_pending = len + 1;
>  		spin_unlock_irq(&ifs->state_lock);
>  	}
>  }
> @@ -414,19 +415,8 @@ static void iomap_read_init(struct folio *folio)
>   */
>  static void iomap_read_end(struct folio *folio, size_t bytes_submitted)
>  {
> -	struct iomap_folio_state *ifs;
> -
> -	/*
> -	 * If there are no bytes submitted, this means we are responsible for
> -	 * unlocking the folio here, since no IO helper has taken ownership of
> -	 * it.
> -	 */
> -	if (!bytes_submitted) {
> -		folio_unlock(folio);
> -		return;
> -	}
> +	struct iomap_folio_state *ifs = folio->private;
>  
> -	ifs = folio->private;
>  	if (ifs) {
>  		bool end_read, uptodate;
>  		/*
> @@ -451,6 +441,15 @@ static void iomap_read_end(struct folio *folio, size_t bytes_submitted)
>  		spin_unlock_irq(&ifs->state_lock);
>  		if (end_read)
>  			folio_end_read(folio, uptodate);
> +	} else if (!bytes_submitted) {
> +		/*
> +		 * If there were no bytes submitted, this means we are
> +		 * responsible for unlocking the folio here, since no IO helper
> +		 * has taken ownership of it. If there were bytes submitted,
> +		 * then the IO helper will end the read via
> +		 * iomap_finish_folio_read().
> +		 */
> +		folio_unlock(folio);
>  	}
>  }
>  
> @@ -498,10 +497,10 @@ static int iomap_read_folio_iter(struct iomap_iter *iter,
>  		} else {
>  			if (!*bytes_submitted)
>  				iomap_read_init(folio);
> -			*bytes_submitted += plen;
>  			ret = ctx->ops->read_folio_range(iter, ctx, plen);
>  			if (ret)
>  				return ret;
> +			*bytes_submitted += plen;

Hrmm.  Is this the main change of this patch?  We don't increment
bytes_submitted if ->read_folio_range returns an error, which then means
that fuse doesn't have to call iomap_finish_folio_read to decrement
*bytes_submitted?

(and apparently the bio read_folio_range can't fail so no changes are
needed there)

--D

>  		}
>  
>  		ret = iomap_iter_advance(iter, plen);
> diff --git a/include/linux/iomap.h b/include/linux/iomap.h
> index b49e47f069db..520e967cb501 100644
> --- a/include/linux/iomap.h
> +++ b/include/linux/iomap.h
> @@ -495,9 +495,8 @@ struct iomap_read_ops {
>  	/*
>  	 * Read in a folio range.
>  	 *
> -	 * The caller is responsible for calling iomap_finish_folio_read() after
> -	 * reading in the folio range. This should be done even if an error is
> -	 * encountered during the read.
> +	 * If this succeeds, iomap_finish_folio_read() must be called after the
> +	 * range is read in, regardless of whether the read succeeded or failed.
>  	 *
>  	 * Returns 0 on success or a negative error on failure.
>  	 */
> -- 
> 2.47.3
> 
> 

  reply	other threads:[~2025-11-05  1:50 UTC|newest]

Thread overview: 23+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2025-11-04 20:51 [PATCH v3 0/8] iomap: buffered io changes Joanne Koong
2025-11-04 20:51 ` [PATCH v3 1/8] iomap: account for unaligned end offsets when truncating read range Joanne Koong
2025-11-05  1:27   ` Darrick J. Wong
2025-11-06 17:08     ` Joanne Koong
2025-11-06 23:08       ` Darrick J. Wong
2025-11-04 20:51 ` [PATCH v3 2/8] docs: document iomap writeback's iomap_finish_folio_write() requirement Joanne Koong
2025-11-05  1:22   ` Darrick J. Wong
2025-11-04 20:51 ` [PATCH v3 3/8] iomap: optimize pending async writeback accounting Joanne Koong
2025-11-05  1:28   ` Darrick J. Wong
2025-11-04 20:51 ` [PATCH v3 4/8] iomap: simplify ->read_folio_range() error handling for reads Joanne Koong
2025-11-05  1:50   ` Darrick J. Wong [this message]
2025-11-06 17:17     ` Joanne Koong
2025-11-06 23:09       ` Darrick J. Wong
2025-11-04 20:51 ` [PATCH v3 5/8] iomap: simplify when reads can be skipped for writes Joanne Koong
2025-11-05  1:40   ` Darrick J. Wong
2025-11-04 20:51 ` [PATCH v3 6/8] iomap: use loff_t for file positions and offsets in writeback code Joanne Koong
2025-11-05  1:41   ` Darrick J. Wong
2025-11-04 20:51 ` [PATCH v3 7/8] iomap: use find_next_bit() for dirty bitmap scanning Joanne Koong
2025-11-05  1:42   ` Darrick J. Wong
2025-11-04 20:51 ` [PATCH v3 8/8] iomap: use find_next_bit() for uptodate " Joanne Koong
2025-11-05  1:42   ` Darrick J. Wong
2025-11-11 12:09 ` [PATCH v3 0/8] iomap: buffered io changes Christian Brauner
2025-11-11 18:05   ` Joanne Koong

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=20251105015058.GJ196362@frogsfrogsfrogs \
    --to=djwong@kernel.org \
    --cc=bfoster@redhat.com \
    --cc=brauner@kernel.org \
    --cc=hch@infradead.org \
    --cc=hch@lst.de \
    --cc=joannelkoong@gmail.com \
    --cc=kernel-team@meta.com \
    --cc=linux-fsdevel@vger.kernel.org \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox