C++11 并发指南三(std::mutex 详解)

Mutex又称互斥量，C++11中与Mutex相关的类和函数声明都在<mutex>头文件中，所以使用时必须包含<mutex>头文件

1、mutex头文件介绍

Mutex类系列（4种）

1）std::mutex：最基本的mutex类

2）std::recursive_mutex：递归mutex类

3）std::time_mutex：定时mutex类

4）std::recursive_timed_mutex：定时递归mutex类

Lock类（2种）

1）std::lock_guard：与Mutex RAII相关，方便线程对互斥量上锁

2）std::unique_lock：与Mutex RAII相关，方便线程对互斥量上锁，但提供了更好的上锁和解锁控制

其他类型

1）std::once_flag

2）std::adopt_lock_t

3）std::defer_lock_t

4）std::try_to_lock_t

函数

1）std::try_lock：尝试同时对多个互斥量上锁

2）std::lock：可以同时对多个互斥量上锁

3）std::call_once：如果多个线程需要同时调用某个函数，call_once可以保证多个线程对该函数只调用一次

2、std::mutex介绍

下面以std::mutex为例介绍C++中得互斥量用法。std::mutex是C++中最基本的互斥量，std::mutex对象提供了独占所有权的特性--即不支持递归地对std::mutex对象上锁，而std::recursive_lock则可以递归地对互斥量对象上锁。

std::mutex的成员函数

1）构造函数：std::mutex不允许拷贝构造，也不允许move拷贝，最初产生的mutex对象是处于unlocked状态的。

2）lock()：调用线程将锁住该互斥量，线程调用该函数会发生以下3种情况：（1）如果该互斥量当前没有被锁住，则调用线程将该互斥量锁住，直到调用unlock之前，该线程一直拥有该锁。（2）如果当前互斥量被其他线程锁住，则当前的调用线程被阻塞住。（3）如果当前互斥量被当前调用线程锁住，则会产生死锁。

3）unlock()：解锁，释放对互斥量的所有权。

4）try_lock()：尝试锁住互斥量，如果互斥量被其他线程占有，则当前线程也不会被阻塞，线程调用该函数会出现下面3种情况：（1）如果当前互斥量没有被其他线程占有，则该线程锁住互斥量，直到该线程调用unlock释放互斥量。（2）如果当前互斥量被其他线程锁住，则当前调用线程返回false，而并不会被阻塞掉。（3）如果当前互斥量被当前调用线程锁住，则会产生死锁。

// mutex::try_lock example
#include <iostream>       // std::cout
#include <thread>         // std::thread
#include <mutex>          // std::mutex

volatile int counter (0); // non-atomic counter
std::mutex mtx;           // locks access to counter

void attempt_10k_increases () {
  for (int i=0; i<10000; ++i) {
    if (mtx.try_lock()) {   // only increase if currently not locked:
      ++counter;
      mtx.unlock();
    }
  }
}

int main ()
{
  std::thread threads[10];
  // spawn 10 threads:
  for (int i=0; i<10; ++i)
    threads[i] = std::thread(attempt_10k_increases);

  for (auto& th : threads) th.join();
  std::cout << counter << " successful increases of the counter.\n";

  return 0;
}

Mac下打印结果为23XXX，而官网的打印结果说是0-10000都有可能，不知道为啥

3、std::recursive_mutex介绍

std::recursive_mutex与std::mutex一样，也是一种可以被上锁的对象，但是，std::recursive_mutex允许同一个线程对互斥量多次上锁，即递归上锁，来获得对互斥量的多层所有权，std::recursive_mutex：释放互斥量时需要调用与该锁层次深度相同的unlock，可以理解为unlock次数相同，其它二者大致相同。

4、std::time_mutex介绍

std::time_mutex比std::mutex多了两个成员函数

1）try_lock_for()：函数接受一个时间范围，表示在这一段时间范围内线程如果没有获得锁则被阻塞住（与std::mutex_lock_try()不同，try_lock如果被调用时，没有获得锁，则直接返回false，如果在此期间其它线程释放了锁，则该线程可以获得对互斥量的锁，如果超时(即在指定时间内还没有获得锁)，则返回false

2）try_lock_until()：函数接收一个时间点作为参数，在指定时间点未到来之前，线程如果没有获得锁则被阻塞住，如果在此期间其它线程释放了锁，则该线程可以获得互斥量的锁，如果超时，则返回false

// timed_mutex::try_lock_for example
#include <iostream>       // std::cout
#include <chrono>         // std::chrono::milliseconds
#include <thread>         // std::thread
#include <mutex>          // std::timed_mutex

std::timed_mutex mtx;

void fireworks () {
  // waiting to get a lock: each thread prints "-" every 200ms:
  while (!mtx.try_lock_for(std::chrono::milliseconds(200))) {
    std::cout << "-";
  }
  // got a lock! - wait for 1s, then this thread prints "*"
  std::this_thread::sleep_for(std::chrono::milliseconds(1000));
  std::cout << "*\n";
  mtx.unlock();
}

int main ()
{
  std::thread threads[10];
  // spawn 10 threads:
  for (int i=0; i<10; ++i)
    threads[i] = std::thread(fireworks);

  for (auto& th : threads) th.join();

  return 0;
}

打印结果，为了直观观察线程的执行，我在后面添加了线程的id

------------------------------------*0x100281000
----------------------------------------*0x100616000
-----------------------------------*0x101881000
------------------------------*0x100387000
-------------------------*0x100510000
--------------------*0x10040a000
---------------*0x100304000
----------*0x10048d000
-----*0x100593000
*0x100699000

5、std::recursive_timed_mutex介绍

和std::recursive_mutex与std::mutex的关系一样

6、std::lock_guard介绍

与Mutex RAII相关，方便线程对互斥量上锁。例如如下：

// lock_guard example
#include <iostream>       // std::cout
#include <thread>         // std::thread
#include <mutex>          // std::mutex, std::lock_guard
#include <stdexcept>      // std::logic_error

std::mutex mtx;

void print_even (int x) {
  if (x%2==0) std::cout << x << " is even\n";
  else throw (std::logic_error("not even"));
}

void print_thread_id (int id) {
  try {
    // using a local lock_guard to lock mtx guarantees unlocking on destruction / exception:
    std::lock_guard<std::mutex> lck (mtx);
    print_even(id);
  }
  catch (std::logic_error&) {
    std::cout << "[exception caught]\n";
  }
}

int main ()
{
  std::thread threads[10];
  // spawn 10 threads:
  for (int i=0; i<10; ++i)
    threads[i] = std::thread(print_thread_id,i+1);

  for (auto& th : threads) th.join();

  return 0;
}

7、std::unique_lock介绍

与Mutex RAII相关，方便线程对互斥量上锁，但提供了更好的上锁与解锁控制

// unique_lock example
#include <iostream>       // std::cout
#include <thread>         // std::thread
#include <mutex>          // std::mutex, std::unique_lock

std::mutex mtx;           // mutex for critical section

void print_block (int n, char c) {
  // critical section (exclusive access to std::cout signaled by lifetime of lck):
  std::unique_lock<std::mutex> lck (mtx);
  for (int i=0; i<n; ++i) { std::cout << c; }
  std::cout << '\n';
}

int main ()
{
  std::thread th1 (print_block,50,'*');
  std::thread th2 (print_block,50,'$');

  th1.join();
  th2.join();

  return 0;
}

打印结果

**************************************************
$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$