From nobody Mon Feb 9 19:31:05 2026 Received: from mail-pf1-f176.google.com (mail-pf1-f176.google.com [209.85.210.176]) (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 A210221379 for ; Tue, 16 Apr 2024 03:35:17 +0000 (UTC) Authentication-Results: smtp.subspace.kernel.org; arc=none smtp.client-ip=209.85.210.176 ARC-Seal: i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1713238519; cv=none; b=gIhYr2wnLG4hsLseV9xHrfxP/m2ZjFr9syig47RGFpffNGzBFt/mdktFfnMXoyZDwwQW2NnJ5kZ2kXaeBS5KFzKfHpoQIWHMpebBs8pu4UkYFOXg0P7VeCzGeXfIhzi1eqlS0akz+V9Azlh4LhnTQS1BHgpF05hXqYws/cpeHjY= ARC-Message-Signature: i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1713238519; c=relaxed/simple; bh=QJ1PsiOtB8Xg26rcpVnJMLNlvHitX5kEJEfVsFo1BVo=; h=From:To:Cc:Subject:Date:Message-Id:In-Reply-To:References: MIME-Version; b=b0EUm/PJkJwwiDizWfZlQwHEdbhbUbpCh4gM7eSPbrg1pS5SCqXzZX8lZvILu/1ihfpjV33BGBPlt586B6HZpRARv/fbKOUR7/gcMcB9RkxI7wECSiJlFOOgXmJHZaox9ZtwbXKuzoyyoyXqQwEQqCsXWoouDbPg5Gs5Z1W88SI= ARC-Authentication-Results: i=1; smtp.subspace.kernel.org; dmarc=pass (p=none dis=none) header.from=gmail.com; spf=pass smtp.mailfrom=gmail.com; dkim=pass (2048-bit key) header.d=gmail.com header.i=@gmail.com header.b=fCAObNmx; arc=none smtp.client-ip=209.85.210.176 Authentication-Results: smtp.subspace.kernel.org; dmarc=pass (p=none dis=none) header.from=gmail.com Authentication-Results: smtp.subspace.kernel.org; spf=pass smtp.mailfrom=gmail.com Authentication-Results: smtp.subspace.kernel.org; dkim=pass (2048-bit key) header.d=gmail.com header.i=@gmail.com header.b="fCAObNmx" Received: by mail-pf1-f176.google.com with SMTP id d2e1a72fcca58-6ee12766586so2576290b3a.0 for ; Mon, 15 Apr 2024 20:35:17 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1713238517; x=1713843317; darn=vger.kernel.org; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:from:to:cc:subject:date :message-id:reply-to; bh=Y26dypB16OA0SVhjpIF+OcTwWxmNUbTnikqr5y0M6Fc=; b=fCAObNmxpKj6pA1OLGEbqaKnt5rvaJ+GKxmZdDFmfwLeEBZPg9kys07/LgGR/C2MLN dWm0Tqqrf+AD8a1beeCntuxaaeNzSPmhR2IAD1xwBx5nRRIK/ewNuo6syIZtAQ7jhyYV 2IFd7WWMStnD/C03Keg6NlIWNBJ0tgkl2S4r6MSYOr5F078WghoWeNYp29mrDHTymABj Qm8GdAxL5BdkY52r8OEayjA7iJ5ykr/MTw4ei2i6IvCdQ4Ce2QmN1d7BAOO24Tk/A5/r 9gYsZ54HaOyBLkSOiVPwY3AY7+7jmaR5ylkpQutYiuL/cwK45vAV8dUqVcjOXROCoMcN zGrw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1713238517; x=1713843317; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=Y26dypB16OA0SVhjpIF+OcTwWxmNUbTnikqr5y0M6Fc=; b=Gc9LmcClLB8G2vfT2woFNSAUSlE82R11W1Uy2omfenNMJHKY0Ali6CPFuoXfRcpV64 ZHB8EGBkj4P2LIyg9P4QtUnYTIzuH4Bs5H9h7RlS+TgqvjyPkSV33LhXpxxvXar34AFx qkm9SB1UBkPwNLPumGfjItUeccXXDtkd247m8rR8TNPcNvrp985orGEs1kKxy71z1PgV jFwsncviKf1ZlRePmEVJSIXxQAOzv2ai0R20HtmWR6yLZHo0gzs2SSqhMM4IiIAvV/zN 7g14GjiEfeOxNhqFwCxjzjUqLDEtC81vbIQvqfifaRamdPANjdy/yg1lmK0CbMQOddt2 E+ig== X-Forwarded-Encrypted: i=1; AJvYcCVBxbQnollb87o4eMeDhf/I6opRKGAts51zkcwGWvKwyHzMho/xfZ+EVHu7+rkMptyuROFFxuHAX+f26M6OCVmo1KQ104OeusXJCOBO X-Gm-Message-State: AOJu0Yw0EZwkniJAdnyQfefFn12PAbsGuVnV7IL20ELFexQoHgSKciQ9 yDYYtAZsM20/d8NV0Vt5hi5BSL2j9TtPM5bEHLcMCVK6nCTBrtYB X-Google-Smtp-Source: AGHT+IFyV0ITDY9sKZfPnYg4et6b+fPHhV71ixJ7FoSU2qMU9HkaIvNCBw2dcpvFdL4KgCCgbcP34w== X-Received: by 2002:a05:6a00:2382:b0:6ed:ca65:68b with SMTP id f2-20020a056a00238200b006edca65068bmr2029849pfc.4.1713238516924; Mon, 15 Apr 2024 20:35:16 -0700 (PDT) Received: from LancedeMBP.lan ([112.10.225.217]) by smtp.gmail.com with ESMTPSA id ka13-20020a056a00938d00b006e57247f4e5sm7906737pfb.8.2024.04.15.20.35.09 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Mon, 15 Apr 2024 20:35:16 -0700 (PDT) From: Lance Yang To: akpm@linux-foundation.org Cc: ryan.roberts@arm.com, david@redhat.com, 21cnbao@gmail.com, mhocko@suse.com, fengwei.yin@intel.com, zokeefe@google.com, shy828301@gmail.com, xiehuan09@gmail.com, wangkefeng.wang@huawei.com, songmuchun@bytedance.com, peterx@redhat.com, minchan@kernel.org, linux-mm@kvack.org, linux-kernel@vger.kernel.org, Lance Yang Subject: [PATCH v7 1/3] mm/madvise: introduce clear_young_dirty_ptes() batch helper Date: Tue, 16 Apr 2024 11:34:55 +0800 Message-Id: <20240416033457.32154-2-ioworker0@gmail.com> X-Mailer: git-send-email 2.33.1 In-Reply-To: <20240416033457.32154-1-ioworker0@gmail.com> References: <20240416033457.32154-1-ioworker0@gmail.com> Precedence: bulk X-Mailing-List: linux-kernel@vger.kernel.org List-Id: List-Subscribe: List-Unsubscribe: MIME-Version: 1.0 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset="utf-8" This commit introduces clear_young_dirty_ptes() to replace mkold_ptes(). By doing so, we can use the same function for both use cases (madvise_pageout and madvise_free), and it also provides the flexibility to only clear the dirty flag in the future if needed. Suggested-by: Ryan Roberts Signed-off-by: Lance Yang Acked-by: David Hildenbrand Reviewed-by: Ryan Roberts --- include/linux/mm_types.h | 9 +++++ include/linux/pgtable.h | 74 ++++++++++++++++++++++++---------------- mm/madvise.c | 3 +- 3 files changed, 55 insertions(+), 31 deletions(-) diff --git a/include/linux/mm_types.h b/include/linux/mm_types.h index c432add95913..28822cd65d2a 100644 --- a/include/linux/mm_types.h +++ b/include/linux/mm_types.h @@ -1367,6 +1367,15 @@ enum fault_flag { =20 typedef unsigned int __bitwise zap_flags_t; =20 +/* Flags for clear_young_dirty_ptes(). */ +typedef int __bitwise cydp_t; + +/* Clear the access bit */ +#define CYDP_CLEAR_YOUNG ((__force cydp_t)BIT(0)) + +/* Clear the dirty bit */ +#define CYDP_CLEAR_DIRTY ((__force cydp_t)BIT(1)) + /* * FOLL_PIN and FOLL_LONGTERM may be used in various combinations with each * other. Here is what they mean, and how to use them: diff --git a/include/linux/pgtable.h b/include/linux/pgtable.h index e2f45e22a6d1..18019f037bae 100644 --- a/include/linux/pgtable.h +++ b/include/linux/pgtable.h @@ -361,36 +361,6 @@ static inline int ptep_test_and_clear_young(struct vm_= area_struct *vma, } #endif =20 -#ifndef mkold_ptes -/** - * mkold_ptes - Mark PTEs that map consecutive pages of the same folio as = old. - * @vma: VMA the pages are mapped into. - * @addr: Address the first page is mapped at. - * @ptep: Page table pointer for the first entry. - * @nr: Number of entries to mark old. - * - * May be overridden by the architecture; otherwise, implemented as a simp= le - * loop over ptep_test_and_clear_young(). - * - * Note that PTE bits in the PTE range besides the PFN can differ. For exa= mple, - * some PTEs might be write-protected. - * - * Context: The caller holds the page table lock. The PTEs map consecutive - * pages that belong to the same folio. The PTEs are all in the same PMD. - */ -static inline void mkold_ptes(struct vm_area_struct *vma, unsigned long ad= dr, - pte_t *ptep, unsigned int nr) -{ - for (;;) { - ptep_test_and_clear_young(vma, addr, ptep); - if (--nr =3D=3D 0) - break; - ptep++; - addr +=3D PAGE_SIZE; - } -} -#endif - #ifndef __HAVE_ARCH_PMDP_TEST_AND_CLEAR_YOUNG #if defined(CONFIG_TRANSPARENT_HUGEPAGE) || defined(CONFIG_ARCH_HAS_NONLEA= F_PMD_YOUNG) static inline int pmdp_test_and_clear_young(struct vm_area_struct *vma, @@ -489,6 +459,50 @@ static inline pte_t ptep_get_and_clear(struct mm_struc= t *mm, } #endif =20 +#ifndef clear_young_dirty_ptes +/** + * clear_young_dirty_ptes - Mark PTEs that map consecutive pages of the + * same folio as old/clean. + * @mm: Address space the pages are mapped into. + * @addr: Address the first page is mapped at. + * @ptep: Page table pointer for the first entry. + * @nr: Number of entries to mark old/clean. + * @flags: Flags to modify the PTE batch semantics. + * + * May be overridden by the architecture; otherwise, implemented by + * get_and_clear/modify/set for each pte in the range. + * + * Note that PTE bits in the PTE range besides the PFN can differ. For exa= mple, + * some PTEs might be write-protected. + * + * Context: The caller holds the page table lock. The PTEs map consecutive + * pages that belong to the same folio. The PTEs are all in the same PMD. + */ +static inline void clear_young_dirty_ptes(struct vm_area_struct *vma, + unsigned long addr, pte_t *ptep, + unsigned int nr, cydp_t flags) +{ + pte_t pte; + + for (;;) { + if (flags =3D=3D CYDP_CLEAR_YOUNG) + ptep_test_and_clear_young(vma, addr, ptep); + else { + pte =3D ptep_get_and_clear(vma->vm_mm, addr, ptep); + if (flags & CYDP_CLEAR_YOUNG) + pte =3D pte_mkold(pte); + if (flags & CYDP_CLEAR_DIRTY) + pte =3D pte_mkclean(pte); + set_pte_at(vma->vm_mm, addr, ptep, pte); + } + if (--nr =3D=3D 0) + break; + ptep++; + addr +=3D PAGE_SIZE; + } +} +#endif + static inline void ptep_clear(struct mm_struct *mm, unsigned long addr, pte_t *ptep) { diff --git a/mm/madvise.c b/mm/madvise.c index f59169888b8e..edb592adb749 100644 --- a/mm/madvise.c +++ b/mm/madvise.c @@ -507,7 +507,8 @@ static int madvise_cold_or_pageout_pte_range(pmd_t *pmd, continue; =20 if (!pageout && pte_young(ptent)) { - mkold_ptes(vma, addr, pte, nr); + clear_young_dirty_ptes(vma, addr, pte, nr, + CYDP_CLEAR_YOUNG); tlb_remove_tlb_entries(tlb, pte, nr, addr); } =20 --=20 2.33.1 From nobody Mon Feb 9 19:31:05 2026 Received: from mail-oa1-f44.google.com (mail-oa1-f44.google.com [209.85.160.44]) (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 693901BF3F for ; Tue, 16 Apr 2024 03:35:28 +0000 (UTC) Authentication-Results: smtp.subspace.kernel.org; arc=none smtp.client-ip=209.85.160.44 ARC-Seal: i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1713238529; cv=none; b=GXoSV8hyk4s5TCLSvrYdJHWNvjZZwmwD8UCKO9XbMJGpy8gO3KlTX+tEoKKztlZBxbNEK+MhF02JjhjsAYamMfjlmw/DdmWtDEO+Fsq+p3rxd3dSy3T6F3qBTjliIVh92gU8HpJIJlWnh6uVd35a1/Fb7Bdkp5Z1DBKUuWZczek= ARC-Message-Signature: i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1713238529; c=relaxed/simple; bh=0h4Wm3udrJbqframZc/pycjTWsnl8R7vEO2NuwnHsiI=; h=From:To:Cc:Subject:Date:Message-Id:In-Reply-To:References: MIME-Version; b=k4Pga50Qt86rkXAKdOwpJHCRdKB90V/YlqdC5VQs545GC19Ln6iXp6f0O7ajgsMlqt7Q7t669SXWEQvo+DTPrvHlh2dvdQKJ8jo/u5GziVNS7BepiF2Wkz/tyF/FnwKKpiWQQfO8ifPwkObslctRiFW5DZbf4I6Lwj5d1iGsJQY= ARC-Authentication-Results: i=1; smtp.subspace.kernel.org; dmarc=pass (p=none dis=none) header.from=gmail.com; spf=pass smtp.mailfrom=gmail.com; dkim=pass (2048-bit key) header.d=gmail.com header.i=@gmail.com header.b=K8FrvfbH; arc=none smtp.client-ip=209.85.160.44 Authentication-Results: smtp.subspace.kernel.org; dmarc=pass (p=none dis=none) header.from=gmail.com Authentication-Results: smtp.subspace.kernel.org; spf=pass smtp.mailfrom=gmail.com Authentication-Results: smtp.subspace.kernel.org; dkim=pass (2048-bit key) header.d=gmail.com header.i=@gmail.com header.b="K8FrvfbH" Received: by mail-oa1-f44.google.com with SMTP id 586e51a60fabf-22edbef3b4eso1364217fac.3 for ; Mon, 15 Apr 2024 20:35:28 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1713238527; x=1713843327; darn=vger.kernel.org; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:from:to:cc:subject:date :message-id:reply-to; bh=Xa5U5Lslaz+G0m1rVPRlrShOq/KcuLodfgFv0sEM+Zs=; b=K8FrvfbHpYhbIcSmuks7msBi8EZ7tqV8BXvmYJPo3J0BCPSR9KXaH50A0C6jYLdVuy UHZSfULduekhm17DCumy901uSpo3eN6VZ4xTv8vM/d8mHF8RKkeaBDp4a+ZFW2UhrIJW 5BV/wcwX3m/vIC5zg8/sdaRtxl0bfDAy03VS6o4L6KXgC6cvOlAciwHzmsjjRUzu6DYf 4q31Pxe8umPSWgDnpBRhWdU3jov9SAwSVTb+Resob5KwO8j7bBeogIJ1emgIGiQMXjQF QrQwpE06gTyLw0V254BgZ9a8KBdJOgS4Y4frIniC3se32ue13ztH06P9D5IH1DYV7Xap SivQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1713238527; x=1713843327; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=Xa5U5Lslaz+G0m1rVPRlrShOq/KcuLodfgFv0sEM+Zs=; b=cNU2WnITAcemLL07yuLwTE5ejaz218vKctwAaKFkxqLmRMBDu3QvKcbeSrHIeBqQtw NeIlojbZchmCHo7iH0sEj+Ourpar36m52ah666L9mU8PHaJpzJscPDA3X3rjun8Qe8qa xoG5Y86Woc++3Bd2996jQl/0TfsuVTbn9zp+7w5E1m3sRAR7UPZQqBMzBBl/hZLVlE9E X8lpzVoCK9Oi2ICsE2chxG1kBwngSFpezM2TPiMAe9JkRHrjZy/+2azOPwR4MqtjsWy4 IkC43BG8OWkj3E/5iLAw5EtrkJZx4W9v4D7DQUTinhQDTlxuuR6XB+naRgJ7aS4T5xj/ k3Vw== X-Forwarded-Encrypted: i=1; AJvYcCVYOMGq5TQur5jHqoqF9CUxTmKjr9mKi/qOSGj1wx+yKY5n2TnAaP0/eTLTpiVtrJd1flaoXNXv3JdxaF++7apr3DJhzEFNOpw4ShQu X-Gm-Message-State: AOJu0Yzg0aP23dxHJpSp8on/ElwYQAcaCnjhmLgYeFq4NbceUU0e7miJ r1tHpiOly7EAkIOjWibe0Z3rUBt6jWmCTaM04yQJnlT0pNmagkJT X-Google-Smtp-Source: AGHT+IHwk5g3eb1ccJ96pB5R5kMJw+NcK5BFd59uPH2p5YulEU/Mhp5PXvWdZqm/wREsRZ7pVF+wYA== X-Received: by 2002:a05:6870:63a9:b0:22e:d382:87dc with SMTP id t41-20020a05687063a900b0022ed38287dcmr14773843oap.22.1713238527433; Mon, 15 Apr 2024 20:35:27 -0700 (PDT) Received: from LancedeMBP.lan ([112.10.225.217]) by smtp.gmail.com with ESMTPSA id ka13-20020a056a00938d00b006e57247f4e5sm7906737pfb.8.2024.04.15.20.35.17 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Mon, 15 Apr 2024 20:35:27 -0700 (PDT) From: Lance Yang To: akpm@linux-foundation.org Cc: ryan.roberts@arm.com, david@redhat.com, 21cnbao@gmail.com, mhocko@suse.com, fengwei.yin@intel.com, zokeefe@google.com, shy828301@gmail.com, xiehuan09@gmail.com, wangkefeng.wang@huawei.com, songmuchun@bytedance.com, peterx@redhat.com, minchan@kernel.org, linux-mm@kvack.org, linux-kernel@vger.kernel.org, Lance Yang Subject: [PATCH v7 2/3] mm/arm64: override clear_young_dirty_ptes() batch helper Date: Tue, 16 Apr 2024 11:34:56 +0800 Message-Id: <20240416033457.32154-3-ioworker0@gmail.com> X-Mailer: git-send-email 2.33.1 In-Reply-To: <20240416033457.32154-1-ioworker0@gmail.com> References: <20240416033457.32154-1-ioworker0@gmail.com> Precedence: bulk X-Mailing-List: linux-kernel@vger.kernel.org List-Id: List-Subscribe: List-Unsubscribe: MIME-Version: 1.0 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset="utf-8" The per-pte get_and_clear/modify/set approach would result in unfolding/refolding for contpte mappings on arm64. So we need to override clear_young_dirty_ptes() for arm64 to avoid it. Suggested-by: David Hildenbrand Suggested-by: Barry Song <21cnbao@gmail.com> Suggested-by: Ryan Roberts Signed-off-by: Lance Yang Reviewed-by: Ryan Roberts --- arch/arm64/include/asm/pgtable.h | 55 ++++++++++++++++++++++++++++++++ arch/arm64/mm/contpte.c | 29 +++++++++++++++++ 2 files changed, 84 insertions(+) diff --git a/arch/arm64/include/asm/pgtable.h b/arch/arm64/include/asm/pgta= ble.h index 9fd8613b2db2..1303d30287dc 100644 --- a/arch/arm64/include/asm/pgtable.h +++ b/arch/arm64/include/asm/pgtable.h @@ -1223,6 +1223,46 @@ static inline void __wrprotect_ptes(struct mm_struct= *mm, unsigned long address, __ptep_set_wrprotect(mm, address, ptep); } =20 +static inline void __clear_young_dirty_pte(struct vm_area_struct *vma, + unsigned long addr, pte_t *ptep, + pte_t pte, cydp_t flags) +{ + pte_t old_pte; + + do { + old_pte =3D pte; + + if (flags & CYDP_CLEAR_YOUNG) + pte =3D pte_mkold(pte); + if (flags & CYDP_CLEAR_DIRTY) + pte =3D pte_mkclean(pte); + + pte_val(pte) =3D cmpxchg_relaxed(&pte_val(*ptep), + pte_val(old_pte), pte_val(pte)); + } while (pte_val(pte) !=3D pte_val(old_pte)); +} + +static inline void __clear_young_dirty_ptes(struct vm_area_struct *vma, + unsigned long addr, pte_t *ptep, + unsigned int nr, cydp_t flags) +{ + pte_t pte; + + for (;;) { + pte =3D __ptep_get(ptep); + + if (flags =3D=3D (CYDP_CLEAR_YOUNG | CYDP_CLEAR_DIRTY)) + __set_pte(ptep, pte_mkclean(pte_mkold(pte))); + else + __clear_young_dirty_pte(vma, addr, ptep, pte, flags); + + if (--nr =3D=3D 0) + break; + ptep++; + addr +=3D PAGE_SIZE; + } +} + #ifdef CONFIG_TRANSPARENT_HUGEPAGE #define __HAVE_ARCH_PMDP_SET_WRPROTECT static inline void pmdp_set_wrprotect(struct mm_struct *mm, @@ -1379,6 +1419,9 @@ extern void contpte_wrprotect_ptes(struct mm_struct *= mm, unsigned long addr, extern int contpte_ptep_set_access_flags(struct vm_area_struct *vma, unsigned long addr, pte_t *ptep, pte_t entry, int dirty); +extern void contpte_clear_young_dirty_ptes(struct vm_area_struct *vma, + unsigned long addr, pte_t *ptep, + unsigned int nr, cydp_t flags); =20 static __always_inline void contpte_try_fold(struct mm_struct *mm, unsigned long addr, pte_t *ptep, pte_t pte) @@ -1603,6 +1646,17 @@ static inline int ptep_set_access_flags(struct vm_ar= ea_struct *vma, return contpte_ptep_set_access_flags(vma, addr, ptep, entry, dirty); } =20 +#define clear_young_dirty_ptes clear_young_dirty_ptes +static inline void clear_young_dirty_ptes(struct vm_area_struct *vma, + unsigned long addr, pte_t *ptep, + unsigned int nr, cydp_t flags) +{ + if (likely(nr =3D=3D 1 && !pte_cont(__ptep_get(ptep)))) + __clear_young_dirty_ptes(vma, addr, ptep, nr, flags); + else + contpte_clear_young_dirty_ptes(vma, addr, ptep, nr, flags); +} + #else /* CONFIG_ARM64_CONTPTE */ =20 #define ptep_get __ptep_get @@ -1622,6 +1676,7 @@ static inline int ptep_set_access_flags(struct vm_are= a_struct *vma, #define wrprotect_ptes __wrprotect_ptes #define __HAVE_ARCH_PTEP_SET_ACCESS_FLAGS #define ptep_set_access_flags __ptep_set_access_flags +#define clear_young_dirty_ptes __clear_young_dirty_ptes =20 #endif /* CONFIG_ARM64_CONTPTE */ =20 diff --git a/arch/arm64/mm/contpte.c b/arch/arm64/mm/contpte.c index 1b64b4c3f8bf..9f9486de0004 100644 --- a/arch/arm64/mm/contpte.c +++ b/arch/arm64/mm/contpte.c @@ -361,6 +361,35 @@ void contpte_wrprotect_ptes(struct mm_struct *mm, unsi= gned long addr, } EXPORT_SYMBOL_GPL(contpte_wrprotect_ptes); =20 +void contpte_clear_young_dirty_ptes(struct vm_area_struct *vma, + unsigned long addr, pte_t *ptep, + unsigned int nr, cydp_t flags) +{ + /* + * We can safely clear access/dirty without needing to unfold from + * the architectures perspective, even when contpte is set. If the + * range starts or ends midway through a contpte block, we can just + * expand to include the full contpte block. While this is not + * exactly what the core-mm asked for, it tracks access/dirty per + * folio, not per page. And since we only create a contpte block + * when it is covered by a single folio, we can get away with + * clearing access/dirty for the whole block. + */ + unsigned long start =3D addr; + unsigned long end =3D start + nr; + + if (pte_cont(__ptep_get(ptep + nr - 1))) + end =3D ALIGN(end, CONT_PTE_SIZE); + + if (pte_cont(__ptep_get(ptep))) { + start =3D ALIGN_DOWN(start, CONT_PTE_SIZE); + ptep =3D contpte_align_down(ptep); + } + + __clear_young_dirty_ptes(vma, start, ptep, end - start, flags); +} +EXPORT_SYMBOL_GPL(contpte_clear_young_dirty_ptes); + int contpte_ptep_set_access_flags(struct vm_area_struct *vma, unsigned long addr, pte_t *ptep, pte_t entry, int dirty) --=20 2.33.1 From nobody Mon Feb 9 19:31:05 2026 Received: from mail-oa1-f52.google.com (mail-oa1-f52.google.com [209.85.160.52]) (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 1FBAC1804A for ; Tue, 16 Apr 2024 03:35:33 +0000 (UTC) Authentication-Results: smtp.subspace.kernel.org; arc=none smtp.client-ip=209.85.160.52 ARC-Seal: i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1713238535; cv=none; b=rMkpGd1lKRTEUIWotjLOesp4wRo4yRa/VrvLdPD+hZtspd1EAO0bCe9Z4kpIyN63mxRQpRkJCZ6bWGACkcdFxEnz+YJo9xNzIeezRrfiGs1kmbI5Ietb94U36xVeNvW0nGS20KQOdlrCdIfCMAJdew3XBc3sO5yx2s1/4ZtSDDI= ARC-Message-Signature: i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1713238535; c=relaxed/simple; bh=DuU7dIE4NFPOrqFYLL6/UGiEZygOzOaaKduElmWgzow=; h=From:To:Cc:Subject:Date:Message-Id:In-Reply-To:References: MIME-Version; b=txhS0Z4lnv4wevUVNDlAcSaKb+D6/tEwwCsgwvFqV30ChdDwu4LrRTe4u8x2XN2vDu2hbolr8Nte7gAcWW4GSoPX5HFIkf4xDYKHLm/uo4HLWmWNFD5vCaIqesutOCLgfhwlgmUu5iuDx18N9a7yMuy0m/rHrGcw8pN973cMlQQ= ARC-Authentication-Results: i=1; smtp.subspace.kernel.org; dmarc=pass (p=none dis=none) header.from=gmail.com; spf=pass smtp.mailfrom=gmail.com; dkim=pass (2048-bit key) header.d=gmail.com header.i=@gmail.com header.b=M1gQR6iE; arc=none smtp.client-ip=209.85.160.52 Authentication-Results: smtp.subspace.kernel.org; dmarc=pass (p=none dis=none) header.from=gmail.com Authentication-Results: smtp.subspace.kernel.org; spf=pass smtp.mailfrom=gmail.com Authentication-Results: smtp.subspace.kernel.org; dkim=pass (2048-bit key) header.d=gmail.com header.i=@gmail.com header.b="M1gQR6iE" Received: by mail-oa1-f52.google.com with SMTP id 586e51a60fabf-23335730db1so2300615fac.2 for ; Mon, 15 Apr 2024 20:35:33 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1713238533; x=1713843333; darn=vger.kernel.org; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:from:to:cc:subject:date :message-id:reply-to; bh=m0HcbiaRgpJF51M0mSKqxhETC3OHCqm5NVbvpi65tTw=; b=M1gQR6iETXf6rF6Sc3XKAnbaWmKA93O4a3NxjIWgod/QYSMAE4yLQrk4uEqhBaXgR6 VmCvuV9Q20Vvq1KofmNIT9cYPGZzba2ndIr+y3ir+lbue3F0S/V7iENjj3Tw5Lmpf1rD B1Vna544VkG/kSf+TZcgQRut5c9iWUC4J5PumGdGIYBuPT2XbIIfIIraY+mBTuVvf7NA fXtiURYrtgY8QgAi/EsCEO5LRNfzKa9U0QZUCjQWaMwZIO/BPyc7PVowv8N0gVvvRyqI mjCeoqdA4KCcMf+x3D1LbFzGpiImS+WLdw+Thv63IeXrdAmpuXVycdQQe++F0BVA98YC 7UJA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1713238533; x=1713843333; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=m0HcbiaRgpJF51M0mSKqxhETC3OHCqm5NVbvpi65tTw=; b=WrovsIecmfxZ0p2/LhkhfuqyiPaoGTK9y02jT9fgBaMw8CZnba+Fc1mzbDbMWkNeO+ Ugr1cUGLoREv0LTBnKCWBNjSyKrpvCxOAXHqWjuNaXlcBTJfofiDSzxKu0m5Flai7pl5 J6n6tqVq2kIhVRJSXlopr6UmZmHkr7PgzmxsoIHUd+tXfyPJj6KxYIuwc/UWZGhzmjWH 1npq5gh/htOxLAukrJ/f9nSvbtAMKimXXLuCmZ+IKds7qssCCkzyBFx/U1g/8IWOYEnp suteGFs9pog7cgHmYHBSCO7cF4EWePkIDIUYypBwtAtJwRY19XLLxp2XK8jwLp00OF8F LNCw== X-Forwarded-Encrypted: i=1; AJvYcCXCtnd6eLoTBe9Rt4JkTVWp8sa8q7WX4JoW5XOC3PN4w+Pl1ZR1DDH7e24XD8YulASbi8wIdfERf+hfs4cywD8RsNMdz8N58c5hzJzR X-Gm-Message-State: AOJu0Yylf61ZAK5s/EjMuZxQUKgz5NOFoUEATSDJ6bLXF1detiQrKXrd MxgMajjNgfLYXx9H7KLaPpZNWFAfKwDTHTiW0sCcOFhbDmYYeZbA X-Google-Smtp-Source: AGHT+IGo1uJQRZkUMtOh4wICpGfarDFnG/8P7ACfcqPgczPdZo+tB+ZgYtW7iG5epQEsPT0CmQiKhw== X-Received: by 2002:a05:6870:718f:b0:229:fa5a:2fec with SMTP id d15-20020a056870718f00b00229fa5a2fecmr14635844oah.54.1713238533202; Mon, 15 Apr 2024 20:35:33 -0700 (PDT) Received: from LancedeMBP.lan ([112.10.225.217]) by smtp.gmail.com with ESMTPSA id ka13-20020a056a00938d00b006e57247f4e5sm7906737pfb.8.2024.04.15.20.35.27 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Mon, 15 Apr 2024 20:35:32 -0700 (PDT) From: Lance Yang To: akpm@linux-foundation.org Cc: ryan.roberts@arm.com, david@redhat.com, 21cnbao@gmail.com, mhocko@suse.com, fengwei.yin@intel.com, zokeefe@google.com, shy828301@gmail.com, xiehuan09@gmail.com, wangkefeng.wang@huawei.com, songmuchun@bytedance.com, peterx@redhat.com, minchan@kernel.org, linux-mm@kvack.org, linux-kernel@vger.kernel.org, Lance Yang Subject: [PATCH v7 3/3] mm/madvise: optimize lazyfreeing with mTHP in madvise_free Date: Tue, 16 Apr 2024 11:34:57 +0800 Message-Id: <20240416033457.32154-4-ioworker0@gmail.com> X-Mailer: git-send-email 2.33.1 In-Reply-To: <20240416033457.32154-1-ioworker0@gmail.com> References: <20240416033457.32154-1-ioworker0@gmail.com> Precedence: bulk X-Mailing-List: linux-kernel@vger.kernel.org List-Id: List-Subscribe: List-Unsubscribe: MIME-Version: 1.0 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset="utf-8" This patch optimizes lazyfreeing with PTE-mapped mTHP[1] (Inspired by David Hildenbrand[2]). We aim to avoid unnecessary folio splitting if the large folio is fully mapped within the target range. If a large folio is locked or shared, or if we fail to split it, we just leave it in place and advance to the next PTE in the range. But note that the behavior is changed; previously, any failure of this sort would cause the entire operation to give up. As large folios become more common, sticking to the old way could result in wasted opportunities. On an Intel I5 CPU, lazyfreeing a 1GiB VMA backed by PTE-mapped folios of the same size results in the following runtimes for madvise(MADV_FREE) in seconds (shorter is better): Folio Size | Old | New | Change ------------------------------------------ 4KiB | 0.590251 | 0.590259 | 0% 16KiB | 2.990447 | 0.185655 | -94% 32KiB | 2.547831 | 0.104870 | -95% 64KiB | 2.457796 | 0.052812 | -97% 128KiB | 2.281034 | 0.032777 | -99% 256KiB | 2.230387 | 0.017496 | -99% 512KiB | 2.189106 | 0.010781 | -99% 1024KiB | 2.183949 | 0.007753 | -99% 2048KiB | 0.002799 | 0.002804 | 0% [1] https://lkml.kernel.org/r/20231207161211.2374093-5-ryan.roberts@arm.com [2] https://lore.kernel.org/linux-mm/20240214204435.167852-1-david@redhat.c= om Signed-off-by: Lance Yang --- mm/internal.h | 12 ++++- mm/madvise.c | 144 ++++++++++++++++++++++++++++---------------------- mm/memory.c | 4 +- 3 files changed, 94 insertions(+), 66 deletions(-) diff --git a/mm/internal.h b/mm/internal.h index 2adc3f616b71..5d5e49b86fe3 100644 --- a/mm/internal.h +++ b/mm/internal.h @@ -134,6 +134,8 @@ static inline pte_t __pte_batch_clear_ignored(pte_t pte= , fpb_t flags) * first one is writable. * @any_young: Optional pointer to indicate whether any entry except the * first one is young. + * @any_dirty: Optional pointer to indicate whether any entry except the + * first one is dirty. * * Detect a PTE batch: consecutive (present) PTEs that map consecutive * pages of the same large folio. @@ -149,18 +151,20 @@ static inline pte_t __pte_batch_clear_ignored(pte_t p= te, fpb_t flags) */ static inline int folio_pte_batch(struct folio *folio, unsigned long addr, pte_t *start_ptep, pte_t pte, int max_nr, fpb_t flags, - bool *any_writable, bool *any_young) + bool *any_writable, bool *any_young, bool *any_dirty) { unsigned long folio_end_pfn =3D folio_pfn(folio) + folio_nr_pages(folio); const pte_t *end_ptep =3D start_ptep + max_nr; pte_t expected_pte, *ptep; - bool writable, young; + bool writable, young, dirty; int nr; =20 if (any_writable) *any_writable =3D false; if (any_young) *any_young =3D false; + if (any_dirty) + *any_dirty =3D false; =20 VM_WARN_ON_FOLIO(!pte_present(pte), folio); VM_WARN_ON_FOLIO(!folio_test_large(folio) || max_nr < 1, folio); @@ -176,6 +180,8 @@ static inline int folio_pte_batch(struct folio *folio, = unsigned long addr, writable =3D !!pte_write(pte); if (any_young) young =3D !!pte_young(pte); + if (any_dirty) + dirty =3D !!pte_dirty(pte); pte =3D __pte_batch_clear_ignored(pte, flags); =20 if (!pte_same(pte, expected_pte)) @@ -193,6 +199,8 @@ static inline int folio_pte_batch(struct folio *folio, = unsigned long addr, *any_writable |=3D writable; if (any_young) *any_young |=3D young; + if (any_dirty) + *any_dirty |=3D dirty; =20 nr =3D pte_batch_hint(ptep, pte); expected_pte =3D pte_advance_pfn(expected_pte, nr); diff --git a/mm/madvise.c b/mm/madvise.c index edb592adb749..a6bfbbd881e9 100644 --- a/mm/madvise.c +++ b/mm/madvise.c @@ -321,6 +321,39 @@ static inline bool can_do_file_pageout(struct vm_area_= struct *vma) file_permission(vma->vm_file, MAY_WRITE) =3D=3D 0; } =20 +static inline int madvise_folio_pte_batch(unsigned long addr, unsigned lon= g end, + struct folio *folio, pte_t *ptep, + pte_t pte, bool *any_young, + bool *any_dirty) +{ + int max_nr =3D (end - addr) / PAGE_SIZE; + const fpb_t fpb_flags =3D FPB_IGNORE_DIRTY | FPB_IGNORE_SOFT_DIRTY; + + return folio_pte_batch(folio, addr, ptep, pte, max_nr, fpb_flags, NULL, + any_young, any_dirty); +} + +static inline bool madvise_pte_split_folio(struct mm_struct *mm, pmd_t *pm= d, + unsigned long addr, + struct folio *folio, pte_t **pte, + spinlock_t **ptl) +{ + int err; + + if (!folio_trylock(folio)) + return false; + + folio_get(folio); + pte_unmap_unlock(*pte, *ptl); + err =3D split_folio(folio); + folio_unlock(folio); + folio_put(folio); + + *pte =3D pte_offset_map_lock(mm, pmd, addr, ptl); + + return err =3D=3D 0; +} + static int madvise_cold_or_pageout_pte_range(pmd_t *pmd, unsigned long addr, unsigned long end, struct mm_walk *walk) @@ -456,41 +489,30 @@ static int madvise_cold_or_pageout_pte_range(pmd_t *p= md, * next pte in the range. */ if (folio_test_large(folio)) { - const fpb_t fpb_flags =3D FPB_IGNORE_DIRTY | - FPB_IGNORE_SOFT_DIRTY; - int max_nr =3D (end - addr) / PAGE_SIZE; bool any_young; =20 - nr =3D folio_pte_batch(folio, addr, pte, ptent, max_nr, - fpb_flags, NULL, &any_young); - if (any_young) - ptent =3D pte_mkyoung(ptent); + nr =3D madvise_folio_pte_batch(addr, end, folio, pte, + ptent, &any_young, NULL); =20 if (nr < folio_nr_pages(folio)) { - int err; - if (folio_likely_mapped_shared(folio)) continue; if (pageout_anon_only_filter && !folio_test_anon(folio)) continue; - if (!folio_trylock(folio)) - continue; - folio_get(folio); + arch_leave_lazy_mmu_mode(); - pte_unmap_unlock(start_pte, ptl); - start_pte =3D NULL; - err =3D split_folio(folio); - folio_unlock(folio); - folio_put(folio); - start_pte =3D pte =3D - pte_offset_map_lock(mm, pmd, addr, &ptl); + if (madvise_pte_split_folio(mm, pmd, addr, + folio, &start_pte, &ptl)) + nr =3D 0; if (!start_pte) break; + pte =3D start_pte; arch_enter_lazy_mmu_mode(); - if (!err) - nr =3D 0; continue; } + + if (any_young) + ptent =3D pte_mkyoung(ptent); } =20 /* @@ -688,44 +710,51 @@ static int madvise_free_pte_range(pmd_t *pmd, unsigne= d long addr, continue; =20 /* - * If pmd isn't transhuge but the folio is large and - * is owned by only this process, split it and - * deactivate all pages. + * If we encounter a large folio, only split it if it is not + * fully mapped within the range we are operating on. Otherwise + * leave it as is so that it can be marked as lazyfree. If we + * fail to split a folio, leave it in place and advance to the + * next pte in the range. */ if (folio_test_large(folio)) { - int err; + bool any_young, any_dirty; =20 - if (folio_likely_mapped_shared(folio)) - break; - if (!folio_trylock(folio)) - break; - folio_get(folio); - arch_leave_lazy_mmu_mode(); - pte_unmap_unlock(start_pte, ptl); - start_pte =3D NULL; - err =3D split_folio(folio); - folio_unlock(folio); - folio_put(folio); - if (err) - break; - start_pte =3D pte =3D - pte_offset_map_lock(mm, pmd, addr, &ptl); - if (!start_pte) - break; - arch_enter_lazy_mmu_mode(); - pte--; - addr -=3D PAGE_SIZE; - continue; + nr =3D madvise_folio_pte_batch(addr, end, folio, pte, + ptent, &any_young, &any_dirty); + + if (nr < folio_nr_pages(folio)) { + if (folio_likely_mapped_shared(folio)) + continue; + + arch_leave_lazy_mmu_mode(); + if (madvise_pte_split_folio(mm, pmd, addr, + folio, &start_pte, &ptl)) + nr =3D 0; + if (!start_pte) + break; + pte =3D start_pte; + arch_enter_lazy_mmu_mode(); + continue; + } + + if (any_young) + ptent =3D pte_mkyoung(ptent); + if (any_dirty) + ptent =3D pte_mkdirty(ptent); } =20 + if (folio_mapcount(folio) !=3D folio_nr_pages(folio)) + continue; + if (folio_test_swapcache(folio) || folio_test_dirty(folio)) { if (!folio_trylock(folio)) continue; /* - * If folio is shared with others, we mustn't clear - * the folio's dirty flag. + * If we have a large folio at this point, we know it is + * fully mapped so if its mapcount is the same as its + * number of pages, it must be exclusive. */ - if (folio_mapcount(folio) !=3D 1) { + if (folio_mapcount(folio) !=3D folio_nr_pages(folio)) { folio_unlock(folio); continue; } @@ -741,19 +770,10 @@ static int madvise_free_pte_range(pmd_t *pmd, unsigne= d long addr, } =20 if (pte_young(ptent) || pte_dirty(ptent)) { - /* - * Some of architecture(ex, PPC) don't update TLB - * with set_pte_at and tlb_remove_tlb_entry so for - * the portability, remap the pte with old|clean - * after pte clearing. - */ - ptent =3D ptep_get_and_clear_full(mm, addr, pte, - tlb->fullmm); - - ptent =3D pte_mkold(ptent); - ptent =3D pte_mkclean(ptent); - set_pte_at(mm, addr, pte, ptent); - tlb_remove_tlb_entry(tlb, pte, addr); + clear_young_dirty_ptes(vma, addr, pte, nr, + CYDP_CLEAR_YOUNG | + CYDP_CLEAR_DIRTY); + tlb_remove_tlb_entries(tlb, pte, nr, addr); } folio_mark_lazyfree(folio); } diff --git a/mm/memory.c b/mm/memory.c index 33d87b64d15d..9e07d1b9020c 100644 --- a/mm/memory.c +++ b/mm/memory.c @@ -989,7 +989,7 @@ copy_present_ptes(struct vm_area_struct *dst_vma, struc= t vm_area_struct *src_vma flags |=3D FPB_IGNORE_SOFT_DIRTY; =20 nr =3D folio_pte_batch(folio, addr, src_pte, pte, max_nr, flags, - &any_writable, NULL); + &any_writable, NULL, NULL); folio_ref_add(folio, nr); if (folio_test_anon(folio)) { if (unlikely(folio_try_dup_anon_rmap_ptes(folio, page, @@ -1558,7 +1558,7 @@ static inline int zap_present_ptes(struct mmu_gather = *tlb, */ if (unlikely(folio_test_large(folio) && max_nr !=3D 1)) { nr =3D folio_pte_batch(folio, addr, pte, ptent, max_nr, fpb_flags, - NULL, NULL); + NULL, NULL, NULL); =20 zap_present_folio_ptes(tlb, vma, folio, page, pte, ptent, nr, addr, details, rss, force_flush, --=20 2.33.1