Regola KsProcessingMutex ()
La regola KsProcessingMutex specifica che un driver KS miniport usa il mutex di elaborazione nella sequenza corretta:
- Il mutex di elaborazione non può essere ottenuto in modo ricorsivo.
- Un thread che ha acquisito il mutex di elaborazione non deve successivamente tentare di acquisire il mutex del controllo filtro.
- Un thread non deve rilasciare il mutex di elaborazione senza prima acquisirlo.
Modello di driver: KS
Verifica bug trovata con questa regola: Controllo bug 0xC4: DRIVER_VERIFIER_DETECTED_VIOLATION (0x0008100B)
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: verifier /domain ks [opzioni] /driver <yourdriver> Per altre informazioni, vedere Driver Verifier. |