On Thu, 7 Aug 2003, Robert Watson wrote: > On Wed, 6 Aug 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. > > Neat -- sounds like two good catches given the responses so far. Can we > expect more such reports forthcoming? This kind of help will be > invaluable in finishing up the fine-grained locking work. Alternatively, > do you plan to post the software? Is this static or dynamic analysis? > etc, etc? :-) > > Robert N M Watson FreeBSD Core Team, TrustedBSD Projects > [EMAIL PROTECTED] Network Associates Laboratories
Just for everyone's info, any locking problems that I introduce over the next few months will not be mistakes, they will be "test cases" for the deadlock detector. Mike "Silby" Silbersack _______________________________________________ [EMAIL PROTECTED] mailing list http://lists.freebsd.org/mailman/listinfo/freebsd-hackers To unsubscribe, send any mail to "[EMAIL PROTECTED]"
