Received-SPF: pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 2620:137:e000::1:20 as permitted sender) client-ip=2620:137:e000::1:20;
Date:   Thu, 22 Sep 2022 15:41:36 -0700
From:   Mike Kravetz <mike.kravetz@oracle.com>
To:     Doug Berger <opendmb@gmail.com>
Cc:     Andrew Morton <akpm@linux-foundation.org>,
        Muchun Song <songmuchun@bytedance.com>,
        Oscar Salvador <osalvador@suse.de>,
        Michal Hocko <mhocko@suse.com>,
        David Hildenbrand <david@redhat.com>,
        Florian Fainelli <f.fainelli@gmail.com>, linux-mm@kvack.org,
        linux-kernel@vger.kernel.org
Subject: Re: [PATCH 0/3] mm/hugetlb: hugepage migration enhancements
Message-ID: <YyzkoGJsIXVFW6ZL@monkey>
References: <20220921223639.1152392-1-opendmb@gmail.com>
 <YyzEz4snl2x51iTY@monkey>
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <YyzEz4snl2x51iTY@monkey>
MIME-Version: 1.0
X-MS-Exchange-AntiSpam-MessageData-ChunkCount: 1
X-MS-Exchange-AntiSpam-MessageData-0: =?us-ascii?Q?pmmPaSzuNdvHbkIYE44bkbBNFcvXnPjbHfHfRnvQGTL+w6jfVIB4CbBv5oAg?=
 =?us-ascii?Q?PaTOjdBZ1PfiQZVpA8wj+P9G3K4Kj1M3FXK7Rf6a6kQVy7EoQDnoHL90QmG3?=
 =?us-ascii?Q?9ZQ99meaag+iTUDeo7w/P4thNJiP3DYzsx9XVnpVQFoPzI/yTzBE5FKOgxqb?=
 =?us-ascii?Q?pBr6ZwonsXDcEb6JnbF20GN+m+pcMHSp2+4HWDxjo5EieVrdvbG4c/D4dAZo?=
 =?us-ascii?Q?Kwyy3ilyUXTUvx16I0ulhUCIYz6Z04340peJ1paoYPDEgnj8GJEBo/CDaCuK?=
 =?us-ascii?Q?NREtMQVOy3btz8/PtPQIYKFfeWmr75UhWI+Siz1cA7XoLXhd84AkeCei4DKR?=
 =?us-ascii?Q?sEbSiy7+K7GQKKhQoDqxDHTPkFFhk7MccA3IbDR8iUCtyCALdp2fHSFrJlcC?=
 =?us-ascii?Q?F3XxslFBYRR9OlRat7MECRDkUSXs+0BpSKIcGLt9TKUVTmuV2R22/mfGNfUE?=
 =?us-ascii?Q?hwn0fLGNLO89NhNuLUzAqJDhCQS6anRLwbJ99qLtNGCIBlmUCsTzSZr7B0yY?=
 =?us-ascii?Q?TLE/7SNUbWL5QURjKKA4k9g6m0LymhimN8bWZZOYaZu6oO8NgKc8uDpTOoP0?=
 =?us-ascii?Q?axFUzq+/EG4PDFuniHfXF4+P+yq+P31HT+T/VydczncdNUKiF9N37Uq9PRhG?=
 =?us-ascii?Q?aiJS/aBzVoSZGOTJW18mMVDeeo3IRxrySHzDDTZlGH3zzLZKjwl/aaMZyZfz?=
 =?us-ascii?Q?+Yht/yNp3cslx3SisdOELWKv2emuV0BCj8FUrlvdDfQBgbcLvjujQKK42Fnw?=
 =?us-ascii?Q?dRluwullSPu9IBlWQtzdL7dcdZB5ONpDNbFaEoTt9/C/qM9Ls8ZSBuPNtlgJ?=
 =?us-ascii?Q?4B6f2LN3d26gOOASYDxZ21iCWiiA5v5Ip2hZ42HGHexTRKnAVBzPWpy/R+k+?=
 =?us-ascii?Q?7tn8gl0RVAOOpfxJvC/JqmCLX0PfrnRdHLyLgFhIQUrd3mXW3/f5y7Hkj7oK?=
 =?us-ascii?Q?YXNV99WUqNzGLXJuzdv5ysJU5ktaAp+qkCQ1Ob44teO8qq+Wdh+uSJGchTTt?=
 =?us-ascii?Q?ANjQY016+540rRwDtgoN2BRA8aCeoujwGfncj/0lV5uj89hZgcJrSIcigyvV?=
 =?us-ascii?Q?0vVX3gmF+W2qw0uxnTmvb0dNTDwbXkLuZ/Y/uc+JgZidSCnY+ljt0Nu3yrRd?=
 =?us-ascii?Q?G4Em8wWynO27Pn5JzJD9h0y0qduyeAgTk7pD/vDGD6GCCw1iRcQUJ5l+OE4D?=
 =?us-ascii?Q?OjWUgYlW79KkO7mCbRqs603qZMNEwhZmfoXbl7kUICHDY38RIF9LyNxuV1Oe?=
 =?us-ascii?Q?DgsRuh1GwSZF9zABKFmwvAlLeyb0zQTdLRLXFLOZUbISltv6rOydkHYwjeOD?=
 =?us-ascii?Q?yHWYLv1JvsN3tMq5bUZJizjGTWhJ9NxZUyBkps4d1h3Oq133YtJhTQKugolA?=
 =?us-ascii?Q?ra+6vslbrofwcbDfPerk7n6O8umMw4C3Z8yf9XVTPlnYhxi8EcxnaNfIJN+o?=
 =?us-ascii?Q?3NLQXJ0lN7ZHgQP+8wbDoe73CsTw3/42c6xFUtSlGGB2XcGhlavrBcPc0ibj?=
 =?us-ascii?Q?d9xwMjtJYr+XyItpSrYmSUQoMNJNbLv3LPx+bzEVosr3wkB6kEb/65GZLrik?=
 =?us-ascii?Q?nLGRVOsRnUNsVvbgk3qsoij6k0oqe4LVCw8VryeQCSxzu+XOYENB0W2cUN+0?=
 =?us-ascii?Q?vw=3D=3D?=
X-OriginatorOrg: oracle.com
X-MS-Exchange-CrossTenant-Network-Message-Id: 5a30fc0d-b982-495f-ff5c-08da9ceb9cb8
X-MS-Exchange-CrossTenant-AuthSource: DM6PR10MB4201.namprd10.prod.outlook.com
X-MS-Exchange-CrossTenant-AuthAs: Internal
X-MS-Exchange-CrossTenant-OriginalArrivalTime: 22 Sep 2022 22:41:38.9006
 (UTC)
X-MS-Exchange-CrossTenant-FromEntityHeader: Hosted
X-MS-Exchange-CrossTenant-Id: 4e2c6054-71cb-48f1-bd6c-3a9705aca71b
X-MS-Exchange-CrossTenant-MailboxType: HOSTED
X-MS-Exchange-CrossTenant-UserPrincipalName: Ro/F2LTLw85KngCGWoHhOIhWjPKmQthfEwDhA2gUsow3BowSBuz7BR5UDJ9jGuXPw0umka3x/iGCgnBxn6Hfuw==
X-MS-Exchange-Transport-CrossTenantHeadersStamped: IA1PR10MB5898
X-Proofpoint-Virus-Version: vendor=baseguard
 engine=ICAP:2.0.205,Aquarius:18.0.895,Hydra:6.0.528,FMLib:17.11.122.1
 definitions=2022-09-22_14,2022-09-22_02,2022-06-22_01
X-Proofpoint-Spam-Details: rule=notspam policy=default score=0 mlxlogscore=999 adultscore=0
 phishscore=0 bulkscore=0 malwarescore=0 spamscore=0 suspectscore=0
 mlxscore=0 classifier=spam adjust=0 reason=mlx scancount=1
 engine=8.12.0-2209130000 definitions=main-2209220145
X-Proofpoint-ORIG-GUID: yWosrFLOItw5AD8tQksEcuw8ynyPBlD_
X-Proofpoint-GUID: yWosrFLOItw5AD8tQksEcuw8ynyPBlD_
X-Spam-Status: No, score=-2.8 required=5.0 tests=BAYES_00,DKIM_SIGNED,
        DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,RCVD_IN_DNSWL_LOW,
        RCVD_IN_MSPIKE_H2,SPF_HELO_NONE,SPF_NONE autolearn=ham
        autolearn_force=no version=3.4.6
X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on
        lindbergh.monkeyblade.net
Precedence: bulk
List-ID: <linux-kernel.vger.kernel.org>
X-Mailing-List: linux-kernel@vger.kernel.org

On 09/22/22 13:25, Mike Kravetz wrote:
> On 09/21/22 15:36, Doug Berger wrote:
> 
> As noted above, for pages to be migrated we first try to use an existing
> free huge page as the target.  Quite some time ago, Michal added code to
> allocate a new page from buddy as the target if no free huge pages were
> available.  This change also included a special flag to dissolve the
> source huge page when it is freed.  It seems like this is the exact
> behavior we want here?  I wonder if it might be easier just to use this
> existing code?

Totally untested, but I believe the patch below would accomplish this.

From aa8fc11bb67bc9e67e3b6b280fab339afce37759 Mon Sep 17 00:00:00 2001
From: Mike Kravetz <mike.kravetz@oracle.com>
Date: Thu, 22 Sep 2022 15:32:10 -0700
Subject: [PATCH] hugetlb: force alloc_contig_range hugetlb migrations to
 allocate new pages

When migrating hugetlb pages as the result of an alloc_contig_range
operation, allocate a new page from buddy for the migration target.
This guarantees that the number of hugetlb pages is not decreased by
the operation.  In addition, this will result in the special HPageTemporary
flag being set in the source page so that it will be dissolved when
freed.

Signed-off-by: Mike Kravetz <mike.kravetz@oracle.com>
---
 include/linux/hugetlb.h |  5 +++--
 mm/hugetlb.c            | 12 ++++++++++--
 mm/internal.h           |  1 +
 mm/migrate.c            |  3 ++-
 mm/page_alloc.c         |  1 +
 5 files changed, 17 insertions(+), 5 deletions(-)

diff --git a/include/linux/hugetlb.h b/include/linux/hugetlb.h
index cfe15b32e2d4..558831bf1087 100644
--- a/include/linux/hugetlb.h
+++ b/include/linux/hugetlb.h
@@ -702,7 +702,8 @@ int isolate_or_dissolve_huge_page(struct page *page, struct list_head *list);
 struct page *alloc_huge_page(struct vm_area_struct *vma,
 				unsigned long addr, int avoid_reserve);
 struct page *alloc_huge_page_nodemask(struct hstate *h, int preferred_nid,
-				nodemask_t *nmask, gfp_t gfp_mask);
+				nodemask_t *nmask, gfp_t gfp_mask,
+				bool temporary);
 struct page *alloc_huge_page_vma(struct hstate *h, struct vm_area_struct *vma,
 				unsigned long address);
 int hugetlb_add_to_page_cache(struct page *page, struct address_space *mapping,
@@ -1003,7 +1004,7 @@ static inline struct page *alloc_huge_page(struct vm_area_struct *vma,
 
 static inline struct page *
 alloc_huge_page_nodemask(struct hstate *h, int preferred_nid,
-			nodemask_t *nmask, gfp_t gfp_mask)
+			nodemask_t *nmask, gfp_t gfp_mask, bool temporary)
 {
 	return NULL;
 }
diff --git a/mm/hugetlb.c b/mm/hugetlb.c
index 8bcaf66defc5..19de8ae79ec8 100644
--- a/mm/hugetlb.c
+++ b/mm/hugetlb.c
@@ -2308,8 +2308,11 @@ struct page *alloc_buddy_huge_page_with_mpol(struct hstate *h,
 
 /* page migration callback function */
 struct page *alloc_huge_page_nodemask(struct hstate *h, int preferred_nid,
-		nodemask_t *nmask, gfp_t gfp_mask)
+		nodemask_t *nmask, gfp_t gfp_mask, bool temporary)
 {
+	if (temporary)
+		goto temporary_alloc;
+
 	spin_lock_irq(&hugetlb_lock);
 	if (h->free_huge_pages - h->resv_huge_pages > 0) {
 		struct page *page;
@@ -2322,6 +2325,11 @@ struct page *alloc_huge_page_nodemask(struct hstate *h, int preferred_nid,
 	}
 	spin_unlock_irq(&hugetlb_lock);
 
+temporary_alloc:
+	/*
+	 * Try to allocate a fresh page that with special HPageTemporary
+	 * characteristics
+	 */
 	return alloc_migrate_huge_page(h, gfp_mask, preferred_nid, nmask);
 }
 
@@ -2337,7 +2345,7 @@ struct page *alloc_huge_page_vma(struct hstate *h, struct vm_area_struct *vma,
 
 	gfp_mask = htlb_alloc_mask(h);
 	node = huge_node(vma, address, gfp_mask, &mpol, &nodemask);
-	page = alloc_huge_page_nodemask(h, node, nodemask, gfp_mask);
+	page = alloc_huge_page_nodemask(h, node, nodemask, gfp_mask, false);
 	mpol_cond_put(mpol);
 
 	return page;
diff --git a/mm/internal.h b/mm/internal.h
index b3002e03c28f..3ebf8885e24f 100644
--- a/mm/internal.h
+++ b/mm/internal.h
@@ -800,6 +800,7 @@ struct migration_target_control {
 	int nid;		/* preferred node id */
 	nodemask_t *nmask;
 	gfp_t gfp_mask;
+	bool alloc_contig;	/* alloc_contig_range allocation */
 };
 
 /*
diff --git a/mm/migrate.c b/mm/migrate.c
index c228afba0963..6505ba2070d7 100644
--- a/mm/migrate.c
+++ b/mm/migrate.c
@@ -1610,7 +1610,8 @@ struct page *alloc_migration_target(struct page *page, unsigned long private)
 		struct hstate *h = page_hstate(&folio->page);
 
 		gfp_mask = htlb_modify_alloc_mask(h, gfp_mask);
-		return alloc_huge_page_nodemask(h, nid, mtc->nmask, gfp_mask);
+		return alloc_huge_page_nodemask(h, nid, mtc->nmask, gfp_mask,
+						mtc->alloc_contig);
 	}
 
 	if (folio_test_large(folio)) {
diff --git a/mm/page_alloc.c b/mm/page_alloc.c
index d7b20bf09c1c..2b8a5a2b51cd 100644
--- a/mm/page_alloc.c
+++ b/mm/page_alloc.c
@@ -9166,6 +9166,7 @@ int __alloc_contig_migrate_range(struct compact_control *cc,
 	struct migration_target_control mtc = {
 		.nid = zone_to_nid(cc->zone),
 		.gfp_mask = GFP_USER | __GFP_MOVABLE | __GFP_RETRY_MAYFAIL,
+		.alloc_contig = true,
 	};
 
 	lru_cache_disable();
-- 
2.37.3