Ritardo sincronizzazione kernel fuzzing

Annotazioni

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

L'opzione Ritardo sincronizzazione kernel genera in modo casuale le pianificazioni dei thread per rilevare i bug di concorrenza nei driver.

Cautela Questa opzione non è destinata all'uso quando si verificano tutti i driver (o una raccolta di grandi dimensioni) in un computer. Questa opzione deve essere usata solo quando si eseguono test mirati di singoli driver o driver di filtro collegati. L'uso di questa opzione su un numero elevato di driver contemporaneamente potrebbe causare risultati imprevedibili e potrebbe causare arresti anomali in componenti non correlati ai driver testati.

Nota Questa opzione è disponibile a partire da Windows 8.1.

Quando l'opzione è selezionata, Driver Verifier inserisce ritardi casuali in vari punti nei thread. Analogamente all'opzione Fuzzing ritardo del framework di alimentazione, l'opzione Fuzzing ritardo nella sincronizzazione del kernel utilizza un algoritmo per migliorare le probabilità di individuare errori nei driver. Il fuzzing del ritardo di sincronizzazione del kernel migliora i test di stress tradizionali, in cui il programma di test viene eseguito per giorni o anche settimane nella speranza di intercettare i problemi che possono verificarsi nell'esecuzione simultanea.

Attivazione di questa opzione

È possibile attivare la funzionalità di fuzzing della sincronizzazione del ritardo del kernel per uno o più driver usando Gestione Verificatore Driver o la riga di comando 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 fuzzing del ritardo di sincronizzazione del kernel aumenta la probabilità dell'apparizione delle race condition in fase di esecuzione inserendo ritardi casuali in varie chiamate di funzione API del kernel. 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 fuzzing del ritardo di sincronizzazione del Kernel è rappresentato da verifier /flags 0x00800000 (Bit 23). Per attivare Power Framework Delay Fuzzing, usare un valore flag di 0x00800000 o aggiungere 0x00800000 al valore del flag. Per esempio:

  verifier /flags 0x00800000 /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 (controllare) Ritardo sincronizzazione kernel fuzzing.
  5. Riavviare il computer.

Perché la sincronizzazione del kernel ritarda la fuzzing?

La maggior parte delle routine del driver sono rientranti e simultanee. I bug correlati alla 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 per trovare questi bug, ma può essere lento e costoso e i risultati non sono sempre riproducibili. L'opzione di fuzzing del ritardo di sincronizzazione del kernel aumenta la probabilità che le condizioni di gara si presentino in fase di esecuzione inserendo ritardi casuali nelle chiamate di funzione dell'API del kernel. Ad esempio, se una condizione di competizione porta un driver ad accedere a IRP dopo l'annullamento, l'opzione Ritardo di sincronizzazione del kernel aumenta le probabilità che questa condizione di competizione si verifichi, affinché Driver Verifier rilevi l'errore durante i test di verifica. L'opzione di fuzzing del ritardo di sincronizzazione del kernel migliora la potenza e l'efficacia di Driver Verifier.