To find potential deadlocks, Driver

To find potential deadlocks, Driver Verifier builds a graph of resource acquisition order and checks for loops. If you were to create a node for each resource, and draw an arrow any time one lock is acquired before another, then path loops would represent lock hierarchy violations.

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

เพื่อค้นหาความชะงักงันที่อาจเกิดขึ้น โปรแกรมควบคุม Verifier สร้างกราฟของการสั่งซื้อทรัพยากร และตรวจสอบการวนรอบ ถ้าคุณสร้างโหนสำหรับแต่ละทรัพยากร และวาดลูกศรใด ๆ ล็อคหนึ่งเวลาซื้อมาก่อนอื่น แล้วลูปเส้นทางจะแทนละเมิดลำดับชั้นล็อค

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

เพื่อหาการติดตายที่อาจเกิดขึ้นไดร์เวอร์ Verifier สร้างกราฟเพื่อการเข้าซื้อกิจการของทรัพยากรและการตรวจสอบสำหรับลูป หากคุณกำลังจะสร้างโหนดสำหรับแต่ละทรัพยากรและวาดล​​ูกศรใดเวลาหนึ่งล็อคได้มาก่อนที่อื่นแล้วลูปเส้นทางจะเป็นตัวแทนของการละเมิดลำดับชั้นล็อค

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

ค้นหา deadlocks ศักยภาพไดรเวอร์ตรวจสอบสร้างกราฟเพื่อการจัดหาทรัพยากรและการตรวจสอบสำหรับลูป ถ้าคุณจะสร้างโหนดแต่ละทรัพยากร และการวาดลูกศรใดเวลาหนึ่งล็อคที่ได้มาก่อนที่อื่น แล้วลูปเส้นทางที่จะเป็นตัวแทนของการละเมิดล็อคลำดับขั้น