All of lore.kernel.org
 help / color / mirror / Atom feed
From: Qian Cai <cai@lca.pw>
To: Christophe Leroy <christophe.leroy@c-s.fr>
Cc: Mark Rutland <Mark.Rutland@arm.com>,
	linux-ia64@vger.kernel.org, linux-sh@vger.kernel.org,
	Peter Zijlstra <peterz@infradead.org>,
	James Hogan <jhogan@kernel.org>,
	Tetsuo Handa <penguin-kernel@i-love.sakura.ne.jp>,
	Heiko Carstens <heiko.carstens@de.ibm.com>,
	Michal Hocko <mhocko@kernel.org>,
	linux-mm@kvack.org, Paul Mackerras <paulus@samba.org>,
	kasan-dev <kasan-dev@googlegroups.com>,
	sparclinux@vger.kernel.org, Thomas Gleixner <tglx@linutronix.de>,
	linux-s390@vger.kernel.org, Michael Ellerman <mpe@ellerman.id.au>,
	x86@kernel.org, Russell King - ARM Linux <linux@armlinux.org.uk>,
	Matthew Wilcox <willy@infradead.org>,
	Steven Price <Steven.Price@arm.com>,
	Jason Gunthorpe <jgg@ziepe.ca>,
	Gerald Schaefer <gerald.schaefer@de.ibm.com>,
	linux-snps-arc@lists.infradead.org,
	Ingo Molnar <mingo@kernel.org>, Kees Cook <keescook@chromium.org>,
	Anshuman Khandual <Anshuman.Khandual@arm.com>,
	Masahiro Yamada <yamada.masahiro@socionext.com>,
	Mark Brown <broonie@kernel.org>,
	"Kirill A . Shutemov" <kirill@shutemov.name>,
	Dan Williams <dan.j.williams@intel.com>,
	Vlastimil Babka <vbabka@suse.cz>,
	linux-arm-kernel@lists.infradead.org,
	Sri Krishna chowdary <schowdary@nvidia.com>,
	Ard Biesheuvel <ard.biesheuvel@linaro.org>,
	Greg Kroah-Hartman <gregkh@linuxfoundation.org>,
	Dave Hansen <dave.hansen@intel.com>,
	linux-mips@vger.kernel.org, Ralf Baechle <ralf@linux-mips.org>,
	linux-kernel@vger.kernel.org, Paul Burton <paul.burton@mips.com>,
	Mike Rapoport <rppt@linux.vnet.ibm.com>,
	Vineet Gupta <vgupta@synopsys.com>,
	Martin Schwidefsky <schwidefsky@de.ibm.com>,
	Andrew Morton <akpm@linux-foundation.org>,
	linuxppc-dev@lists.ozlabs.org,
	"David S. Miller" <davem@davemloft.net>
Subject: Re: [PATCH V12] mm/debug: Add tests validating architecture page table helpers
Date: Mon, 03 Feb 2020 15:48:14 +0000	[thread overview]
Message-ID: <1580744894.7365.3.camel@lca.pw> (raw)
In-Reply-To: <8e94a073-4045-89aa-6a3b-24847ad7c858@c-s.fr>

On Mon, 2020-02-03 at 16:14 +0100, Christophe Leroy wrote:
> 
> Le 02/02/2020 à 12:26, Qian Cai a écrit :
> > 
> > 
> > > On Jan 30, 2020, at 9:13 AM, Christophe Leroy <christophe.leroy@c-s.fr> wrote:
> > > 
> > > config DEBUG_VM_PGTABLE
> > >     bool "Debug arch page table for semantics compliance" if ARCH_HAS_DEBUG_VM_PGTABLE || EXPERT
> > >     depends on MMU
> > >     default 'n' if !ARCH_HAS_DEBUG_VM_PGTABLE
> > >     default 'y' if DEBUG_VM
> > 
> > Does it really necessary to potentially force all bots to run this? Syzbot, kernel test robot etc? Does it ever pay off for all their machine times there?
> > 
> 
> Machine time ?
> 
> On a 32 bits powerpc running at 132 MHz, the tests takes less than 10ms. 
> Is it worth taking the risk of not detecting faults by not selecting it 
> by default ?

The risk is quite low as Catalin mentioned this thing is not to detect
regressions but rather for arch/mm maintainers.

I do appreciate the efforts to get everyone as possible to run this thing,
so it get more notices once it is broken. However, DEBUG_VM seems like such
a generic Kconfig those days that have even been enabled by default for
Fedora Linux, so I would rather see a more sensitive default been taken
even though the test runtime is fairly quickly on a small machine for now.

> 
> [    5.656916] debug_vm_pgtable: debug_vm_pgtable: Validating 
> architecture page table helpers
> [    5.665661] debug_vm_pgtable: debug_vm_pgtable: Validated 
> architecture page table helpers

WARNING: multiple messages have this Message-ID (diff)
From: Qian Cai <cai@lca.pw>
To: Christophe Leroy <christophe.leroy@c-s.fr>
Cc: Anshuman Khandual <Anshuman.Khandual@arm.com>,
	linux-mm@kvack.org, Andrew Morton <akpm@linux-foundation.org>,
	Vlastimil Babka <vbabka@suse.cz>,
	Greg Kroah-Hartman <gregkh@linuxfoundation.org>,
	Thomas Gleixner <tglx@linutronix.de>,
	Mike Rapoport <rppt@linux.vnet.ibm.com>,
	Jason Gunthorpe <jgg@ziepe.ca>,
	Dan Williams <dan.j.williams@intel.com>,
	Peter Zijlstra <peterz@infradead.org>,
	Michal Hocko <mhocko@kernel.org>,
	Mark Rutland <Mark.Rutland@arm.com>,
	Mark Brown <broonie@kernel.org>,
	Steven Price <Steven.Price@arm.com>,
	Ard Biesheuvel <ard.biesheuvel@linaro.org>,
	Masahiro Yamada <yamada.masahiro@socionext.com>,
	Kees Cook <keescook@chromium.org>,
	Tetsuo Handa <penguin-kernel@i-love.sakura.ne.jp>,
	Matthew Wilcox <willy@infradead.org>,
	Sri Krishna chowdary <schowdary@nvidia.com>,
	Dave Hansen <dave.hansen@intel.com>,
	Russell King - ARM Linux <linux@armlinux.org.uk>,
	Michael Ellerman <mpe@ellerman.id.au>,
	Paul Mackerras <paulus@samba.org>,
	Martin Schwidefsky <schwidefsky@de.ibm.com>,
	Heiko Carstens <heiko.carstens@de.ibm.com>,
	"David S. Miller" <davem@davemloft.net>,
	Vineet Gupta <vgupta@synopsys.com>,
	James Hogan <jhogan@kernel.org>,
	Paul Burton <paul.burton@mips.com>,
	Ralf Baechle <ralf@linux-mips.org>,
	"Kirill A . Shutemov" <kirill@shutemov.name>,
	Gerald Schaefer <gerald.schaefer@de.ibm.com>,
	Ingo Molnar <mingo@kernel.org>,
	linux-snps-arc@lists.infradead.org, linux-mips@vger.kernel.org,
	linux-arm-kernel@lists.infradead.org, linux-ia64@vger.kernel.org,
	linuxppc-dev@lists.ozlabs.org, linux-s390@vger.kernel.org,
	linux-sh@vger.kernel.org, sparclinux@vger.kernel.org,
	x86@kernel.org, linux-kernel@vger.kernel.org,
	kasan-dev <kasan-dev@googlegroups.com>
Subject: Re: [PATCH V12] mm/debug: Add tests validating architecture page table helpers
Date: Mon, 03 Feb 2020 10:48:14 -0500	[thread overview]
Message-ID: <1580744894.7365.3.camel@lca.pw> (raw)
In-Reply-To: <8e94a073-4045-89aa-6a3b-24847ad7c858@c-s.fr>

On Mon, 2020-02-03 at 16:14 +0100, Christophe Leroy wrote:
> 
> Le 02/02/2020 à 12:26, Qian Cai a écrit :
> > 
> > 
> > > On Jan 30, 2020, at 9:13 AM, Christophe Leroy <christophe.leroy@c-s.fr> wrote:
> > > 
> > > config DEBUG_VM_PGTABLE
> > >     bool "Debug arch page table for semantics compliance" if ARCH_HAS_DEBUG_VM_PGTABLE || EXPERT
> > >     depends on MMU
> > >     default 'n' if !ARCH_HAS_DEBUG_VM_PGTABLE
> > >     default 'y' if DEBUG_VM
> > 
> > Does it really necessary to potentially force all bots to run this? Syzbot, kernel test robot etc? Does it ever pay off for all their machine times there?
> > 
> 
> Machine time ?
> 
> On a 32 bits powerpc running at 132 MHz, the tests takes less than 10ms. 
> Is it worth taking the risk of not detecting faults by not selecting it 
> by default ?

The risk is quite low as Catalin mentioned this thing is not to detect
regressions but rather for arch/mm maintainers.

I do appreciate the efforts to get everyone as possible to run this thing,
so it get more notices once it is broken. However, DEBUG_VM seems like such
a generic Kconfig those days that have even been enabled by default for
Fedora Linux, so I would rather see a more sensitive default been taken
even though the test runtime is fairly quickly on a small machine for now.

> 
> [    5.656916] debug_vm_pgtable: debug_vm_pgtable: Validating 
> architecture page table helpers
> [    5.665661] debug_vm_pgtable: debug_vm_pgtable: Validated 
> architecture page table helpers


WARNING: multiple messages have this Message-ID (diff)
From: Qian Cai <cai@lca.pw>
To: Christophe Leroy <christophe.leroy@c-s.fr>
Cc: Anshuman Khandual <Anshuman.Khandual@arm.com>,
	linux-mm@kvack.org,  Andrew Morton <akpm@linux-foundation.org>,
	Vlastimil Babka <vbabka@suse.cz>,
	Greg Kroah-Hartman <gregkh@linuxfoundation.org>,
	Thomas Gleixner <tglx@linutronix.de>,
	Mike Rapoport <rppt@linux.vnet.ibm.com>,
	Jason Gunthorpe <jgg@ziepe.ca>,
	Dan Williams <dan.j.williams@intel.com>,
	Peter Zijlstra <peterz@infradead.org>,
	Michal Hocko <mhocko@kernel.org>,
	Mark Rutland <Mark.Rutland@arm.com>,
	Mark Brown <broonie@kernel.org>,
	Steven Price <Steven.Price@arm.com>,
	Ard Biesheuvel <ard.biesheuvel@linaro.org>,
	Masahiro Yamada <yamada.masahiro@socionext.com>,
	 Kees Cook <keescook@chromium.org>,
	Tetsuo Handa <penguin-kernel@i-love.sakura.ne.jp>,
	Matthew Wilcox <willy@infradead.org>,
	Sri Krishna chowdary <schowdary@nvidia.com>,
	Dave Hansen <dave.hansen@intel.com>,
	Russell King - ARM Linux <linux@armlinux.org.uk>,
	 Michael Ellerman <mpe@ellerman.id.au>,
	Paul Mackerras <paulus@samba.org>,
	Martin Schwidefsky <schwidefsky@de.ibm.com>,
	 Heiko Carstens <heiko.carstens@de.ibm.com>,
	"David S. Miller" <davem@davemloft.net>,
	Vineet Gupta <vgupta@synopsys.com>,
	James Hogan <jhogan@kernel.org>,
	Paul Burton <paul.burton@mips.com>,
	Ralf Baechle <ralf@linux-mips.org>,
	"Kirill A . Shutemov" <kirill@shutemov.name>,
	Gerald Schaefer <gerald.schaefer@de.ibm.com>,
	Ingo Molnar <mingo@kernel.org>,
	linux-snps-arc@lists.infradead.org,  linux-mips@vger.kernel.org,
	linux-arm-kernel@lists.infradead.org,
	 linux-ia64@vger.kernel.org, linuxppc-dev@lists.ozlabs.org,
	 linux-s390@vger.kernel.org, linux-sh@vger.kernel.org,
	sparclinux@vger.kernel.org,  x86@kernel.org,
	linux-kernel@vger.kernel.org,
	kasan-dev <kasan-dev@googlegroups.com>
Subject: Re: [PATCH V12] mm/debug: Add tests validating architecture page table helpers
Date: Mon, 03 Feb 2020 10:48:14 -0500	[thread overview]
Message-ID: <1580744894.7365.3.camel@lca.pw> (raw)
In-Reply-To: <8e94a073-4045-89aa-6a3b-24847ad7c858@c-s.fr>

On Mon, 2020-02-03 at 16:14 +0100, Christophe Leroy wrote:
> 
> Le 02/02/2020 à 12:26, Qian Cai a écrit :
> > 
> > 
> > > On Jan 30, 2020, at 9:13 AM, Christophe Leroy <christophe.leroy@c-s.fr> wrote:
> > > 
> > > config DEBUG_VM_PGTABLE
> > >     bool "Debug arch page table for semantics compliance" if ARCH_HAS_DEBUG_VM_PGTABLE || EXPERT
> > >     depends on MMU
> > >     default 'n' if !ARCH_HAS_DEBUG_VM_PGTABLE
> > >     default 'y' if DEBUG_VM
> > 
> > Does it really necessary to potentially force all bots to run this? Syzbot, kernel test robot etc? Does it ever pay off for all their machine times there?
> > 
> 
> Machine time ?
> 
> On a 32 bits powerpc running at 132 MHz, the tests takes less than 10ms. 
> Is it worth taking the risk of not detecting faults by not selecting it 
> by default ?

The risk is quite low as Catalin mentioned this thing is not to detect
regressions but rather for arch/mm maintainers.

I do appreciate the efforts to get everyone as possible to run this thing,
so it get more notices once it is broken. However, DEBUG_VM seems like such
a generic Kconfig those days that have even been enabled by default for
Fedora Linux, so I would rather see a more sensitive default been taken
even though the test runtime is fairly quickly on a small machine for now.

> 
> [    5.656916] debug_vm_pgtable: debug_vm_pgtable: Validating 
> architecture page table helpers
> [    5.665661] debug_vm_pgtable: debug_vm_pgtable: Validated 
> architecture page table helpers



WARNING: multiple messages have this Message-ID (diff)
From: Qian Cai <cai@lca.pw>
To: Christophe Leroy <christophe.leroy@c-s.fr>
Cc: Mark Rutland <Mark.Rutland@arm.com>,
	linux-ia64@vger.kernel.org, linux-sh@vger.kernel.org,
	Peter Zijlstra <peterz@infradead.org>,
	James Hogan <jhogan@kernel.org>,
	Tetsuo Handa <penguin-kernel@i-love.sakura.ne.jp>,
	Heiko Carstens <heiko.carstens@de.ibm.com>,
	Michal Hocko <mhocko@kernel.org>,
	linux-mm@kvack.org, Paul Mackerras <paulus@samba.org>,
	kasan-dev <kasan-dev@googlegroups.com>,
	sparclinux@vger.kernel.org, Thomas Gleixner <tglx@linutronix.de>,
	linux-s390@vger.kernel.org, x86@kernel.org,
	Russell King - ARM Linux <linux@armlinux.org.uk>,
	Matthew Wilcox <willy@infradead.org>,
	Steven Price <Steven.Price@arm.com>,
	Jason Gunthorpe <jgg@ziepe.ca>,
	Gerald Schaefer <gerald.schaefer@de.ibm.com>,
	linux-snps-arc@lists.infradead.org,
	Ingo Molnar <mingo@kernel.org>, Kees Cook <keescook@chromium.org>,
	Anshuman Khandual <Anshuman.Khandual@arm.com>,
	Masahiro Yamada <yamada.masahiro@socionext.com>,
	Mark Brown <broonie@kernel.org>,
	"Kirill A . Shutemov" <kirill@shutemov.name>,
	Dan Williams <dan.j.williams@intel.com>,
	Vlastimil Babka <vbabka@suse.cz>,
	linux-arm-kernel@lists.infradead.org,
	Sri Krishna chowdary <schowdary@nvidia.com>,
	Ard Biesheuvel <ard.biesheuvel@linaro.org>,
	Greg Kroah-Hartman <gregkh@linuxfoundation.org>,
	Dave Hansen <dave.hansen@intel.com>,
	linux-mips@vger.kernel.org, Ralf Baechle <ralf@linux-mips.org>,
	linux-kernel@vger.kernel.org, Paul Burton <paul.burton@mips.com>,
	Mike Rapoport <rppt@linux.vnet.ibm.com>,
	Vineet Gupta <vgupta@synopsys.com>,
	Martin Schwidefsky <schwidefsky@de.ibm.com>,
	Andrew Morton <akpm@linux-foundation.org>,
	linuxppc-dev@lists.ozlabs.org,
	"David S. Miller" <davem@davemloft.net>
Subject: Re: [PATCH V12] mm/debug: Add tests validating architecture page table helpers
Date: Mon, 03 Feb 2020 10:48:14 -0500	[thread overview]
Message-ID: <1580744894.7365.3.camel@lca.pw> (raw)
In-Reply-To: <8e94a073-4045-89aa-6a3b-24847ad7c858@c-s.fr>

On Mon, 2020-02-03 at 16:14 +0100, Christophe Leroy wrote:
> 
> Le 02/02/2020 à 12:26, Qian Cai a écrit :
> > 
> > 
> > > On Jan 30, 2020, at 9:13 AM, Christophe Leroy <christophe.leroy@c-s.fr> wrote:
> > > 
> > > config DEBUG_VM_PGTABLE
> > >     bool "Debug arch page table for semantics compliance" if ARCH_HAS_DEBUG_VM_PGTABLE || EXPERT
> > >     depends on MMU
> > >     default 'n' if !ARCH_HAS_DEBUG_VM_PGTABLE
> > >     default 'y' if DEBUG_VM
> > 
> > Does it really necessary to potentially force all bots to run this? Syzbot, kernel test robot etc? Does it ever pay off for all their machine times there?
> > 
> 
> Machine time ?
> 
> On a 32 bits powerpc running at 132 MHz, the tests takes less than 10ms. 
> Is it worth taking the risk of not detecting faults by not selecting it 
> by default ?

The risk is quite low as Catalin mentioned this thing is not to detect
regressions but rather for arch/mm maintainers.

I do appreciate the efforts to get everyone as possible to run this thing,
so it get more notices once it is broken. However, DEBUG_VM seems like such
a generic Kconfig those days that have even been enabled by default for
Fedora Linux, so I would rather see a more sensitive default been taken
even though the test runtime is fairly quickly on a small machine for now.

> 
> [    5.656916] debug_vm_pgtable: debug_vm_pgtable: Validating 
> architecture page table helpers
> [    5.665661] debug_vm_pgtable: debug_vm_pgtable: Validated 
> architecture page table helpers


WARNING: multiple messages have this Message-ID (diff)
From: Qian Cai <cai@lca.pw>
To: Christophe Leroy <christophe.leroy@c-s.fr>
Cc: Mark Rutland <Mark.Rutland@arm.com>,
	linux-ia64@vger.kernel.org, linux-sh@vger.kernel.org,
	Peter Zijlstra <peterz@infradead.org>,
	James Hogan <jhogan@kernel.org>,
	Tetsuo Handa <penguin-kernel@i-love.sakura.ne.jp>,
	Heiko Carstens <heiko.carstens@de.ibm.com>,
	Michal Hocko <mhocko@kernel.org>,
	linux-mm@kvack.org, Paul Mackerras <paulus@samba.org>,
	kasan-dev <kasan-dev@googlegroups.com>,
	sparclinux@vger.kernel.org, Thomas Gleixner <tglx@linutronix.de>,
	linux-s390@vger.kernel.org, Michael Ellerman <mpe@ellerman.id.au>,
	x86@kernel.org, Russell King - ARM Linux <linux@armlinux.org.uk>,
	Matthew Wilcox <willy@infradead.org>,
	Steven Price <Steven.Price@arm.com>,
	Jason Gunthorpe <jgg@ziepe.ca>,
	Gerald Schaefer <gerald.schaefer@de.ibm.com>,
	linux-snps-arc@lists.infradead.org,
	Ingo Molnar <mingo@kernel.org>, Kees Cook <keescook@chromium.org>,
	Anshuman Khandual <Anshuman.Khandual@arm.com>,
	Masahiro Yamada <yamada.masahiro@socionext.com>,
	Mark Brown <broonie@kernel.org>,
	"Kirill A . Shutemov" <kirill@shutemov.name>,
	Dan Williams <dan.j.williams@intel.com>,
	Vlastimil Babka <vbabka@suse.cz>,
	linux-arm-kernel@lists.infradead.org,
	Sri Krishna chowdary <schowdary@nvidia.com>,
	Ard Biesheuvel <ard.biesheuvel@linaro.org>,
	Greg Kroah-Hartman <gregkh@linuxfoundation.org>,
	Dave Hansen <dave.hansen@intel.com>,
	linux-mips@vger.kernel.org, Ralf Baechle <ralf@linux-mips.org>,
	linux-kernel@vger.kernel.org, Paul Burton <paul.burton@mips.com>,
	Mike Rapoport <rppt@linux.vnet.ibm.com>,
	Vineet Gupta <vgupta@synopsys.com>,
	Martin Schwidefsky <schwidefsky@de.ibm.com>,
	Andrew Morton <akpm@linux-foundation.org>,
	linuxppc-dev@lists.ozlabs.org,
	"David S. Miller" <davem@davemloft.net>
Subject: Re: [PATCH V12] mm/debug: Add tests validating architecture page table helpers
Date: Mon, 03 Feb 2020 10:48:14 -0500	[thread overview]
Message-ID: <1580744894.7365.3.camel@lca.pw> (raw)
In-Reply-To: <8e94a073-4045-89aa-6a3b-24847ad7c858@c-s.fr>

On Mon, 2020-02-03 at 16:14 +0100, Christophe Leroy wrote:
> 
> Le 02/02/2020 à 12:26, Qian Cai a écrit :
> > 
> > 
> > > On Jan 30, 2020, at 9:13 AM, Christophe Leroy <christophe.leroy@c-s.fr> wrote:
> > > 
> > > config DEBUG_VM_PGTABLE
> > >     bool "Debug arch page table for semantics compliance" if ARCH_HAS_DEBUG_VM_PGTABLE || EXPERT
> > >     depends on MMU
> > >     default 'n' if !ARCH_HAS_DEBUG_VM_PGTABLE
> > >     default 'y' if DEBUG_VM
> > 
> > Does it really necessary to potentially force all bots to run this? Syzbot, kernel test robot etc? Does it ever pay off for all their machine times there?
> > 
> 
> Machine time ?
> 
> On a 32 bits powerpc running at 132 MHz, the tests takes less than 10ms. 
> Is it worth taking the risk of not detecting faults by not selecting it 
> by default ?

The risk is quite low as Catalin mentioned this thing is not to detect
regressions but rather for arch/mm maintainers.

I do appreciate the efforts to get everyone as possible to run this thing,
so it get more notices once it is broken. However, DEBUG_VM seems like such
a generic Kconfig those days that have even been enabled by default for
Fedora Linux, so I would rather see a more sensitive default been taken
even though the test runtime is fairly quickly on a small machine for now.

> 
> [    5.656916] debug_vm_pgtable: debug_vm_pgtable: Validating 
> architecture page table helpers
> [    5.665661] debug_vm_pgtable: debug_vm_pgtable: Validated 
> architecture page table helpers


_______________________________________________
linux-snps-arc mailing list
linux-snps-arc@lists.infradead.org
http://lists.infradead.org/mailman/listinfo/linux-snps-arc

WARNING: multiple messages have this Message-ID (diff)
From: Qian Cai <cai@lca.pw>
To: Christophe Leroy <christophe.leroy@c-s.fr>
Cc: Mark Rutland <Mark.Rutland@arm.com>,
	linux-ia64@vger.kernel.org, linux-sh@vger.kernel.org,
	Peter Zijlstra <peterz@infradead.org>,
	James Hogan <jhogan@kernel.org>,
	Tetsuo Handa <penguin-kernel@i-love.sakura.ne.jp>,
	Heiko Carstens <heiko.carstens@de.ibm.com>,
	Michal Hocko <mhocko@kernel.org>,
	linux-mm@kvack.org, Paul Mackerras <paulus@samba.org>,
	kasan-dev <kasan-dev@googlegroups.com>,
	sparclinux@vger.kernel.org, Thomas Gleixner <tglx@linutronix.de>,
	linux-s390@vger.kernel.org, Michael Ellerman <mpe@ellerman.id.au>,
	x86@kernel.org, Russell King - ARM Linux <linux@armlinux.org.uk>,
	Matthew Wilcox <willy@infradead.org>,
	Steven Price <Steven.Price@arm.com>,
	Jason Gunthorpe <jgg@ziepe.ca>,
	Gerald Schaefer <gerald.schaefer@de.ibm.com>,
	linux-snps-arc@lists.infradead.org,
	Ingo Molnar <mingo@kernel.org>, Kees Cook <keescook@chromium.org>,
	Anshuman Khandual <Anshuman.Khandual@arm.com>,
	Masahiro Yamada <yamada.masahiro@socionext.com>,
	Mark Brown <broonie@kernel.org>,
	"Kirill A . Shutemov" <kirill@shutemov.name>,
	Dan Williams <dan.j.williams@intel.com>,
	Vlastimil Babka <vbabka@suse.cz>,
	linux-arm-kernel@lists.infradead.org,
	Sri Krishna chowdary <schowdary@nvidia.com>,
	Ard Biesheuvel <ard.biesheuvel@linaro.org>,
	Greg Kroah-Hartman <gregkh@linuxfoundation.org>,
	Dave Hansen <dave.hansen@intel.com>,
	linux-mips@vger.kernel.org, Ralf Baechle <ralf@linux-mips.org>,
	linux-kernel@vger.kernel.org, Paul Burton <paul.burton@mips.com>,
	Mike Rapoport <rppt@linux.vnet.ibm.com>,
	Vineet Gupta <vgupta@synopsys.com>,
	Martin Schwidefsky <schwidefsky@de.ibm.com>,
	Andrew Morton <akpm@linux-foundation.org>,
	linuxppc-dev@lists.ozlabs.org,
	"David S. Miller" <davem@davemloft.net>
Subject: Re: [PATCH V12] mm/debug: Add tests validating architecture page table helpers
Date: Mon, 03 Feb 2020 10:48:14 -0500	[thread overview]
Message-ID: <1580744894.7365.3.camel@lca.pw> (raw)
In-Reply-To: <8e94a073-4045-89aa-6a3b-24847ad7c858@c-s.fr>

On Mon, 2020-02-03 at 16:14 +0100, Christophe Leroy wrote:
> 
> Le 02/02/2020 à 12:26, Qian Cai a écrit :
> > 
> > 
> > > On Jan 30, 2020, at 9:13 AM, Christophe Leroy <christophe.leroy@c-s.fr> wrote:
> > > 
> > > config DEBUG_VM_PGTABLE
> > >     bool "Debug arch page table for semantics compliance" if ARCH_HAS_DEBUG_VM_PGTABLE || EXPERT
> > >     depends on MMU
> > >     default 'n' if !ARCH_HAS_DEBUG_VM_PGTABLE
> > >     default 'y' if DEBUG_VM
> > 
> > Does it really necessary to potentially force all bots to run this? Syzbot, kernel test robot etc? Does it ever pay off for all their machine times there?
> > 
> 
> Machine time ?
> 
> On a 32 bits powerpc running at 132 MHz, the tests takes less than 10ms. 
> Is it worth taking the risk of not detecting faults by not selecting it 
> by default ?

The risk is quite low as Catalin mentioned this thing is not to detect
regressions but rather for arch/mm maintainers.

I do appreciate the efforts to get everyone as possible to run this thing,
so it get more notices once it is broken. However, DEBUG_VM seems like such
a generic Kconfig those days that have even been enabled by default for
Fedora Linux, so I would rather see a more sensitive default been taken
even though the test runtime is fairly quickly on a small machine for now.

> 
> [    5.656916] debug_vm_pgtable: debug_vm_pgtable: Validating 
> architecture page table helpers
> [    5.665661] debug_vm_pgtable: debug_vm_pgtable: Validated 
> architecture page table helpers


_______________________________________________
linux-arm-kernel mailing list
linux-arm-kernel@lists.infradead.org
http://lists.infradead.org/mailman/listinfo/linux-arm-kernel

  reply	other threads:[~2020-02-03 15:48 UTC|newest]

Thread overview: 194+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2020-01-28  1:27 [PATCH V12] mm/debug: Add tests validating architecture page table helpers Anshuman Khandual
2020-01-28  1:39 ` Anshuman Khandual
2020-01-28  1:27 ` Anshuman Khandual
2020-01-28  1:27 ` Anshuman Khandual
2020-01-28  1:27 ` Anshuman Khandual
2020-01-28  2:11 ` Qian Cai
2020-01-28  2:11   ` Qian Cai
2020-01-28  2:11   ` Qian Cai
2020-01-28  2:11   ` Qian Cai
2020-01-28  2:11   ` Qian Cai
2020-01-28  3:06   ` Anshuman Khandual
2020-01-28  3:18     ` Anshuman Khandual
2020-01-28  3:06     ` Anshuman Khandual
2020-01-28  3:06     ` Anshuman Khandual
2020-01-28  3:06     ` Anshuman Khandual
2020-01-28  3:33     ` Qian Cai
2020-01-28  3:33       ` Qian Cai
2020-01-28  3:33       ` Qian Cai
2020-01-28  3:33       ` Qian Cai
2020-01-28  3:33       ` Qian Cai
2020-01-28  4:57       ` Anshuman Khandual
2020-01-28  4:58         ` Anshuman Khandual
2020-01-28  4:57         ` Anshuman Khandual
2020-01-28  4:57         ` Anshuman Khandual
2020-01-28  4:57         ` Anshuman Khandual
2020-01-28  5:48         ` Qian Cai
2020-01-28  5:48           ` Qian Cai
2020-01-28  5:48           ` Qian Cai
2020-01-28  5:48           ` Qian Cai
2020-01-28  5:48           ` Qian Cai
2020-01-28  6:17           ` Christophe Leroy
2020-01-28  6:17             ` Christophe Leroy
2020-01-28  6:17             ` Christophe Leroy
2020-01-28  6:17             ` Christophe Leroy
2020-01-28  6:17             ` Christophe Leroy
2020-01-28  6:36             ` Qian Cai
2020-01-28  6:36               ` Qian Cai
2020-01-28  6:36               ` Qian Cai
2020-01-28  6:36               ` Qian Cai
2020-01-28  6:36               ` Qian Cai
2020-01-28  7:03               ` Anshuman Khandual
2020-01-28  7:15                 ` Anshuman Khandual
2020-01-28  7:03                 ` Anshuman Khandual
2020-01-28  7:03                 ` Anshuman Khandual
2020-01-28  7:03                 ` Anshuman Khandual
2020-01-28  7:07                 ` Qian Cai
2020-01-28  7:07                   ` Qian Cai
2020-01-28  7:07                   ` Qian Cai
2020-01-28  7:07                   ` Qian Cai
2020-01-28  7:07                   ` Qian Cai
2020-01-28  6:13       ` Christophe Leroy
2020-01-28  6:13         ` Christophe Leroy
2020-01-28  6:13         ` Christophe Leroy
2020-01-28  6:13         ` Christophe Leroy
2020-01-28  6:13         ` Christophe Leroy
2020-01-28  7:12         ` Qian Cai
2020-01-28  7:12           ` Qian Cai
2020-01-28  7:12           ` Qian Cai
2020-01-28  7:12           ` Qian Cai
2020-01-28  7:12           ` Qian Cai
2020-01-28 11:58           ` Mark Brown
2020-01-28 11:58             ` Mark Brown
2020-01-28 11:58             ` Mark Brown
2020-01-28 11:58             ` Mark Brown
2020-01-28 11:58             ` Mark Brown
2020-01-28 12:09       ` Mike Rapoport
2020-01-28 12:09         ` Mike Rapoport
2020-01-28 12:09         ` Mike Rapoport
2020-01-28 12:09         ` Mike Rapoport
2020-01-28 12:09         ` Mike Rapoport
2020-01-28 17:14       ` Vineet Gupta
2020-01-28 17:14         ` Vineet Gupta
2020-01-28 17:14         ` Vineet Gupta
2020-01-28 17:14         ` Vineet Gupta
2020-01-29 22:20       ` Gerald Schaefer
2020-01-29 22:20         ` Gerald Schaefer
2020-01-29 22:20         ` Gerald Schaefer
2020-01-29 22:20         ` Gerald Schaefer
2020-01-29 22:20         ` Gerald Schaefer
2020-01-30  7:27         ` Mike Rapoport
2020-01-30  7:27           ` Mike Rapoport
2020-01-30  7:27           ` Mike Rapoport
2020-01-30  7:27           ` Mike Rapoport
2020-01-30  7:27           ` Mike Rapoport
2020-01-30 13:32           ` Anshuman Khandual
2020-01-30 13:44             ` Anshuman Khandual
2020-01-30 13:32             ` Anshuman Khandual
2020-01-30 13:32             ` Anshuman Khandual
2020-01-30 13:32             ` Anshuman Khandual
2020-01-28 17:47   ` Catalin Marinas
2020-01-28 17:47     ` Catalin Marinas
2020-01-28 17:47     ` Catalin Marinas
2020-01-28 17:47     ` Catalin Marinas
2020-01-28 17:47     ` Catalin Marinas
2020-01-28 19:07     ` Qian Cai
2020-01-28 19:07       ` Qian Cai
2020-01-28 19:07       ` Qian Cai
2020-01-28 19:07       ` Qian Cai
2020-01-28 19:07       ` Qian Cai
2020-01-29 10:36       ` Catalin Marinas
2020-01-29 10:36         ` Catalin Marinas
2020-01-29 10:36         ` Catalin Marinas
2020-01-29 10:36         ` Catalin Marinas
2020-01-29 10:36         ` Catalin Marinas
2020-01-29 11:09         ` Qian Cai
2020-01-29 11:09           ` Qian Cai
2020-01-29 11:09           ` Qian Cai
2020-01-29 11:09           ` Qian Cai
2020-01-29 11:09           ` Qian Cai
2020-01-28 12:30 ` Qian Cai
2020-01-28 12:30   ` Qian Cai
2020-01-28 12:30   ` Qian Cai
2020-01-28 17:05 ` Christophe Leroy
2020-01-28 17:05   ` Christophe Leroy
2020-01-28 17:05   ` Christophe Leroy
2020-01-28 17:05   ` Christophe Leroy
2020-01-28 17:05   ` Christophe Leroy
2020-01-30 13:04   ` Anshuman Khandual
2020-01-30 13:16     ` Anshuman Khandual
2020-01-30 13:04     ` Anshuman Khandual
2020-01-30 13:04     ` Anshuman Khandual
2020-01-30 13:04     ` Anshuman Khandual
2020-01-30 14:13     ` Christophe Leroy
2020-01-30 14:13       ` Christophe Leroy
2020-01-30 14:13       ` Christophe Leroy
2020-01-30 14:13       ` Christophe Leroy
2020-01-30 14:13       ` Christophe Leroy
2020-02-02  7:18       ` Anshuman Khandual
2020-02-02  7:30         ` Anshuman Khandual
2020-02-02  7:18         ` Anshuman Khandual
2020-02-02  7:18         ` Anshuman Khandual
2020-02-02  7:18         ` Anshuman Khandual
2020-02-02  8:31         ` Christophe Leroy
2020-02-02  8:31           ` Christophe Leroy
2020-02-02  8:31           ` Christophe Leroy
2020-02-02  8:31           ` Christophe Leroy
2020-02-02  8:31           ` Christophe Leroy
2020-02-02 11:26       ` Qian Cai
2020-02-02 11:26         ` Qian Cai
2020-02-02 11:26         ` Qian Cai
2020-02-02 11:26         ` Qian Cai
2020-02-02 11:26         ` Qian Cai
2020-02-03 15:14         ` Christophe Leroy
2020-02-03 15:14           ` Christophe Leroy
2020-02-03 15:14           ` Christophe Leroy
2020-02-03 15:14           ` Christophe Leroy
2020-02-03 15:14           ` Christophe Leroy
2020-02-03 15:48           ` Qian Cai [this message]
2020-02-03 15:48             ` Qian Cai
2020-02-03 15:48             ` Qian Cai
2020-02-03 15:48             ` Qian Cai
2020-02-03 15:48             ` Qian Cai
2020-02-03 15:48             ` Qian Cai
2020-02-02  8:26     ` Anshuman Khandual
2020-02-02  8:38       ` Anshuman Khandual
2020-02-02  8:26       ` Anshuman Khandual
2020-02-02  8:26       ` Anshuman Khandual
2020-02-02  8:26       ` Anshuman Khandual
2020-01-29 22:20 ` Gerald Schaefer
2020-01-29 22:20   ` Gerald Schaefer
2020-01-29 22:20   ` Gerald Schaefer
2020-01-29 22:20   ` Gerald Schaefer
2020-01-29 22:20   ` Gerald Schaefer
2020-01-30 13:11   ` Anshuman Khandual
2020-01-30 13:23     ` Anshuman Khandual
2020-01-30 13:11     ` Anshuman Khandual
2020-01-30 13:11     ` Anshuman Khandual
2020-01-30 13:11     ` Anshuman Khandual
2020-01-30 15:06 ` Anshuman Khandual
2020-01-30 15:18   ` Anshuman Khandual
2020-01-30 15:06   ` Anshuman Khandual
2020-01-30 15:06   ` Anshuman Khandual
2020-01-30 15:06   ` Anshuman Khandual
2020-01-30 15:06   ` Anshuman Khandual
2020-02-10 15:37 ` Catalin Marinas
2020-02-10 15:37   ` Catalin Marinas
2020-02-10 15:37   ` Catalin Marinas
2020-02-10 15:37   ` Catalin Marinas
2020-02-10 15:37   ` Catalin Marinas
2020-02-12  9:42   ` Anshuman Khandual
2020-02-12  9:54     ` Anshuman Khandual
2020-02-12  9:42     ` Anshuman Khandual
2020-02-12  9:42     ` Anshuman Khandual
2020-02-12  9:42     ` Anshuman Khandual
2020-02-12 17:55     ` Gerald Schaefer
2020-02-12 17:55       ` Gerald Schaefer
2020-02-12 17:55       ` Gerald Schaefer
2020-02-12 17:55       ` Gerald Schaefer
2020-02-12 17:55       ` Gerald Schaefer
2020-02-13  2:15       ` Anshuman Khandual
2020-02-13  2:27         ` Anshuman Khandual
2020-02-13  2:15         ` Anshuman Khandual
2020-02-13  2:15         ` Anshuman Khandual
2020-02-13  2:15         ` Anshuman Khandual

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=1580744894.7365.3.camel@lca.pw \
    --to=cai@lca.pw \
    --cc=Anshuman.Khandual@arm.com \
    --cc=Mark.Rutland@arm.com \
    --cc=Steven.Price@arm.com \
    --cc=akpm@linux-foundation.org \
    --cc=ard.biesheuvel@linaro.org \
    --cc=broonie@kernel.org \
    --cc=christophe.leroy@c-s.fr \
    --cc=dan.j.williams@intel.com \
    --cc=dave.hansen@intel.com \
    --cc=davem@davemloft.net \
    --cc=gerald.schaefer@de.ibm.com \
    --cc=gregkh@linuxfoundation.org \
    --cc=heiko.carstens@de.ibm.com \
    --cc=jgg@ziepe.ca \
    --cc=jhogan@kernel.org \
    --cc=kasan-dev@googlegroups.com \
    --cc=keescook@chromium.org \
    --cc=kirill@shutemov.name \
    --cc=linux-arm-kernel@lists.infradead.org \
    --cc=linux-ia64@vger.kernel.org \
    --cc=linux-kernel@vger.kernel.org \
    --cc=linux-mips@vger.kernel.org \
    --cc=linux-mm@kvack.org \
    --cc=linux-s390@vger.kernel.org \
    --cc=linux-sh@vger.kernel.org \
    --cc=linux-snps-arc@lists.infradead.org \
    --cc=linux@armlinux.org.uk \
    --cc=linuxppc-dev@lists.ozlabs.org \
    --cc=mhocko@kernel.org \
    --cc=mingo@kernel.org \
    --cc=mpe@ellerman.id.au \
    --cc=paul.burton@mips.com \
    --cc=paulus@samba.org \
    --cc=penguin-kernel@i-love.sakura.ne.jp \
    --cc=peterz@infradead.org \
    --cc=ralf@linux-mips.org \
    --cc=rppt@linux.vnet.ibm.com \
    --cc=schowdary@nvidia.com \
    --cc=schwidefsky@de.ibm.com \
    --cc=sparclinux@vger.kernel.org \
    --cc=tglx@linutronix.de \
    --cc=vbabka@suse.cz \
    --cc=vgupta@synopsys.com \
    --cc=willy@infradead.org \
    --cc=x86@kernel.org \
    --cc=yamada.masahiro@socionext.com \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.