线程同步之条件变量与信号量

一、条件变量

1.概念

条件变量用来自动阻塞一个线程，直到某种特殊情况发生为止。通常条件变量和互斥锁同时使用。

条件变量的两个动作：

• 条件不满, 阻塞线程
• 当条件满足, 通知阻塞的线程开始工作

条件变量的类型: pthread_cond_t。

Q：为什么一般互斥锁要和条件变量一起使用？

A：互斥锁只有两种状态：分别是锁定和非锁定状态，而要控制状态就要通过条件变量来操作。当不满足线程运行条件时，条件变量阻塞一个线程，解锁互斥锁，等待条件变量发生变化。一旦其它某个线程改变了条件变量，会发出一个signal唤醒相应被阻塞的线程，这些线程将重新锁定互斥锁并重新测试条件是否满足。一般说来，条件变量被用来进行线承间的同步。

2.pthread_cond_init函数

#include <pthread.h>

int pthread_cond_init(pthread_cond_t *restrict cond,
    const pthread_condattr_t *restrict attr);
功能：
    初始化一个条件变量

参数：
    cond：指向要初始化的条件变量指针。
    attr：条件变量属性，通常为默认值，传NULL即可

        也可以使用静态初始化的方法，初始化条件变量：
        pthread_cond_t cond = PTHREAD_COND_INITIALIZER;

返回值：
    成功：0
    失败：非0错误号

Q：restrict限定符什么作用？

A：告诉编译器，对象已经被指针所引用，不能通过除指针之外所有其它直接或间接的方式修改对象的内容。

3.pthread_cond_destroy函数

#include <pthread.h>

int pthread_cond_destroy(pthread_cond_t *cond);
功能：
    销毁一个条件变量
参数：
    cond：指向要初始化的条件变量指针
返回值：
    成功：0
    失败：非0错误号

4.pthread_cond_wait函数

#include <pthread.h>

int pthread_cond_wait(pthread_cond_t *restrict cond,
    pthread_mutex_t *restrict mutex);

功能：
    阻塞等待一个条件变量
    a）阻塞等待条件变量cond满足?????
    b）解锁互斥量，相当于pthread_mutex_unlock(&mutex);
    C) 当被唤醒，pthread_cond_wait函数返回时，解除阻塞并重新申请获取互斥锁

参数：
    cond：指向要初始化的条件变量指针
    mutex：互斥锁
​
返回值：
    成功：0
    失败：非0错误号

int pthread_cond_timedwait(pthread_cond_t *restrict cond,
    pthread_mutex_t *restrict mutex,
    const struct *restrict abstime);

功能：
    限时等待一个条件变量
​
参数：
    cond：指向要初始化的条件变量指针
    mutex：互斥锁
    abstime：绝对时间
​
返回值：
    成功：0
    失败：非0错误号

abstime结构体:

struct timespec{
    time_t tv_sec;// 秒
    long tv_nsec;  // 纳秒
 
}

time_t cur = time(NULL); //获取当前时间。
struct timespec t;              //定义timespec 结构体变量t
t.tv_sec = cur + 1;             // 定时1秒
pthread_cond_timedwait(&cond, &t);

5.pthread_cond_signal函数

#include <pthread.h>
​
int pthread_cond_signal(pthread_cond_t *cond);
功能：
    唤醒至少一个阻塞在条件变量上的线程
参数：
    cond：指向要初始化的条件变量指针
返回值：
    成功：0
    失败：非0错误号
​
int pthread_cond_broadcast(pthread_cond_t *cond);
功能：
    唤醒全部阻塞在条件变量上的线程
参数：
    cond：指向要初始化的条件变量指针
返回值：
    成功：0
    失败：非0错误号

6.生产者消费者条件变量模型

假设有两个线程，一个模仿生产者，不断添加资源，另一个模仿消费者，不断消耗资源。

7.条件变量的优缺点

???

二、信号量

1.概述

信号量本质上是一个非负整数计数器，它被用来控制公共资源的访问。

编程时可根据操作信号量值的结果判断是否对公共资源具有访问的权限，当信号量值大于 0 时，则可以访问，否则将阻塞。

PV原语是对信号量的操作，一次P操作使信号量减一，一次V操作使信号量加一。

信号量主要用于进程或线程间的同步和互斥这两种典型情况。

信号量数据类型为：sem_t。

Q：信号量如何运用到同步互斥，没有懂？

A：

2.sem_init函数

#include <semaphore.h>

int sem_init(sem_t *sem, int pshared, unsigned int value);

功能：
    创建一个信号量并初始化它的值。一个无名信号量在被使用前必须先初始化。

参数：
    sem：信号量的地址。
    pshared：等于 0，信号量在线程间共享（常用）；不等于0，信号量在进程间共享。
    value：信号量的初始值。

返回值：
    成功：0
    失败： - 1

3.sem_destroy函数

#include <semaphore.h>

int sem_destroy(sem_t *sem);

功能：
    删除 sem 标识的信号量。

参数：
    sem：信号量地址。

返回值：
    成功：0
    失败： - 1

4.信号量P操作（减1）

#include <semaphore.h>

int sem_wait(sem_t *sem);

功能：
    将信号量的值减 1。操作前，先检查信号量（sem）的值是否为 0，若信号量为 0，此函数会阻塞，直到信号量大于 0 时才进行减 1 操作。

参数：
    sem：信号量的地址。

返回值：
    成功：0
    失败： - 1

int sem_trywait(sem_t *sem);

  以非阻塞的方式来对信号量进行减 1 操作。
  若操作前，信号量的值等于 0，则对信号量的操作失败，函数立即返回。

int sem_timedwait(sem_t *sem, const struct timespec *abs_timeout);
   限时尝试将信号量的值减 1
   abs_timeout：绝对时间

struct timespec {
    time_t tv_sec;      /* seconds */ // 秒
    long   tv_nsec; /* nanosecondes*/ // 纳秒
}
​

time_t cur = time(NULL);        //获取当前时间。
struct timespec t;              //定义timespec 结构体变量t
t.tv_sec = cur + 1;             // 定时1秒
sem_timedwait(&cond, &t);

5.信号量V操作（加1）

#include <semaphore.h>

int sem_post(sem_t *sem);

功能：
    将信号量的值加 1 并发出信号唤醒等待线程（sem_wait()）。

参数：
    sem：信号量的地址。

返回值：
    成功：0
    失败：-1

​

6.获取信号量的值

#include <semaphore.h>

int sem_getvalue(sem_t *sem, int *sval);

功能：
    获取 sem 标识的信号量的值，保存在 sval 中。

参数：
    sem：信号量地址。
    sval：保存信号量值的地址。

返回值：
    成功：0
    失败：-1