From: "Huang\, Ying" <firstname.lastname@example.org>
To: Mel Gorman <email@example.com>
Cc: David Hildenbrand <firstname.lastname@example.org>,
Matthew Wilcox <email@example.com>,
Andrew Morton <firstname.lastname@example.org>, <email@example.com>,
Vlastimil Babka <firstname.lastname@example.org>, Zi Yan <email@example.com>,
Michal Hocko <firstname.lastname@example.org>,
Peter Zijlstra <email@example.com>,
Dave Hansen <firstname.lastname@example.org>,
Minchan Kim <email@example.com>,
"Johannes Weiner" <firstname.lastname@example.org>,
Hugh Dickins <email@example.com>,
"Alexander Duyck" <firstname.lastname@example.org>
Subject: Re: [RFC 0/3] mm: Discard lazily freed pages when migrating
Date: Mon, 02 Mar 2020 19:23:12 +0800 [thread overview]
Message-ID: <email@example.com> (raw)
In-Reply-To: <20200228094954.GB3772@suse.de> (Mel Gorman's message of "Fri, 28 Feb 2020 09:49:54 +0000")
Mel Gorman <firstname.lastname@example.org> writes:
> On Fri, Feb 28, 2020 at 04:55:40PM +0800, Huang, Ying wrote:
>> > E.g., free page reporting in QEMU wants to use MADV_FREE. The guest will
>> > report currently free pages to the hypervisor, which will MADV_FREE the
>> > reported memory. As long as there is no memory pressure, there is no
>> > need to actually free the pages. Once the guest reuses such a page, it
>> > could happen that there is still the old page and pulling in in a fresh
>> > (zeroed) page can be avoided.
>> > AFAIKs, after your change, we would get more pages discarded from our
>> > guest, resulting in more fresh (zeroed) pages having to be pulled in
>> > when a guest touches a reported free page again. But OTOH, page
>> > migration is speed up (avoiding to migrate these pages).
>> Let's look at this problem in another perspective. To migrate the
>> MADV_FREE pages of the QEMU process from the node A to the node B, we
>> need to free the original pages in the node A, and (maybe) allocate the
>> same number of pages in the node B. So the question becomes
>> - we may need to allocate some pages in the node B
>> - these pages may be accessed by the application or not
>> - we should allocate all these pages in advance or allocate them lazily
>> when they are accessed.
>> We thought the common philosophy in Linux kernel is to allocate lazily.
> I also think there needs to be an example of a real application that
> benefits from this new behaviour. Consider the possible sources of page
> 1. NUMA balancing -- The application has to read/write the data for this
> to trigger. In the case of write, MADV_FREE is cancelled and it's
> mostly likely going to be a write unless it's an application bug.
> 2. sys_movepages -- the application has explictly stated the data is in
> use on a particular node yet any MADV_FREE page gets discarded
> 3. Compaction -- there may be no memory pressure at all but the
> MADV_FREE memory is discarded prematurely
> In the first case, the data is explicitly in use, most likely due to
> a write in which case it's inappropriate to discard. Discarding and
> reallocating a zero'd page is not expected.
If my understanding were correct, NUMA balancing will not try to migrate
clean MADV_FREE pages most of the times. Because the lazily freed pages
may be zeroed at any time, it makes almost no sense to read them. So,
the first access after being freed lazily should be writing. That will
make the page dirty MADV_FREE, so will not be discarded. And the first
writing access in a new node will not trigger migration usually because
of the two-stage filter in should_numa_migrate_memory(). So current
behavior in case 1 will not change most of the times after the patchset.
> In second case, the data is likely in use or else why would the system
> call be used?
If the pages were in use, they shouldn't be clean MADV_FREE pages. So
no behavior change after this patchset.
There is at least one use case to move the clean MADV_FREE pages (that
is, not in use), when we move an application from one node to another
node via something like /usr/bin/migratepages. I think this is kind of
NUMA balancing by hand. It appears reasonable to discard clean
MADV_FREE pages at least in some situations.
> In the third case the timing of when MADV_FREE pages disappear is
> arbitrary as it can happen without any actual memory pressure. This
> may or may not be problematic but it leads to unpredictable latencies
> for applications that use MADV_FREE for a quick malloc/free
> implementation. Before, as long as there is no pressure, the reuse of
> a MADV_FREE incurs just a small penalty but now with compaction it
> does not matter if the system avoids memory pressure because they may
> still incur a fault to allocate and zero a new page.
Yes. This is a real problem. Previously we thought that the migration
is kind of
- unmap and free the old pages
- map the new pages
If we can allocate new pages lazily in mmap(), why cannot we allocate
new pages lazily in migrating pages too if possible (for clean
MADV_CLEAN pages) because its second stage is kind of mmap() too. But
you remind us that there are some differences,
- mmap() is called by the application directly, so its effect is
predictable. While some migration like that in the compaction isn't
called by the application, so may have unpredictable behavior.
- With mmap(), the application can choose to allocate new pages lazily
or eagerly. But we lacks the same mechanism in this patchset.
So, maybe we can make the mechanism more flexible. That is, let the
administrator or the application choose the right behavior for them, via
some system level configuration knob or API flags. For example, if the
memory allocation latency isn't critical for the workloads, the
administrator can choose to discard clean MADV_FREE pages to make
compaction quicker and easier?
> There is a hypothetical fourth case which I only mention because of your
> email address. If persistent memory is ever used for tiered memory then
> MADV_FREE pages that migrate from dram to pmem gets discarded instead
> of migrated. When it's reused, it gets reallocated from dram regardless
> of whether that region is hot or not.
Thanks for mentioning this use case because we are working on this too.
Firstly, the memory writing bandwidth of the persistent memory is much
less than its reading bandwidth, so it is very valuable to avoid writing
persistent memory unnecessarily. Discarding instead of migrating here
can help saving the memory writing bandwidth of the persistent memory.
Secondly, we will always allocate pages in DRAM before knowing they are
hot or cold if possible, and only demote the known cold pages to the
persistent memory. Only when the accessing pattern of these cold pages
changes to be hot, we will promote them back to DRAM. In this way, the
always hot pages can be kept in DRAM from begin to end. After
MADV_FREE, the contents may be zeroed, so its access pattern changes to
be unknown too (e.g. free an object, then allocate a different object).
If we want to follow the above rule, we should put the new page with
unknown temperature in DRAM to give it an opportunity.
> This may lead to an odd scenario whereby applications occupy dram
> prematurely due to a single reference of a MADV_FREE page.
The better way to deal with this is to enhance mem_cgroup to limit DRAM
usage in a memory tiering system?
> It's all subtle enough that we really should have an example application
> in mind that benefits so we can weigh the benefits against the potential
If some applications cannot tolerate the latency incurred by the memory
allocation and zeroing. Then we cannot discard instead of migrate
always. While in some situations, less memory pressure can help. So
it's better to let the administrator and the application choose the
right behavior in the specific situation?
next prev parent reply other threads:[~2020-03-02 11:23 UTC|newest]
Thread overview: 44+ messages / expand[flat|nested] mbox.gz Atom feed top
2020-02-28 3:38 [RFC 0/3] mm: Discard lazily freed pages when migrating Huang, Ying
2020-02-28 3:38 ` [RFC 1/3] mm, migrate: Check return value of try_to_unmap() Huang, Ying
2020-02-28 3:38 ` [RFC 2/3] mm: Add a new page flag PageLayzyFree() for MADV_FREE Huang, Ying
2020-02-28 6:13 ` David Hildenbrand
2020-02-28 6:47 ` Huang, Ying
2020-03-15 8:18 ` Wei Yang
2020-03-15 8:54 ` Mika Penttilä
2020-03-15 12:22 ` Wei Yang
2020-03-16 1:21 ` Huang, Ying
2020-03-16 22:38 ` Wei Yang
2020-02-28 3:38 ` [RFC 3/3] mm: Discard lazily freed pages when migrating Huang, Ying
2020-02-28 3:42 ` [RFC 0/3] " Matthew Wilcox
2020-02-28 7:25 ` Huang, Ying
2020-02-28 8:22 ` David Hildenbrand
2020-02-28 8:55 ` Huang, Ying
2020-02-28 9:49 ` Mel Gorman
2020-03-02 11:23 ` Huang, Ying [this message]
2020-03-02 15:16 ` Mel Gorman
2020-03-03 1:51 ` Huang, Ying
2020-03-03 8:09 ` Michal Hocko
2020-03-03 8:47 ` Huang, Ying
2020-03-03 8:58 ` Michal Hocko
2020-03-03 11:49 ` Huang, Ying
2020-03-04 9:58 ` Michal Hocko
2020-03-04 10:56 ` Mel Gorman
2020-03-05 1:42 ` Huang, Ying
2020-03-04 11:15 ` Huang, Ying
2020-03-04 11:26 ` Michal Hocko
2020-03-05 1:45 ` Huang, Ying
2020-03-05 10:48 ` Mel Gorman
2020-03-06 4:05 ` Huang, Ying
2020-03-09 5:26 ` Huang, Ying
2020-03-03 13:02 ` Mel Gorman
2020-03-04 0:33 ` Huang, Ying
2020-02-28 9:50 ` Michal Hocko
2020-02-28 10:15 ` Michal Hocko
2020-02-28 13:45 ` Johannes Weiner
2020-03-02 14:12 ` Huang, Ying
2020-03-02 14:23 ` David Hildenbrand
2020-03-03 0:25 ` Huang, Ying
2020-03-02 14:25 ` Michal Hocko
2020-03-03 1:30 ` Huang, Ying
2020-03-03 8:19 ` Michal Hocko
2020-03-03 11:36 ` Huang, Ying
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:
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
* 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;
as well as URLs for NNTP newsgroup(s).