ReqSendWhileSpinlock ルール (kmdf)
ReqSendWhileSpinlock ルールは、ドライバーがスピンロックを保持している間は要求が送信されないというルールを指定します。
ドライバーがスピンロックを保持している間に要求を送信すると、下位ドライバーがロックの取得や共有リソースへのアクセスを試みると、要求を受け取る下位ドライバーとデッドロックまたは競合が発生する可能性があります。
ドライバーモデル: KMDF
テスト方法
コンパイル時 |
---|
静的ドライバー検証 を実行し、 ReqSendWhileSpinlock 規則を指定します。 コードの分析を実行するには、次の手順に従います。詳細については、 「静的ドライバー検証ツールを使用してドライバー の欠陥を見つける」を参照してください。 |
適用対象
WdfRequestSendWdfSpinLockAcquireWdfSpinLockReleaseKeAcquireSpinLockKeReleaseSpinLock
関連項目
フィードバック
https://aka.ms/ContentUserFeedback」を参照してください。
以下は間もなく提供いたします。2024 年を通じて、コンテンツのフィードバック メカニズムとして GitHub の issue を段階的に廃止し、新しいフィードバック システムに置き換えます。 詳細については、「フィードバックの送信と表示