Re: [BUGS] [CHECKER] 99 synchronization bugs and a lock summarydatabase

From: Martin Diehl
Date: Fri Jul 02 2004 - 02:35:39 EST


On Thu, 1 Jul 2004, Andrew Morton wrote:

> ftp://ftp.kernel.org/pub/linux/kernel/people/akpm/stanford-locking-bugs/
>
> so we can keep track of which of these possible bugs has been fixed or
> otherwise disposed of.

---
err2-4
[NOTE] BUG (line 182)
ERROR: AMBIGUOUS OUTSTATE:
drivers/net/irda/sir-dev.h:sirdev_write_complete
<http://glide.stanford.edu/cgi-bin/linux-lock/findsum.pl?
function=drivers/net/irda/sir-dev.h:sirdev_write_complete>:
*param_0(dev).tx_lock
---

Was real bug. Already fixed in 2.6.7.

Thanks,
Martin

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