【Linux 线程】线程同步《三》

1、条件变量

条件变量是利用线程间共享的全局变量进行同步的一种机制，主要包括两个动作：一个线程等待"条件变量的条件成立"而挂起；另一个线程使"条件成立"（给出条件成立信号）。为了防止竞争，条件变量的使用总是和一个互斥

（1）创建和注销

  条件变量和互斥锁一样，都有静态&动态两种创建方式，静态方式使用PTHREAD_COND_INITIALIZER常量，如下：    
  pthread_cond_t   cond=PTHREAD_COND_INITIALIZER    
   
  动态方式调用pthread_cond_init()函数，API定义如下：    
  int   pthread_cond_init(pthread_cond_t   *cond,   pthread_condattr_t   *cond_attr)    
   
  尽管POSIX标准中为条件变量定义了属性，但在LinuxThreads中没有实现，因此cond_attr值通常为NULL，且被忽略。  
   
  注销一个条件变量需要调用pthread_cond_destroy()，只有在没有线程在该条件变量上等待的时候才能注销这个条件变量，否则返回EBUSY。因为Linux实现的条件变量没有分配什么资源，所以注销动作只包括检查是否有等待线程。API定义如下：    
  int   pthread_cond_destroy(pthread_cond_t   *cond)    
   
（2）等待和激发   
   
int   pthread_cond_wait(pthread_cond_t   *cond,   pthread_mutex_t   *mutex)  
int   pthread_cond_timedwait(pthread_cond_t   *cond,   pthread_mutex_t   *mutex,   const   struct   timespec   *abstime)    
   
等待条件有两种方式：无条件等待pthread_cond_wait()和计时等待pthread_cond_timedwait()，其中计时等待方式如果在给定时刻前条件没有满足，则返回ETIMEOUT，结束等待，其中abstime以与time()系统调用相同意义的绝对时间形式出现，0表示格林尼治时间1970年1月1日0时0分0秒。  
   
  无论哪种等待方式，都必须和一个互斥锁配合，以防止多个线程同时请求pthread_cond_wait()（或pthread_cond_timedwait()，下同）的竞争条件（Race   Condition）。mutex互斥锁必须是普通锁（PTHREAD_MUTEX_TIMED_NP）或者适应锁（PTHREAD_MUTEX_ADAPTIVE_NP），且在调用pthread_cond_wait()前必须由本线程加锁（pthread_mutex_lock()），而在更新条件等待队列以前，mutex保持锁定状态，并在线程挂起进入等待前解锁。在条件满足从而离开pthread_cond_wait()之前，mutex将被重新加锁，以与进入pthread_cond_wait()前的加锁动作对应。  
   
  激发条件有两种形式，pthread_cond_signal()激活一个等待该条件的线程，存在多个等待线程时按入队顺序激活其中一个；而pthread_cond_broadcast()则激活所有等待线程。  

（3）互斥变量举例：生产者&消费者

（4）举例：

《举例1》

 /*************************************************************************
     > File Name: pthread_cond1.c
     > Summary: 条件变量应用---生产者&消费者 version1 单个生产者&单个消费者情形
     > Author: xuelisheng
     > Created Time: 2018年12月18日
  ************************************************************************/

 #include <stdio.h>
 #include <unistd.h>
 #include <malloc.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 mutex = PTHREAD_MUTEX_INITIALIZER;

 void *consumer(void *p)
 {
     struct msg *mp;
     for( ; ; )
     {
         pthread_mutex_lock(&mutex);
         while(head == NULL)                    // 说明此时没有节点，这里当只有一个消费者时，使用while和if都可以。如果有多个消费者则必须使用while
         {
              // 一开始 阻塞等待，并解锁mutex
              // 收到signal信号之后，解除阻塞，加锁mutex
              pthread_cond_wait(&has_product, &mutex);
         }
         mp = head;
         head = mp->next;                                                                                  // 消费掉一个产品
         pthread_mutex_unlock(&mutex);

         printf("Consume %lu --- %d\n", pthread_self(), mp->num);
         free(mp);
         sleep(rand()%);                                                                                  // 休眠：为了打印效果明显
     }
 }

  void *producer(void *p)
  {
      struct msg *mp;
      for(; ;)
      {
          mp = malloc(sizeof(struct msg));
          mp->num = rand() %  + ;                         // 模拟生产一个产品(1-1000之间的一个数字)
          printf("Produce ---------------- %d\n", mp->num);

          // 加互斥锁：mp为共享数据
          pthread_mutex_lock(&mutex);
          mp->next = head;
          head = mp;
          pthread_mutex_unlock(&mutex);

          pthread_cond_signal(&has_product);                            // 将等待在该条件变量上的一个线程唤醒，通知阻塞在条件变量上的线程
          sleep(rand()%);                                                                           // 休眠：为了打印效果明显
      }
  }

  int main()
  {
      pthread_t pid, cid;
      srand(time(NULL));

      // 创建线程
      pthread_create(&pid, NULL, producer, NULL);
      pthread_create(&pid, NULL, consumer, NULL);

      // 等待回收
      pthread_join(pid, NULL);
      pthread_join(cid, NULL);

      return ;
  }

运行结果（截取部分）：

Produce ----------------
Consume  ---
Produce ----------------
Consume  ---
Produce ----------------
Consume  ---
Produce ----------------
Produce ----------------
Consume  ---
Produce ----------------
Produce ----------------
Consume  ---
Produce ----------------
Consume  ---
Produce ----------------
Consume  ---
Consume  ---
Produce ----------------
Consume  ---
Consume  ---
Produce ----------------
Produce ----------------
Produce ----------------
Produce ----------------
Consume  ---
Produce ----------------
Consume  ---
Consume  ---
Produce ----------------
Produce ----------------
Consume  ---
Produce ----------------
Consume  ---
Consume  ---
Produce ----------------
Consume  --- 

《举例2》

 /*************************************************************************
     > File Name: pthread_cond2.c
     > Summary: 条件变量应用---生产者&消费者 version2 单个生产者&多个消费者情形
     > Author: xuelisheng
     > Created Time: 2018年12月18日
  ************************************************************************/

 #include <stdio.h>
 #include <unistd.h>
 #include <malloc.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 mutex = PTHREAD_MUTEX_INITIALIZER;

 void *consumer(void *p)
 {
     struct msg *mp;
     for( ; ; )
     {
         pthread_mutex_lock(&mutex);
         while(head == NULL)                    // 说明此时没有节点，这里当只有一个消费者时，使用while和if都可以。如果有多个消费者则必须使用while
         {
              // 一开始 阻塞等待，并解锁mutex
              // 收到signal信号之后，解除阻塞，加锁mutex
              pthread_cond_wait(&has_product, &mutex);               // 多个消费者线程都阻塞在这里
         }
         mp = head;
         head = mp->next;                                                                                  // 消费掉一个产品
         pthread_mutex_unlock(&mutex);

         printf("Consume %lu --- %d\n", pthread_self(), mp->num);
         free(mp);
         sleep(rand()%);                                                                                  // 休眠：为了打印效果明显
     }
 }

  void *producer(void *p)
  {
      struct msg *mp;
      for(; ;)
      {
          mp = malloc(sizeof(struct msg));
          mp->num = rand() %  + ;                         // 模拟生产一个产品(1-1000之间的一个数字)
          printf("Produce ---------------- %d\n", mp->num);

          // 加互斥锁：mp为共享数据
          pthread_mutex_lock(&mutex);
          mp->next = head;
          head = mp;
          pthread_mutex_unlock(&mutex);

          pthread_cond_signal(&has_product);                            // 将等待在该条件变量上的一个线程唤醒，通知阻塞在条件变量上的线程
          sleep(rand()%);                                                                           // 休眠：为了打印效果明显
      }
  }

  int main()
  {
      pthread_t pid, cid;
      srand(time(NULL));

      // 创建线程
      pthread_create(&pid, NULL, producer, NULL);

      // 创建多个消费者
      pthread_create(&pid, NULL, consumer, NULL);
      pthread_create(&pid, NULL, consumer, NULL);
      pthread_create(&pid, NULL, consumer, NULL);
      pthread_create(&pid, NULL, consumer, NULL);

      // 等待回收
      pthread_join(pid, NULL);
      pthread_join(cid, NULL);

      return ;
  }

运行结果（截取部分）：发现消费者线程id不同，即多个消费者

Produce ----------------
Consume  ---
Produce ----------------
Consume  ---
Produce ----------------
Consume  ---
Produce ----------------
Consume  ---
Produce ----------------
Consume  ---
Produce ----------------
Consume  ---
Produce ----------------
Consume  ---
Produce ----------------
Consume  ---
Produce ----------------
Consume  ---
Produce ----------------
Consume  ---
Produce ----------------
Consume  ---
Produce ----------------
Consume  ---
Produce ----------------
Produce ----------------
Consume  ---
Consume  ---
Produce ----------------
Consume  ---