* Daniel Walker <[email protected]> wrote:
> On Wed, 2006-01-25 at 15:23 +0100, Ingo Molnar wrote:
> > RCU task-struct freeing can call free_uid(), which is taking
> > uidhash_lock - while other users of uidhash_lock are softirq-unsafe.
> >
> > This bug was found by the lock validator i'm working on:
>
> What is it doing exactly ?
the lock validator is building a runtime graph of lock dependencies, as
they occur. The granularity is not per lock instance, but per lock
"type" - making it easier (and more likely) to find deadlocks, without
having those deadlocks to trigger. So it's a proactive thing, not a
reactive thing like the current mutex deadlock detection code.
the type granularity also has the positive effect that locking
dependencies between two locks have only be mapped once per bootup, for
any arbitrary object or task that makes use of that lock.
the directed graph is constantly kept valid: when a new dependency is
added then it's checked for circular dependencies.
the validator is also tracking the usage characteristics of locks:
whether they are used in hardirq context, softirq context, whether they
are held with hardirqs enabled, softirqs enabled.
then when a lock is taken in an irq context, or is taken with interrupts
enabled, or interrupts are enabled with the lock held, the validator
immediately transitions that lock (type) to the new usage state - and
validates all the ripple effects within the graph. [i.e. it validates
all locks dependending on this lock, and validates all locks this lock
is depending on.]
the end-result is that this validator gets very close to being able to
prove the theoretical code-correctness of lock usage within Linux, for
all codepaths that occur at least once per bootup. This it can do even
on a uniprocessor system.
i'll release the code soon. I wrote it as a debugging extension to
mutexes, but now it covers spinlocks and rwlocks too.
Ingo
-
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to [email protected]
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/
[Index of Archives]
[Kernel Newbies]
[Netfilter]
[Bugtraq]
[Photo]
[Stuff]
[Gimp]
[Yosemite News]
[MIPS Linux]
[ARM Linux]
[Linux Security]
[Linux RAID]
[Video 4 Linux]
[Linux for the blind]
[Linux Resources]
