信号量问题,两个进程P,V操作完的代码的运行先后顺序

img

在这个当先进行P1进程时,进程会按照代码1,代码2的顺序进行,当执行完代码2时,到达了V(S)操作,这时候将资源释放了出来,这时候初始值增加(S+1),接着进行P2进程,由于P2中进行了P(S)[申请资源]的操作,这个时候会按照代码4,代码5,代码6的顺序执行下去吗?执行完代码6后会怎么样?这时候P2进程已经执行完了,但P1进程中的代码3还没有进行执行,P1进程还没有完全执行完,这时候会在代码6执行完之后进行代码3的执行吗?求大lao教教我吧,,在这里谢过了。