C++ 标准库 <mutex>:初学者指南
在多线程编程中,确保数据的一致性和线程安全是至关重要的。
C++ 标准库提供了一套丰富的同步原语,用于控制对共享资源的访问。<mutex> 头文件是 C++11 引入的,它包含了用于互斥锁(mutex)的类和函数。互斥锁是一种同步机制,用于防止多个线程同时访问共享资源。
互斥锁(Mutex)是一个用于控制对共享资源访问的同步原语。当一个线程需要访问共享资源时,它会尝试锁定互斥锁。如果互斥锁已经被其他线程锁定,请求线程将被阻塞,直到互斥锁被释放。
基本语法
在 C++ 中,<mutex> 头文件提供了以下主要类:
std::mutex:基本的互斥锁。
std::recursive_mutex:递归互斥锁,允许同一个线程多次锁定。
std::timed_mutex:具有超时功能的互斥锁。
std::recursive_timed_mutex:具有超时功能的递归互斥锁。
实例
1. 使用 std::mutex
下面是一个简单的示例,展示了如何在 C++ 中使用 std::mutex 来同步对共享资源的访问。
实例
#include <iostream>
#include <thread>
#include <mutex>
std::mutex mtx; // 全局互斥锁
int shared_resource = 0;
void increment() {
for (int i = 0; i < 10000; ++i) {
mtx.lock(); // 锁定互斥锁
++shared_resource;
mtx.unlock(); // 解锁互斥锁
}
}
int main() {
std::thread t1(increment);
std::thread t2(increment);
t1.join();
t2.join();
std::cout << "Final value of shared_resource: " << shared_resource << std::endl;
return 0;
}
输出结果:
Final value of shared_resource: 20000
2. 使用 std::recursive_mutex
递归互斥锁允许同一个线程多次锁定同一个互斥锁。下面是一个使用 std::recursive_mutex 的示例。
实例
#include <iostream>
#include <thread>
#include <mutex>
std::recursive_mutex mtx; // 递归互斥锁
int shared_resource = 0;
void recursive_increment() {
for (int i = 0; i < 10000; ++i) {
mtx.lock(); // 锁定互斥锁
++shared_resource;
mtx.unlock(); // 解锁互斥锁
}
}
int main() {
std::thread t1(recursive_increment);
std::thread t2(recursive_increment);
t1.join();
t2.join();
std::cout << "Final value of shared_resource: " << shared_resource << std::endl;
return 0;
}
输出结果:
Final value of shared_resource: 20000
注意事项
确保在每次锁定互斥锁后,都进行解锁操作,以避免死锁。
使用 std::lock_guard 或 std::unique_lock 可以自动管理互斥锁的锁定和解锁,减少出错的可能性。
避免在持有互斥锁的情况下调用可能抛出异常的函数,因为这可能导致死锁。
<mutex> 是 C++ 标准库中一个非常重要的头文件,它为多线程编程提供了基本的同步机制。通过使用互斥锁,我们可以确保对共享资源的访问是安全的,从而避免数据竞争和不一致的问题。