Ritardo del ritardo di Power Framework

L'opzione Ritardo fuzzing di Power Framework consente di rilevare i bug di concorrenza nei driver che usano il framework di risparmio energia (PoFx). Questa opzione non è consigliata per i driver che non usano direttamente il framework di gestione energia (PoFx).

Nota Questa opzione è disponibile a partire da Windows 8.

Quando si seleziona l'opzione, Driver Verifier inserisce ritardi casuali in vari punti nei thread. L'opzione Ritardo fuzzing di Power Framework usa un algoritmo che fornisce garanzie probabilistiche per la ricerca di errori nei driver. Power Framework Delay Fuzzing migliora i test di stress tradizionali, dove il programma di test viene eseguito per giorni o anche settimane in speranza di rilevare problemi in che possono verificarsi nell'esecuzione simultanea.

La maggior parte delle routine del driver è reentrant e simultanea. I bug di concorrenza sono notoriamente difficili da trovare. I bug possono includere deadlock e condizioni di gara, causati da problemi di sincronizzazione e tempi non corretti tra i thread. I test di stress sono la tecnica tradizionale di test, ma possono essere lenti e costosi e i risultati non sono sempre riproducibili. L'opzione Power Framework Delay Fuzzing aumenta la probabilità di visualizzare le condizioni di gara in fase di esecuzione inserendo ritardi casuali in varie chiamate di funzione API di alimentazione. Ad esempio, se una condizione di gara genera un driver che accede a IRP dopo che è stata annullata, l'opzione Power Framework Delay Fuzzing aumenta le probabilità di questa condizione di gara in modo che Il verificatore driver rileverà l'errore durante i test. L'opzione Power Framework Delay Fuzzing estende la potenza e l'utilità di Driver Verifier.

Attivazione di questa opzione

È possibile attivare la funzionalità Ritardo fuzzing di Power Framework per uno o più driver usando Gestione verifica driver o la riga di comando Verifier.exe. Per informazioni dettagliate, vedere Selezione delle opzioni di verifica driver. È necessario riavviare il computer per attivare o disattivare l'opzione Ritardo fuzzing di Power Framework.

Nota L'opzione Power Framework Delay Fuzzing aumenta la probabilità di visualizzare le condizioni di gara in fase di esecuzione inserendo ritardi casuali in varie chiamate di funzione API di alimentazione. Per questi ritardi essere più efficaci, è possibile abilitare questa opzione con altre opzioni di verifica driver. A causa dei ritardi che possono essere introdotti, è possibile prevedere che il computer abbia una risposta più lenta.

• Nella riga di comando

  Nella riga di comando, Power Framework Delay Fuzzing è rappresentato dal verificatore /flags 0x00008000 (Bit 15). Per attivare Power Framework Delay Fuzzing, usare un valore flag di 0x00008000 o aggiungere 0x00008000 al valore del flag. Ad esempio:

  verifier /flags 0x00008000 /driver MyDriver.sys
  

  La funzionalità sarà attiva dopo l'avvio successivo.

• Uso di Gestione verifica driver

  1. Avviare Gestione verifica driver. Digitare Verifica in una finestra del prompt dei comandi.
  2. Selezionare Crea impostazioni personalizzate (per sviluppatori di codice) e quindi fare clic su Avanti.
  3. Selezionare Seleziona singole impostazioni da un elenco completo.
  4. Selezionare (check) Power Framework Delay Fuzzing.
  5. Riavviare il computer.