On Tue, Jan 16, 2007 at 07:53:51AM -0500, Perry E. Metzger wrote:
>
> Andrew Doran <
ad@...> 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/
