Received-SPF: pass (google.com: domain of linux-kernel+bounces-152685-linux.lists.archive=gmail.com@vger.kernel.org designates 2604:1380:45d1:ec00::1 as permitted sender) client-ip=2604:1380:45d1:ec00::1;
Message-ID: <1dd938aa-3066-4e3d-a7eb-e1dd83ebbf25@gmail.com>
Date: Mon, 22 Apr 2024 10:44:56 +0800
Precedence: bulk
MIME-Version: 1.0
User-Agent: Mozilla Thunderbird
Subject: Re: [PATCH v1] mm/ksm: remove page_mapcount() usage in
 stable_tree_search()
To: David Hildenbrand <david@redhat.com>, linux-kernel@vger.kernel.org
Cc: linux-mm@kvack.org, Andrew Morton <akpm@linux-foundation.org>,
 Alex Shi <alexs@kernel.org>
References: <20240416172533.663418-1-david@redhat.com>
Content-Language: en-US
From: Alex Shi <seakeel@gmail.com>
In-Reply-To: <20240416172533.663418-1-david@redhat.com>
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 7bit


On 4/17/24 1:25 AM, David Hildenbrand wrote:
> We want to limit the use of page_mapcount() to the places where it is
> absolutely necessary.
> 
> If our folio has a stable node, it is a (small) KSM folio -- see
> folio_stable_node(). Let's use folio_mapcount() in stable_tree_search()
> instead, which results in no functional change.
> 
> The mapcount > 1 check is a bit confusing, because that's usually a check
> for page sharing. Looks like the reason is that we are guaranteed to not
> exceed ksm_max_page_sharing for the tree KSM folio when merging with
> that. Let's update the documentation to make that clearer.
> 
> Cc: Andrew Morton <akpm@linux-foundation.org>
> Cc: Alex Shi (tencent) <alexs@kernel.org>
> Signed-off-by: David Hildenbrand <david@redhat.com>
> ---
>  mm/ksm.c | 13 ++++++++-----
>  1 file changed, 8 insertions(+), 5 deletions(-)
> 
> diff --git a/mm/ksm.c b/mm/ksm.c
> index 486c9974f8e20..159604ad47799 100644
> --- a/mm/ksm.c
> +++ b/mm/ksm.c
> @@ -1909,12 +1909,15 @@ static struct page *stable_tree_search(struct page *page)
>  			if (page_node) {
>  				VM_BUG_ON(page_node->head != &migrate_nodes);
>  				/*
> -				 * Test if the migrated page should be merged
> -				 * into a stable node dup. If the mapcount is
> -				 * 1 we can migrate it with another KSM page
> -				 * without adding it to the chain.
> +				 * If the mapcount of our migrated KSM folio is
> +				 * at most 1, we can merge it with another
> +				 * KSM folio where we know that we have space
> +				 * for one more mapping without exceeding the
> +				 * ksm_max_page_sharing limit: see
> +				 * chain_prune(). This way, we can avoid adding
> +				 * this stable node to the chain.
>  				 */
> -				if (page_mapcount(page) > 1)
> +				if (folio_mapcount(folio) > 1)
>  					goto chain_append;
>  			}
>  

LGTM

Reviewed-by: Alex Shi <alexs@kernel.org>