diff mbox series

btrfs: simplify read_extent_buffer_pages a bit

Message ID 20190411164059.4981-1-jthumshirn@suse.de (mailing list archive)
State New, archived
Headers show
Series btrfs: simplify read_extent_buffer_pages a bit | expand

Commit Message

Johannes Thumshirn April 11, 2019, 4:40 p.m. UTC
Currently read_extent_buffer_pages() uses a 4 pass algorithm to read an
extent buffer's pages from disk, all 4 stages looping over all pages of
the extent buffer.

1) Loop over all pages and lock them.
2) Loop over all pages and see if one is not marked as PageUptodate, so we
   can break out of the function early.
3) Loop over all pages and if the page is !PageUptodate read the page,
   otherwise unlock the page.
4) Loop over all pages and wait for stable pages.

Unify the 1st two for loops, we can count the number of uptodate pages
after we have locked them without the need for re-starting the loop.

Signed-off-by: Johannes Thumshirn <jthumshirn@suse.de>
---
 fs/btrfs/extent_io.c | 14 ++++++--------
 1 file changed, 6 insertions(+), 8 deletions(-)

Comments

David Sterba April 11, 2019, 4:59 p.m. UTC | #1
On Thu, Apr 11, 2019 at 06:40:59PM +0200, Johannes Thumshirn wrote:
> Currently read_extent_buffer_pages() uses a 4 pass algorithm to read an
> extent buffer's pages from disk, all 4 stages looping over all pages of
> the extent buffer.
> 
> 1) Loop over all pages and lock them.
> 2) Loop over all pages and see if one is not marked as PageUptodate, so we
>    can break out of the function early.
> 3) Loop over all pages and if the page is !PageUptodate read the page,
>    otherwise unlock the page.
> 4) Loop over all pages and wait for stable pages.
> 
> Unify the 1st two for loops, we can count the number of uptodate pages
> after we have locked them without the need for re-starting the loop.

Effectively reverting 2571e739677f1e4c0c63f5ed49adcc0857923625 that
fixed a bug. Please have a look if something has really changed so that
the split loops are no longer necessary.
Johannes Thumshirn April 16, 2019, 9:16 a.m. UTC | #2
On Thu, Apr 11, 2019 at 06:59:35PM +0200, David Sterba wrote:
> On Thu, Apr 11, 2019 at 06:40:59PM +0200, Johannes Thumshirn wrote:
> > Currently read_extent_buffer_pages() uses a 4 pass algorithm to read an
> > extent buffer's pages from disk, all 4 stages looping over all pages of
> > the extent buffer.
> > 
> > 1) Loop over all pages and lock them.
> > 2) Loop over all pages and see if one is not marked as PageUptodate, so we
> >    can break out of the function early.
> > 3) Loop over all pages and if the page is !PageUptodate read the page,
> >    otherwise unlock the page.
> > 4) Loop over all pages and wait for stable pages.
> > 
> > Unify the 1st two for loops, we can count the number of uptodate pages
> > after we have locked them without the need for re-starting the loop.
> 
> Effectively reverting 2571e739677f1e4c0c63f5ed49adcc0857923625 that
> fixed a bug. Please have a look if something has really changed so that
> the split loops are no longer necessary.

After starring at the .s and .lst files GCC produces I cannot say whether this
holds true or not.

But as it was fixing a bug back then, I'll take back this patch.
David Sterba April 17, 2019, 12:20 p.m. UTC | #3
On Tue, Apr 16, 2019 at 11:16:33AM +0200, Johannes Thumshirn wrote:
> 
> On Thu, Apr 11, 2019 at 06:59:35PM +0200, David Sterba wrote:
> > On Thu, Apr 11, 2019 at 06:40:59PM +0200, Johannes Thumshirn wrote:
> > > Currently read_extent_buffer_pages() uses a 4 pass algorithm to read an
> > > extent buffer's pages from disk, all 4 stages looping over all pages of
> > > the extent buffer.
> > > 
> > > 1) Loop over all pages and lock them.
> > > 2) Loop over all pages and see if one is not marked as PageUptodate, so we
> > >    can break out of the function early.
> > > 3) Loop over all pages and if the page is !PageUptodate read the page,
> > >    otherwise unlock the page.
> > > 4) Loop over all pages and wait for stable pages.
> > > 
> > > Unify the 1st two for loops, we can count the number of uptodate pages
> > > after we have locked them without the need for re-starting the loop.
> > 
> > Effectively reverting 2571e739677f1e4c0c63f5ed49adcc0857923625 that
> > fixed a bug. Please have a look if something has really changed so that
> > the split loops are no longer necessary.
> 
> After starring at the .s and .lst files GCC produces I cannot say whether this
> holds true or not.

I'm not sure this is about the assembly. Currently all pages are locked
first, then the bits are checked. Merging that locking and setting bit
to the same iteration has different effect to the outside, as mentioned
in the commit.
diff mbox series

Patch

diff --git a/fs/btrfs/extent_io.c b/fs/btrfs/extent_io.c
index 828708f6510c..1d538bda4929 100644
--- a/fs/btrfs/extent_io.c
+++ b/fs/btrfs/extent_io.c
@@ -5357,14 +5357,12 @@  int read_extent_buffer_pages(struct extent_io_tree *tree,
 			lock_page(page);
 		}
 		locked_pages++;
-	}
-	/*
-	 * We need to firstly lock all pages to make sure that
-	 * the uptodate bit of our pages won't be affected by
-	 * clear_extent_buffer_uptodate().
-	 */
-	for (i = 0; i < num_pages; i++) {
-		page = eb->pages[i];
+
+		/*
+		 * We need to firstly lock all pages to make sure that
+		 * the uptodate bit of our pages won't be affected by
+		 * clear_extent_buffer_uptodate().
+		 */
 		if (!PageUptodate(page)) {
 			num_reads++;
 			all_uptodate = 0;