【Linux多线程编程】7. 线程锁（4）——信号量

前言

上篇文章Linux多线程编程】6. 线程锁（3）——条件变量 介绍了使用条件变量实现多线程同步的方式，而条件变量一般与互斥锁一同配合。本文介绍多线程同步的另一种方式——信号量，使用比条件变量简单，也用来解决生产者-消费者问题。

信号量

一个信号量 S 是个整型变量，它除了初始化外只能通过两个标准原子操作：wait () 和 signal() 来访问：

操作 wait() 也称为 P
操作 signal() 也称为 V

对于wait() 和 signal() 的定义可以如下

wait(S){
   
   
    while (S <= 0)
        ;// busy wait
    S--；// 信号量S减
}
signal(S) {
   
   
    S++; // 信号量S加
}

由上代码不难看出，信号量看起来就是一个计数变量，wait对计数变量-1，signal对计数变量+1。
与普通定义一个变量，然后++/–的区别在于，信号量的操作是原子性的。

原子性：指事务的不可分割性，一个事务的所有操作要么不间断地全部被执行，要么一个也没有执行。

可以简单的将其理解为线程安全的，而对普通变量的加减之前我们说过是线程不安全的。

操作系统通常区分计数信号量与二进制信号量。计数信号量的值不受限制，而二进制信号量的值只能为 0 或 1。因此，二进制信号量类似于互斥锁。事实上，在没有提供互斥锁的系统上，可以使用二进制信号量来提供互斥。
实际上，互斥锁我们可以看为只支持0/1变化的信号量

使用场景

信号量用于线程安全性的计数，通常这种功能被用在共享资源的访问上。
比如：
一家餐馆招了4个厨师，原料柜上放着3瓶酱油，我们可以为生菜加上一个信号量。
厨师A在t1时刻拿走一个生菜，此时生菜信号量-1，剩余2捆生菜；
厨师B在t2时刻拿走一个生菜，此时生菜信号量-1，剩余1捆生菜；
厨师C在t3时刻拿走一个生菜，此时生菜信号量-1，剩余0捆生菜；
厨师D在t4时刻想要拿走一个生菜，而此时生菜信号量为0，因此厨师D拿不到生菜，阻塞等待其他厨师释放已用的生菜；

看这个流程是不是跟之前说的互斥锁很像？区别在于：

信号量适用于多个线程在有多个相同资源时，资源数不为0，线程就可拿取资源；为0则等待
互斥锁是多个线程只有一个相同资源，其他线程抢先获取，另外的线程都阻塞等待。

因此，我们理解互斥锁就是只支持0/1计数的信号量。

主要函数

头文件 #define <semaphore.h>

1. 创建信号量

int sem_init(sem_t *sem, int pshared, unsigned int value);
参数：
sem：传出参数，函数返回后指向创建后的信号量。
pshared：控制信号量的类型，如果值为0，就表示这个信号量是当前进程的局部信号量，在当前进程的多个线程之间共享，否则信号量就可以在多个进程之间共享；
value：sem的初始值。
返回值：
调用成功时返回0，失败返回-1。

2. 信号量值-1

int sem_wait(sem_t *sem);
参数：
sem：sem_init调用初始化的信号量。
返回值：
调用成功返回0，失败返回-1。

3. 信号量的值+1

int sem_post(sem_t *sem);
参数：
sem：sem_init调用初始化的信号量。
返回值：
调用成功返回0，失败返回-1。

4. 释放信号量

int sem_destroy(sem_t *sem);
参数：
销毁用sem_init初始化的信号量。
返回值：
调用成功返回0，失败返回-1。

代码示例

以生产者消费者模型为例，用信号量实现这个功能

#include <semaphare.h>
#