ReqSendWhileSpinlock ルール (kmdf)
ReqSendWhileSpinlock ルールは、ドライバーがスピンロックを保持している間は要求が送信されないというルールを指定します。
ドライバーがスピンロックを保持している間に要求を送信すると、下位ドライバーがロックの取得や共有リソースへのアクセスを試みると、要求を受け取る下位ドライバーとデッドロックまたは競合が発生する可能性があります。
ドライバーモデル: KMDF
テスト方法
| コンパイル時 |
|---|
静的ドライバー検証 を実行し、 ReqSendWhileSpinlock 規則を指定します。 コードの分析を実行するには、次の手順に従います。詳細については、 「静的ドライバー検証ツールを使用してドライバー の欠陥を見つける」を参照してください。 |
適用対象
WdfRequestSendWdfSpinLockAcquireWdfSpinLockReleaseKeAcquireSpinLockKeReleaseSpinLock