Uso dell'utilità flag globali
L'utilità Global Flags (gflags.exe) fornisce un metodo semplice per impostare determinate chiavi all'interno del Registro di sistema, regolare le impostazioni del kernel del sistema in esecuzione e modificare le impostazioni per i file di immagine. È possibile impostare queste chiavi usando un'interfaccia grafica o della riga di comando.
L'utilità Global Flags è disponibile nel pacchetto Strumenti di supporto di Windows e nel pacchetto Strumenti di debug per Windows. Per informazioni su quest'ultimo, vedere Debug di Windows.
L'utilità Global Flags può essere usata anche per configurare l'opzione Special Pool di Driver Verifier o per designare il pool speciale da usare nelle singole allocazioni di memoria.
Per modificare le impostazioni del pool speciale, avviare l'utilità Flag globali e selezionare il pulsante di opzione Registro di sistema nella sezione Destinazione . La sezione Kernel Special Pool Tag della finestra di dialogo consente di impostare alcune opzioni speciali del pool.
Controllo dell'allineamento dei tag del pool
Selezionare il pulsante di opzione Verifica avvio per fare in modo che l'allineamento speciale del pool si concentri sul rilevamento sottorun. Selezionare l'opzione Verifica fine per concentrarsi sul rilevamento dell'overrun. Questi pulsanti controllano l'allineamento di tutte le assegnazioni di pool speciali, indipendentemente dal fatto che vengano effettuate da Driver Verifier o da flag globali.
Uso di un pool speciale in base al tag del pool o alle dimensioni di allocazione
È possibile usare un pool speciale per tutte le allocazioni con un determinato tag del pool. Per attivare questa funzionalità, immettere il tag del pool nella casella di testo Tag pool .
È anche possibile usare un pool speciale per tutte le allocazioni in un determinato intervallo di dimensioni. Anche se questo uso di pool speciale non comporta tag del pool, questa funzionalità viene comunque attivata immettendo un numero nella casella di testo Tag pool . Questo numero deve essere minore di PAGE_SIZE.
Per un processore x86, PAGE_SIZE è 0x1000 e gli intervalli di dimensioni di allocazione sono di 8 byte di lunghezza. Per attivare un pool speciale per tutte le allocazioni con dimensioni in questo intervallo, immettere un numero uguale al massimo di questo intervallo più 8. Questo numero è sempre un multiplo di 8. La tabella seguente illustra questi valori:
| Intervallo di dimensioni | Immettere questo numero nella casella di testo Tag pool |
|---|---|
Da 1 a 8 byte |
16 (0x10) |
Da 9 a 16 byte |
24 (0x18) |
Da 17 a 24 byte |
32 (0x20) |
... |
... |
0xFE9 da 0xFF0 byte |
0xFF8 |
Per un processore x64, PAGE_SIZE è 0x1000 e gli intervalli di dimensioni di allocazione sono di 16 byte di lunghezza. Per attivare un pool speciale per tutte le allocazioni con dimensioni in questo intervallo, immettere un numero uguale al massimo di questo intervallo più 16. Questo numero è sempre un multiplo di 16. La tabella seguente illustra questi valori:
| Intervallo di dimensioni | Immettere questo numero nella casella di testo Tag pool |
|---|---|
Da 1 a 16 byte |
32 (0x20) |
Da 17 a 32 byte |
48 (0x30) |
Da 33 a 48 byte |
64 (0x40) |
... |
... |
0xFD1 da 0xFE0 byte |
0xFF0 |
Per un processore basato su Itanium, PAGE_SIZE è 0x2000 e gli intervalli di dimensioni di allocazione sono di 16 byte di lunghezza. Per attivare un pool speciale per tutte le allocazioni con dimensioni in questo intervallo, immettere un numero uguale al massimo di questo intervallo più 16. Questo numero è sempre un multiplo di 16. La tabella seguente illustra questi valori:
| Intervallo di dimensioni | Immettere questo numero nella casella di testo Tag pool |
|---|---|
Da 1 a 16 byte |
32 (0x20) |
Da 17 a 32 byte |
48 (0x30) |
Da 33 a 48 byte |
64 (0x40) |
... |
... |
0x1FD1 da 0x1FE0 byte |
0x1FF0 |
È consigliabile evitare di usare tag del pool inferiori a PAGE_SIZE. Ad esempio, se si inserisce 0x30 in questa casella di testo in un processore basato su Itanium, verrà usato un pool speciale per tutte le allocazioni comprese tra 17 e 32 byte e per le allocazioni con il tag del pool 0x0030.
Nota Se Driver Verifier ha abilitato il pool speciale per un driver e l'utilità Flag globali ha abilitato il pool speciale per un tag del pool o le dimensioni di allocazione, il pool speciale verrà usato per tutte le allocazioni che soddisfano uno di questi criteri (soggetto alla disponibilità del pool).
Per informazioni dettagliate sull'uso del pool speciale, vedere Pool speciale .