Re: [CHECKER] blocking w/ spinlock or interrupt's disabled

Kurt Garloff (garloff@suse.de)
Fri, 23 Mar 2001 15:47:52 +0100


--TKDEsImF70pdVIl+
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable

Hi Dawson,

On Sat, Mar 17, 2001 at 08:23:34PM -0800, Dawson Engler wrote:
> > enclosed are 163 potential bugs in 2.4.1 where blocking functions are
> > called with either interrupts disabled or a spin lock held. The
> > checker works by:=20
>=20
> Here's the file manifest. Apologies.
>=20
[...]
> drivers/scsi/tmscsim.c
[...]

I'm interested in this one as I'm the maintainer ...

How do I get more details on the problem?

Most other CHECKER reports have been indicating the function where the
problem occurs, this unfortunately not. Am I missing something?

PS: Very nice work! Keep on going!

Regards,
--=20
Kurt Garloff <garloff@suse.de> Eindhoven, NL
GPG key: See mail header, key servers Linux kernel development
SuSE GmbH, Nuernberg, FRG SCSI, Security

--TKDEsImF70pdVIl+
Content-Type: application/pgp-signature
Content-Disposition: inline

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.0.4 (GNU/Linux)
Comment: For info see http://www.gnupg.org

iD8DBQE6u2IXxmLh6hyYd04RAhVTAKCYdYHdYDYWfjl0TWPAP/FwVjgNgQCgiVeD
RgiHW/AHTen7ahIl7QWjs+Q=
=17GN
-----END PGP SIGNATURE-----

--TKDEsImF70pdVIl+--
-
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/