操作系统中进程互斥和同步的实现的一个最基本的方方是使用信号量和PV原语。
信号量S的物理意义:当S≥0的时候表示,某个资源可以使用的数量,当S<0的时候,其绝对值表示等待某个资源的进程数。
一般实现进程间的互斥操作的时候S的初始值为1或资源的数目,实现进程间同步的时候S的初始值为0或某个正整数。
P操作表示进程申请一个资源,其定义如下:
S=S-1,如果S≥0,那么执行P操作的进程继续执行,否则执行P操作的进程转换成阻塞状态。
V操作表示进程释放一个资源,其定义如下:
S=S+1,如果S≤0,那么从阻塞状态中唤醒一个进程,插入到就绪队列中,执行V操作的进程继续执行,否则执行V操作的进程继续执行,其他进程无影响。
关于PV操作的理解,首先P进程是申请一个资源,那么只需要管自己是否有执行的机会对其他进程没啥影响,如果资源满足执行P操作进程执行的话就执行,否则就阻塞,而V操作是释放一个资源,那么释放完资源,不管现在资源怎样对执行V进程的进程都没有影响,所以执行完V操作之后,该进程总是继续执行,同时V操作可能会对其他进程有所影响,如果执行V操作之后所释放的资源刚好有其他进程在等待,那么就可以从那些等待的进程中唤醒一个插入到就绪队列中了。如果执行P操作后S≥0,那么显然执行P操作(请求资源)之前S>0(有资源可用),所以P进程就可以执行啦,否则就是执行P之前S≤0(没资源可用),所以P进程就被阻塞了。V操作也是一样,如果执行V操作之后S≤0,那么说明执行V之前是S<0(有进程等着用该资源)的,而V操作正好要释放一个这样的资源,所以需要在等待的进程中唤醒一个插入到就绪队列中。这里经常搞混的地方是S=0的时候,按照上述分析如果P操作后S=0,那么P之前S=1,所以有资源可用,。。。如果V操作之后S=0,那么V之前,S=-1,有一个进程在等待,。。。
互斥操作:A、B两个进程对S资源互斥就是他们不能同时使用S资源
S初值为设为1
A: B:
P(S) P(S)
使用S资源 使用S资源
V(S) V(S)
同步操作:进程B需要从进程A获得消息后才执行,而这消息,要在A产生消息之后才提供
S初始值设为0
A: B:
产生消息 P(S)
V(S) 获得消息