[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]
Message-ID: <ZdbPNV1qa2GBF8rj@boqun-archlinux>
Date: Wed, 21 Feb 2024 20:36:05 -0800
From: Boqun Feng <boqun.feng@...il.com>
To: Waiman Long <longman@...hat.com>
Cc: Peter Zijlstra <peterz@...radead.org>, Ingo Molnar <mingo@...hat.com>,
Will Deacon <will@...nel.org>,
Andrew Morton <akpm@...ux-foundation.org>,
linux-kernel@...r.kernel.org,
George Stark <gnstark@...utedevices.com>
Subject: Re: [PATCH 4/4] locking/rwsem: Make DEBUG_RWSEMS and PREEMPT_RT
mutually exclusive
On Mon, Feb 12, 2024 at 10:16:56PM -0500, Waiman Long wrote:
> The debugging code enabled by CONFIG_DEBUG_RWSEMS will only be
> compiled in when CONFIG_PREEMPT_RT isn't set. There is no point to
> allow CONFIG_DEBUG_RWSEMS to be set in a kernel configuration where
> CONFIG_PREEMPT_RT is also set. Make them mutually exclusive.
>
> Signed-off-by: Waiman Long <longman@...hat.com>
Reviewed-by: Boqun Feng <boqun.feng@...il.com>
Regards,
Boqun
> ---
> lib/Kconfig.debug | 4 ++--
> 1 file changed, 2 insertions(+), 2 deletions(-)
>
> diff --git a/lib/Kconfig.debug b/lib/Kconfig.debug
> index 975a07f9f1cc..cb695bc76d30 100644
> --- a/lib/Kconfig.debug
> +++ b/lib/Kconfig.debug
> @@ -1303,7 +1303,7 @@ config PROVE_LOCKING
> select DEBUG_SPINLOCK
> select DEBUG_MUTEXES if !PREEMPT_RT
> select DEBUG_RT_MUTEXES if RT_MUTEXES
> - select DEBUG_RWSEMS
> + select DEBUG_RWSEMS if !PREEMPT_RT
> select DEBUG_WW_MUTEX_SLOWPATH
> select DEBUG_LOCK_ALLOC
> select PREEMPT_COUNT if !ARCH_NO_PREEMPT
> @@ -1426,7 +1426,7 @@ config DEBUG_WW_MUTEX_SLOWPATH
>
> config DEBUG_RWSEMS
> bool "RW Semaphore debugging: basic checks"
> - depends on DEBUG_KERNEL
> + depends on DEBUG_KERNEL && !PREEMPT_RT
> help
> This debugging feature allows mismatched rw semaphore locks
> and unlocks to be detected and reported.
> --
> 2.39.3
>
Powered by blists - more mailing lists