Simulazione sistematica di risorse basse

L'opzione di simulazione sistematica delle risorse basse inserisce errori di risorse nei driver in modalità kernel. Questa opzione penetra nei percorsi di gestione degli errori del driver. Il test di questi percorsi è stato storicamente molto difficile. L'opzione di simulazione sistematica delle risorse basse inserisce gli errori delle risorse in modo prevedibile, in modo da rendere riproducibili i problemi rilevati. Poiché i percorsi di errore sono facili da riprodurre, semplifica anche la verifica delle correzioni a questi problemi.

Per determinare la causa radice dell'errore, viene fornita un'estensione del debugger che consente di indicare esattamente quali errori sono stati inseriti e in quale ordine.

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 Per Windows 8.1, la funzionalità Stack Based Failure Injection, disponibile in WDK 8, è stata integrata in Driver Verifier. Nei computer che eseguono Windows 8.1 è necessario usare l'opzione di simulazione a basse risorse sistematiche.

Quando l'opzione di simulazione sistematica di risorse basse è abilitata in un driver specifico, esso intercetta alcune chiamate da tale driver al kernel e Ndis.sys. La simulazione sistematica di risorse basse esamina lo stack di chiamate, in particolare nella parte dello stack di chiamate proveniente dal driver su cui è abilitato. Se questa è la prima volta che ha mai visto lo stack, la chiamata avrà esito negativo in base alla semantica di tale chiamata. In caso contrario, se ha visto la chiamata in precedenza, passerà attraverso non toccato. La simulazione sistematica di risorse basse contiene la logica per gestire il fatto che un driver può essere caricato e scaricato più volte. Riconoscerà che uno stack delle chiamate è lo stesso anche se il driver viene ricaricato in un indirizzo di memoria diverso.

Attivazione di questa opzione

È possibile attivare la funzionalità di simulazione sistematica delle risorse basse per uno o più driver usando Gestione verifica 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 Di simulazione sistematica delle risorse basse.

• Alla riga di comando

  Windows 11

  Nella riga di comando, la simulazione sistematica delle risorse basse è rappresentata dal verificatore /rc 19 36 o dal verificatore /dif 19, che includono entrambe la modalità DIF richiesta.

  La funzionalità sarà attiva dopo l'avvio successivo o immediatamente se /now viene aggiunto alla stringa di comando.

  Windows 10 e versioni successive

  Nella riga di comando la simulazione sistematica delle risorse basse è rappresentata dal verificatore /flags 0x040000 (bit 18). Per la simulazione sistematica di risorse basse, usare un valore flag di 0x040000 o aggiungere 0x040000 al valore del flag. Per esempio:

  verifier /flags 0x040000 /driver MyDriver.sys
  

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

  Generali

  Quando si abilita l'opzione di simulazione sistematica a basso consumo, è possibile usare l'opzione della riga di comando /faultssystematicOPTION per controllare ulteriormente la simulazione sistematica delle risorse.

  OPZIONE	Descrizione
  enableboottime	Abilita le iniezioni di errore tra i riavvii del computer.
  disabilita tempo di avvio	Disabilita gli inserimenti di errori tra i riavvii del computer (questa è l'impostazione predefinita).
  recordboottime	Abilita le iniezioni di errore in modalità ipotetica tra i riavvii del computer.
  resetboottime	Disabilita gli inserimenti di errori tra i riavvii del computer e cancella l'elenco di esclusione dello stack.
  enableruntime	Abilita dinamicamente le iniezioni di errore.
  disableruntime	Disabilita in modo dinamico gli attacchi di errore.
  tempo di esecuzione del record	Abilita dinamicamente le iniezioni di errore in modalità what-if.
  azzeraretempoesecuzione	Disabilita dinamicamente le iniezioni di guasto e cancella l'elenco degli stack precedentemente guasti.
  querystatistics	Mostra le statistiche correnti di iniezione degli errori.
  incrementcounter	Incrementa il contatore del passaggio di test utilizzato per identificare quando è stato inserito un errore.
  getstackid COUNTER	Recupera l'identificatore dello stack inserito indicato.
  excludestack STACKID	Esclude lo stack dall'iniezione di errori.

• 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) Simulazione sistematica di risorse basse.
  5. Riavviare il computer.

Analisi dei controlli degli errori causati dalla simulazione sistematica di scarse risorse

La maggior parte dei problemi riscontrati con la simulazione sistematica delle risorse basse comporta controlli di bug. Per determinare la causa di questi bug di codice, gli strumenti di debug per Windows forniscono l'estensione del debugger (kdexts.dll) e i simboli necessari.

Per eseguire l'estensione del debugger

• Dal prompt dei comandi del debugger digitare il comando seguente:

  !verifier 0x800
  

In questo modo, verranno scaricate informazioni nel debugger che mostreranno gli stack delle chiamate degli errori più recenti iniettati.