01 Processes Suppose we are dealing with a system of 4 processes with a set of constraints that are expressed by the following precedence relation: {(P1,P3), (P1, P4), (P2,P4}} The processes implement the following instructions: Initialize M1...M6 - 0; P1: Ml + 5 - M2 M4; P2: M3 M2; P3: Ml M4 M5; M5 + M4 M6; (sequentially executed) P4 M4 - 5 M3 Answer the following questions: a Isthe 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? 01 Processes Suppose we are dealing with a system of 4 processes with a set of constraints that are expressed by the following precedence relation: {(P1,P3), (P1, P4), (P2,P4}} The processes implement the following instructions: Initialize M1...M6 - 0; P1: Ml + 5 - M2 M4; P2: M3 M2; P3: Ml M4 M5; M5 + M4 M6; (sequentially executed) P4 M4 - 5 M3 Answer the following questions: a Isthe 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