Fuzzing de atraso de sincronização do kernel

A opção de atraso de sincronização do Kernel randomiza os agendamentos de threads para ajudar a detectar bugs de concorrência em drivers.

Cuidado Essa opção não se destina a ser usada quando você está verificando todos (ou uma grande coleção de) drivers em um computador. Essa opção deve ser usada somente quando você estiver fazendo testes direcionados de drivers individuais ou de filtros anexados a esses drivers. Usar essa opção em um grande número de drivers ao mesmo tempo pode causar resultados imprevisíveis e pode forçar falhas em componentes não relacionados aos drivers que você está testando.

Nota Essa opção está disponível a partir do Windows 8.1.

Quando a opção é selecionada, o Verificador de Driver insere atrasos aleatórios em vários pontos nos segmentos. Assim como a opção Fuzzing de Atraso do Power Framework, a opção de fuzzing de atraso de sincronização do Kernel usa um algoritmo que ajuda a melhorar as chances de encontrar erros em drivers. O atraso na sincronização do kernel melhora no teste de estresse tradicional, em que o programa de teste é executado por dias ou até semanas, na esperança de capturar problemas que possam ocorrer na execução simultânea.

Ativando essa opção

Você pode ativar o recurso de sincronização do Kernel para um ou mais drivers usando o Driver Verifier Manager ou a linha de comando Verifier.exe. Para obter detalhes, consulte Selecionar opções do Verificador de Driver. Você deve reiniciar o computador para ativar ou desativar a opção de atraso do Fuzzing no Power Framework.

Nota A opção de quebra de atraso de sincronização do Kernel aumenta a probabilidade de que as condições de corrida apareçam em runtime inserindo atrasos aleatórios em várias chamadas de função de API do kernel. Para que esses atrasos sejam mais eficazes, você pode habilitar essa opção com outras opções do Driver Verifier. Devido aos atrasos que podem ser introduzidos, você pode esperar que o computador tenha uma resposta mais lenta.

• Na linha de comando

  Na linha de comando, o fuzzing de atraso na sincronização do Kernel é representado pelo verificador /flags 0x00800000 (Bit 23). Para ativar o Power Framework Delay Fuzzing, use um valor de sinalizador de 0x00800000 ou adicione 0x00800000 ao valor do sinalizador. Por exemplo:

  verifier /flags 0x00800000 /driver MyDriver.sys
  

  O recurso estará ativo após a próxima inicialização.

• Usando o Gerenciador de Verificador de Driver

  1. Iniciar o Gerenciador de Verificador de Driver. Digite Verificador em uma janela do Prompt de Comando.
  2. Selecione Criar configurações personalizadas (para desenvolvedores de código) e clique em Avançar.
  3. Selecione Selecionar configurações individuais em uma lista completa.
  4. Selecione (verificar) A sincronização do kernel atrasa o fuzzing.
  5. Reinicie o computador.

Por que a sincronização do Kernel atrasa o fuzzing?

A maioria das rotinas de driver é reentrada e simultânea. Bugs relacionados à concorrência são notoriamente difíceis de encontrar. Os bugs podem incluir deadlocks e condições de competição, causados por problemas de sincronização e má sincronização entre threads. O teste de estresse é a técnica tradicional de teste para localizar esses bugs, mas pode ser lento e caro, e os resultados nem sempre são reproduzíveis. A opção de fuzzing de atraso de sincronização do Kernel aumenta a probabilidade de que as condições de concorrência apareçam em tempo de execução, inserindo atrasos aleatórios em várias chamadas de função de API do Kernel. Por exemplo, se uma condição de corrida resultar em um piloto acessando IRP depois que ele tiver sido cancelado, a opção de sincronização do Kernel atrasará o fuzzing aumentará as chances dessa condição de corrida de forma que o Verificador de Driver detecte o erro durante o teste. A opção de definição de atraso de sincronização do Kernel aprimora a potência e a eficácia do Verificador de Driver.