From: Matthew Wilcox <willy@infradead.org>
To: linux-mm@kvack.org
Cc: Hugh Dickins <hughd@google.com>, Yang Shi <yang.shi@linux.alibaba.com>
Subject: Is shmem page accounting wrong on split?
Date: Fri, 28 Aug 2020 15:25:46 +0100 [thread overview]
Message-ID: <20200828142546.GN14765@casper.infradead.org> (raw)
If I understand truncate of a shmem THP correctly ...
Let's suppose the file has a single 2MB page at index 0, and is being
truncated down to 7 bytes in size.
shmem_setattr()
i_size_write(7);
shmem_truncate_range(7, -1);
shmem_undo_range(7, -1)
start = 1;
page = &head[1];
shmem_punch_compound();
split_huge_page()
end = DIV_ROUND_UP(i_size_read(mapping->host), PAGE_SIZE); # == 1
__split_huge_page(..., 1, ...);
__delete_from_page_cache(&head[1], ...);
truncate_inode_page(page);
delete_from_page_cache(page)
__delete_from_page_cache(&head[1])
I think the solution is to call truncate_inode_page() from within
shmem_punch_compound() if we don't call split_huge_page(). I came across
this while reusing all this infrastructure for the XFS THP patchset,
so I'm not in a great position to test this patch.
This solution actually makes my life harder because I have a different
function to call if the page doesn't need to be split. But it's probably
the right solution for upstream today.
diff --git a/mm/shmem.c b/mm/shmem.c
index b2abca3f7f33..a0bc42974c2d 100644
--- a/mm/shmem.c
+++ b/mm/shmem.c
@@ -819,15 +819,18 @@ void shmem_unlock_mapping(struct address_space *mapping)
static bool shmem_punch_compound(struct page *page, pgoff_t start, pgoff_t end)
{
if (!PageTransCompound(page))
- return true;
+ goto nosplit;
/* Just proceed to delete a huge page wholly within the range punched */
if (PageHead(page) &&
page->index >= start && page->index + HPAGE_PMD_NR <= end)
- return true;
+ goto nosplit;
/* Try to split huge page, so we can truly punch the hole or truncate */
return split_huge_page(page) >= 0;
+nosplit:
+ truncate_inode_page(page->mapping, page);
+ return true;
}
/*
@@ -883,8 +886,7 @@ static void shmem_undo_range(struct inode *inode, loff_t lstart, loff_t lend,
if ((!unfalloc || !PageUptodate(page)) &&
page_mapping(page) == mapping) {
VM_BUG_ON_PAGE(PageWriteback(page), page);
- if (shmem_punch_compound(page, start, end))
- truncate_inode_page(mapping, page);
+ shmem_punch_compound(page, start, end);
}
unlock_page(page);
}
@@ -966,9 +968,7 @@ static void shmem_undo_range(struct inode *inode, loff_t lstart, loff_t lend,
break;
}
VM_BUG_ON_PAGE(PageWriteback(page), page);
- if (shmem_punch_compound(page, start, end))
- truncate_inode_page(mapping, page);
- else if (IS_ENABLED(CONFIG_TRANSPARENT_HUGEPAGE)) {
+ if (!shmem_punch_compound(page, start, end)) {
/* Wipe the page and don't get stuck */
clear_highpage(page);
flush_dcache_page(page);
next reply other threads:[~2020-08-28 14:25 UTC|newest]
Thread overview: 6+ messages / expand[flat|nested] mbox.gz Atom feed top
2020-08-28 14:25 Matthew Wilcox [this message]
2020-08-28 14:55 ` Matthew Wilcox
2020-08-28 15:43 ` Yang Shi
2020-08-28 17:08 ` Hugh Dickins
2020-08-28 17:31 ` Matthew Wilcox
2020-08-28 18:01 ` Matthew Wilcox
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=20200828142546.GN14765@casper.infradead.org \
--to=willy@infradead.org \
--cc=hughd@google.com \
--cc=linux-mm@kvack.org \
--cc=yang.shi@linux.alibaba.com \
/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