Condividi tramite

Proprietà del verificatore kmDF per i progetti del pacchetto driver

  • Articolo

Imposta le proprietà per il verificatore kmDF (o framework) in un computer remoto. È possibile usare queste impostazioni quando si compila e si distribuisce un driver KMDF in un computer di test. Per informazioni sui driver KMDF, vedere Framework driver in modalità kernel.

Per altre informazioni sul verificatore del framework, vedere Uso dell'applicazione di controllo verifica di Framework e WDF Verifier.

Impostazione delle proprietà del verificatore kmDF per i progetti del pacchetto driver

  1. Aprire le pagine delle proprietà per il pacchetto driver. Selezionare e tenere premuto (o fare clic con il pulsante destro del mouse) il progetto del pacchetto driver in Solution Explorer e selezionare Proprietà.
  2. Nelle pagine delle proprietà per il pacchetto driver selezionare Proprietà di configurazione, selezionare Installazione driver e quindi selezionare KmDF Verifier.
  3. Selezionare l'opzione Abilita controllo kmDF e selezionare Controllo kmdf sempre attiva. Quando questa opzione è selezionata, è possibile configurare le opzioni di verifica del framework per i driver KMDF.
Opzione Descrizione

Abilitare il controllo kmDF

Abilita il verificatore KMDF nel computer di test. Le scelte sono il verificatore KMDF è sempre attivo o il verificatore kmDF è disattivato. Se il verificatore KMDF non è abilitato, la verifica del framework di base è abilitata come parte di Driver Verifier se la versione kmDF è 1.9 o successiva.

Nomi di servizio KMDF

Specifica i nomi di servizio dei driver KMDF da monitorare.

Controlli IRQL

Abilita i controlli IRQL e i controlli critici della perdita di memoria.

Controlli compatibili con inoltro

Abilita i controlli creati dopo la versione del driver corrente.

Forward Progress Handler Testing

Specifica le opzioni per testare la gestione dello stato di avanzamento del driver.

Nessun errore di allocazione Non verranno simulati errori per testare la gestione dello stato di avanzamento del driver.

Esito negativo di tutte le allocazioni Tutte le richieste di I/O destinate a una coda di avanzamento in avanti sembrano non riuscire, basandosi sulla gestione dello stato di avanzamento del driver.

Allocazioni casualmente non riuscita Le richieste di I/O in modo casuale hanno esito negativo destinate a una coda di stato in avanti.

Tenere traccia degli handle degli oggetti KMDF

Specifica l'elenco dei tipi di handle degli oggetti da tenere traccia.

Abilitare i messaggi del caricatore KMDF

Abilita i messaggi del caricatore kmDF tramite il debugger. Per abilitare questo è necessario un riavvio del computer di destinazione.

A partire da Windows Vista, il sistema operativo elimina l'output DbgPrint per impostazione predefinita, che rende inutilizzabili i messaggi di diagnostica del caricatore WDF fino a quando non viene eseguito l'override dell'eliminazione. Il verificatore kmDF può gestire questa funzionalità in modo che la diagnostica del caricatore KMDF sia disponibile nel debugger del kernel per questi sistemi.

Registrazione dettagliata

Abilita la registrazione dettagliata.

Pagine di memoria per i log

Specifica il numero di pagine del pool non a pagina (1-10) da allocare per i log di traccia eventi del kernel. Le opzioni sono Scelta runtime o [1 10-]. Se Runtime Choice, il numero di pagine dipende dal runtime kmDF. A partire da KMDF 1.9, il runtime usa più pagine quando la verifica è abilitata con la registrazione dettagliata.

Allocazioni di memoria non riuscita

Specifica il numero di allocazioni di memoria riuscite consentite prima che il verificatore kmDF inizi a non riuscire tutte le allocazioni di memoria.