Q$\mathrm{.}3)(15$pts$)$ In a multithreaded application, two threads, A and B are synchronised using locks as shown below. $($a$)$ When the threads are executed, which values can be obtained for $x$ and $y?($b$)$ Assume the correctness constraint for the solution is defined as $"$y should be modified after both threads have modified $x^{\text{'}\text{'}}.$ Does the given solution satisfy the constraint? If not, then give a correct solution. $($No partial mark$)$

Lock lock$-$true;

int $x=0$;$y=1$;

Thread A

Lock::acquire$()$:

$x=x+1$;

Lock::release$()$;

Thread B

Lock:: acquire$()$:

$x=x+1$;

Lock::acquire$0$:

$y=x+y$;

Lock release$()$: