Consider three concurrently executing threads in the same process using two semaphores s1 and s2. Assume s1 has been initialized to 1, while s2 has been initialized to 0. What are all possible values of the global variable x, initialized to 0, after all three threads have terminated?

Show your work in reaching the answer.

/* thread A */

s2.P()

s1.P()

x = x*2

s1.V()

/* thread B */

s1.P()

x = x*x

s1.V()

/* thread C */

s1.P()

x = x+3

s2.V()

s1.V()