Re: [PATCH] lock troubles in pre6-2
David Hinds (dhinds@lahmed.stanford.edu)
Sun, 6 Aug 2000 22:31:09 -0700
On Sat, Aug 05, 2000 at 10:32:40PM -0700, David S. Miller wrote:
> Date: Sat, 5 Aug 2000 15:06:07 -0700
> From: Andy Chou <acc@CS.Stanford.EDU>
>
> Here is a more complete listing of the issues found by a
> compiler-based checker after being filtered by me.
>
> Thanks a lot for this. I've dealt with the core networking cases
> caught, and many of the networking drivers (but not all).
Thanks for the PCMCIA ones. A couple of them seem to be the result of
someone gratuitously sprinkling locks around where they were not
actually needed... and then not checking for correctness.
-- Dave
-
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@vger.rutgers.edu
Please read the FAQ at http://www.tux.org/lkml/