C++多线程编程之互斥锁

互斥锁使用

头文件#include <mutex>，在使用锁之前，先来看下下面这段程序的运行情况。

class Foo{
public:
  mutable std::mutex mtx;
  int sum{0};
  void handler(int n) {
    int i = 0;
    sleep(1);
    while (i < n) {
      sum += 1;
      ++i;
    }   
  }
};

int main()
{
  Foo foo;
  std::thread taskC(&Foo::handler, &foo, 1000);
  std::thread taskD(&Foo::handler, &foo, 1500);
  taskC.join();
  taskD.join();
  std::cout << foo.sum << std::endl;
  return 0;
}

输出结果理论上应该是2500，但实际上输出结果应该在1000~2500之间。为什么会出现这种情况呢，简单分析下原因，每次加1时，数据都会从内存加载到寄存器，如果taskC某次从内存读到寄存器的值是100，此时失去cpu，taskD也从内存读到100，然后做加1，再写回内存，此时sum的实际值是101，如果此时taskC再次获得cpu，他会计算sum=100+1，sum的值还是101，这就有问题了。这属于数据同步的问题，为了解决这种问题，于是就有了互斥锁。

// 
while (i < n) {
	mtx.lock();
	sum += 1;
	mtx.unlock();
	++i;
}

上述互斥锁，保证了临界资源sum在同一时刻只能被一个线程访问到。其他线程想要进入临界区，就必须阻塞等待，直到锁被释放。

互斥锁相关接口

主要有lock、try_lock和unlock三种接口，其中lock失败会阻塞线程，成功则获得锁的所有权。try_lock在加锁失败会返回false，但不会阻塞线程，加锁成功则获得锁的所有权。unlock顾名思义就是释放锁的所有权。

其他互斥锁的使用

• std::time_mutex
  带超时的互斥锁，使用方式如下：

std::time_mutex mtx;
std::chrono::milliseconds timeout(5);
if(mtx.try_lock_for(timeout)) { // 超时未获取锁，则返回false
	// do something
	mtx.unlock();
}

• std::recursive_mutex
  递归互斥量，同一线程多次获取同一个递归互斥量时，不会发生死锁，接口同mutex。
• std::recursive_timed_mutex
  带超时的递归互斥量，接口同time_mutx。