Regola KsFilterMutex ()
La regola KsFilterMutex specifica che un driver miniport KS acquisisce e rilascia il mutex del filtro nella sequenza corretta.
- Un driver miniport KS non può ottenere il mutex del filtro in modo ricorsivo.
- Un thread non deve rilasciare il mutex del filtro senza prima acquisirlo.
Modello di driver: KS
Controllo bug trovato con questa regola: Controllo bug 0xC4: DRIVER_VERIFIER_DETECTED_VIOLATION (0x0008100A)
Come eseguire il test
| In fase di esecuzione |
|---|
Per verificare questa regola, aprire una finestra del prompt dei comandi. Immettere un comando Driver Verifier e specificare /domain ks. Ad esempio: Per altre informazioni, vedere Driver Verifier. |
verifier /domain ks [opzioni] /driver <yourdriver>