std::shared_mutex
是C++17引入的一种同步原语,用于提升在多线程环境下对共享资源的访问效率。与传统的互斥锁(如std::mutex
)不同,std::shared_mutex
允许多个线程以只读模式共享对资源的访问,但写入操作必须独占资源,防止同时有其他线程对共享资源进行读取或写入。这允许了更高的并行性,特别适用于读操作远多于写操作的场景。
使用方法
为了安全地使用std::shared_mutex
,你需要理解其两种锁模型:共享锁(shared lock)和独占锁(exclusive lock)。
-
独占锁(写锁):当你需要对共享数据进行写入操作时,应该使用独占锁。独占锁确保了在执行写入操作期间,没有其它线程对数据进行读或写操作。
-
共享锁(读锁):当多个线程需要读取共享数据但不进行修改时,可以使用共享锁。共享锁允许多个线程同时读取数据,但阻止任何写操作发生直到所有共享锁释放。
示例代码
这里提供一个简单的示例展示std::shared_mutex
的使用:
#include <iostream>
#include <shared_mutex>
#include <thread>
#include <vector>
std::shared_mutex mutex;
int shared_data = 0; // 假定这是需要被多线程共享的数据
// 写数据函数,使用独占锁
void WriteData(int value) {
std::unique_lock<std::shared_mutex> lock(mutex); // 获取独占锁
shared_data = value;
std::cout << "Data written: " << value << std::endl;
}
// 读数据函数,使用共享锁
void ReadData() {
std::shared_lock<std::shared_mutex> lock(mutex); // 获取共享锁
std::cout << "Data read: " << shared_data << std::endl;
}
int main() {
std::vector<std::thread> threads;
// 创建一个写线程
threads.emplace_back(WriteData, 100);
// 创建多个读线程
for (int i = 0; i < 5; ++i) {
threads.emplace_back(ReadData);
}
// 等待所有线程完成操作
for (auto& t : threads) {
t.join();
}
return 0;
}
在这个例子中,WriteData
使用了std::unique_lock
来获取独占锁,保证在修改shared_data
时没有其他线程读取或写入。ReadData
函数则使用std::shared_lock
来获取共享锁,使得多个线程可以同时读取shared_data
但不能修改它。
注意
- 在实际应用中,合理使用共享和独占锁对于提高程序的性能和并发度至关重要。
- 对于仅仅需要互斥访问的场景,考虑使用
std::mutex
,因为std::shared_mutex
的实现可能比std::mutex
更复杂,对性能有一定影响。 - 使用
std::shared_lock
和std::unique_lock
可以提供异常安全的锁管理,确保在异常发生时锁能被正确释放。