Re: [patch 61/61] lock validator: enable lock validator in Kconfig

[Andrew Morton]

On Mon, 29 May 2006 23:28:12 +0200
Ingo Molnar <mingo@xxxxxxx> wrote:

> offer the following lock validation options:
> 
>  CONFIG_PROVE_SPIN_LOCKING
>  CONFIG_PROVE_RW_LOCKING
>  CONFIG_PROVE_MUTEX_LOCKING
>  CONFIG_PROVE_RWSEM_LOCKING
> 
> Signed-off-by: Ingo Molnar <mingo@xxxxxxx>
> Signed-off-by: Arjan van de Ven <arjan@xxxxxxxxxxxxxxx>
> ---
>  lib/Kconfig.debug |  167 ++++++++++++++++++++++++++++++++++++++++++++++++++++++
>  1 file changed, 167 insertions(+)
> 
> Index: linux/lib/Kconfig.debug
> ===================================================================
> --- linux.orig/lib/Kconfig.debug
> +++ linux/lib/Kconfig.debug
> @@ -184,6 +184,173 @@ config DEBUG_SPINLOCK
>  	  best used in conjunction with the NMI watchdog so that spinlock
>  	  deadlocks are also debuggable.
>  
> +config PROVE_SPIN_LOCKING
> +	bool "Prove spin-locking correctness"
> +	default y

err, I think I'll be sticking a `depends on X86' in there, thanks very
much.  I'd prefer that you be the first to test it ;)

-
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Please read the FAQ at  http://www.tux.org/lkml/