文章目录
- 线程池
- 线程池原理
- 代码示例
- 单例模式
- 饿汉模式
- 懒汉模式
- 饿汉懒汉对比
- 其他的锁
线程池
线程池原理
线程池是一种线程使用模式。在多线程应用中，若每有一个任务，线程就去调度相应的函数去创建，当任务过多时，每次都去调度且每次用完销毁，影响效率，加重CPU的负载；
而线程池是提前创建好的一批线程（不固定长度），没任务时就挂起等待，有任务分配时就被唤醒，等待分配任务，但也要具体分场景，例如任务时间短，且任务量大的时候
线程数量应该取决于可用的并发处理器、处理器内核、内存、网络sockets等的数量
应用场景：
-
需要大量的线程来完成任务，且完成任务的时间比较短。 WEB服务器完成网页请求这样的任务，使用线程池技术是非常合适的。因为单个任务小，而任务数量巨大，你可以想象一个热门网站的点击次数。
但对于长时间的任务，比如一个Telnet连接请求，线程池的优点就不明显了。因为Telnet会话时间比线程的创建时间大多了
-
对性能要求苛刻的应用，比如要求服务器迅速响应客户请求
-
接受突发性的大量请求，但不至于使服务器因此产生大量线程的应用
突发性大量客户请求，在没 有线程池情况下，将产生大量线程，虽然理论上大部分操作系统线程数目最大值不是问题，短时间内产生大量线程 可能使内存到达极限，出现错误
代码示例
- 创建一个任务队列和线程池
- 外部向任务队列Push任务，任务队列唤醒线程池，并Pop给线程池，线程池分配出线程去执行任务
/*****************************************任务队列*************************************************/
#pragma once
#include <string>
#include <queue>
#include <iostream>
#include <pthread.h>
#include <unistd.h>
#include <ctime>
#include <cstdlib>
#include "Task.hpp"
namespace dd
{
const int Num = 5;
template <class T>
class ThreadPool
{
public:
ThreadPool(int num = Num)
: _num(num)
{
pthread_mutex_init(&_mtx, nullptr);
pthread_cond_init(&_cond, nullptr);
}
~ThreadPool()
{
pthread_mutex_destroy(&_mtx);
pthread_cond_destroy(&_cond);
}
//加锁
void Lock()
{
pthread_mutex_lock(&_mtx);
}
//解锁
void Unlock()
{
pthread_mutex_unlock(&_mtx);
}
//判断空
bool isEmpty()
{
return _task_queue.empty();
}
//唤醒条件变量的等待队列
void WakeUp()
{
pthread_cond_signal(&_cond);
}
//条件变量，挂起等待
void wait()
{
pthread_cond_wait(&_cond,&_mtx);
}
//创建线程池
void InitThreadPool()
{
pthread_t tid;
for (int i = 0; i < num_; ++i)
{
pthread_create(&tid, nullptr, Rountine, (void*)this);
}
}
// 在类内要让线程执行类内成员函数是不可行的
// 普通成员函数中，参数默认一个this指针
// 需要调用静态方法
static void* Rountine(void* args)
{
//static函数不能访问类内成员和函数，所以让外面实例化的对象，调用Init通过this传进来
ThreadPool<T>* tp = (ThreadPool<T>*)args;
pthread_detach(pthread_self());
while (true)
{
// 从任务队列中拿任务 为了能拿任务队列里的东西，需要传递this指针
tp->Lock();
while (tp->isEmpty())
{
tp->wait();
}
//拿任务
T t;
tp->Poptask(&t);
tp->Unlock();
//拿完任务，任务就属于调用Pop的那个线程了，不是临界资源了
//执行任务，执行任务时就不用占着锁了
t.Run();
}
}
//放任务，放任务时访问的是临界资源：任务队列，所以要上锁
void Pushtask(const T& in)
{
Lock();
task_queue_.push(in);
Unlock();
WakeUp();
}
//拿任务，拿任务时的上下文是有锁的，所以不需要在这里上锁
void Poptask(T* out)
{
*out = task_queue_.front();
task_queue_.pop();
}
private:
int _num;// 线程池中的线程数量
std::queue<T> _task_queue;
pthread_mutex_t _mtx;
pthread_cond_t _cond;
};
}
/**********************************************************************************************/
#pragma once
#include <iostream>
#include <pthread.h>
namespace dd
{
class Task
{
public:
Task()
{}
Task(int x,int y,char op)
:_x(x)
,_y(y)
,_op(op)
{}
int Run()
{
int ret = 0;
switch(_op)
{
case '+':
ret = _x + _y;
break;
case '-':
ret = _x - _y;
break;
case '*':
ret = _x * _y;
break;
case '/':
ret = _x / _y;
break;
case '%':
ret = _x % _y;
break;
default:
break;
}
//std::cout << _x << _op << _y << " = " << ret << std::endl;
std::cout << pthread_self() << ": " << _x << _op << _y << " = " << ret << std::endl;
}
private:
int _x;
int _y;
char _op;
};
}
/**********************************************************************************************/
#include "thread_pool.hpp"
#include "Task.hpp"
using namespace dd;
int main()
{
ThreadPool<Task>* tp = new ThreadPool<Task>();
//创建线程
tp->InitThreadPool();
srand((unsigned int)time(nullptr));
while (true)
{
// 主线程push任务 真实情况中 任务一般是从网络来的
Task t(rand() % 20 + 1, rand() % 10 + 1, "+-*/%"[rand() % 5]);
tp->pushtask(t);
// sleep(1);
}
return 0;
}
单例模式
单例模式是指在整个系统生命周期内，保证在内存中，一个类只会创建且仅创建一次对象的设计模式，确保该类的唯一性
可以节省内存，节约资源，对于一般频繁创建和销毁对象的可以使用单例模式
可以避免对资源的多重占用
例如在很多服务器开发场景中, 经常需要让服务器加载很多的数据 (上百G) 到内存中. 此时往往要用一个单例的类来管理这些数据；也就是这么大的数据在内存只需要有一份，避免数据冗余（例如动态库）
单例类的特点
- 构造函数和析构函数为私有类型，目的是禁止外部构造和析构
- 拷贝构造函数和赋值构造函数是私有类型，目的是禁止外部拷贝和赋值，确保实例的唯一性
- 类中的成员变量是静态的，静态的无论实例化多少对象，都只有（公用）一个静态成员变量
- 类中要有一个获取实例的静态方法，可以全局访问
单例模式可以分为两种模式：饿汉模式、懒汉模式
饿汉模式
注意几点细节：
-
需要将构造函数，拷贝构造函数，赋值运行符重载函数屏蔽，防止在外部实例化对象
-
在类中创建一个静态类对象，该静态类对象，会在程序运行时创建，需要在类外初始化
-
类中写一个接口（静态），返回静态类对象的地址。因为无法调用拷贝构造，不能直接返回类对象
template <typename T>
class Singleton
{
static T data;
//static Singleton<T> data
SingelTon() = delete;
SingelTon(const SingelTon& st) = delete;;
SingelTon& operator=(const SingelTon& st) = delete;
public:
static T* GetInstance()
{
return &data;
}
};
template<class T>
T Singleton::data = /**/;
//Singleton<T> Singleton::data = /**/;
吃完饭, 立刻洗碗, 这种就是饿汉方式. 因为下一顿吃的时候可以立刻拿着碗就能吃饭；也就是系统一运行，就初始化创建实例，当需要时，直接调用即可。这种方式本身就可以保证线程安全，没有多线程的线程安全问题
懒汉模式
懒汉模式注意的细节：
- 需要将构造函数，拷贝构造函数，赋值运行符重载函数屏蔽，防止在外部实例化对象。
- 在类中成员包含一个类对象指针，而不是对象。
- 类中写一个接口（静态），用户返回创建后的对象（但只能调用一次）
- 因为是需要时才会创建，所以需要考虑线程安全问题，保证多线程下只能创建一个对象
template <class T>
class Singleton
{
volatile static T* inst; // 需要设置 volatile 关键字, 否则可能被编译器优化.
static std::mutex lock;
Singleton()
{
pthread_mutex_init(&lock,nullptr);
}
~Singleton()
{
pthread_mutex_destroy(&lock);
}
Singleton(const Singleton<T>& sl) = delete;
Singleton<T>& operator=(Singleton<T> sl) = delete;
public:
static T* GetInstance()
{
if (inst == NULL)
{ // 双重判定空指针, 降低争锁冲突, 提高性能.
lock.lock(); // 使用互斥锁, 保证多线程情况下也只调用一次 new.
if (inst == NULL)
{
inst = new T();
}
lock.unlock();
}
return inst;
}
};
//类外初始化静态成员
template <class T>
T* Singleton::inst = nullptr;
吃完饭, 先把碗放下, 然后下一顿饭用到这个碗了再洗碗, 就是懒汉方式；也就是系统运行中，实例并不存在，只有当需要使用该实例时，才会去创建并使用实例。这种方式要考虑线程安全问题
饿汉懒汉对比
饿汉模式
优点：
- 实现简单，不需要考虑线程安全问题。
缺点：
启动慢。如果实例的对象占用资源很多，在启动时需要加载。
如果多个单例类对象，在程序启动时实例对象的顺序不确定。如果对象之间有依赖关系，就麻烦了。
懒汉模式
优点：
启动快。在需要时才会实例化对象，加载资源。
多个单例类对象，实例化的顺序可以确定。取决于调用类的函数的顺序。
缺点：
- 实现复杂。需要考虑线程安全问题。
其他的锁
- 悲观锁：在每次取数据时，总是担心数据会被其他线程修改，所以会在取数据前先加锁（读锁，写锁，行 锁等），当其他线程想要访问数据时，被阻塞挂起。
- 乐观锁：每次取数据时候，总是乐观的认为数据不会被其他线程修改，因此不上锁。但是在更新数据前， 会判断其他数据在更新前有没有对数据进行修改。主要采用两种方式：版本号机制和CAS操作。
- CAS操作：当需要更新数据时，判断当前内存值和之前取得的值是否相等。如果相等则用新值更新。若不等 则失败，失败则重试，一般是一个自旋的过程，即不断重试。
