The Deadlock Detection option of Dr

The Deadlock Detection option of Driver Verifier looks for potential deadlocks involving spin locks, mutexes, and fast mutexes. It does not monitor the use of ERESOURCEs, nor does it monitor the use of nonowned resources.

ผลลัพธ์ (ไทย) 1:

ตัวตรวจการชะงักงันของโปรแกรมควบคุม Verifier หางันอาจหมุนล็อค mutexes และ mutexes อย่างรวดเร็ว ตรวจสอบการใช้ ERESOURCEs หรือตรวจสอบการใช้ทรัพยากร nonowned

ผลลัพธ์ (ไทย) 2:

ตัวเลือกการตรวจสอบการหยุดชะงักของการตรวจสอบไดร์เวอร์ที่จะมองหาการติดตายที่อาจเกิดขึ้นที่เกี่ยวข้องกับการล็อคหมุน mutexes และ mutexes รวดเร็ว มันไม่ได้ตรวจสอบการใช้ ERESOURCEs หรือไม่ก็ตรวจสอบการใช้ทรัพยากร nonowned

ผลลัพธ์ (ไทย) 3:

การหยุดชะงักการตรวจสอบตัวเลือกไดรเวอร์ตรวจสอบค้นหาศักยภาพติดตายที่เกี่ยวข้องกับล็อคหมุน mutexes และ mutexes อย่างรวดเร็ว มันไม่ได้ตรวจสอบการใช้ eresources หรือไม่ก็ตรวจสอบการใช้ nonowned ทรัพยากร