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


Правило CancelSpinLock (storport)

Правило CancelSpinLock (Storport) проверяет, что за каждым вызовом IoAcquireCancelSpinLock немедленно следует вызов IoReleaseCancelSpinLock.

IoReleaseCancelSpinLock не следует вызывать без получения блокировки отмены спина. Кроме того, когда подпрограмма обратного вызова минипорта завершается, она не должна содержать никаких блокировок отмены спина

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

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

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

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

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

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

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

IoAcquireCancelSpinLockIoReleaseCancelSpinLock