Recomendações para solução de problemas do Driver Verifier estático

Ao executar o Driver Verifier estático (SDV) no código-fonte do driver e relatórios SDV Timeout, GiveUp ou Spaceout, tente as seguintes ações:

• As recomendações a seguir exigem alterações nas definições de configuração do SDV. Você pode definir as configurações diretamente no Driver Verifier estático na guia Configurar, em Recursos, ou em um Arquivo de opções do Driver Verifier estático, Sdv-defaults.xml. O arquivo de opções padrão é específico para o modelo de driver e pode ser encontrado no diretório \tools\sdv\data\model\, em que o modelo é WDM, WDF, NDIS ou Storport.
  1. Se o computador tiver um processador com vários núcleos, reduza o número de threads usados durante a verificação para 1. No grupo Recursos, na guia Configurar, selecione 1 na lista suspensa. No arquivo padrão SDV, altere o valor de SDV_SlamConfig_NumberOfTheads para 1.
  2. Se o SDV relatar um tempo limite, aumente o limite desse parâmetro. Esse valor limita a quantidade de tempo que o SDV gasta verificando uma regra. O valor padrão é de 50 minutos (3000 segundos). No grupo Recursos, na guia Configurar, você pode ajustar a configuração alterando o Tempo máximo (minutos). No arquivo de opções, você pode alterar o valor SDV_SlamConfig_Timeout. O mínimo é 10 (segundos) e o máximo é 86.400 (segundos). Por exemplo, talvez você queira dobrar o valor de SDV_SlamConfig_Timeout para 6000.
• Se nenhuma dessas sugestões ajudar a resolver o problema, tente aplicá-las todas juntas.

Nota Essas técnicas aumentam a duração real de uma execução, mas também facilitam que o SDV conclua seu trabalho e tenha um resultado útil (Pass ou Defect).