Consider the following psudocode.

Semaphore s $=1$

P$1()\{$

sem$\_$wait$($s$)$

sem$\_$wait$($s$)$

doSomething$()$

sem$\_$signal$()$

$\}$

P$2()\{$

sem$\_$wait$($s$)$

doSomething$()$

sem$\_$signal$()$

sem$\_$signal$()$

$\}$

Main$()\{$

spawn P$1$

spawn P$2$

$\}$

Is it possible for this code to get stuck? If so$,$ which thread is stuck?

No

Yes, P$1$ and P$2$ are both possible

Yes, P$1$ only

Yes, P$2$ only