Question: Q1 Processes (20%) Suppose we are dealing with a system of 4 processes with a set of constraints that are expressed by the following precedence

 Q1 Processes (20%) Suppose we are dealing with a system of

Q1 Processes (20%) Suppose we are dealing with a system of 4 processes with a set of constraints that are expressed by the following precedence relation: = {(P1.23), (P1,P4), (P2,P4)} The processes implement the following instructions: Initialize M1...M6 = 0; P1: M1 + 5 - M2 M4; P2: M3 M2; P3: M1 M4 M5; M5 + M4 M6; (sequentially executed) P4 M4 5 M3 Answer the following questions: a. Is the system of processes determinate? Why/Why Not? b. Are all pairs of processes mutually non-interfering? Why/Why Not? C. What modifications are needed to guarantee the system to be determinate for all interpretations? Q1 Processes (20%) Suppose we are dealing with a system of 4 processes with a set of constraints that are expressed by the following precedence relation: = {(P1.23), (P1,P4), (P2,P4)} The processes implement the following instructions: Initialize M1...M6 = 0; P1: M1 + 5 - M2 M4; P2: M3 M2; P3: M1 M4 M5; M5 + M4 M6; (sequentially executed) P4 M4 5 M3 Answer the following questions: a. Is the system of processes determinate? Why/Why Not? b. Are all pairs of processes mutually non-interfering? Why/Why Not? C. What modifications are needed to guarantee the system to be determinate for all interpretations

Step by Step Solution

There are 3 Steps involved in it

1 Expert Approved Answer
Step: 1 Unlock 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

Students Have Also Explored These Related Databases Questions!