在C++中,处理多线程同步的关键是使用线程同步原语
std::mutex
类,可以用来创建互斥锁。使用std::lock_guard
或std::unique_lock
可以自动管理锁的锁定和解锁。示例:
#include <iostream>
#include <thread>
#include <mutex>
std::mutex mtx; // 全局互斥锁
void print_block(int n, char c) {
std::lock_guard<std::mutex> lock(mtx); // 自动锁定互斥锁
for (int i = 0; i < n; ++i) {
std::cout << c;
}
std::cout << std::endl;
// 锁会在lock_guard对象销毁时自动解锁
}
int main() {
std::thread t1(print_block, 50, '*');
std::thread t2(print_block, 50, '$');
t1.join();
t2.join();
return 0;
}
std::condition_variable
类,可以用来创建条件变量。使用std::unique_lock
可以自动管理锁的锁定和解锁。示例:
#include <iostream>
#include <thread>
#include <mutex>
#include <condition_variable>
std::mutex mtx;
std::condition_variable cv;
int data = 0;
void worker() {
std::unique_lock<std::mutex> lock(mtx); // 自动锁定互斥锁
cv.wait(lock, [] { return data != 0; }); // 等待条件满足
std::cout << "Data is non-zero: " << data << std::endl;
data = 0;
cv.notify_one(); // 唤醒等待的线程
}
int main() {
std::thread t1(worker);
std::thread t2(worker);
{
std::lock_guard<std::mutex> lock(mtx);
data = 1; // 设置数据,满足条件
}
cv.notify_all(); // 唤醒所有等待的线程
t1.join();
t2.join();
return 0;
}
std::atomic
模板类,可以用来创建原子变量。示例:
#include <iostream>
#include <thread>
#include <atomic>
std::atomic<int> counter(0); // 全局原子变量
void increment() {
for (int i = 0; i < 1000; ++i) {
++counter; // 原子递增操作
}
}
int main() {
std::thread t1(increment);
std::thread t2(increment);
t1.join();
t2.join();
std::cout << "Counter: " << counter << std::endl; // 输出2000
return 0;
}
这些同步原语可以帮助你在C++中处理多线程同步问题。在实际应用中,你可能需要根据具体需求组合使用这些原语。