线程同步之PV操作

信号量是最早出现的用来解决进程同步与互斥问题的机制(也可实现进程通信)，包括一个称为信号量的变量及对它进行的两个原语操作。信号量为一个整数，我们设这个信号量为：sem。很显然，我们规定在sem大于等于零的时候代表可供并发进程使用的资源实体数，sem小于零的时候，表示正在等待使用临界区的进程的个数。根据这个原则，在给信号量附初值的时候，我们显然就要设初值大于零。

PV操作的操作对象是信号量，具体定义如下：

P(s)：将信号量s的值加1： s = s+1

如果s>=0，则该进程继续执行，否则该进程进入等待状态，排入等待队列。

V(s)：将信号量s的值减1： s=s-1；

如果s>0,则进程继续执行，否则释放队列中第一个等待信号量的进程。

例题：

A,B,C,D 四个进程， A 向 buf 里面写数据， B,C,D 从 buf 里面读数据，

当 A 写完，且 B ， C ， D 都读一次后， A 才能再写。用 P ， V 操作实现。

此问题需要声明4个信号量：

B、C、D互斥信号量S=1， 用于保证BCD读操作互斥。

B与写同步信号量Sb；

C与写同步信号量Sc；

D与写同步信号量Sd；

 

P、 V操作如下：

生产者A进程：

While(true){

生产

P(Sb);

P(Sc);

P(Sd);

产品写入buffer；

V(Sb);

V(Sc);

V(Sd);

}

 

消费者B进程：

While(true){

P(S);

从buffer中取产品

V(S);

消费

}

 

消费者C进程：

While(true){

P(S);

从buffer中取产品

V(S);

消费

}

 

消费者D进程：

While(true){

P(S);

从buffer中取产品

V(S);

消费

}