| Date | Mon, 29 May 2006 18:36:41 -0700 | From | Andrew Morton <> | Subject | Re: [patch 61/61] lock validator: enable lock validator in Kconfig |
| |
On Mon, 29 May 2006 23:28:12 +0200 Ingo Molnar <mingo@elte.hu> 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@elte.hu> > Signed-off-by: Arjan van de Ven <arjan@linux.intel.com> > --- > 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@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/
|