Received: by 2002:a05:6a10:22f:0:0:0:0 with SMTP id 15csp598704pxk; Thu, 1 Oct 2020 09:42:53 -0700 (PDT) X-Google-Smtp-Source: ABdhPJxzb4ZuI+OKt3hsV9pnpHhtJe6Mn2Wx5W08iJevN8Yq8R6va6fOPQPGUz4oA2oWWEIieaVa X-Received: by 2002:a17:906:1644:: with SMTP id n4mr9492222ejd.332.1601570573431; Thu, 01 Oct 2020 09:42:53 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1601570573; cv=none; d=google.com; s=arc-20160816; b=vxFl8Bm+mSRb4CpCy7vSitq47EELe4wrwmCcrzfMWCMyrchTkSvgcuPdU/25CSes5B cDfQoO09RoTmDk1wR9fo3EpxNOPkADPKnEBzgjrx9dJryYoGJXma9tz1kFbzium8hBSH +0thEr9UE5oATSUNc6uHrlPEdyPSEBlR1GRhYrMGTIanVyyzu2jElEZP/E0e8RiD8Wtf 4LE5oMD1+yCEuG8y9GusnMMl1VRWCLTraCU98UL+ZK6mBULrmYSG1+1g+R0XevKsuKoL KI/gv1ZJSmvXf6G0nEINYyTsMjfXwuEM45X5WRJsojadNEz+5/ZkwMhevxVohM64RjOR ID5Q== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-id:precedence:content-transfer-encoding:cc:to:subject :message-id:date:from:in-reply-to:references:mime-version :dkim-signature; bh=BhViEJ9kRSQ/IG1T1TkzoBPyuNu0pK+HvN/PTEqevH0=; b=d1xGcvHbf/+jcF84VByuzqr68enCbeLB2dPUPuJGiLzE59HUMMtJRsYOMWem0BIAif gC5af2c2+5TNnEdpcAR1hGPcMpnWoEnE2A++3S3LfvxewYqOqCWdZ18Li5IduhiQ3073 8g11lX7ZXfSR/rYhSltHQ0b3RmxWNxMjBB+l7XZocYhxGnnrC8gAVYi9EY9aJ8eZTG3v RrPv1h71lrM/cBUi93quNrT/11YdMyy3dsP+06oRmrCvH7bz1Tx9+24CTpTwnV2yAZ31 XMrR4+/DTrXxOnySjrkc916t0GS1dDaoQk2FFs3jItdppbkPHgi9hBSzjhGT7jlQ6ukp ckLA== ARC-Authentication-Results: i=1; mx.google.com; dkim=pass header.i=@google.com header.s=20161025 header.b=C5gInYME; spf=pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 23.128.96.18 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org; dmarc=pass (p=REJECT sp=REJECT dis=NONE) header.from=google.com Return-Path: Received: from vger.kernel.org (vger.kernel.org. [23.128.96.18]) by mx.google.com with ESMTP id w4si3705194edt.600.2020.10.01.09.42.28; Thu, 01 Oct 2020 09:42:53 -0700 (PDT) Received-SPF: pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 23.128.96.18 as permitted sender) client-ip=23.128.96.18; Authentication-Results: mx.google.com; dkim=pass header.i=@google.com header.s=20161025 header.b=C5gInYME; spf=pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 23.128.96.18 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org; dmarc=pass (p=REJECT sp=REJECT dis=NONE) header.from=google.com Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1732342AbgJAQky (ORCPT + 99 others); Thu, 1 Oct 2020 12:40:54 -0400 Received: from lindbergh.monkeyblade.net ([23.128.96.19]:50014 "EHLO lindbergh.monkeyblade.net" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1732213AbgJAQkx (ORCPT ); Thu, 1 Oct 2020 12:40:53 -0400 Received: from mail-pj1-x1044.google.com (mail-pj1-x1044.google.com [IPv6:2607:f8b0:4864:20::1044]) by lindbergh.monkeyblade.net (Postfix) with ESMTPS id AEAEDC0613E2 for ; Thu, 1 Oct 2020 09:40:53 -0700 (PDT) Received: by mail-pj1-x1044.google.com with SMTP id i3so312689pjz.4 for ; Thu, 01 Oct 2020 09:40:53 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=20161025; h=mime-version:references:in-reply-to:from:date:message-id:subject:to :cc:content-transfer-encoding; bh=BhViEJ9kRSQ/IG1T1TkzoBPyuNu0pK+HvN/PTEqevH0=; b=C5gInYME/Klm/cpvzrfocmw5prsZd4pyMjj6JN917WouMPRNa3AKNrVLjkWaREizg4 kzossL8UljyChrHfdbzses3iiLXNFDDZbUcvOXOqOX5ucmv5We+4KQBZtXOb//ynUWpq LQYA1sT02zAVplApoCnnAq4hRMr9DgQHbZZHZXqDfP60hjMIoTZkkg9ydUYwAJekoIzR uW7yaFiRsj3DhI1JGD8HShzSUxMWIikKi3Gz3ExkCd7AWicqmPI5gg1IA233dQhyTQXK gwIZEdr0UWh7n8cYLUjuwLxhE3zZGLJZzfjsixb863iauRMwCpsOI8e0ykkzN/dudQWq 7HoA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to:cc:content-transfer-encoding; bh=BhViEJ9kRSQ/IG1T1TkzoBPyuNu0pK+HvN/PTEqevH0=; b=eZ2nTphDhy8cMqSQV9yNA+zSTf4lqnFkm1r3HZqlEZWfd8RqBI3yLHq6UFo25GXlE7 TrPh5/ADIVC4iChqJ+BS+F2IMDWeinQQ4ur1lTANQ25wJsPU0uvWNjqhBPgxfIKR4lAs ZI7lZ41U/bM9YUxCa4B655nfKkTW/xXyUDSlo1RDq1KTp3AXY2fpIgvbGHuIVO4pjaxF ZLVr9eQBhqy45mFbjDBcHjPxwVsRv34A0O0GZWk9A8qDaR6ZIeeVFSudL0of34iHgO61 9cKQ8i8fJ3kjAGrgMUgiNpbplMz4UcqPujqY04Ds40qHFpPIF0M1dibKSE0LlDoxiF1M D6Qw== X-Gm-Message-State: AOAM532Ge5yktPwivY0cS5GoDDa8o1KMjCujIHPkeIImK0bm0Pj3Loz1 tMEx6kDMK1WGIvXIjIRm01QJA//K72iadOdKOyWyAg== X-Received: by 2002:a17:90a:17cd:: with SMTP id q71mr808545pja.52.1601570452875; Thu, 01 Oct 2020 09:40:52 -0700 (PDT) MIME-Version: 1.0 References: <20200930222130.4175584-1-kaleshsingh@google.com> <20200930222130.4175584-4-kaleshsingh@google.com> <20201001123651.arcr5gqtia2myt22@black.fi.intel.com> In-Reply-To: <20201001123651.arcr5gqtia2myt22@black.fi.intel.com> From: Kalesh Singh Date: Thu, 1 Oct 2020 12:40:41 -0400 Message-ID: Subject: Re: [PATCH 3/5] mm: Speedup mremap on 1GB or larger regions To: "Kirill A. Shutemov" Cc: Suren Baghdasaryan , Minchan Kim , Joel Fernandes , Lokesh Gidra , "Cc: Android Kernel" , Catalin Marinas , Will Deacon , Thomas Gleixner , Ingo Molnar , Borislav Petkov , "the arch/x86 maintainers" , "H. Peter Anvin" , Andrew Morton , Shuah Khan , Kees Cook , "Aneesh Kumar K.V" , Peter Zijlstra , Arnd Bergmann , Sami Tolvanen , Masahiro Yamada , Frederic Weisbecker , Krzysztof Kozlowski , Hassan Naveed , Christian Brauner , Stephen Boyd , Mark Rutland , Mark Brown , Mike Rapoport , Gavin Shan , Chris von Recklinghausen , Jia He , Zhenyu Ye , John Hubbard , Sandipan Das , Dave Hansen , Ralph Campbell , Ram Pai , William Kucharski , Brian Geffon , Mina Almasry , Masami Hiramatsu , SeongJae Park , LKML , "moderated list:ARM64 PORT (AARCH64 ARCHITECTURE)" , "open list:MEMORY MANAGEMENT" , "open list:KERNEL SELFTEST FRAMEWORK" Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org On Thu, Oct 1, 2020 at 8:37 AM Kirill A. Shutemov wrote: > > On Wed, Sep 30, 2020 at 10:21:20PM +0000, Kalesh Singh wrote: > > Android needs to move large memory regions for garbage collection. > > Optimize mremap for >=3D 1GB-sized regions by moving at the PUD/PGD > > level if the source and destination addresses are PUD-aligned. > > For CONFIG_PGTABLE_LEVELS =3D=3D 3, moving at the PUD level in effect m= oves > > PGD entries, since the PUD entry is =E2=80=9Cfolded back=E2=80=9D onto = the PGD entry. > > Add HAVE_MOVE_PUD so that architectures where moving at the PUD level > > isn't supported/tested can turn this off by not selecting the config. > > > > Signed-off-by: Kalesh Singh > > --- > > arch/Kconfig | 7 + > > arch/arm64/include/asm/pgtable.h | 1 + > > mm/mremap.c | 211 ++++++++++++++++++++++++++----- > > 3 files changed, 189 insertions(+), 30 deletions(-) > > > > diff --git a/arch/Kconfig b/arch/Kconfig > > index af14a567b493..5eabaa00bf9b 100644 > > --- a/arch/Kconfig > > +++ b/arch/Kconfig > > @@ -602,6 +602,13 @@ config HAVE_IRQ_TIME_ACCOUNTING > > Archs need to ensure they use a high enough resolution clock to > > support irq time accounting and then call enable_sched_clock_ir= qtime(). > > > > +config HAVE_MOVE_PUD > > + bool > > + help > > + Architectures that select this are able to move page tables at = the > > + PUD level. If there are only 3 page table levels, the move effe= ctively > > + happens at the PGD level. > > + > > config HAVE_MOVE_PMD > > bool > > help > > diff --git a/arch/arm64/include/asm/pgtable.h b/arch/arm64/include/asm/= pgtable.h > > index d5d3fbe73953..8848125e3024 100644 > > --- a/arch/arm64/include/asm/pgtable.h > > +++ b/arch/arm64/include/asm/pgtable.h > > @@ -415,6 +415,7 @@ static inline pmd_t pmd_mkdevmap(pmd_t pmd) > > #define pfn_pud(pfn,prot) __pud(__phys_to_pud_val((phys_addr_t)(pfn= ) << PAGE_SHIFT) | pgprot_val(prot)) > > > > #define set_pmd_at(mm, addr, pmdp, pmd) set_pte_at(mm, addr, (pte= _t *)pmdp, pmd_pte(pmd)) > > +#define set_pud_at(mm, addr, pudp, pud) set_pte_at(mm, addr, (pte= _t *)pudp, pud_pte(pud)) > > > > #define __p4d_to_phys(p4d) __pte_to_phys(p4d_pte(p4d)) > > #define __phys_to_p4d_val(phys) __phys_to_pte_val(phys) > > This doesn't belong to the patch. Good catch. I'll move this into a separate patch. > > > diff --git a/mm/mremap.c b/mm/mremap.c > > index 138abbae4f75..a5a1440bd366 100644 > > --- a/mm/mremap.c > > +++ b/mm/mremap.c > > @@ -249,14 +249,167 @@ static bool move_normal_pmd(struct vm_area_struc= t *vma, unsigned long old_addr, > > > > return true; > > } > > +#else > > +static inline bool move_normal_pmd(struct vm_area_struct *vma, unsigne= d long old_addr, > > + unsigned long new_addr, pmd_t *old_pmd, pmd_t *new_pmd) > > +{ > > + return false; > > +} > > #endif > > > > +#ifdef CONFIG_HAVE_MOVE_PUD > > +static pud_t *get_old_pud(struct mm_struct *mm, unsigned long addr) > > +{ > > + pgd_t *pgd; > > + p4d_t *p4d; > > + pud_t *pud; > > + > > + pgd =3D pgd_offset(mm, addr); > > + if (pgd_none_or_clear_bad(pgd)) > > + return NULL; > > + > > + p4d =3D p4d_offset(pgd, addr); > > + if (p4d_none_or_clear_bad(p4d)) > > + return NULL; > > + > > + pud =3D pud_offset(p4d, addr); > > + if (pud_none_or_clear_bad(pud)) > > + return NULL; > > + > > + return pud; > > +} > > + > > +static pud_t *alloc_new_pud(struct mm_struct *mm, struct vm_area_struc= t *vma, > > + unsigned long addr) > > +{ > > + pgd_t *pgd; > > + p4d_t *p4d; > > + pud_t *pud; > > + > > + pgd =3D pgd_offset(mm, addr); > > + p4d =3D p4d_alloc(mm, pgd, addr); > > + if (!p4d) > > + return NULL; > > + pud =3D pud_alloc(mm, p4d, addr); > > + if (!pud) > > + return NULL; > > + > > + return pud; > > +} > > + > > +static bool move_normal_pud(struct vm_area_struct *vma, unsigned long = old_addr, > > + unsigned long new_addr, pud_t *old_pud, pud_t *new_pud) > > +{ > > + spinlock_t *old_ptl, *new_ptl; > > + struct mm_struct *mm =3D vma->vm_mm; > > + pud_t pud; > > + > > + /* > > + * The destination pud shouldn't be established, free_pgtables() > > + * should have released it. > > + */ > > + if (WARN_ON_ONCE(!pud_none(*new_pud))) > > + return false; > > + > > + /* > > + * We don't have to worry about the ordering of src and dst > > + * ptlocks because exclusive mmap_lock prevents deadlock. > > + */ > > + old_ptl =3D pud_lock(vma->vm_mm, old_pud); > > + new_ptl =3D pud_lockptr(mm, new_pud); > > + if (new_ptl !=3D old_ptl) > > + spin_lock_nested(new_ptl, SINGLE_DEPTH_NESTING); > > + > > + /* Clear the pud */ > > + pud =3D *old_pud; > > + pud_clear(old_pud); > > + > > + VM_BUG_ON(!pud_none(*new_pud)); > > + > > + /* Set the new pud */ > > + set_pud_at(mm, new_addr, new_pud, pud); > > + flush_tlb_range(vma, old_addr, old_addr + PUD_SIZE); > > + if (new_ptl !=3D old_ptl) > > + spin_unlock(new_ptl); > > + spin_unlock(old_ptl); > > + > > + return true; > > +} > > +#else > > +static inline bool move_normal_pud(struct vm_area_struct *vma, unsigne= d long old_addr, > > + unsigned long new_addr, pud_t *old_pud, pud_t *new_pud) > > +{ > > + return false; > > +} > > +#endif > > + > > +enum pgt_entry { > > + NORMAL_PMD, > > + HPAGE_PMD, > > + NORMAL_PUD, > > +}; > > + > > +/* > > + * Returns an extent of the corresponding size for the pgt_entry speci= fied if valid. > > + * Else returns a smaller extent bounded by the end of the source and = destination > > + * pgt_entry. Returns 0 if an invalid pgt_entry is specified. > > + */ > > +static unsigned long get_extent(enum pgt_entry entry, unsigned long ol= d_addr, > > + unsigned long old_end, unsigned long new_addr) > > +{ > > + unsigned long next, extent, mask, size; > > + > > + if (entry =3D=3D NORMAL_PMD || entry =3D=3D HPAGE_PMD) { > > + mask =3D PMD_MASK; > > + size =3D PMD_SIZE; > > + } else if (entry =3D=3D NORMAL_PUD) { > > + mask =3D PUD_MASK; > > + size =3D PUD_SIZE; > > + } else > > + return 0; > > + > > + next =3D (old_addr + size) & mask; > > + /* even if next overflowed, extent below will be ok */ > > + extent =3D (next > old_end) ? old_end - old_addr : next - old_add= r; > > + next =3D (new_addr + size) & mask; > > + if (extent > next - new_addr) > > + extent =3D next - new_addr; > > + return extent; > > +} > > + > > +/* > > + * Attempts to speedup the move by moving entry at the level correspon= ding to > > + * pgt_entry. Returns true if the move was successful, else false. > > + */ > > +static bool move_pgt_entry(enum pgt_entry entry, struct vm_area_struct= *vma, > > + unsigned long old_addr, unsigned long new_addr, v= oid *old_entry, > > + void *new_entry, bool need_rmap_locks) > > +{ > > + bool moved =3D false; > > + > > + /* See comment in move_ptes() */ > > + if (need_rmap_locks) > > + take_rmap_locks(vma); > > + if (entry =3D=3D NORMAL_PMD) > > + moved =3D move_normal_pmd(vma, old_addr, new_addr, old_e= ntry, new_entry); > > + else if (entry =3D=3D NORMAL_PUD) > > + moved =3D move_normal_pud(vma, old_addr, new_addr, old_e= ntry, new_entry); > > + else if (entry =3D=3D HPAGE_PMD) > > + moved =3D move_huge_pmd(vma, old_addr, new_addr, old_ent= ry, new_entry); > > + else > > + WARN_ON_ONCE(1); > > BUILD_BUG() should work. This doesn't get caught at compile time since entry isn't a constant. > > And why not use switch() instead of ifs. I'll move to switch() in the next version. Thanks, Kalesh > > > + if (need_rmap_locks) > > + drop_rmap_locks(vma); > > + > > + return moved; > > +} > > + > > unsigned long move_page_tables(struct vm_area_struct *vma, > > unsigned long old_addr, struct vm_area_struct *new_vma, > > unsigned long new_addr, unsigned long len, > > bool need_rmap_locks) > > { > > - unsigned long extent, next, old_end; > > + unsigned long extent, old_end; > > struct mmu_notifier_range range; > > pmd_t *old_pmd, *new_pmd; > > > > @@ -269,14 +422,27 @@ unsigned long move_page_tables(struct vm_area_str= uct *vma, > > > > for (; old_addr < old_end; old_addr +=3D extent, new_addr +=3D ex= tent) { > > cond_resched(); > > - next =3D (old_addr + PMD_SIZE) & PMD_MASK; > > - /* even if next overflowed, extent below will be ok */ > > - extent =3D next - old_addr; > > - if (extent > old_end - old_addr) > > - extent =3D old_end - old_addr; > > - next =3D (new_addr + PMD_SIZE) & PMD_MASK; > > - if (extent > next - new_addr) > > - extent =3D next - new_addr; > > +#ifdef CONFIG_HAVE_MOVE_PUD > > + /* > > + * If extent is PUD-sized try to speed up the move by mov= ing at the > > + * PUD level if possible. > > + */ > > + extent =3D get_extent(NORMAL_PUD, old_addr, old_end, new_= addr); > > + if (extent =3D=3D PUD_SIZE) { > > + pud_t *old_pud, *new_pud; > > + > > + old_pud =3D get_old_pud(vma->vm_mm, old_addr); > > + if (!old_pud) > > + continue; > > + new_pud =3D alloc_new_pud(vma->vm_mm, vma, new_ad= dr); > > + if (!new_pud) > > + break; > > + if (move_pgt_entry(NORMAL_PUD, vma, old_addr, new= _addr, > > + old_pud, new_pud, need_rmap_lo= cks)) > > + continue; > > + } > > +#endif > > + extent =3D get_extent(NORMAL_PMD, old_addr, old_end, new_= addr); > > old_pmd =3D get_old_pmd(vma->vm_mm, old_addr); > > if (!old_pmd) > > continue; > > @@ -284,18 +450,10 @@ unsigned long move_page_tables(struct vm_area_str= uct *vma, > > if (!new_pmd) > > break; > > if (is_swap_pmd(*old_pmd) || pmd_trans_huge(*old_pmd) || = pmd_devmap(*old_pmd)) { > > - if (extent =3D=3D HPAGE_PMD_SIZE) { > > - bool moved; > > - /* See comment in move_ptes() */ > > - if (need_rmap_locks) > > - take_rmap_locks(vma); > > - moved =3D move_huge_pmd(vma, old_addr, ne= w_addr, > > - old_pmd, new_pmd); > > - if (need_rmap_locks) > > - drop_rmap_locks(vma); > > - if (moved) > > - continue; > > - } > > + if (extent =3D=3D HPAGE_PMD_SIZE && > > + move_pgt_entry(HPAGE_PMD, vma, old_addr, new_= addr, old_pmd, > > + new_pmd, need_rmap_locks)) > > + continue; > > split_huge_pmd(vma, old_pmd, old_addr); > > if (pmd_trans_unstable(old_pmd)) > > continue; > > @@ -305,15 +463,8 @@ unsigned long move_page_tables(struct vm_area_stru= ct *vma, > > * If the extent is PMD-sized, try to speed the m= ove by > > * moving at the PMD level if possible. > > */ > > - bool moved; > > - > > - if (need_rmap_locks) > > - take_rmap_locks(vma); > > - moved =3D move_normal_pmd(vma, old_addr, new_addr= , > > - old_pmd, new_pmd); > > - if (need_rmap_locks) > > - drop_rmap_locks(vma); > > - if (moved) > > + if (move_pgt_entry(NORMAL_PMD, vma, old_addr, new= _addr, old_pmd, > > + new_pmd, need_rmap_locks)) > > continue; > > #endif > > } > > -- > > 2.28.0.709.gb0816b6eb0-goog > > > > -- > Kirill A. Shutemov > > -- > To unsubscribe from this group and stop receiving emails from it, send an= email to kernel-team+unsubscribe@android.com. >