阅读量:0
在C++中,线程池库通常使用互斥锁(mutex)和条件变量(condition variable)来处理线程间的同步。这些同步原语可以确保线程安全地访问共享数据,并在必要时暂停或唤醒线程。
以下是一个简单的线程池示例,展示了如何使用C++11的互斥锁和条件变量来处理线程间的同步:
#include<iostream> #include<vector> #include<queue> #include<thread> #include <mutex> #include<condition_variable> class ThreadPool { public: ThreadPool(size_t num_threads) { for (size_t i = 0; i < num_threads; ++i) { workers.emplace_back([this]() { while (true) { std::function<void()> task; { std::unique_lock<std::mutex> lock(queue_mutex); condition.wait(lock, [this]() { return !tasks.empty() || stop; }); if (stop && tasks.empty()) { return; } task = std::move(tasks.front()); tasks.pop(); } task(); } }); } } ~ThreadPool() { { std::unique_lock<std::mutex> lock(queue_mutex); stop = true; } condition.notify_all(); for (auto& worker : workers) { worker.join(); } } template<typename F, typename... Args> void enqueue(F&& f, Args&&... args) { auto task = std::make_shared<std::packaged_task<void()>>( std::bind(std::forward<F>(f), std::forward<Args>(args)...)); { std::unique_lock<std::mutex> lock(queue_mutex); tasks.push([task]() { (*task)(); }); } condition.notify_one(); } private: std::vector<std::thread> workers; std::queue<std::function<void()>> tasks; std::mutex queue_mutex; std::condition_variable condition; bool stop = false; }; int main() { ThreadPool pool(4); for (int i = 0; i < 8; ++i) { pool.enqueue([i]() { std::cout << "Task " << i << " executed by thread "<< std::this_thread::get_id()<< std::endl; }); } return 0; }
在这个示例中,我们创建了一个名为ThreadPool
的类,它包含一个工作线程向量、一个任务队列、一个互斥锁和一个条件变量。当线程池被销毁时,所有工作线程将被停止并加入。
enqueue
函数模板用于将任务添加到任务队列中。每个工作线程在一个无限循环中等待任务队列中的任务。当条件变量被通知时,线程将检查任务队列是否非空。如果队列非空,线程将获取任务并执行它。如果线程池被停止且任务队列为空,工作线程将退出循环并结束执行。