linux-mm.kvack.org archive mirror
 help / color / mirror / Atom feed
From: David Hildenbrand <david@redhat.com>
To: Harry Yoo <harry.yoo@oracle.com>
Cc: Andrew Morton <akpm@linux-foundation.org>,
	Lorenzo Stoakes <lorenzo.stoakes@oracle.com>,
	"Liam R . Howlett" <Liam.Howlett@oracle.com>,
	Vlastimil Babka <vbabka@suse.cz>, Mike Rapoport <rppt@kernel.org>,
	Suren Baghdasaryan <surenb@google.com>,
	Michal Hocko <mhocko@suse.com>, Christoph Lameter <cl@gentwo.org>,
	David Rientjes <rientjes@google.com>,
	Matthew Wilcox <willy@infradead.org>,
	linux-mm@kvack.org
Subject: Re: [PATCH v2 mm-new] mm: check if folio has valid mapcount before folio_test_{anon,ksm}() when necessary
Date: Tue, 8 Jul 2025 10:32:44 +0200	[thread overview]
Message-ID: <77384767-f821-4736-940b-051664922c8c@redhat.com> (raw)
In-Reply-To: <aGzXCpjWFUD4iwYO@hyeyoo>

On 08.07.25 10:30, Harry Yoo wrote:
> On Tue, Jul 08, 2025 at 10:07:26AM +0200, David Hildenbrand wrote:
>>>    	if (folio_test_anon(folio)) {
>>> diff --git a/include/linux/page-flags.h b/include/linux/page-flags.h
>>> index 970600d79dac..00ba2c8b221e 100644
>>> --- a/include/linux/page-flags.h
>>> +++ b/include/linux/page-flags.h
>>> @@ -706,12 +706,15 @@ PAGEFLAG_FALSE(VmemmapSelfHosted, vmemmap_self_hosted)
>>>     * address_space which maps the folio from disk; whereas "folio_mapped"
>>>     * refers to user virtual address space into which the folio is mapped.
>>>     *
>>> - * For slab pages, since slab reuses the bits in struct page to store its
>>> - * internal states, the folio->mapping does not exist as such, nor do
>>> - * these flags below.  So in order to avoid testing non-existent bits,
>>> - * please make sure that folio_test_slab(folio) actually evaluates to
>>> - * false before calling the following functions (e.g., folio_test_anon).
>>> - * See mm/slab.h.
>>> + * For certain typed pages like slabs, since they reuse bits in struct page
>>> + * to store internal states, folio->mapping does not point to a valid
>>> + * mapping, nor do these flags exist. To avoid testing non-existent bits,
>>> + * make sure folio_has_mapcount() actually evaluates to true before calling
>>> + * the following functions (e.g., folio_test_anon).
>>> + *
>>> + * The folio_has_mapcount() check can be skipped if the folio is mapped
>>> + * to userspace, since a folio with !folio_has_mapcount() cannot be mapped
>>> + * to userspace at all.
>>>     */
>>>    #define FOLIO_MAPPING_ANON	0x1
>>>    #define FOLIO_MAPPING_ANON_KSM	0x2
>>> @@ -1092,6 +1095,11 @@ static inline bool PageHuge(const struct page *page)
>>>    	return folio_test_hugetlb(page_folio(page));
>>>    }
>>> +static inline bool folio_has_mapcount(const struct folio *folio)
>>> +{
>>> +	return !page_has_type(&folio->page) || folio_test_hugetlb(folio);
>>> +}
>>> +
>>
>> I don't like the naming.
> 
> I don't like it either, but I couldn't come up with a better name :(
> 
>> The thing is, in the future only folios will have a mapcount.
> 
> Agreed.
> 
>> Asking whether a folio has a mapcount is asking the wrong question.
> 
> Agreed.
> 
>> It's rather, that we want to reject *pages* early, and not cast them to the
>> folio in the first place.
> 
> Totally agreed.
> 
> But that's the future, and we're not there yet.
> What should we do now?

Check before converting from page to folio in stable_page_flags() and 
leave folio_expected_ref_count() alone. In folio_expected_ref_count() 
it's a sanity check that should never happen.

-- 
Cheers,

David / dhildenb



  reply	other threads:[~2025-07-08  8:32 UTC|newest]

Thread overview: 6+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2025-07-07 12:07 Harry Yoo
2025-07-08  8:07 ` David Hildenbrand
2025-07-08  8:30   ` Harry Yoo
2025-07-08  8:32     ` David Hildenbrand [this message]
2025-07-08  8:56       ` Harry Yoo
2025-07-08  9:02         ` David Hildenbrand

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=77384767-f821-4736-940b-051664922c8c@redhat.com \
    --to=david@redhat.com \
    --cc=Liam.Howlett@oracle.com \
    --cc=akpm@linux-foundation.org \
    --cc=cl@gentwo.org \
    --cc=harry.yoo@oracle.com \
    --cc=linux-mm@kvack.org \
    --cc=lorenzo.stoakes@oracle.com \
    --cc=mhocko@suse.com \
    --cc=rientjes@google.com \
    --cc=rppt@kernel.org \
    --cc=surenb@google.com \
    --cc=vbabka@suse.cz \
    --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