possible deadlocks?

[Ted Unangst]

On Fri, 8 Aug 2003, David Schultz wrote:

> On Wed, Aug 06, 2003, Ted Unangst wrote:
> > My advisor Dawson Engler has written a deadlock detector, and we'd like
> > some verification. They look like bugs, unless there is some other reason
> > why two call chains cannot happen at the same time.
>
> Cool!  Is this a new checker for Metal?  Is there a chance that it
> will be released other than as a commercial product through Coverity?

It's pretty much independent of Metal.  No idea what the release plans are
going to be, but it certainly won't be soon.


-- 
"I read a funny story about how the Republicans freed the slaves.
The Republicans are the ones who created slavery by law in the
1600's.  Abraham Lincoln freed the slaves and he was not a
Republican."
      - M. Barry, Mayor of Washington, DC