On 01/18/2010 05:09 PM, Neil Brown wrote:
> On Mon, 11 Jan 2010 15:38:11 -0500
> Doug Ledford <dledford@xxxxxxxxxx> wrote:
>
>> Signed-off-by: Doug Ledford <dledford@xxxxxxxxxx>
>
> I really really don't like this.
> I wasn't very keen on allowing the map file to be found in /dev,
> but this it just too ugly.
I've had to rewrite my response to this a few times :-/
So, let's be clear: you are objecting to these non device special files
being located under /dev. Not necessarily *where* they are under /dev,
just that they are under /dev at all. That's what I get from your
statement above.
First with devfs, then later with udev, the old unix tradition of only
device special files under /dev is truly dead. And it should be. The
files we are creating are needed prior to / filesystem bring up, and
they are needed simply in order to fully populate /dev. In fact, an
argument can be made that a new tradition, that files related to the
creation and maintenance of device special files belong under /dev with
the files they relate to, has been created. And this new tradition
makes sense and is elegant on the basis that it requires only one
read/write filesystem mount point during device special file population.
It also makes sense that this new tradition would supersede the old
tradition on the basis that the old tradition was created prior to the
advent of hot plug and the need to have any read/write data just to
populate your device special files. The old tradition didn't have the
flexibility to deal with modern hot plug architectures, the new
tradition fixes that, and does so as elegantly as possible.
That being the case, the big player in the game, udev, is following the
new tradition by creating an entire tree of non device special files
under /dev/.udev and using that to store the information it needs. And
here mdadm/mdmon are, the small players in the device bring up game that
only have minor bit parts compared to udev, holding up progress and
playing the recalcitrant old fart. Sorry Neil, but the war has already
been decided and this is a dead battle. Files related to device special
file bring up belong under /dev along with the files we are creating.
Your claim that these changes are ugly are misplaced and based upon
adherence to a dead tradition that has been replaced by a more sensible
tradition. Maybe you don't like where they are under /dev, but the fact
that they are under /dev is definitely the right thing to do and is not
in the least bit ugly.
> I understand there is a problem here, but I don't like this approach to a
> solution. I'll give it more though when I get home from LCA2010 and see
> what I can come up with.
Feel free to come up with something different. But, if your solution
involves maintaining an additional read/write mount area in deference to
a long dead unix tradition, I'm just going to shake my head and patch
your solution away to something sane.
--
Doug Ledford <dledford@xxxxxxxxxx>
GPG KeyID: CFBFF194
http://people.redhat.com/dledford
Infiniband specific RPMs available at
http://people.redhat.com/dledford/Infiniband
Attachment:
signature.asc
Description: OpenPGP digital signature
