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

Правило SpinLock (storport)

  • Статья

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

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

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

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

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

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

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

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

KeAcquireSpinLockKeAcquireSpinLockRaiseToDpcKeReleaseSpinLock