Driver Verifier's Deadlock Detectio

Driver Verifier's Deadlock Detection routines find lock hierarchy violations that are not necessarily simultaneous. Most of the time, these violations identify code paths that will deadlock when given the chance.

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

โปรแกรมควบคุม Verifier ตรวจการชะงักงันตามปกติพบล็อคละเมิดลำดับชั้นที่ไม่จำเป็นต้องพร้อมกัน ส่วนใหญ่ของเวลา การละเมิดเหล่านี้ระบุเส้นทางรหัสที่จะ deadlock เมื่อมีโอกาส

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

ขับรถตรวจสอบการปฏิบัติของการหยุดชะงักการตรวจสอบพบการละเมิดลำดับชั้นล็อคที่ไม่จำเป็นต้องพร้อมกัน เวลาส่วนใหญ่ของการละเมิดเหล่านี้ระบุเส้นทางรหัสที่จะหยุดชะงักเมื่อได้รับโอกาส

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

ตรวจสอบไดรเวอร์ของการหยุดชะงักการตรวจสอบตามปกติพบล็อคลำดับชั้นการละเมิดที่ไม่จำเป็นพร้อมกัน ส่วนใหญ่ของเวลา , การละเมิดเหล่านี้ระบุรหัสเส้นทางนั้นจะหยุดชะงักเมื่อได้รับโอกาส