Fuzzing de Atraso do Framework de Energia

A opção Power Framework Delay Fuzzing randomiza agendamentos de threads para ajudar a detetar bugs de simultaneidade em drivers que usam o framework de gestão de energia (PoFx). Esta opção não é recomendada para drivers que não utilizam diretamente a estrutura de gestão de energia (PoFx).

Observação Esta opção está disponível a partir do Windows 8.

Quando a opção é selecionada, o Driver Verifier insere atrasos aleatórios em vários pontos das threads. A opção Power Framework Delay Fuzzing usa um algoritmo que fornece garantias probabilísticas para a deteção de erros nos drivers. O Power Framework Delay Fuzzing melhora em relação aos testes de estresse tradicionais, onde o programa de teste é executado por dias ou até semanas na esperança de detetar problemas que podem ocorrer na execução simultânea.

A maioria das rotinas dos motoristas são reentrantes e simultâneas. Os erros de concorrência são notoriamente difíceis de encontrar. Os bugs podem incluir impasses e condições de corrida, causados por problemas de sincronização e mau timing entre threads. O teste de esforço é a técnica de teste tradicional, mas pode ser lento e caro, e os resultados nem sempre são reproduzíveis. A opção Power Framework Delay Fuzzing aumenta a probabilidade de as condições de corrida aparecerem em tempo de execução, inserindo atrasos aleatórios em várias chamadas de função de API de energia. Por exemplo, se uma condição de corrida resultar em um driver acessando o IRP depois de ter sido cancelado, a opção Power Framework Delay Fuzzing aumenta as chances dessa condição de corrida de tal forma que o Driver Verifier detetará o erro durante o teste. A opção Power Framework Delay Fuzzing amplia o poder e a utilidade do Verificador de Controladores.

Ativando esta opção

Você pode ativar o recurso Power Framework Delay Fuzzing para um ou mais drivers usando o Driver Verifier Manager ou a linha de comando Verifier.exe. Para obter detalhes, consulte Selecionando Opções do Verificador de Controladores. Tem de reiniciar o computador para ativar ou desativar a opção Power Framework Delay Fuzzing.

Nota: A opção Power Framework Delay Fuzzing aumenta a probabilidade de condições de corrida surgirem durante a execução ao inserir atrasos aleatórios em várias chamadas de funções da API de energia. Para que esses atrasos sejam mais eficazes, pode-se ativar esta opção juntamente com outras opções do Verificador de Driver. 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 Power Framework Delay Fuzzing é representado pelo verificador /flags 0x00008000 (Bit 15). Para ativar o Power Framework Delay Fuzzing, use um valor de sinalizador de 0x00008000 ou adicione 0x00008000 ao valor do sinalizador. Por exemplo:

  verifier /flags 0x00008000 /driver MyDriver.sys
  

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

• Usando o Gestor do Verificador de Drivers

  1. Inicie o Driver Verifier Manager. Digite Verifier numa janela da Linha de Comandos.
  2. Selecione Criar configurações personalizadas (para desenvolvedores de código) e clique em Avançar.
  3. Selecione configurações individuais de uma lista completa.
  4. Selecione (marque) Power Framework Delay Fuzzing.
  5. Reinicie o computador.