lkml.org 
[lkml]   [2006]   [May]   [30]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
    /
    Date
    From
    SubjectRe: [patch 61/61] lock validator: enable lock validator in Kconfig
    Hi,

    On Mon, 29 May 2006, Ingo Molnar wrote:

    > 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

    Could you please keep all the defaults in a separate -mm-only patch, so
    it doesn't get merged?
    There are also a number of dependencies on DEBUG_KERNEL missing, it
    completely breaks the debugging menu.

    > +config LOCKDEP
    > + bool
    > + default y
    > + depends on PROVE_SPIN_LOCKING || PROVE_RW_LOCKING || PROVE_MUTEX_LOCKING || PROVE_RWSEM_LOCKING

    This can be written shorter as:

    config LOCKDEP
    def_bool PROVE_SPIN_LOCKING || PROVE_RW_LOCKING || PROVE_MUTEX_LOCKING || PROVE_RWSEM_LOCKING

    bye, Roman
    -
    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/

    \
     
     \ /
      Last update: 2006-05-30 15:36    [W:4.191 / U:0.100 seconds]
    ©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site