Правило SpinLockSafe (storport)
Это правило проверяет, не вызываются ли подпрограммы IoStartNextPacket и IoCompleteRequest при удержании спин-блокировки. Правило отслеживает количество блокировок спина, удерживаемых в любое время, и если это число не равно 0 при вызове любой из подпрограмм, драйвер не выполняет правило.
Модель драйвера: Storport
Как тестировать
Во время компиляции |
---|
Запустите средство проверки статических драйверов и укажите правило SpinLockSafe . Чтобы выполнить анализ кода, выполните следующие действия.
Дополнительные сведения см. в статье Использование средства проверки статических драйверов для поиска дефектов в драйверах. |
Применяется к
IoAcquireCancelSpinLockIoCompleteRequestIoReleaseCancelSpinLockIoStartNextPacketKeAcquireSpinLockKeAcquireSpinLockAtDpcLevelKeReleaseSpinLockKeReleaseSpinLockFromDpcLevel