信号量是最早出现的用来解决进程同步与互斥问题的机制(也可实现进程通信),包括一个称为信号量的变量及对它进行的两个原语操作。信号量为一个整数,我们设这个信号量为: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);