信号量
前面我们解析了进程间通信的管道、消息队列以及共享内存,今天我们看看最后一种方式:信号量。
为了获得共享资源,进程需要执行下列操作:
(1)测试控制该资源的信号量;
(2)若此信号量的值为正,则进程可以使用该资源。进程会将信号量值减1,表示它使用了一个资源单位。
(3)若此信号量的值为0,则进程进入休眠状态,直至信号量值大于0。进程被唤醒后,它返回至步骤(1)。
当进程不再使用由一个信号量控制的共享资源时,该信号量值增1,如果有进程正在休眠等待此信号量,则唤醒它们。
为了正确地实现信号量,信号量值的测试及减1操作应当是原子操作。为此,信号量通常是在内核中实现的。
信号量本质上是个计数器,用来描述临界资源的多少,也用于同步和互斥的,下面我们来看看这几个概念:
临界资源:俩个进程共同看到的公共资源称为临界资源,访问临界资源的代码称为临界区。
进程互斥:由于各进程要求共享资源,而且有些资源需要互斥使用,因此各进程间竞争使用这些资源,进程的这种关系为进程
的互斥。
进程同步:进程同步指的是多个进程需要相互配合共同完成一项任务。
信号量的目的是要保护临界资源的安全性,而信号量本身也是临界资源,所以必须保证P,V操作的原子性。
P操作:申请资源,增加一个资源 V操作:释放资源,减少一个资源