From patchwork Mon Sep 18 07:33:17 2023 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Yin Fengwei X-Patchwork-Id: 13388985 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.0 (2014-02-07) on aws-us-west-2-korg-lkml-1.web.codeaurora.org Received: from kanga.kvack.org (kanga.kvack.org [205.233.56.17]) by smtp.lore.kernel.org (Postfix) with ESMTP id 36E15CD37B0 for ; Mon, 18 Sep 2023 07:33:56 +0000 (UTC) Received: by kanga.kvack.org (Postfix) id B37956B029B; Mon, 18 Sep 2023 03:33:55 -0400 (EDT) Received: by kanga.kvack.org (Postfix, from userid 40) id AE7FC6B029D; Mon, 18 Sep 2023 03:33:55 -0400 (EDT) X-Delivered-To: int-list-linux-mm@kvack.org Received: by kanga.kvack.org (Postfix, from userid 63042) id 9AF8E6B029E; Mon, 18 Sep 2023 03:33:55 -0400 (EDT) X-Delivered-To: linux-mm@kvack.org Received: from relay.hostedemail.com (smtprelay0010.hostedemail.com [216.40.44.10]) by kanga.kvack.org (Postfix) with ESMTP id 8C6486B029B for ; Mon, 18 Sep 2023 03:33:55 -0400 (EDT) Received: from smtpin08.hostedemail.com (a10.router.float.18 [10.200.18.1]) by unirelay03.hostedemail.com (Postfix) with ESMTP id 6A6D0A0BEA for ; Mon, 18 Sep 2023 07:33:55 +0000 (UTC) X-FDA: 81248904030.08.1C63B8B Received: from mgamail.intel.com (mgamail.intel.com [134.134.136.126]) by imf10.hostedemail.com (Postfix) with ESMTP id 67107C0026 for ; Mon, 18 Sep 2023 07:33:53 +0000 (UTC) Authentication-Results: imf10.hostedemail.com; dkim=pass header.d=intel.com header.s=Intel header.b=FZmopuke; dmarc=pass (policy=none) header.from=intel.com; spf=pass (imf10.hostedemail.com: domain of fengwei.yin@intel.com designates 134.134.136.126 as permitted sender) smtp.mailfrom=fengwei.yin@intel.com ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=hostedemail.com; s=arc-20220608; t=1695022433; h=from:from:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: content-type:content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references:dkim-signature; bh=m8XwfveiKZpcsZ0ykKmHjrMAo7vMGeW1L6bdmvGCvqU=; b=HiYmNHNvPMbw2OOMhh4wz7jnL/xCwFGpa5Kg/2Nru8OhvEjFSVf7iiwivx2MnfZX3OFqkq pn3QL/V5VFObzGtuayEaxzZkiQOPFJbcPSIOZPdazltq/nsNpHNJHxfinezxiaf9f3T67n NxWvEZSfb1jNXNM5fYU9MXfIT8eCk0I= ARC-Authentication-Results: i=1; imf10.hostedemail.com; dkim=pass header.d=intel.com header.s=Intel header.b=FZmopuke; dmarc=pass (policy=none) header.from=intel.com; spf=pass (imf10.hostedemail.com: domain of fengwei.yin@intel.com designates 134.134.136.126 as permitted sender) smtp.mailfrom=fengwei.yin@intel.com ARC-Seal: i=1; s=arc-20220608; d=hostedemail.com; t=1695022433; a=rsa-sha256; cv=none; b=OsFh4ULjSctR9GZEdgo+MJEfDJiW6Q6gEtoz76bOZ7hXv1ibMSgO13noq6BHQ6XD5dSJ0T emTayEUfSE8939jWZmP2tS+4XPbbYlWk/oZMgs1RRM7Fv5JmxQLGNOSePpnPpVHPTIIwhX PmY+375gLRNWWsa0k+++gO2u3ctpsaI= DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=intel.com; i=@intel.com; q=dns/txt; s=Intel; t=1695022433; x=1726558433; h=from:to:cc:subject:date:message-id:in-reply-to: references:mime-version:content-transfer-encoding; bh=2yvamEVzhzGGtx2e9kET8hOBuj45FWaLJl5k8kbHNoc=; b=FZmopuketPgakCxcKBD3aUW2uPG2WxDwexYUgvo6ltp5zcOydIrUvRPO KCpS7XymaUCHfCLUANt7RwapUKzzBCd+m7GKVs8Xnn4arUnBDdEtRULS/ CRgkVrSLUGL5sJ7A0tRKpUTCWGdxbEq/kRSlNn81g/G1ZtBXk2hh8encw R5t2mmj6o+fVfi0sk1P2Ch6IH3Ho1TDTCW9FqrICaawA6qxoDK2cWF1z1 keg5tF/00brmFhAOOwW/4qIZFkR7qZ24qbjdsQy6kqtOPhd6RWv27/jd2 YrCU1fhKogyukDSQepgtCbB3r2mV7kNzfJVyXwoEdl5hI/QBuuz1Tpy2K w==; X-IronPort-AV: E=McAfee;i="6600,9927,10836"; a="364630958" X-IronPort-AV: E=Sophos;i="6.02,156,1688454000"; d="scan'208";a="364630958" Received: from fmsmga004.fm.intel.com ([10.253.24.48]) by orsmga106.jf.intel.com with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 18 Sep 2023 00:33:51 -0700 X-ExtLoop1: 1 X-IronPort-AV: E=McAfee;i="6600,9927,10836"; a="815915431" X-IronPort-AV: E=Sophos;i="6.02,156,1688454000"; d="scan'208";a="815915431" Received: from fyin-dev.sh.intel.com ([10.239.159.24]) by fmsmga004.fm.intel.com with ESMTP; 18 Sep 2023 00:33:48 -0700 From: Yin Fengwei To: linux-mm@kvack.org, linux-kernel@vger.kernel.org, akpm@linux-foundation.org, yuzhao@google.com, willy@infradead.org, hughd@google.com, yosryahmed@google.com, ryan.roberts@arm.com, david@redhat.com, shy828301@gmail.com Cc: fengwei.yin@intel.com Subject: [PATCH v3 2/3] mm: handle large folio when large folio in VM_LOCKED VMA range Date: Mon, 18 Sep 2023 15:33:17 +0800 Message-Id: <20230918073318.1181104-3-fengwei.yin@intel.com> X-Mailer: git-send-email 2.39.2 In-Reply-To: <20230918073318.1181104-1-fengwei.yin@intel.com> References: <20230918073318.1181104-1-fengwei.yin@intel.com> MIME-Version: 1.0 X-Rspam-User: X-Stat-Signature: 9rj8kymxhy5xniq7ynjfnr69cq7su4nj X-Rspamd-Server: rspam07 X-Rspamd-Queue-Id: 67107C0026 X-HE-Tag: 1695022433-307323 X-HE-Meta: U2FsdGVkX19dxbkHNm99r+qtitN9B95DXr184rE0PV+DGmjuARyzneOuZruMSy0mWI+OqOdLgcPxj2+FxhYSSLkeHkzFMFS225+3CkbneJ0SGZ/MEvLsa6B6zwLhmXr4wRmzXZTE60EFhSBarQW88qil7Yl3cefqKcEd3nhKfhfJCE7j/o+iFy+p0z+pcT2zDb2k68bB9eFQdCQw/plG/txlgiXhIG7ryQCAI6BkUwiLQUTFDqe7atv6Ngxq1fRx5NR/UN8CwmquaVHcOEEXdKvIAqSfQTBoXIeUZrJi2iG4h+5cLcBI/eJZga/JTXS9++pZ9JNLhEI4Z9njTc5o+e7Yrv5HIkFHtGqSzxjws17pasFRFElXYPo67PORyQrImLtm0/CR4+VoOI0+rbtzwWLG/FNWcfp3lZYtScHFRJ4rUtsvM2v5aWOlm3A+BQIX6BwUeH49TyH6Eko8Yu3APKQNFFx/gZchOuuISMtoyOLXfWzKqsMx02a/BAHAanu+GoHr8NRHm7+x5IuJJucy2+nFmfu0rDawRD02y+8AlxbuCiUk+4i6tdoUlTmTxvcABpr/jEh29VYoWD+uaRqhZcGJiTLKBQBdjpb53lVzqP3ICH+S5UWIVfHhR9AK9oNdGWF5Cg0132E6GZm9WppVygvmfSodWWO3tV697z3WjVm9vH/HXQE72ugKF3X/D4jWVqAJzyji+c1eh3lhuqkuRTgHpkjP2gk6YrOSFQZlNf6ZEXG7HgWDRb+8Xp9EQ7SGtQfc8i8DoHTo0nRViEqIkpr3hJLgljwYv8B9J68nuVHWJXpjRplEgLkcp7UY7ONWY/yJMAoTGfDwdZB2L7nIbzhvYYOYq1JIs5TNU1K5Wx/atY5KHxtM2/QgAGRKqnEfZU+7Dfu1bPNSpEXz3UV04Fgi8P8PbV1hl+9muBi+4vfeu/XcEHgrcv3OF5qdZswOynet7u+5fB2GpENfEZS T2nD3W/B RDAwDoxI6krH+S0bWj4kYe9Re98yZcSKABqhFvC/8/+umPytTieIo68xdtmh8to96i9/q+QhDMS3xYbzLhxBKIkLz9JvF4dfhapomK0GfV6Eo4aXJYyXXCPEpX2HXhrGKAB3qXhqc2ui4T4D5VmCZP/MxSpwwQJ4Xz+jlE/A6z4pSXcKWVVWwYlQLyiIyyPpHB2UHmYYB7xiR1c8= X-Bogosity: Ham, tests=bogofilter, spamicity=0.000000, version=1.2.4 Sender: owner-linux-mm@kvack.org Precedence: bulk X-Loop: owner-majordomo@kvack.org List-ID: If large folio is in the range of VM_LOCKED VMA, it should be mlocked to avoid being picked by page reclaim. Which may split the large folio and then mlock each pages again. Mlock this kind of large folio to prevent them being picked by page reclaim. For the large folio which cross the boundary of VM_LOCKED VMA or not fully mapped to VM_LOCKED VMA, we'd better not to mlock it. So if the system is under memory pressure, this kind of large folio will be split and the pages ouf of VM_LOCKED VMA can be reclaimed. Ideally, for large folio, we should mlock it when the large folio is fully mapped to VMA and munlock it if any page are unmampped from VMA. But it's not easy to detect whether the large folio is fully mapped to VMA in some cases (like add/remove rmap). So we update mlock_vma_folio() and munlock_vma_folio() to mlock/munlock the folio according to vma->vm_flags. Let caller to decide whether they should call these two functions. For add rmap, only mlock normal 4K folio and postpone large folio handling to page reclaim phase. It is possible to reuse page table iterator to detect whether folio is fully mapped or not during page reclaim phase. For remove rmap, invoke munlock_vma_folio() to munlock folio unconditionly because rmap makes folio not fully mapped to VMA. Signed-off-by: Yin Fengwei --- mm/internal.h | 23 ++++++++++-------- mm/rmap.c | 66 ++++++++++++++++++++++++++++++++++++++++++--------- 2 files changed, 68 insertions(+), 21 deletions(-) diff --git a/mm/internal.h b/mm/internal.h index 9e2a5b32c659..c1441fd9898e 100644 --- a/mm/internal.h +++ b/mm/internal.h @@ -645,14 +645,10 @@ folio_within_vma(struct folio *folio, struct vm_area_struct *vma) * mlock is usually called at the end of page_add_*_rmap(), munlock at * the end of page_remove_rmap(); but new anon folios are managed by * folio_add_lru_vma() calling mlock_new_folio(). - * - * @compound is used to include pmd mappings of THPs, but filter out - * pte mappings of THPs, which cannot be consistently counted: a pte - * mapping of the THP head cannot be distinguished by the page alone. */ void mlock_folio(struct folio *folio); static inline void mlock_vma_folio(struct folio *folio, - struct vm_area_struct *vma, bool compound) + struct vm_area_struct *vma) { /* * The VM_SPECIAL check here serves two purposes. @@ -662,17 +658,24 @@ static inline void mlock_vma_folio(struct folio *folio, * file->f_op->mmap() is using vm_insert_page(s), when VM_LOCKED may * still be set while VM_SPECIAL bits are added: so ignore it then. */ - if (unlikely((vma->vm_flags & (VM_LOCKED|VM_SPECIAL)) == VM_LOCKED) && - (compound || !folio_test_large(folio))) + if (unlikely((vma->vm_flags & (VM_LOCKED|VM_SPECIAL)) == VM_LOCKED)) mlock_folio(folio); } void munlock_folio(struct folio *folio); static inline void munlock_vma_folio(struct folio *folio, - struct vm_area_struct *vma, bool compound) + struct vm_area_struct *vma) { - if (unlikely(vma->vm_flags & VM_LOCKED) && - (compound || !folio_test_large(folio))) + /* + * munlock if the function is called. Ideally, we should only + * do munlock if any page of folio is unmapped from VMA and + * cause folio not fully mapped to VMA. + * + * But it's not easy to confirm that's the situation. So we + * always munlock the folio and page reclaim will correct it + * if it's wrong. + */ + if (unlikely(vma->vm_flags & VM_LOCKED)) munlock_folio(folio); } diff --git a/mm/rmap.c b/mm/rmap.c index 789a2beb8b3a..e4b92e585df9 100644 --- a/mm/rmap.c +++ b/mm/rmap.c @@ -798,6 +798,7 @@ struct folio_referenced_arg { unsigned long vm_flags; struct mem_cgroup *memcg; }; + /* * arg: folio_referenced_arg will be passed */ @@ -807,17 +808,33 @@ static bool folio_referenced_one(struct folio *folio, struct folio_referenced_arg *pra = arg; DEFINE_FOLIO_VMA_WALK(pvmw, folio, vma, address, 0); int referenced = 0; + unsigned long start = address, ptes = 0; while (page_vma_mapped_walk(&pvmw)) { address = pvmw.address; - if ((vma->vm_flags & VM_LOCKED) && - (!folio_test_large(folio) || !pvmw.pte)) { - /* Restore the mlock which got missed */ - mlock_vma_folio(folio, vma, !pvmw.pte); - page_vma_mapped_walk_done(&pvmw); - pra->vm_flags |= VM_LOCKED; - return false; /* To break the loop */ + if (vma->vm_flags & VM_LOCKED) { + if (!folio_test_large(folio) || !pvmw.pte) { + /* Restore the mlock which got missed */ + mlock_vma_folio(folio, vma); + page_vma_mapped_walk_done(&pvmw); + pra->vm_flags |= VM_LOCKED; + return false; /* To break the loop */ + } + /* + * For large folio fully mapped to VMA, will + * be handled after the pvmw loop. + * + * For large folio cross VMA boundaries, it's + * expected to be picked by page reclaim. But + * should skip reference of pages which are in + * the range of VM_LOCKED vma. As page reclaim + * should just count the reference of pages out + * the range of VM_LOCKED vma. + */ + ptes++; + pra->mapcount--; + continue; } if (pvmw.pte) { @@ -842,6 +859,23 @@ static bool folio_referenced_one(struct folio *folio, pra->mapcount--; } + if ((vma->vm_flags & VM_LOCKED) && + folio_test_large(folio) && + folio_within_vma(folio, vma)) { + unsigned long s_align, e_align; + + s_align = ALIGN_DOWN(start, PMD_SIZE); + e_align = ALIGN_DOWN(start + folio_size(folio) - 1, PMD_SIZE); + + /* folio doesn't cross page table boundary and fully mapped */ + if ((s_align == e_align) && (ptes == folio_nr_pages(folio))) { + /* Restore the mlock which got missed */ + mlock_vma_folio(folio, vma); + pra->vm_flags |= VM_LOCKED; + return false; /* To break the loop */ + } + } + if (referenced) folio_clear_idle(folio); if (folio_test_clear_young(folio)) @@ -1252,7 +1286,14 @@ void page_add_anon_rmap(struct page *page, struct vm_area_struct *vma, VM_WARN_ON_FOLIO(page_mapcount(page) > 1 && PageAnonExclusive(page), folio); - mlock_vma_folio(folio, vma, compound); + /* + * For large folio, only mlock it if it's fully mapped to VMA. It's + * not easy to check whether the large folio is fully mapped to VMA + * here. Only mlock normal 4K folio and leave page reclaim to handle + * large folio. + */ + if (!folio_test_large(folio)) + mlock_vma_folio(folio, vma); } /** @@ -1352,7 +1393,9 @@ void folio_add_file_rmap_range(struct folio *folio, struct page *page, if (nr) __lruvec_stat_mod_folio(folio, NR_FILE_MAPPED, nr); - mlock_vma_folio(folio, vma, compound); + /* See comments in page_add_anon_rmap() */ + if (!folio_test_large(folio)) + mlock_vma_folio(folio, vma); } /** @@ -1463,7 +1506,7 @@ void page_remove_rmap(struct page *page, struct vm_area_struct *vma, * it's only reliable while mapped. */ - munlock_vma_folio(folio, vma, compound); + munlock_vma_folio(folio, vma); } /* @@ -1524,7 +1567,8 @@ static bool try_to_unmap_one(struct folio *folio, struct vm_area_struct *vma, if (!(flags & TTU_IGNORE_MLOCK) && (vma->vm_flags & VM_LOCKED)) { /* Restore the mlock which got missed */ - mlock_vma_folio(folio, vma, false); + if (!folio_test_large(folio)) + mlock_vma_folio(folio, vma); page_vma_mapped_walk_done(&pvmw); ret = false; break;