From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail-pl1-f202.google.com (mail-pl1-f202.google.com [209.85.214.202]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by smtp.subspace.kernel.org (Postfix) with ESMTPS id 6AF4932470A for ; Sun, 31 May 2026 05:58:33 +0000 (UTC) Authentication-Results: smtp.subspace.kernel.org; arc=none smtp.client-ip=209.85.214.202 ARC-Seal:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1780207114; cv=none; b=cpmSDBNkHN8WSbNosFk+J7+sHM3Fr3W8A3NQamM4MmCKzcckqy3zQyV3uOAhSglfA0uiRioGM8/vCc3cCChIE3Sra7aWZXC6XTdEOk9O0BZhtK/JkKfa6HJLTl2T9E9T2m1rGVXtZSM2Uc3zOsOWMiujbB6unTDKqyvTC2DK5G4= ARC-Message-Signature:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1780207114; c=relaxed/simple; bh=5gU0oGBwwoEeXkYm4fs/VWrP/IHfZ6OrZIccHsJoifE=; h=Date:Mime-Version:Message-ID:Subject:From:To:Cc:Content-Type; b=HU84F0G8qlyS7vYqaPCfpHNiTTy3HCLncj647BH7HNtyn5ubBpiDCeWPrug2YyXkZa6EhRgLCooMADtP5krzww6DJz2hWz4h6N53oZ3QMWJ9qkoKE6PQ7BPFfXUcy0D3+S7/FHLYR3bLZ+VSpU52u0/6dEqQEqdDmQTM33IokVE= ARC-Authentication-Results:i=1; smtp.subspace.kernel.org; dmarc=pass (p=reject dis=none) header.from=google.com; spf=pass smtp.mailfrom=flex--jiaqiyan.bounces.google.com; dkim=pass (2048-bit key) header.d=google.com header.i=@google.com header.b=iNiPgTHu; arc=none smtp.client-ip=209.85.214.202 Authentication-Results: smtp.subspace.kernel.org; dmarc=pass (p=reject dis=none) header.from=google.com Authentication-Results: smtp.subspace.kernel.org; spf=pass smtp.mailfrom=flex--jiaqiyan.bounces.google.com Authentication-Results: smtp.subspace.kernel.org; dkim=pass (2048-bit key) header.d=google.com header.i=@google.com header.b="iNiPgTHu" Received: by mail-pl1-f202.google.com with SMTP id d9443c01a7336-2bf160f7191so13426085ad.3 for ; Sat, 30 May 2026 22:58:33 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=20251104; t=1780207112; x=1780811912; darn=vger.kernel.org; h=cc:to:from:subject:message-id:mime-version:date:from:to:cc:subject :date:message-id:reply-to; bh=dr+9qq/jAcebHDP2TjTQz0UYWksq816yOQ7d10bXinE=; b=iNiPgTHu2YzH4J/ktHUgdm22URNYmEWdG7YtArhR3XR3ZpVAN3M4zaOvTjnDnQXkyu VcCLNHYsa6yE5zKyLhMYiWlJdIu3ooCNZzZlGLQOsoEzkdkvBkNCNjRZi4x+xw6SR+Cl IWYoa1NBQx71W88GXU9PfSqP84GIET13+z9urERZP3DoE7YWr9h0V6pJ25CLTKEuce9Z GQhqHQiAjSc5SctD+IaD9ni1D2eJIPpJQZlWNLDX+H3GUjKeTt48zyMjmYi6Dw0c5oXq 6HGdQFPRHyyYfXMOZvq8tHtDoB/N+K91R+brZoOygmXsMrSvOoIW1V3iacqVTccUFseH Ziew== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20251104; t=1780207112; x=1780811912; h=cc:to:from:subject:message-id:mime-version:date:x-gm-message-state :from:to:cc:subject:date:message-id:reply-to; bh=dr+9qq/jAcebHDP2TjTQz0UYWksq816yOQ7d10bXinE=; b=VqDRQE2DhhBAH7oC6htoRY+2fKfR0u4Xuvo6QnrOJZN6+U+oF3HoX2zdRD/PvgCX2V utDLp13M/iHaJ+CYqzDKk9YVVy08l+G9Anz43KolaGSxBwULCSy6dg+duhkYFZqqswaW A9VkuMyhC3A5WMoGTgOzilU9PRKeSQA0kgSlJc73dbU5BWtxKa9urpGNlHFhDktRftoo uLsBVkAhJlp7lUKUWq9A27pwbUyys3dqzIqKsBKwnp9IENzEbq+MGHj+sS/3XFnlU+Rq sJs92QJ5HvYqZKvSWSqvyclwvmyXKZHxl0XhIpkcG5lOm4mH0cxX6R4MGG+Hj18OFldt IcUw== X-Forwarded-Encrypted: i=1; AFNElJ+sqQv/lxfE38XJQyqT6/kwlOLH2or+GpZEHFAcoWX2bpBa0l/w6f35MQGIWW2TpqQzOL4v78MWzqN1V2E=@vger.kernel.org X-Gm-Message-State: AOJu0Ywu/CgxfbniofDB75tDHHHhm64DSeAKBzDWkACJOKhPDawjDLjs mOELtNZweq84yPqa9b+kpv5Uot1FumNrv3iR45GFyLpSX4OKVjxCmyM5sWhL4yDaRkXJynxJJeG m+vNfpU+OGe+ioQ== X-Received: from plbkt11.prod.google.com ([2002:a17:903:88b:b0:2be:fd11:30f4]) (user=jiaqiyan job=prod-delivery.src-stubby-dispatcher) by 2002:a17:902:ecc4:b0:2bd:2458:50d4 with SMTP id d9443c01a7336-2bf368cbb55mr67088825ad.41.1780207112324; Sat, 30 May 2026 22:58:32 -0700 (PDT) Date: Sun, 31 May 2026 05:58:25 +0000 Precedence: bulk X-Mailing-List: linux-kernel@vger.kernel.org List-Id: List-Subscribe: List-Unsubscribe: Mime-Version: 1.0 X-Mailer: git-send-email 2.54.0.823.g6e5bcc1fc9-goog Message-ID: <20260531055829.3636554-1-jiaqiyan@google.com> Subject: [PATCH v5 0/4] Only free healthy pages in high-order has_hwpoisoned folio From: Jiaqi Yan To: ljs@kernel.org, linmiaohe@huawei.com, osalvador@kernel.org, ziy@nvidia.com, harry.yoo@oracle.com, willy@infradead.org Cc: osalvador@suse.de, lorenzo.stoakes@oracle.com, jackmanb@google.com, hannes@cmpxchg.org, nao.horiguchi@gmail.com, david@kernel.org, william.roche@oracle.com, tony.luck@intel.com, wangkefeng.wang@huawei.com, jane.chu@oracle.com, akpm@linux-foundation.org, muchun.song@linux.dev, liam@infradead.org, rientjes@google.com, duenwen@google.com, jthoughton@google.com, linux-mm@kvack.org, linux-kernel@vger.kernel.org, vbabka@suse.cz, rppt@kernel.org, shuah@kernel.org, surenb@google.com, mhocko@suse.com, boudewijn@delta-utec.com, Jiaqi Yan Content-Type: text/plain; charset="UTF-8" At the end of dissolve_free_hugetlb_folio(), a free HugeTLB folio becomes non-HugeTLB and is released to buddy allocator as a high-order folio, e.g. a folio that contains 262144 pages if the folio was a 1G HugeTLB hugepage. This is problematic if the HugeTLB hugepage contained HWPoison subpages. In that case, since buddy allocator does not check HWPoison for non-zero-order folio, the raw HWPoison page can be given out with its buddy page and be re-used by either kernel or userspace. Memory failure recovery (MFR) code (mm/memory-failure.c) does attempt to take raw HWPoison page off buddy allocator after dissolve_free_hugetlb_folio(). However, there is always a time window between dissolve_free_hugetlb_folio() frees a HWPoison high-order folio to buddy allocator and MFR takes HWPoison raw page off buddy allocator. Another similar situation is when a transparent huge page (THP) is handled by MFR but splitting failed. Such THP will eventually be released to buddy allocator when owning userspace processes are gone, but with certain subpages having HWPoison [9]. One obvious way to avoid both problems is to add page sanity checks in page allocate or free path. However, it is against the past efforts to reduce sanity check overhead [1,2,3]. Introduce free_has_hwpoisoned() to only free the healthy pages and excludes the HWPoison ones in the high-order folio. free_has_hwpoisoned() happens at the end of free_pages_prepare(), which already deals with both decomposing the original compound page, updating page metadata like alloc tag and page owner. It is also only applied when PG_has_hwpoisoned indicates folio contains certain HWPoison page(s) for performance reason. Its idea is to iterate through the sub-pages of the folio to identify contiguous ranges of healthy pages. Instead of freeing pages one by one, free_has_hwpoisoned() then re-use free_prepared_contig_range() [11] to decompose healthy ranges into the largest possible chunks of different orders. Every chunk is freed via free_one_page(). free_has_hwpoisoned() has linear time complexity wrt the number of pages in the folio. While the power-of-two decomposition ensures that the number of calls to the buddy allocator is logarithmic for each contiguous healthy range, the mandatory linear scan of pages to identify PageHWPoison defines the overall time complexity. I tested with some test-only code [4] and hugetlb-mfr [5], by checking the status of pcplist and freelist immediately after dissolve_free_hugetlb_folio() a free 2M or 1G HugeTLB page that contains 1~8 HWPoison raw pages: - HWPoison pages are excluded by free_has_hwpoisoned(). - Some healthy pages can be in zone->per_cpu_pageset (pcplist) because pcp_count is not high enough. Many healthy pages are in some order's zone->free_area[order].free_list (freelist). - In rare cases, some healthy pages are in neither pcplist nor freelist. My best guest is they are allocated before the test checks. To illustrate the latency free_has_hwpoisoned() added to the memory freeing path, I tested its time cost with 8 HWPoison pages with instrument code in [4] for 20 sample runs on a machine having 56 Intel Skylake physical cores and 768GB memory: - Has HWPoison path: mean=1030us, stdev=21us - No HWPoison path: mean=66us, stdev=6us free_has_hwpoisoned() is around 15x the baseline. Its cost is nontrivial, but still far from triggering soft lockup, and fair for handling exceptional hardware memory errors. Now that free_has_hwpoisoned() ensures HWPoison pages never made into buddy allocator, MFR don't need to take_page_off_buddy() anymore after disovling HWPoison hugepages. So replace __page_handle_poison() with new __hugepage_handle_poison() for HugeTLB specific call sites. It may worthy to note that this patchset doesn't affect the soft offline behavior in MFR. This is because soft offline does not folio_set_hwpoison() upfront, and for HugeTLB case, doesn't involve get_huge_page_for_hwpoison(). To provide test coverage for the new __hugepage_handle_poison() in me_huge_page(), the last commit adds a MADV_HARD test variant for anonymous 1G HugeTLB pages. It also cover the code path that frees a 1G HugeTLB page that contains 1 raw HWPoison page. Based on commit 43eedcbb989c ("userfaultfd: make functions that are not used outside uffd static") Changelog v4 [10] -> v5 - Rebase to very recent akpm/mm-unstable. - Re-use free_prepared_contig_range() introduced by [11], and remove free_contiguous_pages() in v4. - Instead of using struct page pointer, iterate over pfn in free_has_hwpoison(). - Re-ested and re-evaluated free_has_hwpoison()'s time cost. - Add memory failure recovery test for anonymous 1G HugeTLB page to gain test coverage for __hugepage_handle_poison() and for freeing 1G HugeTLB page that has 1 HWPoison page. v3 [8] -> v4 - Address comments from Zi Yan, Miaohe Lin, Harry Yoo. - Set has_hwpoisoned flag after introducing free_has_hwpoisoned(). - Unwrap free_pages_prepare_has_hwpoisoned() into free_pages_prepare(). - If folio has HWPoison, its healthy pages will be freed with FPI_NONE right in free_pages_prepare(), who returns false to indicate caller should not proceeding its own freeing action. - Rework the commit on __page_handle_poison. Only change the handling for HWPoison HugeTLB page, leaving free buddy page and soft offline handling alone. v2 [7] -> v3: - Address comments from Mathew Wilcox, Harry Hoo, Miaohe Lin. - Let free_has_hwpoisoned() happen after free_pages_prepare(), which help to deal with decomposing the original compound page, and with page metadata like alloc tag and page owner. - Tested with "page_owner=on" and CONFIG_MEM_ALLOC_PROFILING*=y. - Wrap checking PG_has_hwpoisoned and free_has_hwpoisoned() into free_pages_prepare_has_hwpoisoned(), which replaces free_pages_prepare() calls in free_frozen_pages(). - Rename free_has_hwpoison_page() to free_has_hwpoisoned(). - Measure latency added by free_has_hwpoisoned(). - Ensure struct page *end is only used for pointer arithmetic, instead of accessed as page. - Refactor page_handl_poison instead of just __page_handle_poison(). v1 [6] -> v2: - Total reimplementation based on discussions with Mathew Wilcox, Harry Hoo, Zi Yan etc - hugetlb_free_hwpoison_folio() => free_has_hwpoison_pages(). - Utilize has_hwpoisoned flag to tell buddy allocator a high-order folio contains HWPoison. - Simplify __page_handle_poison() given that the HWPoison page(s) won't be freed within high-order folio. [1] https://lore.kernel.org/linux-mm/1460711275-1130-15-git-send-email-mgorman@techsingularity.net [2] https://lore.kernel.org/linux-mm/1460711275-1130-16-git-send-email-mgorman@techsingularity.net [3] https://lore.kernel.org/all/20230216095131.17336-1-vbabka@suse.cz [4] https://drive.google.com/file/d/1CzJn1Cc4wCCm183Y77h244fyZIkTLzCt/view?usp=sharing [5] https://lore.kernel.org/linux-mm/20251116013223.1557158-3-jiaqiyan@google.com [6] https://lore.kernel.org/linux-mm/20251116014721.1561456-1-jiaqiyan@google.com [7] https://lore.kernel.org/linux-mm/20251219183346.3627510-1-jiaqiyan@google.com [8] https://lore.kernel.org/linux-mm/20260112004923.888429-1-jiaqiyan@google.com [9] https://lore.kernel.org/linux-mm/20260113205441.506897-1-boudewijn@delta-utec.com [10] https://lore.kernel.org/linux-mm/20260202194125.2191216-1-jiaqiyan@google.com [11] https://lore.kernel.org/all/20260401101634.2868165-2-usama.anjum@arm.com Jiaqi Yan (4): mm/page_alloc: only free healthy pages in high-order has_hwpoisoned folio mm/memory-failure: set has_hwpoisoned flags on dissolved HugeTLB folio mm/memory-failure: skip take_page_off_buddy after dissolving HWPoison HugeTLB page selftests/mm: add hard memory failure anonymous 1G HugeTLB page test include/linux/page-flags.h | 2 +- mm/memory-failure.c | 37 +++++++-- mm/page_alloc.c | 85 +++++++++++++++++++++ tools/testing/selftests/mm/memory-failure.c | 73 ++++++++++++++++-- 4 files changed, 185 insertions(+), 12 deletions(-) -- 2.54.0.823.g6e5bcc1fc9-goog