Re: [PATCH RFD] alternative kobject release wait mechanism
From: Alan Stern
Date: Tue Apr 24 2007 - 15:38:31 EST
On Sun, 22 Apr 2007, Greg KH wrote:
> > Looking some more, kobject_get_path() is used for kobject renaming,
> > uevent handling, and a little bit in the input core. None of these things
> > should try to access a kobject after it has been del()ed. After all, it's
> > no longer present in the filesystem so it doesn't _have_ a path.
> But we _have_ to have a full path at that time to tell userspace what
> just went away. That is the main reason we enforce this (there were
> tons of issues with scsi devices and this in the past which is what
> caused us to enforce this.)
The SCSI subsystem has undergone many, many changes since 2.6.0. In
particular, it has implemented a full-fledged device-state model, complete
with spinlock-protected state transitions.
I'll have to check with James Bottomley, but I bet that SCSI now always
unregisters all the children of a device before unregistering the device
We ought to make it explicitly clear that _all_ subsystems should behave
this way. Maybe it isn't necessary to go as far as having device_del()
call itself recursively; doing that would open up lots of possible races.
But I think it would be a good idea to add a WARN_ON in device_del, right
after the call to bus_remove_device(), that would be triggered if the
device still had any children.
It would also be good to document (but where?) some lifetime rules for
device drivers. Something like this:
When a driver's remove() method returns, the driver must no
longer try to use the device it was just unbound from. The
device may be physically gone, or a different driver may be
bound to it. Most importantly, remove() should unregister
all child devices created by the driver.
To accomplish all this safely, the driver should allocate a
private data structure containing at least a "gone" flag and
a mutex or spinlock for synchronization. Each time the driver
needs to use the device, it should first lock the mutex or
spinlock and check the "gone" flag.
Ideally remove() should release all of the driver's references
to the device, in accord with the "Immediate Detach" principle.
However it is acceptable for the driver to retain a reference,
provided it meets the following conditions:
The reference must be dropped in a timely manner,
such as when the release() methods for all child
devices have run.
The driver must also retain a module reference to
the owner of the device. In practice this means the
driver must contain static code references to the
subsystem which created the device, since struct
device doesn't have an "owner" field.
The driver must restrict itself to reading (not
writing!) the fields in the device structure. The
only exception is that the driver may lock/unlock
How does that sound?
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/