Linux系统编程之条件变量

条件变量

条件变量本身不是锁！但它也可以造成线程阻塞。通常与互斥锁配合使用

主要应用函数：

pthread_cond_init函数
pthread_cond_destroy函数
pthread_cond_wait函数
pthread_cond_timedwait函数 pthread_cond_signal函数
pthread_cond_broadcast函数

以上6 个函数的返回值都是：成功返回0， 失败直接返回错误号。
pthread_cond_t类型 结构体类型 用于定义条件变量 ：pthread_cond_t cond;

1、pthread_cond_init函数

• 初始化一个条件变量

int pthread_cond_init(pthread_cond_t *restrict cond, const
pthread_condattr_t *restrict attr);

• 参2：attr表条件变量属性，通常为默认值，传NULL即可，也可以使用静态初始化的方法，初始化条件变量：pthread_cond_t cond = PTHREAD_COND_INITIALIZER;
  2、pthread_cond_destroy函数
• 销毁一个条件变量

int pthread_cond_destroy(pthread_cond_t *cond);

3、pthread_cond_wait函数

• 阻塞等待一个条件变量

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

-函数作用：

1. 阻塞等待条件变量cond（参1）满足

2. 释放已掌握的互斥锁（解锁互斥量）相当于pthread_mutex_unlock(&mutex)

3. 1.2.两步为一个原子操作。

4. 当被唤醒，pthread_cond_wait函数返回时，解除阻塞并重新申请获取互斥锁pthread_mutex_lock(&mutex)

4、pthread_cond_signal函数

• 唤醒至少一个阻塞在条件变量上的线程

int pthread_cond_signal(pthread_cond_t *cond);

5、pthread_cond_broadcast函数

• 唤醒全部阻塞在条件变量上的线程

int pthread_cond_broadcast(pthread_cond_t *cond);

6、pthread_cond_timedwait函数

• 限时等待一个条件变量

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

• 参3： 参看man sem_timedwait函数，查看struct timespec结构体。

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

• 形参abstime：绝对时间。
  如：time(NULL)返回的就是绝对时间。而alarm(1)是相对时间，相对当前时间定时1秒钟。
  struct timespec t = {1, 0};
  pthread_cond_timedwait (&cond, &mutex, &t); 只能定时到 1970年1月1日 00:00:01秒(早已经过去)
  正确用法：

• time_t cur = time(NULL); 获取当前时间。

• struct timespec t; 定义timespec 结构体变量t

   	t.tv_sec = cur+1; 定时1秒
  

• pthread_cond_timedwait (&cond, &mutex, &t);

生产者消费者模型

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

struct msg {
    struct msg *next;
    int num;
};
struct msg *head;

pthread_cond_t has_product = PTHREAD_COND_INITIALIZER;
pthread_mutex_t lock = PTHREAD_MUTEX_INITIALIZER;

void *consumer(void *p)
{
    struct msg *mp;
    for (;;) {
        pthread_mutex_lock(&lock);
        while (head == NULL) {           //头指针为空,说明没有节点    可以为if吗
            pthread_cond_wait(&has_product, &lock);
        }
        mp = head;      
        head = mp->next;    			//模拟消费掉一个产品
        pthread_mutex_unlock(&lock);

        printf("-Consume ---%d\n", mp->num);
        free(mp);
        sleep(rand() % 5);
    }
}
void *producer(void *p)
{
    struct msg *mp;
    while (1) {
        mp = malloc(sizeof(struct msg));
        mp->num = rand() % 1000 + 1;        //模拟生产一个产品
        printf("-Produce ---%d\n", mp->num);

        pthread_mutex_lock(&lock);
        mp->next = head;
        head = mp;
        pthread_mutex_unlock(&lock);

        pthread_cond_signal(&has_product);  //将等待在该条件变量上的一个线程唤醒
        sleep(rand() % 5);
    }
}
int main(int argc, char *argv[])
{
    pthread_t pid, cid;
    srand(time(NULL));

    pthread_create(&pid, NULL, producer, NULL);
    pthread_create(&cid, NULL, consumer, NULL);

    pthread_join(pid, NULL);
    pthread_join(cid, NULL);
    return 0;
}	

输出：