Question: Consider the following hierarchical deadlock-detection algorithm, in which the global wait-for graph is distributed over a number of different controllers, which are organized in a

Consider the following hierarchical deadlock-detection algorithm, in which the global wait-for graph is distributed over a number of different controllers, which are organized in a tree. Each non-leaf controller maintains a wait-for graph that contains relevant information from the graphs of the controllers in the subtree below it. In particular, let SA, SB, and SC be controllers such that SC is the lowest common ancestor of SA and SB (SC must be unique, since we are dealing with a tree). Suppose that node Ti appears in the local wait-for graph of controllers SA and SB. Then Ti must also appear in the local wait-for graph of
• Controller SC
• Every controller in the path from SC to SA
• Every controller in the path from SC to SB
In addition, if Ti and Tj appear in the wait-for graph of controller SD and there exists a path from Ti to Tj in the wait-for graph of one of the children of SD, then an edge Ti → Tj must be in the wait-for graph of SD.
Show that, if a cycle exists in any of the wait-for graphs, then the system is deadlocked.

Step by Step Solution

3.38 Rating (160 Votes )

There are 3 Steps involved in it

1 Expert Approved Answer
Step: 1 Unlock

Hence for the final analysis we can say that ... View full answer

blur-text-image
Question Has Been Solved by an Expert!

Get step-by-step solutions from verified subject matter experts

Step: 2 Unlock
Step: 3 Unlock

Document Format (1 attachment)

Word file Icon

926-B-F-R-A (388).docx

120 KBs Word File

Students Have Also Explored These Related Finance Questions!