C++11 多线程同步互斥锁条件变量

2019-11-06 07:29:00

字体：大中小

来源：转载

供稿：网友

在多线程程序中，线程同步（多个线程访问一个资源保证顺序）是一个非常重要的问题，linux下常见的线程同步的方法有下面几种：

互斥锁条件变量信号量

这篇博客只介绍互斥量和条件变量的使用。

互斥锁和条件变量

通常情况下，互斥锁和条件变量是配合使用的，互斥锁用于短期锁定，主要保证线程对临界区的进入；条件变量用于线程长期等待，在wait的时候会释放锁。操作的API如下所示（介绍最常用的）：

std::mutex : 独占的互斥量，不能递归使用 std::condition_variable ：条件变量，配合 std::unique<std::mutex>进行wait操作。 std::condition_variable_any 和任意带有lock，unlock的mutex配合使用，但是效率比std::condition_variable差。

举个栗子：

10个人排队使用打印机，任一时刻只有一个人能使用。用一个变量i的0和1两种状态分别表示打印机能不能使用。这个程序这样写，详细解释见注释：

#include<iostream>#include<condition_variable>#include<vector>#include<thread>std::vector<std::thread> tv; //保存线程的情况std::condition_variable_any m_t; //条件变量std::mutex lock; //互斥锁int i = 1; //打印机资源初始为1 表示可用void subi() { std::lock_guard<std::mutex> locker(lock); //使用之前先加锁 while(i == 0){ //如果不可用 m_t.wait(lock); //将当前线程阻塞，注意：此时会释放锁 } i--; //使用打印机过程}void addi() { std::lock_guard<std::mutex> locker(lock); //同理，放弃使用的时候先加锁 i++; //是资源变为可用 m_t.notify_all(); //通知其余阻塞的使用者可以使用了}void func(int j) { subi(); std::cout << "I am thread "<< j << " , i = " << i << std::endl; addi();}int main(int argc,char *argv[]){ for(int j = 0; j < 10 ; ++j) { std::thread t(func,j); tv.push_back(std::move(t)); } for(auto &thread : tv) { thread.join(); } return 0;}

测试情况应该是：每个进程输出的i都为0，表示每个进程都在合理的使用打印机，没有出现同时使用的情况，即i < 0的情况。

$ g++ condition.cpp -pthread //注意链接pthread

这里写图片描述