!verifier
A extensão !verifier exibe o status do Driver Verifier e suas ações.
O Driver Verifier é fornecido com o Windows. Ele funciona em compilações verificadas e gratuitas. Para obter informações sobre o Driver Verifier, consulte Driver Verifier.
Sintaxe
!verifier [Flags [Image]]
!verifier 4 [Quantity]
!verifier 8 [Quantity]
!verifier 0x40 [Quantity]
!verifier 0x80 [Quantity]
!verifier 0x80 Address
!verifier 0x100 [Quantity]
!verifier 0x100 Address
!verifier 0x200 [Address]
!verifier 0x400 [Address]
!verifier -disable
!verifier ?
Parâmetros
Sinalizadores
Especifica quais informações são exibidas na saída do comando. Se Flags é igual ao valor 4, 8, 0x20, 0x40, 0x80 ou 0x100, os argumentos restantes para !verifier são interpretados com base nos argumentos específicos associados a esses valores. Se Flags é igual a qualquer outro valor, mesmo que um ou mais desses bits estejam definidos, somente os argumentos Flags e Image são permitidos. Flags pode ser qualquer soma dos seguintes bits, sendo que o padrão é 0:
Bit 0 (0x1)
Mostra os nomes de todos os drivers que estão sendo verificados. Também é exibido o número de bytes que estão alocados para cada driver dos pools não paginado e paginado.
Bit 1 (0x2)
Exibe informações sobre os pools (tamanho, cabeçalhos e marcas) e as alocações de memória pendentes deixadas por drivers descarregados. Essa marca não tem efeito, a menos que o bit 0 (0x1) também esteja definido.
Bit 2 (0x4)
Exibe informações sobre injeção de falha. São exibidos o endereço do remetente, o nome do símbolo e o deslocamento do código que solicita cada alocação. Se Flags for exatamente 0x4 e o parâmetro Quantity estiver incluído, o número desses registros exibidos poderá ser escolhido. Do contrário, serão exibidos quatro registros.
Bit 3 (0x8)
Mostra as alterações de IRQL mais recentes feitas pelos drivers que estão sendo verificados. O IRQL antigo e o novo, o processador e o carimbo de data/hora são exibidos. Se Flags for exatamente 0x8 e o parâmetro Quantity estiver incluído, o número desses registros exibidos poderá ser escolhido. Do contrário, serão exibidos quatro registros.
Aviso Nas versões de 64 bits do Windows, algumas das funções do kernel que aumentam ou diminuem o IRQL são implementadas como código em linha e não como funções exportadas. O Driver Verifier não relata as alterações de IRQL feitas pelo código em linha, por isso o log de transição de IRQL produzido pelo Driver Verifier pode estar incompleto. Consulte os comentários para ver um exemplo de entrada de transição de IRQL ausente.
Bit 6 (0x40)
(Windows Vista e versões posteriores) Exibe informações da opção Force Pending I/O Requests do Driver Verifier, incluindo rastreamentos do log de IRPs pendentes forçados.
O parâmetro Quantity especifica o número de rastreamentos a serem exibidos. Por padrão, é exibido o log inteiro.
Bit 7 (0x80)
(Windows Vista e versões posteriores) Exibe informações do log Allocate/Free do pool de kernel.
O parâmetro Quantity especifica o número de rastreamentos a serem exibidos. Por padrão, é exibido o log inteiro.
Se Address for especificado, serão exibidos apenas os rastreamentos associados ao endereço especificado no log Allocate/Free do pool de kernel.
Bit 8 (0x100)
(Windows Vista e versões posteriores) Exibe informações do log de chamadas IoAllocateIrp, IoCompleteRequest e IoCancelIrp.
O parâmetro Quantity especifica o número de rastreamentos a serem exibidos. Por padrão, é exibido o log inteiro.
Se Address for especificado, serão exibidos apenas os rastreamentos associados ao endereço de IRP especificado.
Bit 9 (0x200)
(Windows Vista e versões posteriores) Exibe entradas do log Critical Region.
Se Address for especificado, serão exibidas somente as entradas associadas ao endereço de thread especificado.
Bit 10 (0x400)
(Windows Vista e versões posteriores) Exibe IRPs cancelados que estão sendo observados pelo Driver Verifier.
Se Address for especificado, será exibido somente o IRP com o endereço especificado.
Bit 11 (0x800)
(Windows 8.1 e versões posteriores) Exiba entradas do log de injeção de falha criado quando você seleciona a opção Simulação sistemática de poucos recursos.
Imagem
Se Flags for usado e não for igual a 4, 8 ou 0x10, Image especificará o nome de um driver. Image é usado para filtrar as informações exibidas pelos valores de Flags 0x1 e 0x2: somente o driver especificado é considerado. Esse driver deve ser verificado no momento.
Quantidade
Se Flags for exatamente igual a 0x4, Quantity especificará o número de registros de injeção de falha a serem exibidos. Se Flags for exatamente igual a 0x8, Quantity especificará o número de entradas do log de IRQL a serem exibidas. Se Flags for exatamente igual a 0x40, Quantity especificará o número de rastreamentos exibidos do log de IRPs pendentes forçados. Se Flags for exatamente igual a 0x80, Quantity especificará o número de rastreamentos exibidos do log Allocate/Free do pool de kernel. Se Flags for exatamente igual a 0x100, Quantity especificará o número de rastreamentos exibidos do log de chamadas IoAllocateIrp, IoCompleteRequest e IoCancelIrp.
-disable
Limpa as configurações atuais do Driver Verifier no destino de depuração. A limpeza dessas configurações não é mantida em uma reinicialização. Se precisar desativar as configurações do Driver Verifier para conseguir inicializar, defina um ponto de interrupção em nt!VerifierInitSystem e use o comando !verifier -disable nesse ponto.
?
Exibe um pequeno texto de Ajuda dessa extensão na janela de comando do depurador.
DLL
Kdexts.dll
Informações Adicionais
Para obter informações, consulte Driver Verifier.
Comentários
O exemplo a seguir mostra que o log de transição de IRQL nem sempre está completo em versões de 64 bits do Windows,. As duas entradas mostradas são consecutivas no log do Processador 2. A primeira entrada mostra o IRQL passando de 2 para 0. A segunda entrada mostra o IRQL passando de 2 para 2. Faltam informações sobre como o IRQL subiu de 0 para 2.
Thread: fffffa80068c9400
Old irql: 0000000000000002
New irql: 0000000000000000
Processor: 0000000000000002
Time stamp: 0000000000000857
fffff8800140f12a ndis!ndisNsiGetInterfaceInformation+0x20a
fffff88001509478 NETIO!NsiGetParameterEx+0x178
fffff88005f062f2 nsiproxy!NsippGetParameter+0x24a
fffff88005f086db nsiproxy!NsippDispatchDeviceControl+0xa3
fffff88005f087a0 nsiproxy!NsippDispatch+0x48
Thread: fffffa80068c9400
Old irql: 0000000000000002
New irql: 0000000000000002
Processor: 0000000000000002
Time stamp: 0000000000000857
fffff8800140d48d ndis!ndisReferenceTopMiniportByNameForNsi+0x1ce
fffff8800140f072 ndis!ndisNsiGetInterfaceInformation+0x152
fffff88001509478 NETIO!NsiGetParameterEx+0x178
fffff88005f062f2 nsiproxy!NsippGetParameter+0x24a
fffff88005f086db nsiproxy!NsippDispatchDeviceControl+0xa3
Os valores de 4, 8 e 0x20, 0x40, 0x80 e 0x100 são valores especiais para Flags. Se esses valores forem usados, os argumentos especiais listados na seção Parâmetros poderão ser usados e a exibição incluirá somente as informações associadas ao valor da marca em questão.
Se for usado qualquer outro valor para Flags, mesmo que um ou mais desses bits estejam definidos, somente os argumentos Flags e Image serão permitidos. Nessa situação, além de todas as outras informações exibidas, !verifier exibirá as opções ativas do Driver Verifier, junto com estatísticas sobre alocações de pool, aumentos de IRQL, bloqueios de rotação e cortes.
Se Flags for igual a 0x20, os valores especificados para CompletionTime, CancelTime e ForceCancellation serão usados pela opção Driver Hang Verification option of Driver Verifier. Esses novos valores entram em vigor imediatamente e duram até a próxima inicialização. Quando você reinicializa, eles revertem para os valores padrão.
Além disso, se Flags for igual a 0x20 (com ou sem parâmetros adicionais), o log Driver Hang Verification será impresso. Para obter informações sobre como interpretar o log, consulte a seção Verificação de travamento do driver na documentação do Driver Verifier no Kit de Driver do Windows (WDK).
Veja um exemplo da extensão !verifier em um computador com Windows 7.
2: kd> !verifier 0xf
Verify Level 9bb ... enabled options are:
Special pool
Special irql
All pool allocations checked on unload
Io subsystem checking enabled
Deadlock detection enabled
DMA checking enabled
Security checks enabled
Miscellaneous checks enabled
Summary of All Verifier Statistics
RaiseIrqls 0x0
AcquireSpinLocks 0x362
Synch Executions 0x0
Trims 0xa34a
Pool Allocations Attempted 0x7b058
Pool Allocations Succeeded 0x7b058
Pool Allocations Succeeded SpecialPool 0x7b058
Pool Allocations With NO TAG 0x0
Pool Allocations Failed 0x0
Resource Allocations Failed Deliberately 0x0
Current paged pool allocations 0x1a for 00000950 bytes
Peak paged pool allocations 0x1b for 00000AC4 bytes
Current nonpaged pool allocations 0xe3 for 00046110 bytes
Peak nonpaged pool allocations 0x10f for 00048E40 bytes
Driver Verification List
Entry State NonPagedPool PagedPool Module
fffffa8003b6f670 Loaded 000000a0 00000854 videoprt.sys
Current Pool Allocations 00000002 00000013
Current Pool Bytes 000000a0 00000854
Peak Pool Allocations 00000006 00000014
Peak Pool Bytes 000008c0 000009c8
PoolAddress SizeInBytes Tag CallersAddress
fffff9800157efc0 0x0000003c Vprt fffff88002c62963
fffff9800146afc0 0x00000034 Vprt fffff88002c62963
fffff980015bafe0 0x00000018 Vprt fffff88002c628f7
...
fffffa8003b6f620 Loaded 00046070 000000fc usbport.sys
Current Pool Allocations 000000e1 00000007
Current Pool Bytes 00046070 000000fc
Peak Pool Allocations 0000010d 0000000a
Peak Pool Bytes 00048da0 00000254
PoolAddress SizeInBytes Tag CallersAddress
fffff98003a38fc0 0x00000038 usbp fffff88004215e34
fffff98003a2cfc0 0x00000038 usbp fffff88004215e34
fffff9800415efc0 0x00000038 usbp fffff88004215e34
...
-----------------------------------------------
Fault injection trace log
-----------------------------------------------
Driver Verifier didn't inject any faults.
-----------------------------------------------
Track irql trace log
-----------------------------------------------
Displaying most recent 0x0000000000000004 entries from the IRQL transition log.
There are up to 0x100 entries in the log.
Thread: fffff80002bf8c40
Old irql: 0000000000000002
New irql: 0000000000000002
Processor: 0000000000000000
Time stamp: 000000000000495e
fffff8800420f2ca USBPORT!USBPORT_DM_IoTimerDpc+0x9a
fffff80002a5b5bf nt!IopTimerDispatch+0x132
fffff80002a7c29e nt!KiProcessTimerDpcTable+0x66
fffff80002a7bdd6 nt!KiProcessExpiredTimerList+0xc6
fffff80002a7c4be nt!KiTimerExpiration+0x1be
Thread: fffff80002bf8c40
Old irql: 0000000000000002
New irql: 0000000000000002
Processor: 0000000000000000
Time stamp: 000000000000495e
fffff88004205f3a USBPORT!USBPORT_AcquireEpListLock+0x2e
fffff880042172df USBPORT!USBPORT_Core_TimeoutAllTransfers+0x1f
fffff8800420f2ca USBPORT!USBPORT_DM_IoTimerDpc+0x9a
fffff80002a5b5bf nt!IopTimerDispatch+0x132
fffff80002a7c29e nt!KiProcessTimerDpcTable+0x66
Thread: fffff80002bf8c40
Old irql: 0000000000000002
New irql: 0000000000000002
Processor: 0000000000000000
Time stamp: 000000000000495e
fffff88004201694 USBPORT!MPf_CheckController+0x4c
fffff8800420f26a USBPORT!USBPORT_DM_IoTimerDpc+0x3a
fffff80002a5b5bf nt!IopTimerDispatch+0x132
fffff80002a7c29e nt!KiProcessTimerDpcTable+0x66
fffff80002a7bdd6 nt!KiProcessExpiredTimerList+0xc6
Thread: fffff80002bf8c40
Old irql: 0000000000000002
New irql: 0000000000000002
Processor: 0000000000000000
Time stamp: 000000000000495e
fffff8800420167c USBPORT!MPf_CheckController+0x34
fffff8800420f26a USBPORT!USBPORT_DM_IoTimerDpc+0x3a
fffff80002a5b5bf nt!IopTimerDispatch+0x132
fffff80002a7c29e nt!KiProcessTimerDpcTable+0x66
fffff80002a7bdd6 nt!KiProcessExpiredTimerList+0xc6
Veja um exemplo da extensão !verifier em um computador com Windows Vista com o bit 7 ativado e Address especificado.
0: kd> !verifier 80 a2b1cf20
# Parsing 00004000 array entries, searching for address a2b1cf20.
Pool block a2b1ce98, Size 00000168, Thread a2b1ce98
808f1be6 ndis!ndisFreeToNPagedPool+0x39
808f11c1 ndis!ndisPplFree+0x47
808f100f ndis!NdisFreeNetBufferList+0x3b
8088db41 NETIO!NetioFreeNetBufferAndNetBufferList+0xe
8c588d68 tcpip!UdpEndSendMessages+0xdf
8c588cb5 tcpip!UdpSendMessagesDatagramsComplete+0x22
8088d622 NETIO!NetioDereferenceNetBufferListChain+0xcf
8c5954ea tcpip!FlSendNetBufferListChainComplete+0x1c
809b2370 ndis!ndisMSendCompleteNetBufferListsInternal+0x67
808f1781 ndis!NdisFSendNetBufferListsComplete+0x1a
8c04c68e pacer!PcFilterSendNetBufferListsComplete+0xb2
809b230c ndis!NdisMSendNetBufferListsComplete+0x70
# 8ac4a8ba test1!HandleCompletedTxPacket+0xea
Pool block a2b1ce98, Size 00000164, Thread a2b1ce98
822af87f nt!VerifierExAllocatePoolWithTagPriority+0x5d
808f1c88 ndis!ndisAllocateFromNPagedPool+0x1d
808f11f3 ndis!ndisPplAllocate+0x60
808f1257 ndis!NdisAllocateNetBufferList+0x26
80890933 NETIO!NetioAllocateAndReferenceNetBufferListNetBufferMdlAndData+0x14
8c5889c2 tcpip!UdpSendMessages+0x503
8c05c565 afd!AfdTLSendMessages+0x27
8c07a087 afd!AfdTLFastDgramSend+0x7d
8c079f82 afd!AfdFastDatagramSend+0x5ae
8c06f3ea afd!AfdFastIoDeviceControl+0x3c1
8217474f nt!IopXxxControlFile+0x268
821797a1 nt!NtDeviceIoControlFile+0x2a
8204d16a nt!KiFastCallEntry+0x127
Comentários
Em breve: Ao longo de 2024, eliminaremos os problemas do GitHub como o mecanismo de comentários para conteúdo e o substituiremos por um novo sistema de comentários. Para obter mais informações, consulte https://aka.ms/ContentUserFeedback.
Enviar e exibir comentários de