Consider the following maximum-claim reusable resource system with four processes and three resource types. The maximum claim matrix is given by [4 1 4 3 1 C = 5 6 13 4 l1 1 6 where Cij denote maximum...

Extracted text: Consider the following maximum-claim reusable resource system with four processes and three resource types. The maximum claim matrix is given by [4 1 4 3 1 C = 5 6 13 4 l1 1 6 where Cij denote maximum claim of process I for resource j. The total units of each resource type are given by the vector (5, 8, 15). The current allocation of resources is given by the matrix [0 1 4] 2 03 A = 1 4 1 l1 0 3] where aij denotes the units of resource type j currently allocated to process i. The processes and resources are both indexed from 0. 1. Determine if the current state of the system is safe. 2. Determine if a request by process 2 for 4 units of resource 2 can be safely granted.