c++11实现一个半同步半异步线程池
2016-08-18 15:15
399 查看
在处理大量并发任务的时候,如果按照传统的方式,一个请求一个线程来处理请求任务,大量的线程创建和销毁将消耗过多的系统资源,还增加了线程上下文切换的开销,而通过线程池技术就可以很好的解决这些问题,线程池技术通过在系统中预先创建一定数量的线程,当任务请求到来时从线程池中分配一个预先创建的线程去处理任务,线程在完成任务之后还可以重用,不会销毁,而是等待下次任务的到来.
同步服务层: 它处理来自上层的任务请求,上层的请求可能是并发的,这些请求不是马上就会被处理的,而是将这些任务放到一个同步排队层中,等待处理.
同步排队层: 来自上层的任务请求都会加到排队层中等待处理.
异步服务层: 这一层中会有多个线程同时处理排队层中的任务,异步服务层从同步排队层中取出任务并行的处理.
对象池的思路比较简单,实现创建好一批对象,放到一个集合中,每当程序需要新的对象时,就从对象池中获取,程序用完该对象后都会把该对象归还给对象池.这样会避免重复创建对象,提高程序性能.
分层
半同步半异步线程池分为三层:同步服务层: 它处理来自上层的任务请求,上层的请求可能是并发的,这些请求不是马上就会被处理的,而是将这些任务放到一个同步排队层中,等待处理.
同步排队层: 来自上层的任务请求都会加到排队层中等待处理.
异步服务层: 这一层中会有多个线程同时处理排队层中的任务,异步服务层从同步排队层中取出任务并行的处理.
线程池实现
#include <list> #include <mutex> #include <thread> #include <condition_variable> #include <iostream> #include <memory> #include <atomic> #include <functional> using namespace std; /********************************同步队列******************************/ template <typename T> class SyncQueue { public: SyncQueue(int maxSize): m_maxSize(maxSize), m_needStop(false) { } //添加事件 void Put(const T& x) { Add(x); } //添加事件 void Put(T && x) { //调用内部接口,进行完美转发 Add(std::forward<T>(x)); } //从队列中取事件,取所有事件 void Take(std::list<T> &list) { std::unique_lock<std::mutex> locker(m_mutex); //当不满足任何一个则等待,但是若m_needStop为true是因为任务要终止了所以不阻塞 m_notEmpty.wait(locker, [this]{return (m_needStop || NotEmpty()); }); if (m_needStop) { return; } list = std::move(m_queue); m_notFull.notify_one(); } //取一个事件 void Take(T &t) { std::unique_lock<std::mutex> locker(m_mutex); m_notEmpty.wait(locker, [this]{return m_needStop || NotEmpty(); }); if (m_needStop) { return; } t = m_queue.front(); m_queue.pop_front(); m_notFull.notify_one(); } //终止同步队列 void Stop() { { //锁作用域就在这对大括号内 std::lock_guard<std::mutex> locker(m_mutex); //将终止标志设为true m_needStop = true; } //唤醒所有进程一一终止 m_notFull.notify_all(); m_notEmpty.notify_all(); } //队列为空 bool Empty() { std::lock_guard<std::mutex> locker(m_mutex); return m_queue.empty(); } //队列为满 bool Full() { std::lock_guard<std::mutex> locker(m_mutex); return m_queue.size() == m_maxSize; } //队列大小 size_t Size() { std::lock_guard<std::mutex> locker(m_mutex); return m_queue.size(); } //队列大小 int Count() { return m_queue.size(); } private: //队列不为满 bool NotFull() const { bool full = (m_queue.size() >= m_maxSize); if (full) { cout << "the queue is full, need wait..." << endl; } return !full; } //队列不为空 bool NotEmpty() const { bool empty = m_queue.empty(); if (empty) { cout << "the queue is empty, need wait..., 异步层的线程ID: " << this_thread::get_id() << endl; } return !empty; } //向队列中添加事件,若不为满且终止标志为false则添加事件 template <typename F> void Add(F && x) { std::unique_lock<std::mutex> locker(m_mutex); //当不满足任何一个则等待,但是若m_needStop为true是因为任务要终止了所以不阻塞 m_notFull.wait(locker, [this]{return m_needStop || NotFull(); }); if (m_needStop) { return; } m_queue.push_back(std::forward<F>(x)); m_notEmpty.notify_one(); } private: //缓冲区 std::list<T> m_queue; //互斥量 std::mutex m_mutex; //队列不为空的条件变量 std::condition_variable m_notEmpty; //队列不为满的条件变量 std::condition_variable m_notFull; //任务队列最大长度 int m_maxSize; //终止的标识,当为true时代表同步队列要终止 bool m_needStop; }; /**************************线程池********************************/ //传递给同步队列的最大个数 const int MaxTaskCount = 100; class ThreadPool { public: using Task = std::function<void()>; //构造函数,默认参数hardware_concurrency()获取CPU核心数量 ThreadPool(int numThreads = std::thread::hardware_concurrency()):m_queue(MaxTaskCount) { cout << "numThreads: " << numThreads << endl; Start(numThreads); } ~ThreadPool() { Stop(); } //保证多线程环境下只调用一次StopThreadGroup函数 void Stop() { std::call_once(m_flag, [this]{ StopThreadGroup(); }); } //添加任务,右值完美转发 void AddTask(Task && task) { m_queue.Put(std::forward<Task> (task)); } //添加任务 void AddTask(const Task && task) { m_queue.Put(task); } private: //建立numThreads个数的线程组 void Start(int numThreads) { m_running = true; for (int i = 0; i < numThreads; i++) { //多个线程依次的处理 m_threadgroup.push_back(std::make_shared<std::thread>(&ThreadPool::RunInThread, this)); } } //取出任务队列中的全部,依次执行 void RunInThread() { while (m_running) { std::list<Task> list; m_queue.Take(list); for (auto & task : list) { if (!m_running) { return ; } //执行任务 task(); } } } //终止所有任务的执行 void StopThreadGroup() { //终止同步队列 m_queue.Stop(); m_running = false; for (auto thread : m_threadgroup) { if (thread) { thread->join(); } } m_threadgroup.clear(); } private: //处理任务的线程组 std::list<std::shared_ptr<std::thread>> m_threadgroup; //同步队列 SyncQueue<Task> m_queue; //运行的标志,flase代表终止 atomic_bool m_running; //保证在函数在多线程环境中只被调用一次 std::once_flag m_flag; }; int main() { ThreadPool pool; //pool.Start(2); std::thread thd1([&pool] { for (int i = 0; i < 10; i++) { auto thdId = this_thread::get_id(); pool.AddTask([thdId] { cout << "1.thread id: " << thdId << endl; }); } }); std::thread thd2([&pool] { for (int i = 0; i < 10; i++) { auto thdId = this_thread::get_id(); pool.AddTask([thdId] { cout << "2.thread id: " << thdId << endl; }); } }); this_thread::sleep_for(std::chrono::seconds(2)); getchar(); pool.Stop(); thd1.join(); thd2.join(); }
对象池
对象池对于创建开销较大的对象来说很有意义,为了避免重复创建开销较大的对象,可以通过对象池来优化.对象池的思路比较简单,实现创建好一批对象,放到一个集合中,每当程序需要新的对象时,就从对象池中获取,程序用完该对象后都会把该对象归还给对象池.这样会避免重复创建对象,提高程序性能.
#include <string> #include <functional> #include <memory> #include <map> using namespace std; //要成为不可复制的类,典型的方法是将类的复制构造函数和赋值运算符设置为private或protected //为了使ObjectPool为不可复制的类,我们定义了类NonCopyable,只需继承起则可为不可复制的类 class NonCopyable { protected: NonCopyable() = default; ~NonCopyable() = default; NonCopyable(const NonCopyable&) = delete; NonCopyable& operator =(const NonCopyable &) = delete; }; //对象最大个数 const int MaxObjectNum = 10; template <typename T> class ObjectPool : NonCopyable { template <typename... Args> using Constructor = function<shared_ptr<T> (Args...)>; private: //定义multimap类型的私有成员通过Constructor<Args...>类型获得字符串,则通过字符串类型一对多的对应特定的对象. multimap<string, shared_ptr<T>> m_object_map; public: //初始化创建对象 template <typename... Args> void Init(size_t num, Args ...args) { if (num <= 0 || num > MaxObjectNum) { throw std::logic_error("Object num out of range"); } //Init时的模板类型不同所得到的constructName字符串不同 //所以相同的初始化类型对应m_object_map中的first相同,不同类型的则不同 auto constructName = typeid(Constructor<Args...>).name(); //cout << "Init: " << constructName << endl; for (size_t i = 0; i < num; i++) { //删除器中不直接删除对象,而是回收到对象池中,以供下次使用 m_object_map.emplace(constructName, shared_ptr<T>(new T(std::forward<Args>(args)...), [this, constructName](T *p) { cout << "dis: " << constructName << endl; m_object_map.emplace(std::move(constructName),shared_ptr<T>(p)); })); } } //从对象池获取一个对象 template <typename... Args> std::shared_ptr<T> Get() { string constructName = typeid(Constructor<Args...>).name(); cout << constructName << endl; //通过Get的模板类型得到对应的字符串,通过该字符串找到所有该字符串的对应 auto range = m_object_map.equal_range(constructName); //从该类型对应的对象中获取其中一个 for (auto it = range.first; it != range.second; it++) { auto ptr = it -> second; m_object_map.erase(it); return ptr; } return nullptr; } };
#
相关文章推荐
- 使用C++11实现一个半同步半异步线程池
- 使用C++11实现一个半同步半异步线程池
- C++实现一个半同步半异步线程池
- c++11 实现半同步半异步线程池
- 使用C++11 开发一个半同步半异步线程池
- C++11 半同步半异步线程池的实现
- [C++11]半同步半异步线程池实现与分析
- 用ACE写得一个半同步半异步线程池模板
- 【网络编程】半同步--半异步线程池源码分析之线程池(基于C++11)
- 【网络编程】半同步--半异步线程池源码分析之任务队列(基于C++11)
- java基础之:多线程实现/启动/状态+同步+线程池
- 线程池模式举例:HS/HA 半同步/ 半异步模式与L/F 领导者跟随者模式
- Struts1+jquery+jform插件实现文件同步和异步上传
- java线程 同步与异步 线程池
- 关于ajax同步与异步的实现问题
- java定时同步类(可以实现挂起和唤醒,定时,同步于异步切换)
- 使用两个信号量实现主线程和线程池同步
- async : false 配置实现异步请求同步
- 利用Spring框架封装的JavaMail实现同步或异步邮件发送 分享
- javascript 文件的同步加载与异步加载实现原理