Using semaphores for synchronization, modify functions foo() and bar(), to ensure that statement y = y + 3 is always executed after the statement y = y + 1

int y = 1; x = 0; foo () { y = y + 3; x = y; } bar () { y = y + 1; } main () { Thread t1 = createThread (foo); Thread t2 = createThread(bar);

WaitForAllDone(); cout << x << , << y <