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;
}
打印结果
**************************************************
$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$