Правило WdfSpinlock (kmdf)
Правило WdfSpinlock указывает, что вызовы метода WdfSpinLockAcquire используются в строгом чередовке с WdfSpinlockRelease. В конце любой подпрограммы обратного вызова KMDF драйвер не должен содержать объект spinlock платформы, полученный при предыдущем вызове WdfSpinLockAcquire.
Модель драйвера: KMDF
Как тестировать
Во время компиляции |
---|
Запустите средство проверки статических драйверов и укажите правило WdfSpinlock . Чтобы выполнить анализ кода, выполните следующие действия.
Дополнительные сведения см. в статье Использование средства проверки статических драйверов для поиска дефектов в драйверах. |
Применяется к
Обратная связь
https://aka.ms/ContentUserFeedback.
Ожидается в ближайшее время: в течение 2024 года мы постепенно откажемся от GitHub Issues как механизма обратной связи для контента и заменим его новой системой обратной связи. Дополнительные сведения см. в разделеОтправить и просмотреть отзыв по