Поделиться через

Правило SpinLockDpc (storport)

  • Статья

Это правило проверяет, немедленно ли за вызовом KeAcquireSpinLockRaiseToDpc следует вызов KeReleaseSpinlock. Если драйвер снова вызывает KeAcquireSpinLock или KeAcquireSpinLockRaiseToDpc перед освобождением блокировки, правило завершается ошибкой. Кроме того, перед выходом из процедуры отправки или отмены драйвер должен снять блокировку спина.

Модель драйвера: Storport

Как тестировать

Во время компиляции

Запустите средство проверки статических драйверов и укажите правило SpinLockDpc .

Чтобы выполнить анализ кода, выполните следующие действия.
  1. Подготовьте код (используйте объявления типов ролей).
  2. Запустите средство проверки статических драйверов.
  3. Просмотр и анализ результатов.

Дополнительные сведения см. в статье Использование средства проверки статических драйверов для поиска дефектов в драйверах.

Применяется к

KeAcquireSpinLockKeAcquireSpinLockRaiseToDpcKeReleaseSpinLock