On Tue, Jan 16, 2007 at 07:53:51AM -0500, Perry E. Metzger wrote:
> 
> Andrew Doran <ad@netbsd.org> writes:
> > The branch adds one more piece of the puzzle (locking around process state).
> > That it works comparatively well is a product of all of the locks that have
> > been trickling into the system for the last .. well, since 4.4BSD I think.
> 
> What if we did something similar but instead taught the emulator about
> locks and traced unlocked touches of global data structures?

Coverity Prevent also has a set of concurrency checkers that can
identify issues with locking.

Those checkers haven't been turned on yet on scan.coverity.com, but we
are working towards making the additional results available. I just
wanted to let you know that you'll have additional information to call
on when that happens.

--
David Maxwell
Coverity Open Source Strategist
http://scan.coverity.com/