From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.0 (2014-02-07) on aws-us-west-2-korg-lkml-1.web.codeaurora.org X-Spam-Level: X-Spam-Status: No, score=-5.0 required=3.0 tests=DKIM_INVALID,DKIM_SIGNED, HEADER_FROM_DIFFERENT_DOMAINS,INCLUDES_PATCH,MAILING_LIST_MULTI,SPF_HELO_NONE, SPF_PASS,USER_AGENT_SANE_1 autolearn=ham autolearn_force=no version=3.4.0 Received: from mail.kernel.org (mail.kernel.org [198.145.29.99]) by smtp.lore.kernel.org (Postfix) with ESMTP id 1BBB6C3F2CD for ; Tue, 3 Mar 2020 05:59:51 +0000 (UTC) Received: from kanga.kvack.org (kanga.kvack.org [205.233.56.17]) by mail.kernel.org (Postfix) with ESMTP id CB2EE214D8 for ; Tue, 3 Mar 2020 05:59:50 +0000 (UTC) Authentication-Results: mail.kernel.org; dkim=fail reason="signature verification failed" (1024-bit key) header.d=c-s.fr header.i=@c-s.fr header.b="sXKIwD1R" DMARC-Filter: OpenDMARC Filter v1.3.2 mail.kernel.org CB2EE214D8 Authentication-Results: mail.kernel.org; dmarc=none (p=none dis=none) header.from=c-s.fr Authentication-Results: mail.kernel.org; spf=pass smtp.mailfrom=owner-linux-mm@kvack.org Received: by kanga.kvack.org (Postfix) id 6211A6B0005; Tue, 3 Mar 2020 00:59:50 -0500 (EST) Received: by kanga.kvack.org (Postfix, from userid 40) id 5AAD76B0006; Tue, 3 Mar 2020 00:59:50 -0500 (EST) X-Delivered-To: int-list-linux-mm@kvack.org Received: by kanga.kvack.org (Postfix, from userid 63042) id 472D16B0007; Tue, 3 Mar 2020 00:59:50 -0500 (EST) X-Delivered-To: linux-mm@kvack.org Received: from forelay.hostedemail.com (smtprelay0026.hostedemail.com [216.40.44.26]) by kanga.kvack.org (Postfix) with ESMTP id 2A0F16B0005 for ; Tue, 3 Mar 2020 00:59:50 -0500 (EST) Received: from smtpin23.hostedemail.com (10.5.19.251.rfc1918.com [10.5.19.251]) by forelay03.hostedemail.com (Postfix) with ESMTP id 051628248068 for ; Tue, 3 Mar 2020 05:59:50 +0000 (UTC) X-FDA: 76552999740.23.soda67_1b844ef17a805 X-HE-Tag: soda67_1b844ef17a805 X-Filterd-Recvd-Size: 8745 Received: from pegase1.c-s.fr (pegase1.c-s.fr [93.17.236.30]) by imf29.hostedemail.com (Postfix) with ESMTP for ; Tue, 3 Mar 2020 05:59:48 +0000 (UTC) Received: from localhost (mailhub1-int [192.168.12.234]) by localhost (Postfix) with ESMTP id 48WmYt2NC7z9tyyX; Tue, 3 Mar 2020 06:59:46 +0100 (CET) Authentication-Results: localhost; dkim=pass reason="1024-bit key; insecure key" header.d=c-s.fr header.i=@c-s.fr header.b=sXKIwD1R; dkim-adsp=pass; dkim-atps=neutral X-Virus-Scanned: Debian amavisd-new at c-s.fr Received: from pegase1.c-s.fr ([192.168.12.234]) by localhost (pegase1.c-s.fr [192.168.12.234]) (amavisd-new, port 10024) with ESMTP id UVZtmD4b7vsp; Tue, 3 Mar 2020 06:59:46 +0100 (CET) Received: from messagerie.si.c-s.fr (messagerie.si.c-s.fr [192.168.25.192]) by pegase1.c-s.fr (Postfix) with ESMTP id 48WmYt108kz9tyyS; Tue, 3 Mar 2020 06:59:46 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=c-s.fr; s=mail; t=1583215186; bh=ocYA26gERwg/bGzKOX6R9AQoOaFWREyAef/Kd9zo+5s=; h=Subject:To:Cc:References:From:Date:In-Reply-To:From; b=sXKIwD1RD3BLfW6HS5aTsLH2zDt5HeqokUB+K7FsxVkoJhvVgR9r7Ff79VBf3fPhg IjF4WeUvoHflMO8+N2ifkTwV8WIp6KloKV0XCSvcbUBFZYWyK3co0cvATpqgmD7E3m B5ViAb14Ei63PR4Qy3/Ndcwn06LEcho6L0JaXjUc= Received: from localhost (localhost [127.0.0.1]) by messagerie.si.c-s.fr (Postfix) with ESMTP id D1E5C8B79A; Tue, 3 Mar 2020 06:59:46 +0100 (CET) X-Virus-Scanned: amavisd-new at c-s.fr Received: from messagerie.si.c-s.fr ([127.0.0.1]) by localhost (messagerie.si.c-s.fr [127.0.0.1]) (amavisd-new, port 10023) with ESMTP id b_l-0DSpkXO5; Tue, 3 Mar 2020 06:59:46 +0100 (CET) Received: from [192.168.4.90] (unknown [192.168.4.90]) by messagerie.si.c-s.fr (Postfix) with ESMTP id 081278B755; Tue, 3 Mar 2020 06:59:44 +0100 (CET) Subject: Re: [PATCH V14] mm/debug: Add tests validating architecture page table helpers To: Qian Cai , Anshuman Khandual , linux-mm@kvack.org Cc: Andrew Morton , Mike Rapoport , Vineet Gupta , Catalin Marinas , Will Deacon , Benjamin Herrenschmidt , Paul Mackerras , Michael Ellerman , Heiko Carstens , Vasily Gorbik , Christian Borntraeger , Thomas Gleixner , Ingo Molnar , Borislav Petkov , "H. Peter Anvin" , "Kirill A . Shutemov" , Paul Walmsley , Palmer Dabbelt , linux-snps-arc@lists.infradead.org, linux-arm-kernel@lists.infradead.org, linuxppc-dev@lists.ozlabs.org, linux-s390@vger.kernel.org, linux-riscv@lists.infradead.org, x86@kernel.org, linux-arch@vger.kernel.org, linux-kernel@vger.kernel.org References: <1581909460-19148-1-git-send-email-anshuman.khandual@arm.com> <1582726182.7365.123.camel@lca.pw> <7c707b7f-ce3d-993b-8042-44fdc1ed28bf@c-s.fr> <1582732318.7365.129.camel@lca.pw> <1583178042.7365.146.camel@lca.pw> From: Christophe Leroy Message-ID: <6757aa1d-7951-69ef-de93-50a7b7b172e0@c-s.fr> Date: Tue, 3 Mar 2020 06:59:39 +0100 User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:68.0) Gecko/20100101 Thunderbird/68.5.0 MIME-Version: 1.0 In-Reply-To: <1583178042.7365.146.camel@lca.pw> Content-Type: text/plain; charset=utf-8; format=flowed Content-Language: fr Content-Transfer-Encoding: quoted-printable 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: Le 02/03/2020 =C3=A0 20:40, Qian Cai a =C3=A9crit=C2=A0: > On Wed, 2020-02-26 at 10:51 -0500, Qian Cai wrote: >> On Wed, 2020-02-26 at 15:45 +0100, Christophe Leroy wrote: >>> >>> Le 26/02/2020 =C3=A0 15:09, Qian Cai a =C3=A9crit=C2=A0: >>>> On Mon, 2020-02-17 at 08:47 +0530, Anshuman Khandual wrote: >>>>> This adds tests which will validate architecture page table helpers= and >>>>> other accessors in their compliance with expected generic MM semant= ics. >>>>> This will help various architectures in validating changes to exist= ing >>>>> page table helpers or addition of new ones. >>>>> >>>>> This test covers basic page table entry transformations including b= ut not >>>>> limited to old, young, dirty, clean, write, write protect etc at va= rious >>>>> level along with populating intermediate entries with next page tab= le page >>>>> and validating them. >>>>> >>>>> Test page table pages are allocated from system memory with require= d size >>>>> and alignments. The mapped pfns at page table levels are derived fr= om a >>>>> real pfn representing a valid kernel text symbol. This test gets ca= lled >>>>> inside kernel_init() right after async_synchronize_full(). >>>>> >>>>> This test gets built and run when CONFIG_DEBUG_VM_PGTABLE is select= ed. Any >>>>> architecture, which is willing to subscribe this test will need to = select >>>>> ARCH_HAS_DEBUG_VM_PGTABLE. For now this is limited to arc, arm64, x= 86, s390 >>>>> and ppc32 platforms where the test is known to build and run succes= sfully. >>>>> Going forward, other architectures too can subscribe the test after= fixing >>>>> any build or runtime problems with their page table helpers. Meanwh= ile for >>>>> better platform coverage, the test can also be enabled with CONFIG_= EXPERT >>>>> even without ARCH_HAS_DEBUG_VM_PGTABLE. >>>>> >>>>> Folks interested in making sure that a given platform's page table = helpers >>>>> conform to expected generic MM semantics should enable the above co= nfig >>>>> which will just trigger this test during boot. Any non conformity h= ere will >>>>> be reported as an warning which would need to be fixed. This test w= ill help >>>>> catch any changes to the agreed upon semantics expected from generi= c MM and >>>>> enable platforms to accommodate it thereafter. >>>> >>>> How useful is this that straightly crash the powerpc? >>>> >>>> [=C2=A0=C2=A0=C2=A023.263425][=C2=A0=C2=A0=C2=A0=C2=A0T1] debug_vm_p= gtable: debug_vm_pgtable: Validating >>>> architecture page table helpers >>>> [=C2=A0=C2=A0=C2=A023.263625][=C2=A0=C2=A0=C2=A0=C2=A0T1] ----------= --[ cut here ]------------ >>>> [=C2=A0=C2=A0=C2=A023.263649][=C2=A0=C2=A0=C2=A0=C2=A0T1] kernel BUG= at arch/powerpc/mm/pgtable.c:274! >>> >>> The problem on PPC64 is known and has to be investigated and fixed. >> >> It might be interesting to hear what powerpc64 maintainers would say a= bout it >> and if it is actually worth "fixing" in the arch code, but that BUG_ON= () was >> there since 2009 and had not been exposed until this patch comes alone= ? >=20 > This patch below makes it works on powerpc64 in order to dodge the BUG_= ON()s in > assert_pte_locked() triggered by pte_clear_tests(). >=20 >=20 > diff --git a/mm/debug_vm_pgtable.c b/mm/debug_vm_pgtable.c > index 96dd7d574cef..50b385233971 100644 > --- a/mm/debug_vm_pgtable.c > +++ b/mm/debug_vm_pgtable.c > @@ -55,6 +55,8 @@ > =C2=A0#define RANDOM_ORVALUE GENMASK(BITS_PER_LONG - 1, S390_MASK_BITS= ) > =C2=A0#define RANDOM_NZVALUE GENMASK(7, 0) > =20 > +unsigned long vaddr; > + Can we avoid global var ? > =C2=A0static void __init pte_basic_tests(unsigned long pfn, pgprot_t p= rot) > =C2=A0{ > =C2=A0 pte_t pte =3D pfn_pte(pfn, prot); > @@ -256,7 +258,7 @@ static void __init pte_clear_tests(struct mm_struct= *mm, > pte_t *ptep) > =20 > =C2=A0 pte =3D __pte(pte_val(pte) | RANDOM_ORVALUE); > =C2=A0 WRITE_ONCE(*ptep, pte); > - pte_clear(mm, 0, ptep); > + pte_clear(mm, vaddr, ptep); > =C2=A0 pte =3D READ_ONCE(*ptep); > =C2=A0 WARN_ON(!pte_none(pte)); > =C2=A0} > @@ -310,8 +312,9 @@ void __init debug_vm_pgtable(void) > =C2=A0 pgtable_t saved_ptep; > =C2=A0 pgprot_t prot; > =C2=A0 phys_addr_t paddr; > - unsigned long vaddr, pte_aligned, pmd_aligned; Can we pass local vaddr to pte_clear_tests() instead of making it a=20 global var ? > + unsigned long pte_aligned, pmd_aligned; > =C2=A0 unsigned long pud_aligned, p4d_aligned, pgd_aligned; > + spinlock_t *ptl; > =20 > =C2=A0 pr_info("Validating architecture page table helpers\n"); > =C2=A0 prot =3D vm_get_page_prot(VMFLAGS); > @@ -344,7 +347,7 @@ void __init debug_vm_pgtable(void) > =C2=A0 p4dp =3D p4d_alloc(mm, pgdp, vaddr); > =C2=A0 pudp =3D pud_alloc(mm, p4dp, vaddr); > =C2=A0 pmdp =3D pmd_alloc(mm, pudp, vaddr); > - ptep =3D pte_alloc_map(mm, pmdp, vaddr); > + ptep =3D pte_alloc_map_lock(mm, pmdp, vaddr, &ptl); > =20 > =C2=A0 /* > =C2=A0 =C2=A0* Save all the page table page addresses as the page tabl= e > @@ -370,7 +373,7 @@ void __init debug_vm_pgtable(void) > =C2=A0 p4d_clear_tests(mm, p4dp); > =C2=A0 pgd_clear_tests(mm, pgdp); > =20 > - pte_unmap(ptep); > + pte_unmap_unlock(ptep, ptl); > =20 > =C2=A0 pmd_populate_tests(mm, pmdp, saved_ptep); > =C2=A0 pud_populate_tests(mm, pudp, saved_pmdp); >=20 Christophe