在Linux环境下使用C++进行多线程编程时,线程同步是一个重要的问题。线程同步的目的是确保多个线程能够安全地访问共享资源,避免数据竞争和不一致性。以下是一些常用的线程同步机制:
1. 互斥锁(Mutex)
互斥锁是最基本的同步机制之一,用于保护共享资源,确保同一时间只有一个线程可以访问该资源。
#include
#include
#include
std::mutex mtx; // 全局互斥锁
void print_block(int n, char c) {
mtx.lock(); // 加锁
for (int i = 0; i < n; ++i) {
std::cout << c;
}
std::cout << '\n';
mtx.unlock(); // 解锁
}
int main() {
std::thread th1(print_block, 50, '*');
std::thread th2(print_block, 50, '$');
th1.join();
th2.join();
return 0;
}
2. 递归互斥锁(Recursive Mutex)
递归互斥锁允许同一个线程多次锁定同一个互斥锁,而不会导致死锁。
#include#include #include std::recursive_mutex mtx; void foo() { mtx.lock(); std::cout << "foo\n"; mtx.lock(); // 再次锁定 std::cout << "foo again\n"; mtx.unlock(); mtx.unlock(); } int main() { std::thread th(foo); th.join(); return 0; }
3. 条件变量(Condition Variable)
条件变量用于线程间的等待和通知机制,常与互斥锁一起使用。
#include
#include
#include
#include
std::mutex mtx;
std::condition_variable cv;
bool ready = false;
void print_id(int id) {
std::unique_lock lck(mtx);
cv.wait(lck, []{return ready;}); // 等待条件变量
std::cout << "Thread " << id << '\n';
}
void go() {
std::unique_lock lck(mtx);
ready = true;
cv.notify_all(); // 通知所有等待的线程
}
int main() {
std::thread threads[10];
for (int i = 0; i < 10; ++i) {
threads[i] = std::thread(print_id, i);
}
std::this_thread::sleep_for(std::chrono::seconds(1));
go();
for (auto &th : threads) {
th.join();
}
return 0;
}
4. 原子操作(Atomic Operations)
原子操作是不可分割的操作,可以确保在多线程环境下对变量的操作是线程安全的。
#include
#include
#include
std::atomic counter(0);
void increment() {
for (int i = 0; i < 100000; ++i) {
counter.fetch_add(1, std::memory_order_relaxed); // 原子加法
}
}
int main() {
std::thread t1(increment);
std::thread t2(increment);
t1.join();
t2.join();
std::cout << "Counter: " << counter.load() << '\n';
return 0;
}
5. 屏障(Barrier)
屏障用于确保多个线程在某个点上同步,所有线程都到达屏障点后才能继续执行。
#include
#include
#include
#include
std::barrier sync_point(3); // 创建一个屏障,等待3个线程
void do_work(int id) {
std::cout << "Thread " << id << " is working\n";
sync_point.arrive_and_wait(); // 等待其他线程
std::cout << "Thread " << id << " has passed the barrier\n";
}
int main() {
std::vector threads;
for (int i = 0; i < 3; ++i) {
threads.emplace_back(do_work, i);
}
for (auto &th : threads) {
th.join();
}
return 0;
}
这些是C++多线程编程中常用的同步机制。根据具体的需求选择合适的同步机制,可以有效地避免多线程编程中的常见问题。