PCIe と USB はどちらもデバイスを列挙できるが、ドライバへの制御方法は異なる。PCI ドライバは通常、BAR レジスタを直接操作し、DMA キューを構築する。USB インターフェースドライバはリクエストを USB コアに送信し、ホストコントローラがバストランザクションを実行する。両者に共通する難しさは、デバイスとリクエストが非同期に消失する可能性があること、リソースは最後のユーザーが退出した後にのみ解放されるべきであるということである。
1. PCI:設定空間、BAR、DMA は別物
設定空間は、デバイスの識別子、機能、リソースウィンドウ情報を提供する。システムはトポロジをスキャンし、利用可能なリソースを保持または割り当てる。ファームウェアは、ルートブリッジや設定空間ウィンドウなどのプラットフォーム情報を記述できる場合もある。完全なアドレスは 0000:03:00.0 のような形式であり、複数のドメインにまたがる場合、bus:device.function だけでは一意に特定できないことがある。
インターフェース 用途 混同すべきでない対象
設定空間 識別子、機能、BAR 設定 通常デバイスの業務用レジスタ
BAR リソース レジスタまたはデバイスメモリの MMIO / I/O ウィンドウ メインメモリの DMA バッファ
DMA アドレス デバイスがメインメモリを読み書きする際に使用するアドレス CPU の仮想ポインタ
通常のエンドポイント設定ヘッダーには 6 つの BAR スロットがあり、64 ビット BAR は隣接する 2 つのスロットを使用する。ブリッジのレイアウトはこれとは異なる。したがって、カーネルの pci_dev.resource を固定された 6 項目として偽装し、それに基づいてすべてのリソースをトラバースしてはならない。pci_resource_start/len/flags() などの API を通じてリソースを解釈し、適切なマッピングおよび I/O アクセサを使用すること。
pci_iomap() などのマッピングが返す __iomem アドレスは、通常の RAM のように自由に間接参照したり memcpy したりしてはならない。ioread32() / iowrite32() などの、デバイスプロトコルに一致するアクセス方法を使用すること。MMIO の順序や、posted write の完了要件については、ハードウェアおよびプラットフォームのルールを参照すること。
2. probe 時のリソース依存関係
典型的な初期化には、デバイスの有効化、必要な BAR の要求、ハードウェアが実際にサポートする DMA マスクの設定、レジスタのマッピング、キューと割込みの割り当て、そして外部インターフェースの登録が含まれる。具体的な順序は、ハードウェアのリセット、ファームウェアの読み込み、および割込みのマスク要件の影響を受けるため、汎用的な呼び出しリストをそのまま実行可能なドライバとして扱うことはできない。
バスマスターを有効にすると、デバイスがトランザクションを開始できるようになる。これは、バッファとデバイス状態の準備が整った段階で処理すべきである。外部にインターフェースを公開する前に、エラー戻り値のパスでは、取得したリソースを逆順で取り消せるようにする必要がある。新しいドライバでは、古いバージョンの pci_driver の suspend/resume フィールドをそのままコピーするのではなく、dev_pm_ops を通じて電源管理を表現するのが一般的である。
PCI ドキュメント は初期化とリソースインターフェースについて説明している。実装時には対象となるカーネルヘッダーファイルと照合し、managed/unmanaged リソースの解放責任を整合させること。
3. MSI/MSI-X:要求した数が返された数ではない
ベクターの予算:返された数に基づいて後続のリソースを構築する
MSI/MSI-X は、デバイスが発行するメッセージを使用して割込みをトリガする。MSI-X テーブルは最大 2048 項目をサポートするが、デバイスの実装、プラットフォーム、および利用可能なリソースによって実際の数が制限されることがある。1 から 16 個のベクターを要求しても、1、4、または 8 個しか返されない場合がある。
以下は初期化段階の部分的な例であり、完全なドライバではない。
int nvec = pci_alloc_irq_vectors ( pdev, 1 , 16 , PCI_IRQ_MSIX ) ;
if ( nvec < 0 )
return nvec;
for ( int i = 0 ; i < nvec; + + i) {
int irq = pci_irq_vector ( pdev, i ) ;
dev_dbg ( & pdev-> dev, " vector %d uses IRQ %d \n " , i, irq) ;
}
i はデバイスのベクターインデックス、irq は Linux IRQ 番号である。これらは互いに交換してはならない。ベクターの数は、キュー数や CPU 数とも一致しない。複数のキューが割込みを共有できる場合があり、親和性はルーティングを決定するものであり、特定のワーカースレッドへの恒久的なバインドではない。
クリーンアップ時は、デバイスが関連する割込みをさらに生成しないようにしてから、処理関数を適切に同期させ、使用した API の規約に従って処理関数とベクターを解放する。一部の managed PCI インターフェースには自動クリーンアップ機能があるため、無条件で手動解放を行うことはできない。MSI ドライバガイド を参照のこと。
8 つのキューに対して 3 つのベクターしか取得できない場合、どのように割り当てるか
デバイスが複数の完了キューを 1 つの MSI-X ベクターにルーティングできると仮定する。ここでは明確なドライバ戦略を採用する。ベクターが 2 つ以上ある場合は、インデックス 0 を管理イベント用に確保し、残りのベクターをデータキューにローテーションで割り当てる。ベクターが 1 つしかない場合は、管理イベントとすべてのデータキューがインデックス 0 を共有する。このようなルーティングがサポートされているかどうかは、ハードウェアによって確認されなければならず、OS が返す数から推測してはならない。
実際のベクター数 管理イベント データキュー 0~7 に対応するベクターインデックス
1 0 0、0、0、0、0、0、0、0
3 0 1、2、1、2、1、2、1、2
5 0 1、2、3、4、1、2、3、4
def route_queues ( queue_count , linux_irqs ) :
if queue_count < 0 or not linux_irqs or len ( set ( linux_irqs ) ) != len ( linux_irqs ) :
raise ValueError ( " 有効なキュー数と重複のないベクター IRQ マッピングが必要です" )
nvec = len ( linux_irqs )
indices = [ 0 if nvec == 1 else 1 + q % ( nvec - 1 )
for q in range ( queue_count ) ]
groups = { i : [ ] for i in range ( nvec ) }
for q , index in enumerate ( indices ) :
groups [ index ] . append ( q )
return indices , groups
indices , groups = route_queues ( 8 , [ 48 , 113 , 207 ] )
assert indices == [ 1 , 2 , 1 , 2 , 1 , 2 , 1 , 2 ]
assert groups == { 0 : [ ] , 1 : [ 0 , 2 , 4 , 6 ] , 2 : [ 1 , 3 , 5 , 7 ] }
for nvec in ( 1 , 3 , 5 ) :
for count in ( 0 , 1 , 8 , 17 ) :
indices , groups = route_queues ( count , list ( range ( 100 , 100 + nvec ) ) )
assert sorted ( q for group in groups . values ( ) for q in group ) == list ( range ( count ) )
assert all ( 0 <= i < nvec for i in indices )
assert route_queues ( 8 , [ 48 ] ) [ 0 ] == [ 0 ] * 8
ここで IRQ 113 の処理関数は、キュー 0、2、4、6 の完了状態を確認する必要がある。「割込みが 1 回発生した」ことを「リクエストがちょうど 1 つ完了した」としてはならない。割込みの統合、複数の完了エントリ、およびキューが引き続き作業を生成している場合、デバイスキュープロトコルに従って消費位置を進める必要がある。1 つのデバイスベクターを共有することは、従来の INTx の共有ラインモードを使用することとは異なり、2 つの「共有」は別々に理解すべきである。
初期化の失敗に対しても、実際に構築されたリソースに基づいてロールバックする必要がある。3 つのベクターを割り当てたが、3 番目の request_irq() が失敗した場合、インストール済みの最初の 2 つの処理関数のみを解放し、その後ベクターを解放する。キューと DMA バッファは、それぞれ取得した順序に従って処理される。通常運用に入ると、ハード割込みの同期に加え、処理関数が派生させた作業を排空する必要がある。そうしないと、IRQ の解放が、作業項目がキューにアクセスしなくなったことを証明するものではない。
4. USB:ドライバは通常インターフェースにバインドされる
1 つの USB デバイスは複数の構成を提供できる。選択された構成には複数のインターフェースが含まれ、インターフェースには代替設定(alternate settings)があり、各設定がエンドポイントのグループを記述する。カメラのオーディオ機能とビデオ機能は、異なるインターフェースドライバによって処理されることがある。
一般的な usb_driver.probe() は usb_interface * を受け取る。ドライバは、バインドされたインターフェースの現在設定されているエンドポイントを調べるべきであり、「最初のエンドポイントが常に bulk IN である」と仮定してはならない。エンドポイント 0 はデバイスのデフォルト制御エンドポイントであり、各インターフェース固有のエンドポイントとして適用してはならない。
転送タイプ 適したタスク サービス特性
Control 標準リクエストおよび設定コマンド setup などのフェーズを含む
Bulk ストレージおよび大量データ 信頼性の高い転送。固定帯域幅/レイテンシの保証なし
Interrupt キーボードなどの少量の周期的データ ホストがサービス間隔に従ってスケジューリング
Isochronous オーディオ/ビデオストリーム タイムリーなサービス。エラーは通常再送信しない
ここで言う interrupt は、周辺デバイスが任意の時点で CPU を直接割り込むことを意味するものではない。USB バス転送はホストによってスケジューリングされ、HCD の CPU 割込みは別の層のメカニズムである。ポート接続の検出は、USB の速度とプロトコルによって異なり、D+ のレベル変化として一律に解釈できるものではない。
5. URB は非同期リクエストであり、データがすでに送信されたことの証明ではない
USB リクエスト:リクエストの受け入れと関数の返却は同時ではない
ドライバが URB とバッファを準備
エンドポイント、方向、長さ、完了コールバックを設定
1
コアがリクエストを受け入れ、在途状態に入る
コアが在途リクエストを管理し、ドライバはリソースの寿命を保持
2
HCD が実行し、完了を報告
成功、エラー、キャンセルのいずれでも完了ステータスが生成される
3
完了コールバックが status / actual_length を確認
回収、待機中のスレッドのウェイクアップ、または許可条件下での再送信
4
送信失敗は呼び出し側で処理する。送信成功は、転送が完了したことを意味しない。
usb_submit_urb の結果 所有権と後続の責任
エラーを返す リクエストはコアに正常に引き渡されず、呼び出し側がエラーとリソースを処理
0 を返す リクエストが受け入れられ、バッファとコンテキストは完了まで存続しなければならない
送信前に、エンドポイント、バッファ、およびコールバックコンテキストを準備する。送信成功は、デバイスがデータをすでに使用し終わったことを意味しない。
送信成功したリクエストはすぐに完了する可能性があり、コールバックは usb_submit_urb() が返る前に発生することさえある。したがって、コールバックが使用するコンテキストは、送信インターフェースを呼び出す前に準備されていなければならない。図の「リクエストの受け入れ」は送信呼び出しの間に発生するため、関数の返却をコールバック開始のバリアとして扱ってはならない。
コールバックへの参照を先に取得し、リクエストを送信する
ドライバ固有のリクエストオブジェクトと URB 自体は別のオブジェクトである。USB コアは URB を管理するが、任意の urb->context ポインタに対して自動的に参照を取得するわけではない。以下に、1 回のリクエストにおけるペアリング方法を示す。呼び出し側はまずプライベートオブジェクトへの参照を保持し、送信前に完了パス用に 1 つ分を予約する。送信成功後、この参照はコールバックによって解放される。送信失敗でこの完了コールバックが発生しない場合、参照は呼び出し側によって取り消される。
コールバックが先に完了しても遅くても、送信前に参照を予約する必要がある
早期完了
予約:2
コールバック:1
呼び出し側の退出:0
遅延完了
予約:2
呼び出し側の退出:1
コールバック:0
数字はドライバ固有オブジェクトの参照数。送信失敗時は、呼び出し側がコールバックの予約を取り消す。
class Request :
def __init__ ( self ) :
self . refs = 1
self . ready = True
self . callback_owned = False
self . completions = 0
self . freed = False
def put ( self ) :
assert self . refs > 0 and not self . freed
self . refs -= 1
self . freed = self . refs == 0
def reserve_callback ( self ) :
assert self . ready and not self . freed and not self . callback_owned
self . refs += 1
self . callback_owned = True
def finish ( self ) :
assert self . ready and self . callback_owned and not self . freed
self . completions += 1
self . callback_owned = False
self . put ( )
def rollback_failed_submit ( self ) :
assert self . callback_owned and self . completions == 0
self . callback_owned = False
self . put ( )
def one_request ( mode ) :
r = Request ( )
r . reserve_callback ( ) if mode == " failure" :
result = - 1 else :
result = 0
if mode == " early" :
r . finish ( ) if result :
r . rollback_failed_submit ( )
assert not r . freed r . put ( ) if mode == " late" :
assert not r . freed r . finish ( )
assert r . freed and r . refs == 0
assert r . completions == ( mode != " failure" )
for mode in ( " failure" , " early" , " late" ) :
one_request ( mode )
このモデルは、1 回の送信におけるプライベートオブジェクトの寿命のみを追跡する。実際の並行コードでは、適切なアトミック参照、状態同期、および独立した URB/バッファ管理が必要である。コールバックが再送信を行う場合、新しいリクエストに対して完全な引き継ぎを構築する必要があり、旧リクエストの完了をセッション全体の終了と誤認してはならない。submitted = true を個別に保存し、送信の返却後にのみ参照を増やす方法は、早期完了パスではすでに遅すぎる。
ステータス成功、バイトの完全性、ビジネスロジックの完全性は別々に判断する
以下では、bulk IN などの非等時転送について議論する。リクエストが 4096 バイトを読み取り、成功して 512 バイトを返すことは、合法なショートリード(短縮読み取り)となり得る。もし上位プロトコルが固定された 4096 バイトのレコードを要求している場合、この USB の成功がレコードの完全性を意味するわけではない。逆に、1 つの URB が複数のビジネスレコードを運ぶこともあり、レコードの境界はプロトコルパーサによって維持される必要がある。
完了結果 確定できる事実 上位層が決定すべきこと
status=0, actual_length=4096 今回実際に 4096 バイトを受信 コンテンツ、チェックサム、およびレコード境界が有効か
status=0, actual_length=512 ショートリードをエラーとして扱わず、512 バイトを受信 1 つの短い応答か、それとも継続して連結する必要があるか
status がエラー, actual_length=512 エラー発生前に部分的なデータが存在した可能性 破棄するか、接頭辞を保持してプロトコルを再同期するか
actual_length=0 今回データバイトなし プロトコルが空の応答を許可しているか。ファイルの EOF と直接同一視してはならない
非等時読み取りでは、URB_SHORT_NOT_OK を使用してショートリードをエラーとして報告させることができるが、これは残りのバイトを補完するものでも、ビジネスレコードを検証するものでもない。等時転送の場合は、iso_frame_desc のステータスと長さを個別に確認する必要があり、URB の全体ステータスだけですべてのフレームが成功したと推論してはならない。フィールドの意味については USB Host Side API を参照のこと。
完了時は以下の順序で確認する:
urb->status を使用して結果を判断する。
actual_length を使用して実際の長さを判断する。成功しても、必ずしも要求された長さと一致するわけではない。
再送信が必要な場合は、まずデバイスが切断、クローズ、またはサスペンド状態に入っていないことを確認する。
コールバックはスリープ不可能なコンテキストで実行されるため、複雑なブロッキング処理は適切なワークメカニズムに委ねる。そうしないと、終了プロセス中に転送が再起動する可能性がある。
usb_unlink_urb() は非同期キャンセルを要求するが、これによってコールバックによってまだアクセスされる可能性のあるオブジェクトを即座に解放してはならない。
usb_kill_urb() は、リクエストの退出と完了コールバックの終了を待つ。呼び出し位置ではスリープが許可されており、かつコールバックが必要とするロックを保持していない必要がある。
USB アンカーは URB のグループを追跡でき、グループ化された在途リクエストの停止に便利であるが、ドライバ自身のオープンファイル、ワークアイテム、および参照の管理は依然として必要である。
インターフェースルールとキャンセルセマンティクスについては URB ドキュメント を参照のこと。
リクエストが飛行中(実行中)またはコールバック実行中にバッファの解放を試みる。リクエストのキャンセル、コールバックの退出、解放の資格がそれぞれ表示される。さらにコールバックが必要とするロックを追加し、同期待機がなぜデッドロックする可能性があるかを観察する。
図を準備しています 再読み込み
リクエストキャンセル後、誰がバッファを使用する可能性があるか? usb_unlink_urb はリクエストのキャンセルであり、完了コールバックの終了に代わるものではない。同期 kill はリクエストとコールバックの退出を待ち、待機中はコールバックが必要とするロックを保持してはならない。
{"id":"urb-cancellation-lifetime","title":"リクエストキャンセル後、誰がバッファを使用する可能性があるか?","summary":"usb_unlink_urb はリクエストのキャンセルであり、完了コールバックの終了に代わるものではない。同期 kill はリクエストとコールバックの退出を待ち、待機中はコールバックが必要とするロックを保持してはならない。","height":1000,"html":"<h2 data-i18n=\"heading\"></h2><p class=\"intro\" data-i18n=\"intro\"></p><div class=\"actions\"><button id=\"submit\" data-i18n=\"submit\"></button><button id=\"cancel\" data-i18n=\"cancel\"></button></div><div class=\"actions\"><button id=\"enter\" data-i18n=\"enter\"></button><button id=\"leave\" data-i18n=\"leave\"></button></div><label class=\"check\"><input type=\"checkbox\" id=\"lock\"><span data-i18n=\"lock\"></span></label><div class=\"actions\"><button id=\"kill\" data-i18n=\"kill\"></button><button id=\"free\" data-i18n=\"free\"></button></div><div class=\"track-row\"><span data-i18n=\"state\"></span><div id=\"state\" class=\"track\"></div></div><div class=\"track-row\"><span data-i18n=\"buffer\"></span><div id=\"buffer\" class=\"track\"></div></div><div class=\"copy\"><p id=\"explanation\" role=\"status\"></p><p class=\"reserve\" aria-hidden=\"true\" data-i18n=\"note\"></p><p class=\"reserve\" aria-hidden=\"true\" data-i18n=\"blocked\"></p><p class=\"reserve\" aria-hidden=\"true\" data-i18n=\"deadlock\"></p></div><div class=\"actions\"><button id=\"reset\" data-i18n=\"reset\"></button></div><details class=\"scope\"><summary data-i18n=\"scopeLabel\"></summary><p data-i18n=\"scope\"></p></details>","css":".intro{margin:8px 0 18px;color:var(--muted);font-size:14px}.caption,.hint{font-size:12px;color:var(--muted);margin-top:12px}.control{display:grid;grid-template-columns:minmax(0,1fr) auto;gap:6px 12px;align-items:center;margin:14px 0;font-size:13px}.control label{font-size:13px}.control output{color:var(--accent);min-width:5em;text-align:right;font-variant-numeric:tabular-nums}.control input{grid-column:1/-1;width:100%;margin:0}.presets{display:flex;gap:4px;align-items:stretch}.presets button{flex:1 1 0;min-width:0;overflow-wrap:anywhere;font-size:13px}.actions{display:flex;gap:8px;flex-wrap:wrap;margin:14px 0}.actions button{flex:1;min-width:0;font-size:13px;min-height:42px}.copy{display:grid;font-size:14px;margin:16px 0}.copy>*{grid-area:1/1;margin:0}.reserve{visibility:hidden}.scope{margin-top:14px;color:var(--muted);font-size:12px}.scope summary{padding:8px 0;cursor:pointer}.scope p{margin-top:10px}.two{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:12px;margin:16px 0}.card{border:1px solid var(--rule);border-radius:9px;padding:14px;min-width:0}.card header{font-size:14px;font-weight:600;margin-bottom:10px}.card button{font-size:12px;width:100%;min-width:0}.card small{display:block;font-size:12px;color:var(--muted)}.card code{font-size:12px;overflow-wrap:anywhere}.metrics{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:12px;margin:16px 0}.metrics>div{border-left:2px solid var(--accent);padding-left:10px;min-width:0}.metrics span{display:block;min-height:3.2em;color:var(--muted);font-size:12px}.metrics strong{font-size:23px;display:block;font-weight:500;overflow-wrap:anywhere;font-variant-numeric:tabular-nums}.formula{border-top:1px solid var(--rule);padding-top:12px;margin-top:14px;font-size:13px;font-variant-numeric:tabular-nums;overflow-wrap:anywhere}.value{font:500 20px var(--viz-font-ui)}.legend{display:flex;flex-wrap:wrap;gap:6px 14px;font-size:12px;color:var(--muted);margin:12px 0}.legend span:before{content:'';display:inline-block;width:8px;height:8px;border-radius:2px;background:var(--accent);margin-right:6px}.legend .second:before{background:var(--second)}.check{display:flex;align-items:center;gap:8px;font-size:13px;margin:12px 0}.check input{width:16px;height:16px;flex-shrink:0;accent-color:var(--accent)}select,input[type=text],input[type=number]{background:var(--paper);color:var(--ink);font:inherit;font-size:13px;padding:10px;border:1px solid var(--rule);border-radius:7px;max-width:100%;min-width:0}select{width:100%;min-height:42px}.band{height:20px;display:flex;background:var(--surface);border-radius:4px;overflow:hidden}.band i{height:100%;display:block;background:var(--accent);transition:width .25s}.band i.second{background:var(--second)}button:disabled{cursor:default}.status{font-size:13px;min-height:4.8em}.mono{font-family:var(--viz-font-mono);font-variant-numeric:tabular-nums}.muted{color:var(--muted)}\n@media(max-width:480px){.two{gap:8px}.card{padding:12px 9px}.actions button,.presets button{font-size:12px}.metrics strong{font-size:20px}.metrics{gap:8px}}\n@media(prefers-reduced-motion:reduce){*,*::before,*::after{transition:none!important;animation:none!important}}\n.track-row{margin:16px 0}.track-row>span{display:block;font-size:12px;color:var(--muted);margin-bottom:7px}.track{display:flex;gap:5px;min-width:0}.cell{flex:1;min-width:0;min-height:48px;border:1px solid var(--rule);border-radius:5px;background:var(--surface);display:flex;align-items:center;justify-content:center;text-align:center;padding:5px 3px;font-size:12px;overflow-wrap:anywhere;font-variant-numeric:tabular-nums}.cell.on{background:var(--accent-soft);border-color:var(--accent)}.cell.gold{background:var(--second-soft);border-color:var(--second)}.cell.empty{border-style:dashed;color:var(--muted)}.cell.error{border-color:var(--second);text-decoration:line-through}.choices{display:grid;grid-template-columns:repeat(4,minmax(0,1fr));gap:6px;margin:14px 0}.choices button{min-width:0;padding:10px 4px;font-size:12px;overflow-wrap:anywhere}.choices button[aria-current=true]{border-color:var(--accent);background:var(--accent-soft)}.relation{display:grid;grid-template-columns:minmax(0,1fr) 28px minmax(0,1fr);align-items:center;gap:6px;margin:12px 0}.relation .cell{min-height:72px}.relation>i{text-align:center;font-style:normal;color:var(--accent)}.readout{font-size:13px;white-space:pre-line;min-height:6.4em;overflow-wrap:anywhere}.plot{position:relative;border-left:1px solid var(--rule);border-bottom:1px solid var(--rule);padding:8px 0;margin:18px 0}.plot-row{height:28px;position:relative;margin:4px 0;background:var(--surface)}.plot-row i{position:absolute;inset-block:5px;background:var(--accent);min-width:2px;transition:width .2s,left .2s}.plot-row b{position:relative;padding:4px 6px;font:11px/28px var(--viz-font-ui);background:var(--paper);border-radius:3px}.axis{display:flex;justify-content:space-between;font-size:11px;color:var(--muted)}\n\n","js":"const $=s=>document.querySelector(s);const set=(id,v)=>$('#'+id).textContent=v;const t=k=>viz.t(k);function cells(id,values){$('#'+id).replaceChildren(...values.map(v=>{const e=document.createElement('div');e.className='cell '+(v.cls||'');e.textContent=v.text;e.title=v.title||v.text;return e;}));}function pressed(mode){document.querySelectorAll('[data-mode]').forEach(e=>e.setAttribute('aria-pressed',String(e.dataset.mode===mode)));}let phase=0,cancelled=false,alive=true,message='note';function draw(){cells('state',[{text:t(['idle',cancelled?'cancelled':'flight','callback','done'][phase]),cls:phase===1||phase===2?'gold':'on'}]);cells('buffer',[{text:t(alive?'alive':'freed'),cls:alive?'on':'empty'}]);$('#submit').disabled=phase!==0||!alive;$('#cancel').disabled=phase!==1||cancelled;$('#enter').disabled=phase!==1;$('#leave').disabled=phase!==2||$('#lock').checked;$('#kill').disabled=phase===0||phase===3;$('#free').disabled=!alive;set('explanation',t(message));}$('#submit').onclick=()=>{phase=1;draw();};$('#cancel').onclick=()=>{cancelled=true;draw();};$('#enter').onclick=()=>{phase=2;draw();};$('#leave').onclick=()=>{phase=3;message='note';draw();};$('#kill').onclick=()=>{if($('#lock').checked)message='deadlock';else{cancelled=true;phase=3;message='note';}draw();};$('#free').onclick=()=>{if(phase===1||phase===2)message='blocked';else{alive=false;message='note';}draw();};$('#lock').onchange=draw;$('#reset').onclick=()=>{phase=0;cancelled=false;alive=true;message='note';$('#lock').checked=false;draw();};draw();","audio":false,"strings":{"alive":"依然として保持","blocked":"デバイスまたはコールバックのユーザーがまだ存在するため、バッファは有効なまま。","buffer":"バッファの寿命","callback":"コールバック実行中","cancel":"非同期キャンセルを要求","cancelled":"キャンセルが要求済み、完了待ち","deadlock":"ループ待機:kill はコールバックを待ち、コールバックは L を待ち、呼び出し側は L を保持。この依存関係を先に解除する必要がある。同期待機で自動的に修復できるものではない。","done":"コールバック退出済み","enter":"完了コールバック開始","flight":"送信済み、デバイスが引き続き使用可能","free":"バッファの解放を試みる","freed":"解放済み","heading":"リクエストキャンセル後、誰がバッファを使用する可能性があるか?","idle":"未送信","intro":"URB を送信した後、リクエストを非同期にキャンセルし、その後コールバックの開始と退出をそれぞれ行う。いつでも解放を試みることができるが、モデルは寿命条件を満たしていないリソースを保持し続ける。","kill":"同期 kill して待機","leave":"完了コールバック退出","lock":"呼び出し側がコールバックが必要とするロック L を保持","note":"非同期キャンセル後、解放は依然として拒否される。コールバックの退出を待ってから解放して初めて、最後のユーザーの境界を越える。","reset":"リセット","scope":"正常に送信された URB 1 つ。再送信なし。受け入れられたキャンセルは、このモデルにおいてキャンセル完了を生成する。正常な完了との競合におけるすべての戻り値は列挙しない。同期 kill ボタンは条件が満たされると完了待機を折りたたむ。ロックを保持している場合は、ループ待機のみを報告し、ブラウザを本当にブロックしない。図では論理イベントを分離しており、コールバックが submit 返却より遅れることを保証するものではない。","scopeLabel":"モデルの範囲と規約","state":"リクエスト / コールバックの状態","submit":"URB を送信"}}
6. ホットプラグと電源管理の両方で、まずリクエストを停止する必要がある
disconnect/remove では、オフラインとしてマークし、新しいリクエストを阻止してから、非同期リクエストを取り消し、コールバックを待ち、機能インターフェースを登録解除し、リソースを解放する必要がある。ユーザーがデバイスのファイルをまだ保持している可能性がある。後続の操作では、解放済みのプライベートデータにアクセスするのではなく、適切なエラーが表示されるべきである。物理デバイスがすでに拔けている場合、クリーンアップを完了するために「レジスタに再書き込みすれば必ず成功する」という前提に依存することはできない。
送信参照:アイドルサスペンドとシステムサスペンドは別々に処理する
runtime PM はアイドル期間中のサスペンドとレジュームを処理し、システムサスペンドはマシン全体の状態を調整する。I/O を送信する前に、適切な PM 使用参照を取得し、失敗時は戻り値を処理する。転送が完了したら、規約に従って参照を解放する。USB の自動サスペンドには、インターフェースドライバとコアの連携が必要であり、PCI でさえもレジューム後にデバイス状態を再構築する必要がある場合がある。電源管理 を参照のこと。
続きを読む
デバイスモデル :検出、マッチング、およびオブジェクト参照。
DMA API :PCI キューの背後にあるアドレスとバッファの引き継ぎ。
カーネルソースのエントリポイント:drivers/pci/、drivers/usb/core/、include/linux/usb.h。実際のドライバのエラーロールバックと remove パスは、probe と合わせて読むべきである。