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

Правило CancelSpinLock (wdm)

  • Статья

Правило CancelSpinLock указывает, что драйвер вызывает IoAcquireCancelSpinLock перед вызовом IoReleaseCancelSpinLock и что драйвер вызывает IoReleaseCancelSpinLock перед любыми последующими вызовами IoAcquireCancelSpinLock.

Это правило также указывает, что драйвер не должен удерживать блокировки спина при завершении процедуры отправки или отмены. Вложенные вызовы разрешены.

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

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

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

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

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

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

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

IoAcquireCancelSpinLockIoReleaseCancelSpinLockRemoveHeadList