consider the following two processes

that share a common variable X and semaphore S: // shared variables int X=2 binary semaphore S =1;

Process p1: // initialization code int Y; p(S); p11: Y = 2*X; p12: X = Y; V (S) //other code

Process p2: // initialization code int Z; p(S); p21: Z = X+1; p22: X= Z; V (S) //other code The line numbers P11, P12 and P21, P22have 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