Uso delle impostazioni volatili

2025-04-09

La maggior parte delle modifiche apportate allo stato di Driver Verifier (attivazione, disattivazione, modifica delle opzioni o modifica dell'elenco dei driver verificati) diventa effettiva solo quando si riavvia il computer ("riavvio").

Tuttavia, è possibile attivare e disattivare alcune opzioni senza riavviare. Queste impostazioni sono definite impostazioni volatili. Le modifiche apportate a queste impostazioni sono effettive immediatamente e durano fino all'avvio successivo o fino a quando non vengono modificate di nuovo.

Questa sezione illustra le impostazioni volatili e come usarle nelle versioni di Driver Verifier incluse in versioni diverse di Windows.

Annotazioni

Questa opzione verrà deprecata in una versione futura di Windows. Una sostituzione di Windows 11 viene fornita con l'opzione /dif [<ruleclass_1><ruleclass_2> ...] /now . Vedere Verifier Command Line .See Verifier Command Line.

Modifica delle opzioni senza riavvio

A partire da Windows 11, solo i flag seguenti possono essere usati con volatile:

0x00000004 (bit  2) - Randomized low resources simulation
0x00000020 (bit  5) - Deadlock detection
0x00000080 (bit  7) - DMA checking
0x00000200 (bit  9) - Force pending I/O requests
0x00000400 (bit 10) - IRP logging

Annotazioni

Alcuni altri flag in Windows 11 possono essere abilitati senza riavviare usando il comando /dif [<ruleclass_1><ruleclass_2> ...] /now . I flag supportati sono descritti nella riga di comando di Verifier.

A partire da Windows 10, solo i flag seguenti possono essere usati con volatile:

Flag standard

0x00000001 (bit  0) - Special pool
0x00000002 (bit  1) - Force IRQL checking
0x00000008 (bit  3) - Pool tracking
0x00000010 (bit  4) - I/O verification
0x00000020 (bit  5) - Deadlock detection
0x00000080 (bit  7) - DMA checking
0x00000100 (bit  8) - Security checks
0x00000800 (bit 11) - Miscellaneous checks

Bandiere aggiuntive

0x00000004 (bit  2) - Randomized low resources simulation
0x00000200 (bit  9) - Force pending I/O requests (*)
0x00000400 (bit 10) - IRP logging (*)
0x00002000 (bit 13) - Invariant MDL checking for stack (*)
0x00004000 (bit 14) - Invariant MDL checking for driver (*)

Modifica dei driver senza riavvio

È possibile aggiungere e rimuovere driver (ovvero avviare e arrestare la verifica di un driver) senza riavviare il computer, anche quando Driver Verifier non è già in esecuzione.

È anche possibile avviare una verifica di un driver già caricato senza riavviare, ma non è possibile arrestare la verifica di un driver caricato senza riavviare. Dopo il caricamento e la verifica di un driver, Driver Verifier lo monitora fino al riavvio successivo, ma è possibile disattivare i controlli facoltativi del driver Verifier per il driver senza riavviare, riducendo al minimo l'overhead del driver Verifier.

È possibile modificare le impostazioni volatili usando la Riga di comando Verifier o Gestione Verificatore Driver.

Impostazioni volatili e del Registro di sistema

La possibilità di aggiungere e modificare i driver e impostare le opzioni senza riavviare è una praticità significativa e consente di eseguire Driver Verifier in alcuni scenari di test che altrimenti non sarebbero possibili.

Tuttavia, poiché esistono alcuni vantaggi per il modello tradizionale di aggiunta delle impostazioni di Driver Verifier al Registro di sistema, è necessario decidere per ogni impostazione se si vuole usare il metodo volatile o impostarlo nel Registro di sistema o entrambi.

Le impostazioni volatili o "runtime" diventano immediatamente effettive, ma queste impostazioni vengono perse quando si arresta o si riavvia Windows.
Le impostazioni del Registro di sistema richiedono un riavvio, ma rimangono nel Registro di sistema finché non vengono modificate e riavviate.

Le impostazioni usate in modo coerente o devono essere misurate durante il caricamento del driver devono essere aggiunte al Registro di sistema. È possibile abilitare altre impostazioni quando sono necessarie.

Quando si usano sia le impostazioni del Registro di sistema che le impostazioni volatili, tenere presente che vengono usate impostazioni volatili anziché le impostazioni del Registro di sistema; non sono aggiunte.

Configurazione delle impostazioni volatili tramite la riga di comando verifier

Per aggiungere o eliminare opzioni volatili, usare il parametro /volatile /flags .

Per aggiungere o rimuovere un driver dall'elenco volatile, usare i parametri /volatile /adddriver o /volatile /removedriver . Per informazioni dettagliate, vedere sintassi dei comandi di Driver Verifier .

Per avviare o arrestare la verifica di un driver senza riavviare:
```
verifier /volatile /adddriver DriverName.sys
verifier /volatile /removedriver DriverName.sys
```
È possibile usare questa sintassi di comando per aggiungere (avviare la verifica) di qualsiasi driver, anche un driver attualmente caricato. I comandi da rimuovere (arrestare la verifica) di un driver attualmente caricato avranno esito negativo. Come sempre, la verifica di un driver non caricato inizierà non appena viene caricato il driver.
Per attivare o disattivare le opzioni senza riavviare:
```
verifier /volatile /flags <flags>
```
Ad esempio, questo comando attiva l'opzione di rilevamento dei deadlock senza riavviare.
```
verifier /volatile /flags 0x20
```
Per disattivare tutte le opzioni di Driver Verifier:

Non è possibile arrestare la verifica di un driver attualmente caricato senza riavviare. Tuttavia, è possibile usare la sintassi di comando seguente per disattivare tutte le opzioni di Driver Verifier senza riavviare, riducendo al minimo il sovraccarico fino al riavvio successivo.
```
verifier /volatile /flags 0
```
Driver Verifier continua a monitorare il driver usando le opzioni nella funzionalità Controlli automatici , che non possono essere disattivati, ma l'overhead viene ridotto a circa il dieci% del sovraccarico di una verifica tipica.

Configurazione delle impostazioni volatili tramite Gestore Verificatore Driver

Per visualizzare le funzionalità di Verifica driver attualmente attive o per modificare le impostazioni volatili

Avviare il Gestore della verifica driver e selezionare il compito Visualizza le informazioni sui driver attualmente verificati.
Fare clic su Avanti.

Questa schermata mostra le opzioni di Driver Verifier attualmente attive, incluse le impostazioni volatili, ma non include le modifiche alle impostazioni permanenti pianificate per rendere effettive dopo il successivo riavvio. Ogni driver avrà il suo stato indicato.
Per modificare le opzioni attive, fare clic su Cambia. Selezionare o deselezionare le opzioni desiderate e quindi fare clic su OK.
Per verificare un nuovo driver, fare clic su Aggiungi. Verrà visualizzata una finestra di dialogo in cui è possibile cercare il file del driver da verificare nel computer. Dopo aver individuato il driver corretto, fare clic su Apri per aggiungerlo all'elenco dei driver verificati.
Per rimuovere un driver dall'elenco, selezionare il nome del driver e fare clic su Rimuovi.
Al termine della visualizzazione delle opzioni di Driver Verifier in vigore o al termine dell'esecuzione delle modifiche, fare clic su Avanti due volte e quindi su Fine.

Valori di stato del driver

Driver Verifier Manager mostra tre possibili valori di stato per i driver visualizzati nella schermata Impostazioni correnti e driver verificati (informazioni sul runtime). I valori di stato possibili sono i seguenti:

Caricato Il driver è attualmente caricato e viene verificato.

Scaricato Il driver è stato caricato e verificato almeno una volta dall'ultimo avvio, ma non è attualmente caricato.

Mai caricato Driver Verifier è stato richiesto di verificare questo driver, ma il driver non è stato caricato dopo questa richiesta. Ciò può indicare che il driver viene caricato su richiesta e non è ancora stato richiesto in questa sessione. Potrebbe anche indicare che è stato richiesto un driver inesistente per la verifica o che un file di immagine del driver è stato danneggiato.

Sintassi dei comandi di Driver Verifier

Controllo di Driver Verifier