Re: [V9fs-developer] [PATCH 02/13] 9p: Tell the VFS that readpage was synchronous

From: Matthew Wilcox
Date: Fri Sep 18 2020 - 07:19:23 EST


On Fri, Sep 18, 2020 at 07:59:19AM +0200, Dominique Martinet wrote:
> Matthew Wilcox (Oracle) wrote on Thu, Sep 17, 2020:
> > diff --git a/fs/9p/vfs_addr.c b/fs/9p/vfs_addr.c
> > index cce9ace651a2..506ca0ba2ec7 100644
> > --- a/fs/9p/vfs_addr.c
> > +++ b/fs/9p/vfs_addr.c
> > @@ -280,6 +280,10 @@ static int v9fs_write_begin(struct file *filp, struct address_space *mapping,
> > goto out;
> >
> > retval = v9fs_fid_readpage(v9inode->writeback_fid, page);
> > + if (retval == AOP_UPDATED_PAGE) {
> > + retval = 0;
> > + goto out;
> > + }
>
> FWIW this is a change of behaviour; for some reason the code used to
> loop back to grab_cache_page_write_begin() and bail out on
> PageUptodate() I suppose; some sort of race check?
> The whole pattern is a bit weird to me and 9p has no guarantee on
> concurrent writes to a file with cache enabled (except that it will
> corrupt something), so this part is fine with me.
>
> What I'm curious about is the page used to be both unlocked and put, but
> now isn't either and the return value hasn't changed for the caller to
> make a difference on write_begin / I don't see any code change in the
> vfs to handle that.
> What did I miss?

The page cache is kind of subtle. The grab_cache_page_write_begin()
will return a Locked page with an increased refcount. If it's Uptodate,
that's exactly what we want, and we return it. If we have to read the
page, readpage used to unlock the page before returning, and rather than
re-lock it, we would drop the reference to the page and look it up again.
It's possible that after dropping the lock on that page that the page
was replaced in the page cache and so we'd get a different page.

Anyway, now (unless fscache is involved), v9fs_fid_readpage will return
the page without unlocking it. So we don't need to do the dance of
dropping the lock, putting the refcount and looking the page back up
again. We can just return the page. The VFS doesn't need a special
return code because nothing has changed from the VFS's point of view --
it asked you to get a page and you got the page.