Ritardo fuzzing di Power Framework

Annotazioni

Questo controllo è deprecato a partire da Windows 10 Build 19042 e versioni successive

L'opzione di ritardo del fuzzing del Power Framework randomizza le pianificazioni dei thread per aiutare a rilevare i bug di concorrenza nei driver che usano il framework di gestione energia (PoFx). Questa opzione non è consigliata per i driver che non usano direttamente il framework di risparmio energia (PoFx).

Nota Questa opzione è disponibile a partire da Windows 8.

Quando l'opzione è selezionata, 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, in cui il programma di test viene eseguito per giorni o persino settimane nella speranza di intercettare i problemi in che possono verificarsi nell'esecuzione simultanea.

La maggior parte delle routine del driver sono rientranti e simultanee. I bug di concorrenza sono notoriamente difficili da trovare. I bug possono includere situazioni di stallo e condizioni di concorrenza, causati da problemi di sincronizzazione e cattiva sincronizzazione temporale tra i thread. Il test di stress è la tecnica di test tradizionale, ma può essere lento e costoso e i risultati non sono sempre riproducibili. L'opzione Ritardo Fuzzing del Power Framework aumenta la probabilità che le race condition si manifestino durante l'esecuzione, aggiungendo ritardi casuali a varie chiamate di funzione delle API di Power. Ad esempio, se una race condition comporta l'accesso a IRP da parte di un driver dopo l'annullamento, l'opzione Power Framework Delay Fuzzing aumenta le probabilità di questa race condition in modo che Driver Verifier rilevi 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à Power Framework Delay Fuzzing per uno o più driver usando Driver Verifier Manager o il comando della riga Verifier.exe. Per informazioni dettagliate, vedere Selezione delle Opzioni del Verificatore Driver. È necessario riavviare il computer per attivare o disattivare l'opzione "Delay Fuzzing del Power Framework".

Nota L'opzione di Delay Fuzzing di Power Framework aumenta la probabilità che si verifichino race condition in fase di esecuzione inserendo ritardi casuali in varie chiamate di funzione del Power API. Per rendere più efficaci questi ritardi, è possibile abilitare questa opzione con altre opzioni di Driver Verifier. A causa dei ritardi che possono essere introdotti, è possibile prevedere che il computer abbia una risposta più lenta.

• Alla riga di comando

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

  verifier /flags 0x00008000 /driver MyDriver.sys
  

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

• Uso del Driver Verifier Manager

  1. Avviare il Manager verifica driver. Digitare Verifier in una finestra del Prompt dei Comandi.
  2. Selezionare Crea impostazioni personalizzate (per sviluppatori di codice) e quindi fare clic su Avanti.
  3. Selezionare Selezionare le singole impostazioni da un elenco completo.
  4. Selezionare "Power Framework Delay Fuzzing."
  5. Riavviare il computer.