Deadlock

a. Is a cycle considered to be a necessary and/or a sufficient condition for deadlock? Explain. Is the answer dependent on any particular characteristic of the resource allocation graph being considered? Justify your answer (provide as well-reasoned a justification as you can based on the concepts discussed in class related to deadlock, and the content of the class slides).

b. Suppose a system has 5 processes, P = {P1, P2, P3, P4, P5}, and 4 resources types, R = {R1, R2, R3, R4}. Further, assume one instance of each resource type. The current state of the system is defined by the following requests and assignments;

P1 is requesting R3 and has been assigned R2

P2 is requesting R1 and has been assigned R3

P3 is requesting R4 and has been assigned R1

P4 is requesting R3

P5 is requesting R2 and has been assigned R4

Is there deadlock in this system (Explicitly state that there is or is not)? If applicable, draw a wait-for graph or resource-allocation graph, and use the appropriate graph to justify your answer, or, if you conclude there is no deadlock, your justification should contain a sequence of execution for the processes which shows that all processes can execute to completion.

c .Suppose a system has 5 processes, P = {P1, P2, P3, P4, P5}, and 4 resources, R = {R1, R2, R3, R4}, where W = {2, 1, 3, 3}. The current state of the system is defined by the following requests and assignments;

P1 is requesting an instance of R3 and has been assigned an instance of R2

P2 is requesting an instance of R1 and has been assigned an instance of R3

P3 is requesting an instance of R4 and has been assigned an instance of R1 and an instance of R3

P4 is requesting an instance of R3

P5 is requesting an instance of R2 and has been assigned an instance of R4

Is there deadlock in this system (Explicitly state that there is or is not)? If applicable, draw a wait-for graph or resource-allocation graph, and use the appropriate graph to justify your answer, or, if you conclude there is no deadlock, your justification should contain a sequence of execution for the processes which shows that all processes can execute to completion.