From patchwork Mon Oct 30 07:25:39 2023 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Byungchul Park X-Patchwork-Id: 159550 Return-Path: Delivered-To: ouuuleilei@gmail.com Received: by 2002:a59:d641:0:b0:403:3b70:6f57 with SMTP id cy1csp2040447vqb; Mon, 30 Oct 2023 00:41:58 -0700 (PDT) X-Google-Smtp-Source: AGHT+IH1yhB0jxKqmifTJKGPo0jbHsKgGfADHSM5xFdFkkq09PrSjpMq+M5rPgzld/u0WUzMqW6d X-Received: by 2002:a05:6a20:42a2:b0:161:346a:e7a1 with SMTP id o34-20020a056a2042a200b00161346ae7a1mr13687817pzj.5.1698651718652; Mon, 30 Oct 2023 00:41:58 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1698651718; cv=none; d=google.com; s=arc-20160816; b=IdK6Ur92LgYH73fk0Wvs9Wae9kahsuGBHHG6gYdzsqk2L5+f1yIbWEB7ZFsxwoHgEh 1XPsLX0mybpBzlw+E0b/bZSN+oVI+/r9yGQokf47nHm+XxOov6xPFt7P3N7VaWskE67l CUrzbAomqmpEOactHsrQFRs3BR/KU40zAIHSENAbePdhuyCa3d3eDT0iYUUoH4dEFCj0 63hugaF4iAMCRKWZtj+SJN0+IVVOX9872vyqQmfZlIxrY9zpszxsTU++55d+36NwFtmU GtSTrViKBjw+HVMreI+PZVq7kR0gbeuh6d/A4dv+Tg15MKwUuOUFiYQkil/Y3f/TwBWF wmZA== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-id:precedence:references:in-reply-to:message-id:date:subject :cc:to:from; bh=2WS1DSjm/Z3j+US3ZJVv8mLWuEaCiI5zch9H61Homvg=; fh=qkutryktk1+eA6li8Kr0a/P8xPDRQ0wHxGCKWFfNW0w=; b=HfPcFWCzfXuWODx9LzEz8iUfAgwQ0SIfSAnJFHfrJbCMFxa51600lHBhQej1xHt+ou frGBfkv+FfffAJ6r278Ikgb/iEDFyQj13o0ewvCz36Zd/rlmERzxkjRwBENw6FCpc7dp hU+anYCUdQ3JVQNVM0/rB+TtotFcx7nAJBtWkGfVl50vCaxYlqb44v2ToyQ6TNbXAMJu y22WKxALcAXttpri2OKtb7htP+YWpSusWQKz6U4KETtAtvKNrX1d8WO+SZTwk1VI9UD/ 0Y1OOvynXrL9aeRcuKVBzzta28JSiheadWc6+5Y2Dv8qvR8Y7zoG9iJET1eRwZvbZfPK KvoQ== ARC-Authentication-Results: i=1; mx.google.com; spf=pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 2620:137:e000::3:7 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org Received: from snail.vger.email (snail.vger.email. [2620:137:e000::3:7]) by mx.google.com with ESMTPS id bk13-20020a056a02028d00b005b95ee3edc6si3309269pgb.628.2023.10.30.00.41.58 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Mon, 30 Oct 2023 00:41:58 -0700 (PDT) Received-SPF: pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 2620:137:e000::3:7 as permitted sender) client-ip=2620:137:e000::3:7; Authentication-Results: mx.google.com; spf=pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 2620:137:e000::3:7 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org Received: from out1.vger.email (depot.vger.email [IPv6:2620:137:e000::3:0]) by snail.vger.email (Postfix) with ESMTP id 1C27E803E79E; Mon, 30 Oct 2023 00:41:31 -0700 (PDT) X-Virus-Status: Clean X-Virus-Scanned: clamav-milter 0.103.10 at snail.vger.email Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S231690AbjJ3HlY (ORCPT + 32 others); Mon, 30 Oct 2023 03:41:24 -0400 Received: from lindbergh.monkeyblade.net ([23.128.96.19]:54686 "EHLO lindbergh.monkeyblade.net" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S232158AbjJ3HlT (ORCPT ); Mon, 30 Oct 2023 03:41:19 -0400 Received: from invmail4.hynix.com (exvmail4.hynix.com [166.125.252.92]) by lindbergh.monkeyblade.net (Postfix) with ESMTP id 36E27C2 for ; Mon, 30 Oct 2023 00:41:13 -0700 (PDT) X-AuditID: a67dfc5b-d6dff70000001748-a7-653f5a7f45c0 From: Byungchul Park To: linux-kernel@vger.kernel.org, linux-mm@kvack.org Cc: kernel_team@skhynix.com, akpm@linux-foundation.org, ying.huang@intel.com, namit@vmware.com, xhao@linux.alibaba.com, mgorman@techsingularity.net, hughd@google.com, willy@infradead.org, david@redhat.com, peterz@infradead.org, luto@kernel.org, tglx@linutronix.de, mingo@redhat.com, bp@alien8.de, dave.hansen@linux.intel.com Subject: [v3 2/3] mm: Defer TLB flush by keeping both src and dst folios at migration Date: Mon, 30 Oct 2023 16:25:39 +0900 Message-Id: <20231030072540.38631-3-byungchul@sk.com> X-Mailer: git-send-email 2.17.1 In-Reply-To: <20231030072540.38631-1-byungchul@sk.com> References: <20231030072540.38631-1-byungchul@sk.com> X-Brightmail-Tracker: H4sIAAAAAAAAA+NgFnrGLMWRmVeSWpSXmKPExsXC9ZZnkW59lH2qQVOvgsWc9WvYLD5v+Mdm 8WJDO6PF1/W/mC2efupjsbi8aw6bxb01/1ktzu9ay2qxY+k+JotLBxYwWVzf9ZDR4njvASaL zZumMlv8/gFUN2eKlcXJWZNZHAQ8vrf2sXgs2FTqsXmFlsfiPS+ZPDat6mTz2PRpErvHu3Pn 2D1OzPjN4rHzoaXHvJOBHu/3XWXz2PrLzuPzJjmPd/PfsgXwRXHZpKTmZJalFunbJXBlbLp9 k7VgylvGim0bjzI1ME7dw9jFyMkhIWAi0fjlOTOM/ezaQTYQm01AXeLGjZ9gcREBM4mDrX/Y uxi5OJgFHjBJzH27AqxZWCBU4sJlkAQnB4uAqkTvlPesXYwcHLwCphL3F/BAzJSXWL3hANgc TqA5n493gc0XAirZ/v8wM8hMCYHvbBILm+azQDRIShxccYNlAiPvAkaGVYxCmXlluYmZOSZ6 GZV5mRV6yfm5mxiBob+s9k/0DsZPF4IPMQpwMCrx8AaE26UKsSaWFVfmHmKU4GBWEuFldrRJ FeJNSaysSi3Kjy8qzUktPsQozcGiJM5r9K08RUggPbEkNTs1tSC1CCbLxMEp1cBY+8bszp9l Zu9K9C8X7ubpnVjMqTzd55Xor7/rvToPKjKzHhKd8lgzcXqAyferZzY5n3kfalGSabL/dvx8 ic2tocU7l3w2np5q43vWwTj9nplexZygh5dflJb0S4dw7WBeEtS+zuVRyGoVpSyWJVlaPi4L Y5dNtvV6ImYe2p3Mddd/6S5GGV8lluKMREMt5qLiRADG5k96eQIAAA== X-Brightmail-Tracker: H4sIAAAAAAAAA+NgFjrLLMWRmVeSWpSXmKPExsXC5WfdrFsfZZ9q8PU4j8Wc9WvYLD5v+Mdm 8WJDO6PF1/W/mC2efupjsTg89ySrxeVdc9gs7q35z2pxftdaVosdS/cxWVw6sIDJ4vquh4wW x3sPMFls3jSV2eL3D6C6OVOsLE7OmsziIOjxvbWPxWPBplKPzSu0PBbvecnksWlVJ5vHpk+T 2D3enTvH7nFixm8Wj50PLT3mnQz0eL/vKpvH4hcfmDy2/rLz+LxJzuPd/LdsAfxRXDYpqTmZ ZalF+nYJXBmbbt9kLZjylrFi28ajTA2MU/cwdjFyckgImEg8u3aQDcRmE1CXuHHjJzOILSJg JnGw9Q97FyMXB7PAAyaJuW9XgDUIC4RKXLgMkuDkYBFQleid8p61i5GDg1fAVOL+Ah6ImfIS qzccAJvDCTTn8/EusPlCQCXb/x9mnsDItYCRYRWjSGZeWW5iZo6pXnF2RmVeZoVecn7uJkZg IC+r/TNxB+OXy+6HGAU4GJV4eAPC7VKFWBPLiitzDzFKcDArifAyO9qkCvGmJFZWpRblxxeV 5qQWH2KU5mBREuf1Ck9NEBJITyxJzU5NLUgtgskycXBKNTBa/dzokFq6ev+3Z+KSxwJvSjHY r5moGM9mM7tFt3f9DoMnTy69YZZ+LSLKJVA6kyee/9LHqRvVDWQa2YonT/XZwT5z4zv1xzkM U3rYJjxoeTyxkGvimZvvY3o833T75D2Z8W2L4p2Pcr+qNjzJ4te+v6mfUXnx6926y9ardDJK /P5vwu1c0nxXiaU4I9FQi7moOBEArOcSJmACAAA= X-CFilter-Loop: Reflected X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00, RCVD_IN_DNSWL_BLOCKED,SPF_HELO_NONE,SPF_PASS 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: X-Mailing-List: linux-kernel@vger.kernel.org X-Greylist: Sender passed SPF test, not delayed by milter-greylist-4.6.4 (snail.vger.email [0.0.0.0]); Mon, 30 Oct 2023 00:41:31 -0700 (PDT) X-getmail-retrieved-from-mailbox: INBOX X-GMAIL-THRID: 1781165424351739817 X-GMAIL-MSGID: 1781165424351739817 Implementation of CONFIG_MIGRC that stands for 'Migration Read Copy'. We always face the migration overhead at either promotion or demotion, while working with tiered memory e.g. CXL memory and found out TLB shootdown is a quite big one that is needed to get rid of if possible. Fortunately, TLB flush can be defered or even skipped if both source and destination of folios during migration are kept until all TLB flushes required will have been done, of course, only if the target PTE entries have read only permission, more precisely speaking, don't have write permission. Otherwise, no doubt the folio might get messed up. To achieve that: 1. For the folios that map only to non-writable TLB entries, prevent TLB flush at migration by keeping both source and destination folios, which will be handled later at a better time. 2. When any non-writable TLB entry changes to writable e.g. through fault handler, give up CONFIG_MIGRC mechanism so as to perform TLB flush required right away. 3. Temporarily stop migrc from working when the system is in very high memory pressure e.g. direct reclaim needed. The measurement result: Architecture - x86_64 QEMU - kvm enabled, host cpu Numa - 2 nodes (16 CPUs 1GB, no CPUs 8GB) Linux Kernel - v6.6-rc5, numa balancing tiering on, demotion enabled Benchmark - XSBench -p 50000000 (-p option makes the runtime longer) run 'perf stat' using events: 1) itlb.itlb_flush 2) tlb_flush.dtlb_thread 3) tlb_flush.stlb_any 4) dTLB-load-misses 5) dTLB-store-misses 6) iTLB-load-misses run 'cat /proc/vmstat' and pick: 1) numa_pages_migrated 2) pgmigrate_success 3) nr_tlb_remote_flush 4) nr_tlb_remote_flush_received 5) nr_tlb_local_flush_all 6) nr_tlb_local_flush_one BEFORE - mainline v6.6-rc5 ------------------------------------------ $ perf stat -a \ -e itlb.itlb_flush \ -e tlb_flush.dtlb_thread \ -e tlb_flush.stlb_any \ -e dTLB-load-misses \ -e dTLB-store-misses \ -e iTLB-load-misses \ ./XSBench -p 50000000 Performance counter stats for 'system wide': 20953405 itlb.itlb_flush 114886593 tlb_flush.dtlb_thread 88267015 tlb_flush.stlb_any 115304095543 dTLB-load-misses 163904743 dTLB-store-misses 608486259 iTLB-load-misses 556.787113849 seconds time elapsed $ cat /proc/vmstat ... numa_pages_migrated 3378748 pgmigrate_success 7720310 nr_tlb_remote_flush 751464 nr_tlb_remote_flush_received 10742115 nr_tlb_local_flush_all 21899 nr_tlb_local_flush_one 740157 ... AFTER - mainline v6.6-rc5 + CONFIG_MIGRC ------------------------------------------ $ perf stat -a \ -e itlb.itlb_flush \ -e tlb_flush.dtlb_thread \ -e tlb_flush.stlb_any \ -e dTLB-load-misses \ -e dTLB-store-misses \ -e iTLB-load-misses \ ./XSBench -p 50000000 Performance counter stats for 'system wide': 4353555 itlb.itlb_flush 72482780 tlb_flush.dtlb_thread 68226458 tlb_flush.stlb_any 114331610808 dTLB-load-misses 116084771 dTLB-store-misses 377180518 iTLB-load-misses 552.667718220 seconds time elapsed $ cat /proc/vmstat ... numa_pages_migrated 3339325 pgmigrate_success 7642363 nr_tlb_remote_flush 192913 nr_tlb_remote_flush_received 2327426 nr_tlb_local_flush_all 25759 nr_tlb_local_flush_one 740454 ... Signed-off-by: Byungchul Park --- arch/x86/include/asm/tlbflush.h | 7 + arch/x86/mm/tlb.c | 91 +++++++++++ include/linux/mm.h | 25 +++ include/linux/mm_types.h | 49 ++++++ include/linux/mmzone.h | 7 + include/linux/page-flags.h | 7 + include/linux/sched.h | 8 + include/trace/events/mmflags.h | 9 +- init/Kconfig | 14 ++ mm/memory.c | 13 ++ mm/migrate.c | 268 ++++++++++++++++++++++++++++++++ mm/page_alloc.c | 29 +++- mm/rmap.c | 76 +++++++++ 13 files changed, 601 insertions(+), 2 deletions(-) diff --git a/arch/x86/include/asm/tlbflush.h b/arch/x86/include/asm/tlbflush.h index 9d1361d2119c..cc52d83d17ee 100644 --- a/arch/x86/include/asm/tlbflush.h +++ b/arch/x86/include/asm/tlbflush.h @@ -292,9 +292,16 @@ static inline void arch_flush_tlb_batched_pending(struct mm_struct *mm) } extern void arch_tlbbatch_flush(struct arch_tlbflush_unmap_batch *batch); +extern void arch_tlbbatch_clean(struct arch_tlbflush_unmap_batch *batch); extern void arch_tlbbatch_fold(struct arch_tlbflush_unmap_batch *bdst, struct arch_tlbflush_unmap_batch *bsrc); +#ifdef CONFIG_MIGRC +extern void arch_migrc_adj(struct arch_tlbflush_unmap_batch *batch, int gen); +#else +static inline void arch_migrc_adj(struct arch_tlbflush_unmap_batch *batch, int gen) {} +#endif + static inline bool pte_flags_need_flush(unsigned long oldflags, unsigned long newflags, bool ignore_access) diff --git a/arch/x86/mm/tlb.c b/arch/x86/mm/tlb.c index 314cd9912a88..0bdb617ffe94 100644 --- a/arch/x86/mm/tlb.c +++ b/arch/x86/mm/tlb.c @@ -1219,9 +1219,80 @@ STATIC_NOPV void native_flush_tlb_local(void) native_write_cr3(__native_read_cr3()); } +#ifdef CONFIG_MIGRC +DEFINE_PER_CPU(int, migrc_done); + +static inline bool before(int a, int b) +{ + return a - b < 0; +} + +static inline int migrc_tlb_local_begin(void) +{ + int ret = atomic_read(&migrc_gen); + + /* + * The following order should be guaranteed: + * + * 1. A migrc's request is queued at migration. + * 2. Each CPU performs __flush_tlb_local(). + * 3. Marks this CPU has performed the TLB flush after 1. + * + * To achieve that, a kind of timestamp, migrc_gen was + * introduced to track the the order but conservatively, that + * is, it doesn't care whether TLB flush is performed more than + * it's needed but should guarantee TLB flush has been performed + * after the timestamp in migrc_done. + * + * 1 is done by migrc_unmap_done() and migrc_req_end(). + * 2 is done by __flush_tlb_local(). + * 3 is done by migrc_tlb_local_begin() and migrc_tlb_local_end(). + * + * FYI, an example that should avoid is: + * + * 1. Performs __flush_tlb_local(). + * 2. A migrc's request is queued at migration. + * 3. Marks this CPU has performed the TLB flush after 2(?). + * + * XXX: barrier() would be sufficient if the architecture + * already quarantees the order between memory access to + * migrc_gen and TLB flush. + */ + smp_mb(); + + return ret; +} + +static inline void migrc_tlb_local_end(int gen) +{ + /* + * XXX: barrier() would be sufficient if the architecture + * quarantees the order between TLB flush and memory access to + * migrc_done. + */ + smp_mb(); + + if (before(READ_ONCE(*this_cpu_ptr(&migrc_done)), gen)) + WRITE_ONCE(*this_cpu_ptr(&migrc_done), gen); +} +#else +static inline int migrc_tlb_local_begin(void) +{ + return 0; +} + +static inline void migrc_tlb_local_end(int gen) +{ +} +#endif + void flush_tlb_local(void) { + unsigned int gen; + + gen = migrc_tlb_local_begin(); __flush_tlb_local(); + migrc_tlb_local_end(gen); } /* @@ -1246,6 +1317,21 @@ void __flush_tlb_all(void) } EXPORT_SYMBOL_GPL(__flush_tlb_all); +#ifdef CONFIG_MIGRC +/* + * Skip CPUs that have already performed TLB flushes required, which is + * tracked by migrc_gen and migrc_done. + */ +void arch_migrc_adj(struct arch_tlbflush_unmap_batch *batch, int gen) +{ + int cpu; + + for_each_cpu(cpu, &batch->cpumask) + if (!before(READ_ONCE(*per_cpu_ptr(&migrc_done, cpu)), gen)) + cpumask_clear_cpu(cpu, &batch->cpumask); +} +#endif + void arch_tlbbatch_flush(struct arch_tlbflush_unmap_batch *batch) { struct flush_tlb_info *info; @@ -1274,6 +1360,11 @@ void arch_tlbbatch_flush(struct arch_tlbflush_unmap_batch *batch) put_cpu(); } +void arch_tlbbatch_clean(struct arch_tlbflush_unmap_batch *batch) +{ + cpumask_clear(&batch->cpumask); +} + void arch_tlbbatch_fold(struct arch_tlbflush_unmap_batch *bdst, struct arch_tlbflush_unmap_batch *bsrc) { diff --git a/include/linux/mm.h b/include/linux/mm.h index bf5d0b1b16f4..ddefe6033b66 100644 --- a/include/linux/mm.h +++ b/include/linux/mm.h @@ -4062,4 +4062,29 @@ static inline void accept_memory(phys_addr_t start, phys_addr_t end) #endif +#ifdef CONFIG_MIGRC +void migrc_init_page(struct page *p); +void migrc_unpend_folio(struct folio *f); +bool migrc_pending_folio(struct folio *f); +void migrc_shrink(struct llist_head *h); +bool migrc_try_flush_free_folios(nodemask_t *nodes); +void fold_ubc_nowr_to_migrc(void); +void free_migrc_req(struct migrc_req *req); +int migrc_pending_nr_in_zone(struct zone *z); +void migrc_stop_pending(void); +void migrc_resume_pending(void); + +extern atomic_t migrc_gen; +#else +static inline void migrc_init_page(struct page *p) {} +static inline void migrc_unpend_folio(struct folio *f) {} +static inline bool migrc_pending_folio(struct folio *f) { return false; } +static inline void migrc_shrink(struct llist_head *h) {} +static inline bool migrc_try_flush_free_folios(nodemask_t *nodes) { return false; } +static inline void fold_ubc_nowr_to_migrc(void) {} +static inline void free_migrc_req(struct migrc_req *req) {} +static inline int migrc_pending_nr_in_zone(struct zone *z) { return 0; } +static inline void migrc_stop_pending(void) {} +static inline void migrc_resume_pending(void) {} +#endif #endif /* _LINUX_MM_H */ diff --git a/include/linux/mm_types.h b/include/linux/mm_types.h index 36c5b43999e6..55350f1d0db2 100644 --- a/include/linux/mm_types.h +++ b/include/linux/mm_types.h @@ -101,6 +101,13 @@ struct page { /* Or, free page */ struct list_head buddy_list; struct list_head pcp_list; +#ifdef CONFIG_MIGRC + /* + * Hang onto migrc's request queues, + * waiting for TLB flushes. + */ + struct llist_node migrc_node; +#endif }; /* See page-flags.h for PAGE_MAPPING_FLAGS */ struct address_space *mapping; @@ -306,6 +313,13 @@ struct folio { /* private: */ }; /* public: */ +#ifdef CONFIG_MIGRC + /* + * Hang onto migrc's request queues, + * waiting for TLB flushes. + */ + struct llist_node migrc_node; +#endif }; struct address_space *mapping; pgoff_t index; @@ -1372,4 +1386,39 @@ enum { /* See also internal only FOLL flags in mm/internal.h */ }; +#ifdef CONFIG_MIGRC +struct migrc_req { + /* + * folios pending for TLB flush + */ + struct llist_head folios; + + /* + * the last folio in 'struct llist_head folios' + */ + struct llist_node *last; + + /* + * for hanging to migrc's request queue, migrc_reqs + */ + struct llist_node llnode; + + /* + * architecture specific batch data + */ + struct arch_tlbflush_unmap_batch arch; + + /* + * timestamp when hanging to migrc's request queue, migrc_reqs + */ + int gen; + + /* + * associated numa node + */ + int nid; +}; +#else +struct migrc_req {}; +#endif #endif /* _LINUX_MM_TYPES_H */ diff --git a/include/linux/mmzone.h b/include/linux/mmzone.h index 4106fbc5b4b3..4e78d1c9ceb2 100644 --- a/include/linux/mmzone.h +++ b/include/linux/mmzone.h @@ -980,6 +980,9 @@ struct zone { /* Zone statistics */ atomic_long_t vm_stat[NR_VM_ZONE_STAT_ITEMS]; atomic_long_t vm_numa_event[NR_VM_NUMA_EVENT_ITEMS]; +#ifdef CONFIG_MIGRC + atomic_t migrc_pending_nr; +#endif } ____cacheline_internodealigned_in_smp; enum pgdat_flags { @@ -1398,6 +1401,10 @@ typedef struct pglist_data { #ifdef CONFIG_MEMORY_FAILURE struct memory_failure_stats mf_stats; #endif +#ifdef CONFIG_MIGRC + atomic_t migrc_pending_nr; + struct llist_head migrc_reqs; +#endif } pg_data_t; #define node_present_pages(nid) (NODE_DATA(nid)->node_present_pages) diff --git a/include/linux/page-flags.h b/include/linux/page-flags.h index 5c02720c53a5..1ca2ac91aa14 100644 --- a/include/linux/page-flags.h +++ b/include/linux/page-flags.h @@ -135,6 +135,9 @@ enum pageflags { #ifdef CONFIG_ARCH_USES_PG_ARCH_X PG_arch_2, PG_arch_3, +#endif +#ifdef CONFIG_MIGRC + PG_migrc, /* Page has its copy under migrc's control */ #endif __NR_PAGEFLAGS, @@ -589,6 +592,10 @@ TESTCLEARFLAG(Young, young, PF_ANY) PAGEFLAG(Idle, idle, PF_ANY) #endif +#ifdef CONFIG_MIGRC +PAGEFLAG(Migrc, migrc, PF_ANY) +#endif + /* * PageReported() is used to track reported free pages within the Buddy * allocator. We can use the non-atomic version of the test and set diff --git a/include/linux/sched.h b/include/linux/sched.h index 63189c023357..b7c402850b2f 100644 --- a/include/linux/sched.h +++ b/include/linux/sched.h @@ -1325,6 +1325,14 @@ struct task_struct { struct tlbflush_unmap_batch tlb_ubc; struct tlbflush_unmap_batch tlb_ubc_nowr; +#ifdef CONFIG_MIGRC + /* + * Temporarily used while a migration is on processing before + * hanging to the associated numa node at the end of the + * migration. + */ + struct migrc_req *mreq; +#endif /* Cache last used pipe for splice(): */ struct pipe_inode_info *splice_pipe; diff --git a/include/trace/events/mmflags.h b/include/trace/events/mmflags.h index 1478b9dd05fa..85b3b8859bc8 100644 --- a/include/trace/events/mmflags.h +++ b/include/trace/events/mmflags.h @@ -95,6 +95,12 @@ #define IF_HAVE_PG_ARCH_X(_name) #endif +#ifdef CONFIG_MIGRC +#define IF_HAVE_PG_MIGRC(_name) ,{1UL << PG_##_name, __stringify(_name)} +#else +#define IF_HAVE_PG_MIGRC(_name) +#endif + #define DEF_PAGEFLAG_NAME(_name) { 1UL << PG_##_name, __stringify(_name) } #define __def_pageflag_names \ @@ -125,7 +131,8 @@ IF_HAVE_PG_HWPOISON(hwpoison) \ IF_HAVE_PG_IDLE(idle) \ IF_HAVE_PG_IDLE(young) \ IF_HAVE_PG_ARCH_X(arch_2) \ -IF_HAVE_PG_ARCH_X(arch_3) +IF_HAVE_PG_ARCH_X(arch_3) \ +IF_HAVE_PG_MIGRC(migrc) #define show_page_flags(flags) \ (flags) ? __print_flags(flags, "|", \ diff --git a/init/Kconfig b/init/Kconfig index 6d35728b94b2..4d88dab52059 100644 --- a/init/Kconfig +++ b/init/Kconfig @@ -908,6 +908,20 @@ config NUMA_BALANCING_DEFAULT_ENABLED If set, automatic NUMA balancing will be enabled if running on a NUMA machine. +config MIGRC + bool "Deferring TLB flush by keeping read copies on migration" + depends on ARCH_WANT_BATCHED_UNMAP_TLB_FLUSH + depends on NUMA_BALANCING + depends on 64BIT + default n + help + TLB flush is necessary when PTE changes by migration. However, + TLB flush can be deferred if both copies of the src page and + the dst page are kept until TLB flush if they are non-writable. + System performance will be improved especially in case that + promotion and demotion types of migrations are heavily + happening. + menuconfig CGROUPS bool "Control Group support" select KERNFS diff --git a/mm/memory.c b/mm/memory.c index 6c264d2f969c..75dc48b6e15f 100644 --- a/mm/memory.c +++ b/mm/memory.c @@ -3359,6 +3359,19 @@ static vm_fault_t do_wp_page(struct vm_fault *vmf) if (vmf->page) folio = page_folio(vmf->page); + /* + * This folio has its read copy to prevent inconsistency while + * deferring TLB flushes. However, the problem might arise if + * it's going to become writable. + * + * To prevent it, give up the deferring TLB flushes and perform + * TLB flush right away. + */ + if (folio && migrc_pending_folio(folio)) { + migrc_unpend_folio(folio); + migrc_try_flush_free_folios(NULL); + } + /* * Shared mapping: we are guaranteed to have VM_WRITE and * FAULT_FLAG_WRITE set at this point. diff --git a/mm/migrate.c b/mm/migrate.c index 2053b54556ca..76278eca8417 100644 --- a/mm/migrate.c +++ b/mm/migrate.c @@ -57,6 +57,204 @@ #include "internal.h" +#ifdef CONFIG_MIGRC + +atomic_t migrc_gen; + +static struct migrc_req *alloc_migrc_req(void) +{ + return kmalloc(sizeof(struct migrc_req), GFP_KERNEL); +} + +void free_migrc_req(struct migrc_req *req) +{ + kfree(req); +} + +void migrc_init_page(struct page *p) +{ + ClearPageMigrc(p); +} + +/* + * One of migrc's core functions that frees up all the folios in a + * migrc's pending queue. + * + * The list should be isolated before. + */ +void migrc_shrink(struct llist_head *h) +{ + struct folio *f, *f2; + struct llist_node *n; + + n = llist_del_all(h); + llist_for_each_entry_safe(f, f2, n, migrc_node) { + struct pglist_data *node; + struct zone *zone; + + node = NODE_DATA(folio_nid(f)); + zone = page_zone(&f->page); + atomic_dec(&node->migrc_pending_nr); + atomic_dec(&zone->migrc_pending_nr); + folio_put(f); + } +} + +void migrc_unpend_folio(struct folio *f) +{ + folio_clear_migrc(f); +} + +bool migrc_pending_folio(struct folio *f) +{ + return folio_test_migrc(f); +} + +/* + * Marks the folios as being under migrc's control. + */ +static void migrc_mark_folios(struct folio *fsrc, struct folio *fdst) +{ + if (!current->mreq) + return; + + folio_get(fsrc); + folio_set_migrc(fsrc); + folio_set_migrc(fdst); + fold_ubc_nowr_to_migrc(); +} + +static bool migrc_marked_folios(struct folio *fsrc, struct folio *fdst) +{ + /* + * XXX: The condition below is so tricky. Please suggest a + * better idea to determine if it's under migrc's control. + */ + return migrc_pending_folio(fsrc) && migrc_pending_folio(fdst); +} + +static void migrc_undo_folios(struct folio *fsrc, struct folio *fdst) +{ + /* + * TLB flushes needed are already done at this moment so the + * flag doesn't have to be kept. + */ + folio_clear_migrc(fsrc); + folio_clear_migrc(fdst); + + folio_put(fsrc); +} + +static void migrc_expand_req(struct folio *f) +{ + struct migrc_req *req = current->mreq; + struct pglist_data *node; + struct zone *zone; + + if (!req) + return; + + /* + * Focusing on numa migration, all the nids in a req are same. + */ + if (req->nid == -1) + req->nid = folio_nid(f); + else if (WARN_ON(req->nid != folio_nid(f))) + return; + + if (llist_add(&f->migrc_node, &req->folios)) + req->last = &f->migrc_node; + + node = NODE_DATA(folio_nid(f)); + zone = page_zone(&f->page); + atomic_inc(&node->migrc_pending_nr); + atomic_inc(&zone->migrc_pending_nr); +} + +static void migrc_unmap_done(void) +{ + if (current->mreq) + current->mreq->gen = atomic_inc_return(&migrc_gen); +} + +/* + * Prepares for gathering folios pending for TLB flushes, try to + * allocate objects needed, initialize them and make them ready. + */ +static void migrc_req_start(void) +{ + struct migrc_req *req; + + if (WARN_ON(current->mreq)) + return; + + req = alloc_migrc_req(); + if (!req) + return; + + arch_tlbbatch_clean(&req->arch); + init_llist_head(&req->folios); + req->last = NULL; + req->nid = -1; + current->mreq = req; +} + +/* + * Hang the request with the collected folios to 'migrc_reqs' llist of + * the corresponding node. + */ +static void migrc_req_end_if_started(void) +{ + struct migrc_req *req = current->mreq; + + if (!req) + return; + + if (llist_empty(&req->folios)) + free_migrc_req(req); + else + llist_add(&req->llnode, &NODE_DATA(req->nid)->migrc_reqs); + + current->mreq = NULL; +} + +int migrc_pending_nr_in_zone(struct zone *z) +{ + return atomic_read(&z->migrc_pending_nr); +} + +static atomic_t migrc_stop = ATOMIC_INIT(0); + +void migrc_stop_pending(void) +{ + atomic_inc(&migrc_stop); +} + +void migrc_resume_pending(void) +{ + atomic_dec(&migrc_stop); +} + +static inline bool migrc_stopped_pending(void) +{ + return !!atomic_read(&migrc_stop); +} + +static bool can_migrc_system(void) +{ + return !migrc_stopped_pending(); +} +#else +static inline void migrc_mark_folios(struct folio *fsrc, struct folio *fdst) {} +static inline bool migrc_marked_folios(struct folio *fsrc, struct folio *fdst) { return false; } +static inline void migrc_undo_folios(struct folio *fsrc, struct folio *fdst) {} +static inline void migrc_expand_req(struct folio *f) {} +static inline void migrc_unmap_done(void) {} +static inline void migrc_req_start(void) {} +static inline void migrc_req_end_if_started(void) {} +static inline bool can_migrc_system(void) { return false; } +#endif + bool isolate_movable_page(struct page *page, isolate_mode_t mode) { struct folio *folio = folio_get_nontail_page(page); @@ -379,6 +577,7 @@ static int folio_expected_refs(struct address_space *mapping, struct folio *folio) { int refs = 1; + if (!mapping) return refs; @@ -406,6 +605,13 @@ int folio_migrate_mapping(struct address_space *mapping, int expected_count = folio_expected_refs(mapping, folio) + extra_count; long nr = folio_nr_pages(folio); + /* + * Migrc mechanism increases the reference count to defer + * freeing up folios until a better time. + */ + if (migrc_marked_folios(folio, newfolio)) + expected_count++; + if (!mapping) { /* Anonymous page without mapping */ if (folio_ref_count(folio) != expected_count) @@ -1620,16 +1826,30 @@ static int migrate_pages_batch(struct list_head *from, LIST_HEAD(unmap_folios); LIST_HEAD(dst_folios); bool nosplit = (reason == MR_NUMA_MISPLACED); + bool migrc_cond1; VM_WARN_ON_ONCE(mode != MIGRATE_ASYNC && !list_empty(from) && !list_is_singular(from)); + /* + * For now, apply migrc only to numa migration. + */ + migrc_cond1 = can_migrc_system() && + ((reason == MR_DEMOTION && current_is_kswapd()) || + (reason == MR_NUMA_MISPLACED)); + + if (migrc_cond1) + migrc_req_start(); for (pass = 0; pass < nr_pass && retry; pass++) { retry = 0; thp_retry = 0; nr_retry_pages = 0; list_for_each_entry_safe(folio, folio2, from, lru) { + int nr_required; + bool migrc_cond2; + bool migrc; + is_thp = folio_test_large(folio) && folio_test_pmd_mappable(folio); nr_pages = folio_nr_pages(folio); @@ -1657,9 +1877,34 @@ static int migrate_pages_batch(struct list_head *from, continue; } + /* + * In case that the system is in high memory + * pressure, let's stop migrc from working and + * free up all the folios in the pending queues + * not to impact the system. + */ + if (unlikely(migrc_cond1 && !can_migrc_system())) { + migrc_cond1 = false; + migrc_req_end_if_started(); + migrc_try_flush_free_folios(NULL); + } + + nr_required = nr_flush_required(); rc = migrate_folio_unmap(get_new_folio, put_new_folio, private, folio, &dst, mode, reason, ret_folios); + /* + * migrc_cond2 will be true only if: + * + * 1. There's no writable mapping at all + * 2. There's read only mapping found + * 3. Not already under migrc's control + */ + migrc_cond2 = nr_required == nr_flush_required() && + nr_flush_required_nowr() && + !migrc_pending_folio(folio); + migrc = migrc_cond1 && migrc_cond2; + /* * The rules are: * Success: folio will be freed @@ -1720,6 +1965,9 @@ static int migrate_pages_batch(struct list_head *from, case MIGRATEPAGE_UNMAP: list_move_tail(&folio->lru, &unmap_folios); list_add_tail(&dst->lru, &dst_folios); + + if (migrc) + migrc_mark_folios(folio, dst); break; default: /* @@ -1733,12 +1981,24 @@ static int migrate_pages_batch(struct list_head *from, stats->nr_failed_pages += nr_pages; break; } + + /* + * Done with the current folio. Fold the ro + * batch data gathered, to the normal batch. + */ + fold_ubc_nowr(); } } nr_failed += retry; stats->nr_thp_failed += thp_retry; stats->nr_failed_pages += nr_retry_pages; move: + /* + * Generate a new timestamp that will be used to filter out + * CPUs that have already performed TLB flushes needed. + */ + migrc_unmap_done(); + /* Flush TLBs for all unmapped folios */ try_to_unmap_flush(); @@ -1774,6 +2034,9 @@ static int migrate_pages_batch(struct list_head *from, case MIGRATEPAGE_SUCCESS: stats->nr_succeeded += nr_pages; stats->nr_thp_succeeded += is_thp; + + if (migrc_marked_folios(folio, dst)) + migrc_expand_req(folio); break; default: nr_failed++; @@ -1791,6 +2054,8 @@ static int migrate_pages_batch(struct list_head *from, rc = rc_saved ? : nr_failed; out: + migrc_req_end_if_started(); + /* Cleanup remaining folios */ dst = list_first_entry(&dst_folios, struct folio, lru); dst2 = list_next_entry(dst, lru); @@ -1798,6 +2063,9 @@ static int migrate_pages_batch(struct list_head *from, int page_was_mapped = 0; struct anon_vma *anon_vma = NULL; + if (migrc_marked_folios(folio, dst)) + migrc_undo_folios(folio, dst); + __migrate_folio_extract(dst, &page_was_mapped, &anon_vma); migrate_folio_undo_src(folio, page_was_mapped, anon_vma, true, ret_folios); diff --git a/mm/page_alloc.c b/mm/page_alloc.c index 95546f376302..2fa84c3a9681 100644 --- a/mm/page_alloc.c +++ b/mm/page_alloc.c @@ -1535,6 +1535,9 @@ inline void post_alloc_hook(struct page *page, unsigned int order, set_page_owner(page, order, gfp_flags); page_table_check_alloc(page, order); + + for (i = 0; i != 1 << order; ++i) + migrc_init_page(page + i); } static void prep_new_page(struct page *page, unsigned int order, gfp_t gfp_flags, @@ -2839,6 +2842,8 @@ bool __zone_watermark_ok(struct zone *z, unsigned int order, unsigned long mark, long min = mark; int o; + free_pages += migrc_pending_nr_in_zone(z); + /* free_pages may go negative - that's OK */ free_pages -= __zone_watermark_unusable_free(z, order, alloc_flags); @@ -2933,7 +2938,7 @@ static inline bool zone_watermark_fast(struct zone *z, unsigned int order, long usable_free; long reserved; - usable_free = free_pages; + usable_free = free_pages + migrc_pending_nr_in_zone(z); reserved = __zone_watermark_unusable_free(z, 0, alloc_flags); /* reserved may over estimate high-atomic reserves. */ @@ -3121,6 +3126,16 @@ get_page_from_freelist(gfp_t gfp_mask, unsigned int order, int alloc_flags, gfp_mask)) { int ret; + /* + * Free the pending folios so that the remaining + * code can use them. Check zone_watermark_fast() + * again with more accurate stats before going. + */ + migrc_try_flush_free_folios(ac->nodemask); + if (zone_watermark_fast(zone, order, mark, + ac->highest_zoneidx, alloc_flags, gfp_mask)) + goto try_this_zone; + if (has_unaccepted_memory()) { if (try_to_accept_memory(zone, order)) goto try_this_zone; @@ -3911,6 +3926,7 @@ __alloc_pages_slowpath(gfp_t gfp_mask, unsigned int order, unsigned int cpuset_mems_cookie; unsigned int zonelist_iter_cookie; int reserve_flags; + bool migrc_stopped = false; restart: compaction_retries = 0; @@ -4042,6 +4058,15 @@ __alloc_pages_slowpath(gfp_t gfp_mask, unsigned int order, if (page) goto got_pg; + /* + * The system is in very high memory pressure. Stop migrc from + * expanding its pending queue and working temporarily. + */ + if (!migrc_stopped) { + migrc_stop_pending(); + migrc_stopped = true; + } + /* Caller is not willing to reclaim, we can't balance anything */ if (!can_direct_reclaim) goto nopage; @@ -4169,6 +4194,8 @@ __alloc_pages_slowpath(gfp_t gfp_mask, unsigned int order, warn_alloc(gfp_mask, ac->nodemask, "page allocation failure: order:%u", order); got_pg: + if (migrc_stopped) + migrc_resume_pending(); return page; } diff --git a/mm/rmap.c b/mm/rmap.c index a045f3b57c60..d0fa7bf66e70 100644 --- a/mm/rmap.c +++ b/mm/rmap.c @@ -606,6 +606,82 @@ struct anon_vma *folio_lock_anon_vma_read(struct folio *folio, #ifdef CONFIG_ARCH_WANT_BATCHED_UNMAP_TLB_FLUSH +#ifdef CONFIG_MIGRC +/* + * Gather folios and CPUs in cpumask to handle. + */ +static void migrc_gather(struct llist_head *folios, + struct arch_tlbflush_unmap_batch *arch, + struct llist_head *reqs) +{ + struct llist_node *reqs_nodes; + struct migrc_req *req; + struct migrc_req *req2; + + reqs_nodes = llist_del_all(reqs); + if (!reqs_nodes) + return; + + /* + * TODO: Optimize the time complexity. + */ + llist_for_each_entry_safe(req, req2, reqs_nodes, llnode) { + struct llist_node *n; + + arch_migrc_adj(&req->arch, req->gen); + arch_tlbbatch_fold(arch, &req->arch); + + n = llist_del_all(&req->folios); + llist_add_batch(n, req->last, folios); + free_migrc_req(req); + } +} + +bool migrc_try_flush_free_folios(nodemask_t *nodes) +{ + struct arch_tlbflush_unmap_batch arch; + LLIST_HEAD(folios); + bool ret = false; + int nid; + + arch_tlbbatch_clean(&arch); + nodes = nodes ?: &node_possible_map; + for_each_node_mask(nid, *nodes) + migrc_gather(&folios, &arch, &NODE_DATA(nid)->migrc_reqs); + + ret = !llist_empty(&folios); + if (ret) { + arch_tlbbatch_flush(&arch); + migrc_shrink(&folios); + } + return ret; +} + +/* + * Fold ro batch data to the current migrc's request. In case that the + * request is not ready, fold it to the normal batch as a fallback. + */ +void fold_ubc_nowr_to_migrc(void) +{ + struct tlbflush_unmap_batch *tlb_ubc_nowr = ¤t->tlb_ubc_nowr; + struct migrc_req *req; + + if (!tlb_ubc_nowr->nr_flush_required) + return; + + req = current->mreq; + if (!req) { + /* fallback */ + fold_ubc_nowr(); + return; + } + + arch_tlbbatch_fold(&req->arch, &tlb_ubc_nowr->arch); + tlb_ubc_nowr->nr_flush_required = 0; + tlb_ubc_nowr->writable = false; +} +#endif + void fold_ubc_nowr(void) { struct tlbflush_unmap_batch *tlb_ubc = ¤t->tlb_ubc;