hitoさん

ご教示ありがとうございます。

生半可な知識が危険であることを改めて認識いたしました。
Wikiへの掲載は、match_flagsを使った照合が下記の通りで正しいと確認できるまで差し控えます。
(下記のmatch_flagsの解釈は正しいでしょうか。)

http://www.mjmwired.net/kernel/Documentation/usb/hotplug.txt
はとても勉強になりました。

(比較すると英語の部分に差がなかったので
http://www.linux.or.jp/JF/JFdocs/kernel-docs-2.6/usb/hotplug.txt.html
の方を読みました。)
(誤訳と思われる箇所が一つありました。英語のほうで30行目にある"dynamically linked"が"直接リンク"となっていました。)

Lucidで確認すると/proc/sys/kernel/hotplugの内容が空で、
/sbin/hotplugが存在しないなど、幾つか使用環境とわない部分がありましたが、
時間のあるときにWebやカーネルのソースを検索して調べてみたいと思います。
(これのソースからmatch_flagsの使用方法を調べようと思ったのですが）

-------------
match_flagsの解釈

modules.usbmapの "idVendor" が linux/mod_devicetable.hに定義されている
"USB_DEVICE_ID_MATCH_VENDOR" に対応し、以下順次
"idProduct"が"USB_DEVICE_ID_MATCH_PRODUCT"に対応という具合に続きます。
照合に使用する属性に対応する値のビットORが "match_flags" の値になっています。
(modules.mapの最後の項目、driver_infoは対応する数値がない)

例えば 0x0013 の場合は idVendor,idProduct, bDeviceClassを照合に使用します。

linux/mod_devicetable.h

/* Some useful macros to use to create struct usb_device_id */
#define USB_DEVICE_ID_MATCH_VENDOR        0x0001
#define USB_DEVICE_ID_MATCH_PRODUCT        0x0002
#define USB_DEVICE_ID_MATCH_DEV_LO        0x0004
#define USB_DEVICE_ID_MATCH_DEV_HI        0x0008
#define USB_DEVICE_ID_MATCH_DEV_CLASS        0x0010
#define USB_DEVICE_ID_MATCH_DEV_SUBCLASS    0x0020
#define USB_DEVICE_ID_MATCH_DEV_PROTOCOL    0x0040
#define USB_DEVICE_ID_MATCH_INT_CLASS        0x0080
#define USB_DEVICE_ID_MATCH_INT_SUBCLASS    0x0100
#define USB_DEVICE_ID_MATCH_INT_PROTOCOL    0x0200

ソースコードで"USB_DEVICE"というマクロが使われている場合、
match_flagsの値は0x0003になります。これは linux/usb.h の記述を確認するとわかります。

linux/usb.h

#define USB_DEVICE_ID_MATCH_DEVICE \
        (USB_DEVICE_ID_MATCH_VENDOR | USB_DEVICE_ID_MATCH_PRODUCT)

- 中略 -

#define USB_DEVICE(vend,prod) \
    .match_flags = USB_DEVICE_ID_MATCH_DEVICE, \
    .idVendor = (vend), \
    .idProduct = (prod)

-------------

参考のために調べてみるとlinux-image-2.6.32-22-generic(2.6.32-22.33)の環境では
match_flagsのパターンは下記の18通り存在しました。

$ awk '!/^#/{print $2}' /lib/modules/$(uname -r)/modules.usbmap | sort -u
0x0001
0x0003
0x000f
0x0013
0x0023
0x0070
0x0080
0x0083
0x0180
0x0181
0x0183
0x0193
0x0283
0x0380
0x0381
0x0383
0x038b
0x03f3

ご確認ありがとうございます。

とりあえず、個別のデバイスに関して具体的に何をblaklistに指定するかは
記載しないつもりでいます。(rt2800usbの例はTipsとして載せない)

間違っていると非常によろしくない性質の情報だと思いますので、
いったん自分のwikiホームページの下に下書きして、またこちらに書込みをします。
作業予定は週末です。

必要条件と十分条件についての私の認識ですが、下記の通りです。

-----------------------------------------------------------------------
A .対象とするデバイスの属性に対してmatch_flagsを考慮したうえで
   modules.usbmapに一致する行が存在することがデフォルト
   でカーネルモジュールがロードされる必要十分条件である。
-----------------------------------------------------------------------
*** A.の注意点 ***
1.「デフォルトで」とは/etc/modulesなどに追加の設定を行わないということ。
  当然modprobeやinsmodによる手動ロードは「デフォルトで」はない。

2.Aはロードされることの必要十分条件。
  デフォルトでデバイスが期待する動作を行うかに関してAは必要条件。
  (A.は複数行がマッチしても真、この場合は動作しない。一行のみが一致する場合でも動作するとは限らない)

-----------------------------------------------------------------------
B.対象とするデバイスの属性に対してmatch_flagsを考慮したうえで
  modules.usbmapに一致する行が N 行( N > 1 )存在する場合、
  ロードされるモジュールが1つになるようにblacklistにN-1個のモジュールを
  記述することはデバイスが正常に動作することの必要条件である。
-----------------------------------------------------------------------
*** B.の注意点 ***
1.対象とするデバイスに対してマッチするモジュール(M)、モジュール(X)が存在し、
  モジュール(M)がデバイスを正常に駆動できるとする。(X)は正常に駆動できない。
  (X)がモジュール(Y)に依存していて、(Y)の使用リソースが(M)と衝突しているとする。

  上記に加えてモジュール(Z)が別のデバイスのためにロードされていて、
  (Z)は(Y)に依存している

  この場合、(X)をblacklistに指定するだけでは不十分で(ゆえにBは必要条件)、
  (Y)もblacklistに指定する必要がある。(しかしこれでもまだ必要条件)


あれ...(Y)がロードされないと(Z)も動作しなくなるような気がしますが....
rt2800usbの例でいくと、rt2870staとバッティングするのがrt2800usbだけであっても、
rt2x00usb,rt2x00libをblacklist指定するとそれに依存しているモジュールは結局動作できなくなるような。

/lib/modules/2.6.32-22-generic$ grep -e ':.*rt2x00usb' -e ':.*rt2x00lib' modules.dep | sed -e 's#:.*##;'
kernel/drivers/net/wireless/rt2x00/rt2x00pci.ko
kernel/drivers/net/wireless/rt2x00/rt2x00usb.ko
kernel/drivers/net/wireless/rt2x00/rt2400pci.ko
kernel/drivers/net/wireless/rt2x00/rt2500pci.ko
kernel/drivers/net/wireless/rt2x00/rt61pci.ko
kernel/drivers/net/wireless/rt2x00/rt2500usb.ko
kernel/drivers/net/wireless/rt2x00/rt73usb.ko
kernel/drivers/net/wireless/rt2x00/rt2800usb.ko

重ね重ね、ご教示ありがとうございます。

最後の部分のご指摘の通り、私には根本的に知識が不足しております。
この件についてWikiへTipsを書くのは控えたほうがよさそうです。
いくら誰にでも修正ができると言ってもベースがまずすぎては。

一点異議がございます。

偽。必要条件です。十分条件ではありません。厳密に言えば必要条件ですらない（/etc/modprobe.conf, /etc/modprobe.d/に直値指定でも可）です。

/etc/modprobe.conf, /etc/modprobe.d/への指定追加は「デフォルトでは」の記述に反するという認識でおります。

偽。過度な一般化です。必要条件でも十分条件でもありません。トリガは「複数行あること」ではなく、「望ましくないドライバがマッチし、ロードされること」です。

この部分に関しましては、
c. 「複数行がマッチ」＝「制御するリソースが競合する」
d.  cが真であるならばドライバは正常に動作しない
というふうに考えていたのですが、cが必ずしも真でなく、その場合は正常に動作するという理解でよろしいでしょうか。

ご教示いただければ幸いです。

MidSpecLowLoad による投稿:

偽。過度な一般化です。必要条件でも十分条件でもありません。トリガは「複数行あること」ではなく、「望ましくないドライバがマッチし、ロードされること」です。

この部分に関しましては、
c. 「複数行がマッチ」＝「制御するリソースが競合する」
d.  cが真であるならばドライバは正常に動作しない
というふうに考えていたのですが、cが必ずしも真でなく、その場合は正常に動作するという理解でよろしいでしょうか。

先にロードされたドライバが排他的に動作するケースがある（というか、後からロードされたドライバが自主的に落ちることがある）ため、Cは必ずしも真になるものではありません。

#10で記述した/lib/udev/rules.d/80-drivers.rulesの変更で追加した/bin/echoは条件が抜けていて
その下のmodprobeが実行されない状況でも/bin/echoが実行されるる場合が存在します。

訂正版
変更点
・/bin/echo が実行される条件をmodprobeの行と同一に変更。
・RUNで指定したechoが出力されるか確認するため、RUN+=によるechoの指定を追加
　=> やはり/bin/echoの出力が/var/log/udevに存在しない
・出力されなかった$driverを${driver}に変更。
=> そのまま ${driver} と出力されます。

@@ -1,6 +1,8 @@
 # do not edit this file, it will be overwritten on update
 
 ACTION!="add", GOTO="drivers_end"
+DRIVER!="?*", ENV{MODALIAS}=="?*", IMPORT{program}="/bin/echo IMPORT 80-drivers driver=${driver} MODALIAS=$env{MODALIAS}"
+DRIVER!="?*", ENV{MODALIAS}=="?*", RUN+="/bin/echo RUN 80-drivers driver=${driver} MODALIAS=$env{MODALIAS}"
 
 DRIVER!="?*", ENV{MODALIAS}=="?*", RUN+="/sbin/modprobe -b $env{MODALIAS}"
 SUBSYSTEM=="tifm", ENV{TIFM_CARD_TYPE}=="SD", RUN+="/sbin/modprobe -b tifm_sd"

/var/log/udevの一部

UDEV  [1275569226.676076] add      /devices/LNXSYSTM:00/LNXSYBUS:00/PNP0A08:00/device:0b/device:0f/device:11 (acpi)
UDEV_LOG=3
ACTION=add
DEVPATH=/devices/LNXSYSTM:00/LNXSYBUS:00/PNP0A08:00/device:0b/device:0f/device:11
SUBSYSTEM=acpi
MODALIAS=acpi:device:
SEQNUM=1111
IMPORT 80-drivers driver=${driver} MODALIAS=acpi:device:

KERNEL[1275569226.682248] add      /module/drm_kms_helper (module)
UDEV_LOG=3
ACTION=add
DEVPATH=/module/drm_kms_helper
SUBSYSTEM=module
SEQNUM=1464

UDEV  [1275569226.682418] add      /module/drm_kms_helper (module)
UDEV_LOG=3
ACTION=add
DEVPATH=/module/drm_kms_helper
SUBSYSTEM=module
SEQNUM=1464

UDEV  [1275569226.682629] add      /devices/pci0000:00/0000:00:1d.7/usb2/2-4/2-4:1.0 (usb)
UDEV_LOG=3
ACTION=add
DEVPATH=/devices/pci0000:00/0000:00:1d.7/usb2/2-4/2-4:1.0
SUBSYSTEM=usb
DEVTYPE=usb_interface
PRODUCT=2019/ed14/101
TYPE=0/0/0
INTERFACE=255/255/255
MODALIAS=usb:v2019pED14d0101dc00dsc00dp00icFFiscFFipFF
SEQNUM=1203
IMPORT 80-drivers driver=${driver} MODALIAS=usb:v2019pED14d0101dc00dsc00dp00icFFiscFFipFF

UDEV  [1275569226.688018] add      /devices/LNXSYSTM:00/LNXSYBUS:00/PNP0A08:00/device:0b/device:0c/device:0e (acpi)
UDEV_LOG=3
ACTION=add
DEVPATH=/devices/LNXSYSTM:00/LNXSYBUS:00/PNP0A08:00/device:0b/device:0c/device:0e
SUBSYSTEM=acpi
MODALIAS=acpi:device:
SEQNUM=1108
IMPORT 80-drivers driver=${driver} MODALIAS=acpi:device: