文章目录
前言:
mutex又称互斥量,用于提供对共享变量的互斥访问。C++11中mutex相关的类都在头文件中。共四种互斥类:
与std::thread一样,mutex相关类不支持拷贝构造、不支持赋值。同时mutex类也不支持move语义(move构造、move赋值)。不用担心会误用这些操作,真要这么做了的话,编译器会阻止你的。
一、lock, try_lock, unlock
mutex的标准操作,四个mutex类都支持这些操作,但是不同类在行为上有些微的差异。
1.1 lock
锁住互斥量。调用lock时有三种情况:
如果互斥量没有被锁住,则调用线程将该mutex锁住,直到调用线程调用unlock释放。
如果mutex已被其它线程lock,则调用线程将被阻塞,直到其它线程unlock该mutex。
如果当前mutex已经被调用者线程锁住,则std::mutex死锁,而recursive系列则成功返回。
1.2 try_lock
尝试锁住mutex,调用该函数同样也有三种情况:
如果互斥量没有被锁住,则调用线程将该mutex锁住(返回true),直到调用线程调用unlock释放。
如果mutex已被其它线程lock,则调用线程将失败,并返回false。
如果当前mutex已经被调用者线程锁住,则std::mutex死锁,而recursive系列则成功返回true。
1.3 unlock
解锁mutex,释放对mutex的所有权。值得一提的时,对于recursive系列mutex,unlock次数需要与lock次数相同才可以完全解锁。
#include <iostream>
#include <thread>
#include <mutex>
void inc(std::mutex &mutex, int loop, int &counter) {
for (int i = 0; i < loop; i++) {
mutex.lock();
++counter;
mutex.unlock();
}
}
int main() {
std::thread threads[5];
std::mutex mutex;
int counter = 0;
for (std::thread &thr: threads) {//基于范围的 for 循环
thr = std::thread(inc, std::ref(mutex), 1000, std::ref(counter));//使用std::ref可以在模板传参的时候传入引用,否则无法传递
}
for (std::thread &thr: threads) {
thr.join();
}
// 输出:5000,如果inc中调用的是try_lock,则此处可能会<5000
std::cout << counter << std::endl;
return 0;
}
二、try_lock_for, try_lock_until
这两个函数仅用于timed系列的mutex(std::timed_mutex, std::recursive_timed_mutex),函数最多会等待指定的时间,如果仍未获得锁,则返回false。除超时设定外,这两个函数与try_lock行为一致。
// 等待指定时长
template <class Rep, class Period>
try_lock_for(const chrono::duration<Rep, Period>& rel_time);
// 等待到指定时间
template <class Clock, class Duration>
try_lock_until(const chrono::time_point<Clock, Duration>& abs_time)