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


Правило ReqMarkCancelableSend (kmdf)

Правило ReqMarkCancelableSend указывает, что запросы, перенаправленные драйвером, не помечаются как отменяемые путем вызова WdfRequestMarkCancelable.

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

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

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

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

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

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

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

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

WdfRequestMarkCancelableWdfRequestMarkCancelableExWdfRequestSendWdfRequestUnmarkCancelable