StorPortSpinLock ルール (storport)
このルールでは、StorPortAcquireSpinLock を介して取得されたロックが、 StorPortReleaseSpinLock を介して迅速にリリースされていることが検証されます。 ミニポート ドライバーは、既に取得したロックを取得しようとした場合、または取得していないロックをリリースしようとした場合、ルールに失敗します。 さらに、ディスパッチ ルーチンまたはキャンセル ルーチンの終了時に、ドライバーはスピン ロックを保持できません。
ドライバー モデル: Storport
テスト方法
| コンパイル時 |
|---|
静的ドライバー検証ツールを実行し、StorPortSpinLock ルールを指定します。 コードの分析を実行するには、次の手順に従います。詳細については、「静的ドライバー検証ツールを使用したドライバーの欠陥の検出」を参照してください。 |