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

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

• 互斥锁
• 条件变量
• 信号量

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

互斥锁和条件变量

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

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

举个栗子：

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

#include
#include
#include
#include

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

嗯，可见我们的使用姿势是正确的～