cvs commit: src/sys/arm/xscale/ixp425 ixp425_npe.c src/sys/dev/ipw if_ipw.c if_ipwvar.h src/sys/dev/isp isp_freebsd.h src/sys/dev/iwi if_iwi.c if_iwivar.h src/sys/dev/mxge if_mxge.c src/sys/kern subr_firmware.c src/sys/sys firmware.h src/sys/tools fw_stub.awk

Luigi Rizzo rizzo at
Wed Feb 21 18:10:07 UTC 2007

On Wed, Feb 21, 2007 at 12:50:44PM -0500, Andrew Gallatin wrote:
> Speaking of icky, I'm really worried about the pedantic nature of
> FreeBSD's WITNESS and "never, ever sleep while holding a mutex" dogma
> causing as many problems as it solves.  For example, iwi seems to
> simply drop its lock when loading firmware (presumably to avoid
> WITNESS squawking about holding a mutex while grabbing an sx).  This
> certainly shuts up WITNESS, but it may also introduce a race,
> especially if the linker needs to sleep and wait for the disk.

i am not sure i follow you here...
Of course when you drop the lock you risk that the underlying
data structure is manipulated (or in the worst case freed),
but usually you can avoid this with something like

	<while locked>
	sc->flags |= LEAVE_ME_ALONE
	sc->flags &= ~LEAVE_ME_ALONE
	if (sc->flags & I_AM_WAITING) {
		sc->flags &= ~I_AM_WAITING;

while others would do

	while (sc->flags & LEAVE_ME_ALONE) {
		sc->flags |= I_AM_WAITING;
		msleep(sc, &sc->mtx, ...)

to synchronize...


More information about the cvs-src mailing list