On Wed, Jan 22, 2025 at 03:25:29PM +0100, David Hildenbrand wrote: >(split is possible if there are no unexpected folio references; private >pages cannot be GUP'ed, so it is feasible) ... > > > Note that I'm not quite sure about the "2MB" interface, should it be > > > a > > > "PMD-size" interface? > > > > I think Mike and I touched upon this aspect too - and I may be > > misremembering - Mike suggested getting 1M, 2M, and bigger page sizes > > in increments -- and then fitting in PMD sizes when we've had enough of > > those. That is to say he didn't want to preclude it, or gate the PMD > > work on enabling all sizes first. > > Starting with 2M is reasonable for now. The real question is how we want to > deal with Hi David, I'm just trying to understand the background of in-place conversion. Regarding to the two issues you mentioned with THP and non-in-place-conversion, I have some questions (still based on starting with 2M): > (a) Not being able to allocate a 2M folio reliably If we start with fault in private pages from guest_memfd (not in page pool way) and shared pages anonymously, is it correct to say that this is only a concern when memory is under pressure? > (b) Partial discarding For shared pages, page migration and folio split are possible for shared THP? For private pages, as you pointed out earlier, if we can ensure there are no unexpected folio references for private memory, splitting a private huge folio should succeed. Are you concerned about the memory fragmentation after repeated partial conversions of private pages to and from shared? Thanks Yan > Using only (unmovable) 2M folios would effectively not cause any real memory > fragmentation in the system, because memory compaction operates on 2M > pageblocks on x86. So that feels quite compelling. > > Ideally we'd have a 2M pagepool from which guest_memfd would allocate pages > and to which it would putback pages. Yes, this sound similar to hugetlb, but > might be much easier to implement, because we are not limited by some of the > hugetlb design decisions (HVO, not being able to partially map them, etc.).
