在Linux下使用C++实现并发控制,可以采用多种方法。以下是一些常用的并发控制机制:
互斥锁(Mutexes): 互斥锁是最基本的同步机制,用于确保多个线程不会同时访问共享资源。
#include <mutex> #include <thread> 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; }
递归互斥锁(Recursive Mutexes): 如果一个线程需要多次获取同一个互斥锁,可以使用递归互斥锁。
#include <mutex> #include <thread> std::recursive_mutex rmtx; void recursive_function(int n) { if (n <= 0) return; rmtx.lock(); recursive_function(n - 1); rmtx.unlock(); } int main() { std::thread t(recursive_function, 10); t.join(); return 0; }
条件变量(Condition Variables): 条件变量允许线程等待某个条件成立,或者通知其他线程某个条件已经成立。
#include <condition_variable> #include <mutex> #include <thread> #include <iostream> std::mutex mtx; std::condition_variable cv; bool ready = false; void print_id(int id) { std::unique_lock<std::mutex> lck(mtx); cv.wait(lck, []{return ready;}); // 等待直到ready为true std::cout << "Thread " << id << '\n'; } void go() { std::lock_guard<std::mutex> lck(mtx); ready = true; cv.notify_all(); // 通知所有等待的线程 } int main() { std::thread threads[10]; // spawn 10 threads: for (int i = 0; i < 10; ++i) threads[i] = std::thread(print_id, i); std::cout << "10 threads ready to race...\n"; go(); // go! for (auto &th : threads) th.join(); return 0; }
原子操作(Atomic Operations): 原子操作可以保证操作的原子性,不需要额外的同步机制。
#include <atomic> #include <thread> #include <iostream> std::atomic<int> counter(0); void increment_counter() { for (int i = 0; i < 100000; ++i) { counter.fetch_add(1, std::memory_order_relaxed); } } int main() { std::thread t1(increment_counter); std::thread t2(increment_counter); t1.join(); t2.join(); std::cout << "Counter: " << counter.load() << '\n'; return 0; }
读写锁(Read-Write Locks): 当共享资源读取操作远多于写入操作时,可以使用读写锁来提高性能。
#include <shared_mutex> #include <thread> #include <vector> class SharedData { public: void read() const { std::shared_lock<std::shared_mutex> lock(rw_mtx); // 执行读操作 } void write() { std::unique_lock<std::shared_mutex> lock(rw_mtx); // 执行写操作 } private: mutable std::shared_mutex rw_mtx; // 共享数据 }; int main() { SharedData data; std::vector<std::thread> threads; // 创建多个读线程 for (int i = 0; i < 10; ++i) { threads.emplace_back([&data]{ data.read(); }); } // 创建写线程 threads.emplace_back([&data]{ data.write(); }); // 等待所有线程完成 for (auto& th : threads) { th.join(); } return 0; }
信号量(Semaphores): 信号量是一种更高级的同步机制,可以用来控制对资源的访问。
#include <semaphore> #include <thread> #include <iostream> std::binary_semaphore sem(1); // 二进制信号量,初始值为1 void critical_section() { sem.acquire(); // 获取信号量 // 访问临界区 std::cout << "In critical section\n"; sem.release(); // 释放信号量 } int main() { std::thread t1(critical_section); std::thread t2(critical_section); t1.join(); t2.join(); return 0; }
在使用这些并发控制机制时,需要注意避免死锁、竞态条件等问题。合理地设计程序结构和同步策略是实现高效并发的关键。