Message-ID: <57d649c8-fe13-17cd-8819-2cd93500a79c@redhat.com>
Date:   Thu, 25 Nov 2021 11:32:08 +0100
MIME-Version: 1.0
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:91.0) Gecko/20100101
 Thunderbird/91.2.0
Content-Language: en-US
To:     Peter Xu <peterx@redhat.com>, Shakeel Butt <shakeelb@google.com>
Cc:     "Kirill A . Shutemov" <kirill.shutemov@linux.intel.com>,
        Yang Shi <shy828301@gmail.com>, Zi Yan <ziy@nvidia.com>,
        Matthew Wilcox <willy@infradead.org>,
        Andrew Morton <akpm@linux-foundation.org>, linux-mm@kvack.org,
        linux-kernel@vger.kernel.org
References: <20211120201230.920082-1-shakeelb@google.com>
 <25b36a5c-5bbd-5423-0c67-05cd6c1432a7@redhat.com>
 <CALvZod5L1C1DV_DVs9O3xZm6CJnriunAoj89YLDdCp7ef5yBxA@mail.gmail.com>
 <YZ9kUD5AG6inbUEg@xz-m1.local>
From:   David Hildenbrand <david@redhat.com>
Organization: Red Hat
Subject: Re: [PATCH] mm: split thp synchronously on MADV_DONTNEED
In-Reply-To: <YZ9kUD5AG6inbUEg@xz-m1.local>
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 7bit
Precedence: bulk

On 25.11.21 11:24, Peter Xu wrote:
> On Mon, Nov 22, 2021 at 10:40:54AM -0800, Shakeel Butt wrote:
>>> Do we have a performance evaluation how much overhead is added e.g., for
>>> a single 4k MADV_DONTNEED call on a THP or on a MADV_DONTNEED call that
>>> covers the whole THP?
>>
>> I did a simple benchmark of madvise(MADV_DONTNEED) on 10000 THPs on
>> x86 for both settings you suggested. I don't see any statistically
>> significant difference with and without the patch. Let me know if you
>> want me to try something else.
> 
> I'm a bit surprised that sync split thp didn't bring any extra overhead.
> 
> "unmap whole thp" is understandable from that pov, because afaict that won't
> even trigger any thp split anyway even delayed, if this is the simplest case
> that only this process mapped this thp, and it mapped once.
> 
> For "unmap 4k upon thp" IIUC that's the worst case and zapping 4k should be
> fast; while what I don't understand since thp split requires all hand-made work
> for copying thp flags into small pages and so on, so I thought there should at
> least be some overhead measured.  Shakeel, could there be something overlooked
> in the test, or maybe it's me that overlooked?
> 
> I had the same concern as what Kirill/Matthew raised in the other thread - I'm
> worried proactively splitting simply because any 4k page is zapped might
> quickly free up 2m thps in the system and I'm not sure whether it'll exaggerate
> the defragmentation of the system memory in general.  I'm also not sure whether
> that's ideal for some very common workload that frequently uses DONTNEED to
> proactively drop some pages.

The pageblock corresponding to the THP is movable. So (unless we start
spilling unmovable allocations into movable pageblocks) we'd only place
movable allocations in there. Compaction will be able to migrate to
re-create a free THP.

In contrast I think, compaction will happily skip over the THP and
ignore it, because it has no clue that the THP could be repurposed by
split+migrate (at least I am not aware of code that does it).

Unless I am missing something, with the above in mind it could make
sense to split as soon as possible, even before we're under memory
pressure -- for example, for proactive compaction.

[proactive compaction could try splitting first as well I think]

-- 
Thanks,

David / dhildenb