Date: Thu, 7 Aug 2003 14:03:09 -0700 (PDT) From: Ted Unangst <tedu@stanford.edu> To: freebsd-hackers@freebsd.org Subject: Re: possible deadlocks? Message-ID: <Pine.GSO.4.44.0308071351570.29418-100000@elaine38.Stanford.EDU> In-Reply-To: <Pine.NEB.3.96L.1030807141440.20722A-100000@fledge.watson.org>
next in thread | previous in thread | raw e-mail | index | archive | help
On Thu, 7 Aug 2003, Robert Watson wrote:
> 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? :-)
First, thanks Sam and John for confirmation. More reports should be
coming as we find things, though this is still early. It's being done
using static analysis, though I'm not really involved in writing the
checker. I just happen to know some about the kernel and help interpret
results. :) Good to know you're interested though.
--
"People have criticized me because my security detail is larger
than the president's. But you must ask yourself: are there more
people who want to kill me than who want to kill the president?
I can assure you there are."
- M. Barry, Mayor of Washington, DC
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?Pine.GSO.4.44.0308071351570.29418-100000>