From: Kent Overstreet <kent.overstreet@gmail.com>
To: "Matthew Wilcox (Oracle)" <willy@infradead.org>
Cc: linux-fsdevel@vger.kernel.org, linux-mm@kvack.org, hch@lst.de
Subject: Re: [PATCH 04/17] mm/filemap: Support readpage splitting a page
Date: Mon, 2 Nov 2020 14:00:08 -0500 [thread overview]
Message-ID: <20201102190008.GG2123636@moria.home.lan> (raw)
In-Reply-To: <20201102184312.25926-5-willy@infradead.org>
On Mon, Nov 02, 2020 at 06:42:59PM +0000, Matthew Wilcox (Oracle) wrote:
> For page splitting to succeed, the thread asking to split the
> page has to be the only one with a reference to the page. Calling
> wait_on_page_locked() while holding a reference to the page will
> effectively prevent this from happening with sufficient threads waiting
> on the same page. Use put_and_wait_on_page_locked() to sleep without
> holding a reference to the page, then retry the page lookup after the
> page is unlocked.
>
> Since we now get the page lock a little earlier in filemap_update_page(),
> we can eliminate a number of duplicate checks. The original intent
> (commit ebded02788b5 ("avoid unnecessary calls to lock_page when waiting
> for IO to complete during a read")) behind getting the page lock later
> was to avoid re-locking the page after it has been brought uptodate by
> another thread. We still avoid that because we go through the normal
> lookup path again after the winning thread has brought the page uptodate.
>
> Signed-off-by: Matthew Wilcox (Oracle) <willy@infradead.org>
> ---
> mm/filemap.c | 76 ++++++++++++++++------------------------------------
> 1 file changed, 23 insertions(+), 53 deletions(-)
>
> diff --git a/mm/filemap.c b/mm/filemap.c
> index 709774a60379..550e023abb52 100644
> --- a/mm/filemap.c
> +++ b/mm/filemap.c
> @@ -1347,14 +1347,6 @@ static int __wait_on_page_locked_async(struct page *page,
> return ret;
> }
>
> -static int wait_on_page_locked_async(struct page *page,
> - struct wait_page_queue *wait)
> -{
> - if (!PageLocked(page))
> - return 0;
> - return __wait_on_page_locked_async(compound_head(page), wait, false);
> -}
> -
> /**
> * put_and_wait_on_page_locked - Drop a reference and wait for it to be unlocked
> * @page: The page to wait for.
> @@ -2281,64 +2273,42 @@ static struct page *filemap_update_page(struct kiocb *iocb, struct file *filp,
> struct inode *inode = mapping->host;
> int error;
>
> - /*
> - * See comment in do_read_cache_page on why
> - * wait_on_page_locked is used to avoid unnecessarily
> - * serialisations and why it's safe.
> - */
> if (iocb->ki_flags & IOCB_WAITQ) {
> - error = wait_on_page_locked_async(page,
> - iocb->ki_waitq);
> + error = lock_page_async(page, iocb->ki_waitq);
> + if (error) {
> + put_page(page);
> + return ERR_PTR(error);
> + }
> } else {
> - error = wait_on_page_locked_killable(page);
> - }
> - if (unlikely(error)) {
> - put_page(page);
> - return ERR_PTR(error);
> + if (!trylock_page(page)) {
> + put_and_wait_on_page_locked(page, TASK_KILLABLE);
> + return NULL;
> + }
> }
> - if (PageUptodate(page))
> - return page;
>
> + if (!page->mapping)
> + goto truncated;
Since we're dropping our ref to the page, it could potentially be truncated and
then reused, no? So we should be checking page->mapping == mapping &&
page->index == index (and stashing page->index before dropping our ref, or
passing it in).
> + if (PageUptodate(page))
> + goto uptodate;
> if (inode->i_blkbits == PAGE_SHIFT ||
> !mapping->a_ops->is_partially_uptodate)
> - goto page_not_up_to_date;
> + goto readpage;
> /* pipes can't handle partially uptodate pages */
> if (unlikely(iov_iter_is_pipe(iter)))
> - goto page_not_up_to_date;
> - if (!trylock_page(page))
> - goto page_not_up_to_date;
> - /* Did it get truncated before we got the lock? */
> - if (!page->mapping)
> - goto page_not_up_to_date_locked;
> + goto readpage;
> if (!mapping->a_ops->is_partially_uptodate(page,
> - pos & ~PAGE_MASK, count))
> - goto page_not_up_to_date_locked;
> + pos & (thp_size(page) - 1), count))
> + goto readpage;
> +uptodate:
> unlock_page(page);
> return page;
>
> -page_not_up_to_date:
> - /* Get exclusive access to the page ... */
> - error = lock_page_for_iocb(iocb, page);
> - if (unlikely(error)) {
> - put_page(page);
> - return ERR_PTR(error);
> - }
> -
> -page_not_up_to_date_locked:
> - /* Did it get truncated before we got the lock? */
> - if (!page->mapping) {
> - unlock_page(page);
> - put_page(page);
> - return NULL;
> - }
> -
> - /* Did somebody else fill it already? */
> - if (PageUptodate(page)) {
> - unlock_page(page);
> - return page;
> - }
> -
> +readpage:
> return filemap_read_page(iocb, filp, mapping, page);
> +truncated:
> + unlock_page(page);
> + put_page(page);
> + return NULL;
> }
>
> static struct page *filemap_create_page(struct kiocb *iocb,
> --
> 2.28.0
>
next prev parent reply other threads:[~2020-11-02 19:00 UTC|newest]
Thread overview: 65+ messages / expand[flat|nested] mbox.gz Atom feed top
2020-11-02 18:42 [PATCH 00/17] Refactor generic_file_buffered_read Matthew Wilcox (Oracle)
2020-11-02 18:42 ` [PATCH 01/17] mm/filemap: Rename generic_file_buffered_read subfunctions Matthew Wilcox (Oracle)
2020-11-02 18:53 ` Kent Overstreet
2020-11-03 7:27 ` Christoph Hellwig
2020-11-03 14:52 ` Matthew Wilcox
2020-11-03 15:02 ` Amy Parker
2020-11-02 18:42 ` [PATCH 02/17] mm/filemap: Use THPs in generic_file_buffered_read Matthew Wilcox (Oracle)
2020-11-02 18:55 ` Kent Overstreet
2020-11-03 7:28 ` Christoph Hellwig
2020-11-02 18:42 ` [PATCH 03/17] mm/filemap: Pass a sleep state to put_and_wait_on_page_locked Matthew Wilcox (Oracle)
2020-11-02 18:56 ` Kent Overstreet
2020-11-03 7:28 ` Christoph Hellwig
2020-11-02 18:42 ` [PATCH 04/17] mm/filemap: Support readpage splitting a page Matthew Wilcox (Oracle)
2020-11-02 19:00 ` Kent Overstreet [this message]
2020-11-02 19:03 ` Matthew Wilcox
2020-11-02 19:12 ` Kent Overstreet
2020-11-03 7:31 ` Christoph Hellwig
2020-11-02 18:43 ` [PATCH 05/17] mm/filemap: Inline __wait_on_page_locked_async into caller Matthew Wilcox (Oracle)
2020-11-02 19:00 ` Kent Overstreet
2020-11-03 7:31 ` Christoph Hellwig
2020-11-02 18:43 ` [PATCH 06/17] mm/filemap: Don't call ->readpage if IOCB_WAITQ is set Matthew Wilcox (Oracle)
2020-11-02 19:17 ` Kent Overstreet
2020-11-03 7:31 ` Christoph Hellwig
2020-11-05 7:22 ` Nikolay Borisov
2020-11-02 18:43 ` [PATCH 07/17] mm/filemap: Change filemap_read_page calling conventions Matthew Wilcox (Oracle)
2020-11-02 19:37 ` Kent Overstreet
2020-11-03 7:34 ` Christoph Hellwig
2020-11-03 15:11 ` Matthew Wilcox
2020-11-02 18:43 ` [PATCH 08/17] mm/filemap: Change filemap_create_page arguments Matthew Wilcox (Oracle)
2020-11-02 19:38 ` Kent Overstreet
2020-11-03 7:35 ` Christoph Hellwig
2020-11-02 18:43 ` [PATCH 09/17] mm/filemap: Convert filemap_update_page to return an errno Matthew Wilcox (Oracle)
2020-11-02 19:39 ` Kent Overstreet
2020-11-03 7:36 ` Christoph Hellwig
2020-11-02 18:43 ` [PATCH 10/17] mm/filemap: Move the iocb checks into filemap_update_page Matthew Wilcox (Oracle)
2020-11-02 19:45 ` Kent Overstreet
2020-11-03 7:41 ` Christoph Hellwig
2020-11-02 18:43 ` [PATCH 11/17] mm/filemap: Add filemap_range_uptodate Matthew Wilcox (Oracle)
2020-11-02 19:50 ` Kent Overstreet
2020-11-02 20:09 ` Matthew Wilcox
2020-11-03 7:49 ` Christoph Hellwig
2020-11-03 15:18 ` Matthew Wilcox
2020-11-03 15:31 ` Christoph Hellwig
2020-11-03 15:42 ` Matthew Wilcox
2020-11-02 18:43 ` [PATCH 12/17] mm/filemap: Split filemap_readahead out of filemap_get_pages Matthew Wilcox (Oracle)
2020-11-02 19:52 ` Kent Overstreet
2020-11-02 18:43 ` [PATCH 13/17] mm/filemap: Remove parameters from filemap_update_page() Matthew Wilcox (Oracle)
2020-11-02 19:52 ` Kent Overstreet
2020-11-03 7:50 ` Christoph Hellwig
2020-11-02 18:43 ` [PATCH 14/17] mm/filemap: Restructure filemap_get_pages Matthew Wilcox (Oracle)
2020-11-02 20:05 ` Kent Overstreet
2020-11-03 7:57 ` Christoph Hellwig
2020-11-03 14:46 ` Matthew Wilcox
2020-11-03 15:29 ` Christoph Hellwig
2020-11-02 18:43 ` [PATCH 15/17] mm/filemap: Don't relock the page after calling readpage Matthew Wilcox (Oracle)
2020-11-02 20:06 ` Kent Overstreet
2020-11-03 8:00 ` Christoph Hellwig
2020-11-03 15:24 ` Matthew Wilcox
2020-11-03 17:13 ` Christoph Hellwig
2020-11-03 18:55 ` Matthew Wilcox
2020-11-02 18:43 ` [PATCH 16/17] mm/filemap: rename generic_file_buffered_read to filemap_read Matthew Wilcox (Oracle)
2020-11-02 20:06 ` Kent Overstreet
2020-11-02 18:43 ` [PATCH 17/17] mm: simplify generic_file_read_iter Matthew Wilcox (Oracle)
2020-11-02 20:07 ` Kent Overstreet
2020-11-02 20:14 ` [PATCH 00/17] Refactor generic_file_buffered_read Kent Overstreet
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=20201102190008.GG2123636@moria.home.lan \
--to=kent.overstreet@gmail.com \
--cc=hch@lst.de \
--cc=linux-fsdevel@vger.kernel.org \
--cc=linux-mm@kvack.org \
--cc=willy@infradead.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