多线程编程：条件变量

条件变量

条件变量的作用

可以让线程以无竞争方式等待特定条件发生，条件变量和互斥量mutex（也称互斥锁）一起使用，条件变量是由互斥量来保护的。
条件变量的使用

要分析的重点就是pthread_cond_wait(pthread_cond_t * cond, pthread_mutex_t * mutex)函数：
有两个参数：
条件变量指针：pthread_cond_t * cond
互斥量指针：pthread_mutex_t * mutex
pthread_cond_wait()函数会等待条件变量cond变为真。而mutex函数就是保护条件变量的互斥量。也就是说，这个函数在使用时需要配合pthread_mutex_lock()一起使用。即：

//先对保护互斥量上锁
pthread_mutex_lock(&mutex);
//然后调用条件变量的等待
pthread_cond_wait(&cond,&mutex);

pthread_cond_wait(&cond, &mutex)函数的功能

1、等待条件变量cond满足；（一般藉由pthread_cond_signal(&cond)来满足）
2、把获得的互斥量解锁（注意、第1、2步是原子操作）
如果条件满足了，就不会释放锁，所以等待条件变量和释放锁一定是一起执行的（原子性）
3、pthread_cond_wait()被唤醒时，它解除阻塞，并且尝试获取锁（不一定拿到锁）。因此，一般在使用的时候都是在一个循环里使用=pthread_cond_wait()函数，因为它在返回的时候不一定能拿到锁（这可能会发生饿死情形，当然这取决于操作系统的调度策略）。

这个pthread_cond_wait()函数可以被pthread_cond_signal()或者是pthread_cond_broadcast()函数唤醒。不同之处在于，pthread_cond_signal()可以唤醒至少一个线程；而pthread_cond_broadcast()则是唤醒等待该条件满足的所有线程。在使用的时候需要注意，一定是在改变了条件状态以后再给线程发信号。

经典的线程同步问题：生产者消费者模型

/*
    int pthread_cond_wait(pthread_cond_t *restrict cond, pthread_mutex_t *restrict mutex)
        -等待，调用了该函数，线程就会阻塞
*/
/*
    生产者消费者模型
*/

#include <stdio.h>
#include <pthread.h>
#include <unistd.h>
#include <stdlib.h>

struct Node{
    int val;
    struct Node *next;
};

//创建一个互斥量
pthread_mutex_t mutex;

//创建一个条件变量
pthread_cond_t cond;

//初始化头节点
struct Node * head = NULL;
//生产者方法（或称生产者线程的代码）
void* producer(void * arg){
    //不断地创建新的节点添加到链表中（创建到堆区）
    while(1){
        pthread_mutex_lock(&mutex);
        struct Node *newnode = (struct Node *)malloc(sizeof(struct Node));
        //链表的头插法
        newnode->next = head;
        head = newnode;
        newnode->val = rand() % 100;
        printf("add node, val : %d, thread id : %ld\n", newnode->val, pthread_self());
        //只要生产了一个，就通知消费者消费-通过修改条件变量
        pthread_cond_signal(&cond);

        pthread_mutex_unlock(&mutex);
        usleep(10000);
    }    
    return NULL;
}
//消费者方法（或称消费者线程的代码）
void* customer(void * arg){

    //不断的从链表头部删除节点
    while(1){
        pthread_mutex_lock(&mutex);
        //没有数据，就阻塞起来等待
        //当生产者执行signal指令后，cond条件变量就获得了条件，该段代码就不再阻塞
        //这段代码在执行的时候，会执行一系列的原子操作：
            //查看cond是否具备了条件signal，如果不具备，就阻塞本线程并解锁互斥量mutex，反之清除变量并上锁互斥锁mutex并继续执行
        pthread_cond_wait(&cond, &mutex);
        //获得头节点指针
        struct Node *tmp = head;
        //没有数据
        head = head->next;
        printf("delete node val : %d, pthread id : %ld\n", tmp->val, pthread_self());
        free(tmp);
        pthread_mutex_unlock(&mutex);
        usleep(10000);
    }
    return NULL;
}


int main(){
    //初始化互斥锁
    pthread_mutex_init(&mutex, NULL);
    //初始化条件变量
    pthread_cond_init(&cond,NULL);

    //创建5个生产者线程，5个消费者线程
    //用链表来作为容器
    pthread_t ptids[5];
    pthread_t ctids[5];
    for(int i = 0; i < 5; i++){
        pthread_create(&ptids[i], NULL, producer, NULL);
        pthread_create(&ctids[i], NULL, customer, NULL);

        pthread_detach(ptids[i]);
        pthread_detach(ctids[i]);
    }
    while(1){
        sleep(10);
    }
    pthread_mutex_destroy(&mutex);
    pthread_cond_destroy(&cond);
    pthread_exit(NULL);
    return 0;
}