Deadlock Detection creates a graph of the locking hierarchy for spin locks, mutexes, and fast mutexes used by verified drivers in order to detect potential deadlocks.

• 死锁检测为旋转锁定，互斥体和匹配驱动使用得最快互斥体创建一个层次锁定的图表，以便检测潜在的死锁。