Question 6) Consider the following two processes that share a common variable X and a semaphore : // Shared variable int x =2; binary semaphore s = 1; Process P1: Process P2: //initialisation code //initialisation code int Y; int 2; P(S); P21: 2 - X+1; P(S); P11: Y - 2*X; P12: X = Y; V(S); //other code P22: X - 2; V(S); 1/other code The line numbers P11, P12 and P21, P22 have been added to the left of each statement. How many different values of X are possible after both processes finish executing? What are those values? Explain your answer showing all the possible execution traces. (10 marks)