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

Правило SpinLock (ndis)

  • Статья

Правило SpinLock проверяет правильность использования интерфейса спин-блокировки NDIS. Это правило указывает, что вызовы NdisAcquireSpinLock выполняются только в том случае, если SpinLock находится в состоянии разблокировки. Это правило также проверяет, освобождается ли SpinLock до выхода подпрограммы обработчика минипорта.

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

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

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

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

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

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

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

NdisAcquireSpinLockNdisDprAcquireSpinLockNdisDprReleaseSpinLockNdisReleaseSpinLock