Re: 2.6.17-rc5-mm3: bad unlock ordering (reiser4?)

I just want to thank Ingo for designing this tool.  While it did not
find a reiser4 bug today, probably some day it will.  I hope we as a
kernel community can make automated code inspection/monitoring more and
more sophisticated over the next few years, and this is a nice little
step down that path.

Hans
-
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/

---

• References:
  • 2.6.17-rc5-mm3: bad unlock ordering (reiser4?)
    • From: "Barry K. Nathan" <[email protected]>
  • Re: 2.6.17-rc5-mm3: bad unlock ordering (reiser4?)
    • From: Ingo Molnar <[email protected]>
  • Re: 2.6.17-rc5-mm3: bad unlock ordering (reiser4?)
    • From: Ingo Molnar <[email protected]>
  • Re: 2.6.17-rc5-mm3: bad unlock ordering (reiser4?)
    • From: Alexander Zarochentsev <[email protected]>
  • Re: 2.6.17-rc5-mm3: bad unlock ordering (reiser4?)
    • From: Ingo Molnar <[email protected]>

• Prev by Date: Re: [RFC 0/5] sched: Add CPU rate caps
• Next by Date: Re: [2.6.17-rc5-mm3] Fails to compile on PowerBook
• Previous by thread: Re: 2.6.17-rc5-mm3: bad unlock ordering (reiser4?)
• Next by thread: Re: 2.6.17-rc5-mm3: bad unlock ordering (reiser4?)
• Index(es):
  • Date
  • Thread

[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]