[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]
Message-ID: <451bea22-0ffb-4eb0-bbf4-12d7b7742026@paulmck-laptop>
Date: Wed, 16 Oct 2024 08:50:26 -0700
From: "Paul E. McKenney" <paulmck@...nel.org>
To: Jakub Kicinski <kuba@...nel.org>
Cc: netdev@...r.kernel.org, frederic@...nel.org, neeraj.upadhyay@...nel.org,
joel@...lfernandes.org, rcu@...r.kernel.org,
linux-kernel@...r.kernel.org, kees@...nel.org, matttbe@...nel.org
Subject: Re: [PATCH rcu] configs/debug: make sure PROVE_RCU_LIST=y takes
effect
On Tue, Oct 15, 2024 at 06:11:44PM -0700, Jakub Kicinski wrote:
> Commit 0aaa8977acbf ("configs: introduce debug.config for CI-like setup")
> added CONFIG_PROVE_RCU_LIST=y to the common CI config,
> but RCU_EXPERT is not set, and it's a dependency for
> CONFIG_PROVE_RCU_LIST=y. Make sure CIs take advantage
> of CONFIG_PROVE_RCU_LIST=y, recent fixes in networking
> indicate that it does catch bugs.
>
> Signed-off-by: Jakub Kicinski <kuba@...nel.org>
Acked-by: Paul E. McKenney <paulmck@...nel.org>
> ---
> I'd be slightly tempted to still send it to Linux for v6.12.
>
> CC: paulmck@...nel.org
> CC: frederic@...nel.org
> CC: neeraj.upadhyay@...nel.org
> CC: joel@...lfernandes.org
> CC: rcu@...r.kernel.org
> CC: linux-kernel@...r.kernel.org
> CC: kees@...nel.org
> CC: matttbe@...nel.org
> ---
> kernel/configs/debug.config | 1 +
> 1 file changed, 1 insertion(+)
>
> diff --git a/kernel/configs/debug.config b/kernel/configs/debug.config
> index 509ee703de15..20552f163930 100644
> --- a/kernel/configs/debug.config
> +++ b/kernel/configs/debug.config
> @@ -103,6 +103,7 @@ CONFIG_BUG_ON_DATA_CORRUPTION=y
> #
> # RCU Debugging
> #
> +CONFIG_RCU_EXPERT=y
> CONFIG_PROVE_RCU=y
> CONFIG_PROVE_RCU_LIST=y
> #
> --
> 2.46.2
>
Powered by blists - more mailing lists