C++ 线程池知识点总结

作为五大池之一（内存池、连接池、线程池、进程池、协程池），线程池的应用非常广泛，不管是客户端程序，还是后台服务程序，都是提高业务处理能力的必备模块。

1、并发和并行

#1.单核
并发（concurrent）：只有一个CPU内核的流水线，但是运行了多个任务，每个任务都占用一段CPU的时间片，当第一个任务执行完毕后，会调用下一个任务，并占用CPU的时间片。虽然任务之间是串行的关系，但由于每个任务执行的时间很短，在应用层方面，它们看起来是在共同（并发）进行的。

#2.多核
并行（parallel）：在多CPU上，多个线程是在真正的同时执行，即在同一个时间点上，有多个任务在同时运行。

2、线程的消耗

为了完成任务，创建很多的线程可以吗？线程真的是越多越好么？答：不可以，不是。
一般情况下，IO复用 + 多线程（有几个线程呢？ 一般都是按照当前CPU的核心数量来确定的）
 线程的创建和销毁都是非常“重”的操作
 线程栈本身占用大量内存
创建了一大批线程，还没有做具体的事情，每一个线程都需要线程栈，栈几乎都被占用完了，还怎么做其他事情。
 线程的上下文切换要占用大量时间
线程过多，线程的调度是需要进行上下文切换的，上下文切换花费的CPU时间也特别多，CPU的利用率就不高了
 大量线程同时唤醒会使系统经常出现锯齿状负载或者瞬间负载量很大，导致宕机
同一时间，很多IO操作准备好了（或者多个线程在等待同一个IO操作），从而负载过大，此时就很大可能导致宕机

3、线程池的优势

操作系统上创建线程和销毁线程都是很“重”的操作，耗时耗性能都比较多，那么在服务执行的过程中，如果业务量比较大，实时的去创建线程、执行业务、业务完成后销毁，那么会导致系统的实时性能降低，业务的处理能力也会降低。
线程池的优势就是（每个池都有自己的优势），在服务进程启动之初，就事先创建好线程池里面的线程，当业务流量到来时需要分配线程，直接从线程池中获取一个空闲线程执行task任务即可，task执行完成后，也不用释放线程，而是把线程归还到线程池中继续给后续的task任务提供服务。

 fixed模式线程池
线程池里面的线程个数是固定不变的，一般是ThreadPool创建时根据当前机器的CPU核心数量进行指定。
 cached模式线程池
线程池里面的线程个数是可动态增长的，根据任务的数量动态的增加线程的数量但是会设置一个线程数量的阈值（线程过多的坏处上面已经提过），任务处理完成，如果动态增长的线程空闲了60s还没有处理其他任务，那么关闭线程，保持池中最初数量的线程即可。

4、线程同步和线程通信

#1.线程同步
线程互斥：互斥锁mutex、atomic原子类型
CAS操作（无锁机制）、无锁队列、无所链表、无锁数组（不是真的没有锁，类似于活锁）
能不能在多线程环境中执行？？？ =》 看这段代码是否存在竟态条件（称作临界区代码段 =） 保证它的原子操作）
代码片段在多线程环境下执行，随着线程的调度顺序不同，而得到不同的运行结果。
如果在多线程环境是不存在竟态条件的 ==》可重入的
存在竟态条件 ==》不可重入的
#2.线程通信
 条件变量condition_variable
线程A的codeing的执行依赖于线程B的codeing，若线程A的codeing要执行了，但线程B的codeing还没有准备好，此时线程A中的codeing进入wait状态，并等待线程B中的codeing执行完毕，然后通知notify所有等待在这个条件身上的线程，这个条件已经满足了，可以继续做事情了。

注：条件变量的使用需要mutex + condition_variable（两者缺一不可）

 信号量semaphore（C++20才有的）
信号量semaphore：看作资源计数没有限制的mutex互斥锁
mutex互斥锁 =》资源计数只能是0或者1
mutex.lock(); 锁的资源计数 1 -> 0
coding…
mutex.unlock(); 锁的资源计数 0 -> 1

区别：
#1 mutex只能是哪个线程获取锁，由哪个线程释放锁
#2 sem不同，sem.wait()和sem.post()可以处在不同的线程中调用

5、lock_guard和unique_lock

注意：C++中STL所有的容器都不是线程安全
std::mutex mtx; // pthread_mutex_t
std::condition_variable cv // pthread_conditon_t
 lock_guard
lock_guardstd::mutex guard(mtx)
不可能用在函数参数传递或者返回过程中，只能用在简单的临界区代码段的互斥操作中
 unique_lock
unique_lockstd::mutex lck(mtx)
注：它不仅可以使用在简单的临界区代码段的互斥操作中，还能用在函数调用过程中
cv.wait(lck)
注：#1.使线程进入等待状态 #2.lck.unlock可以把mtx给释放掉
 condition_variable wait和notify_all方法
cv.notify_all()
通知在cv上等待的线程条件成立了，起来干活儿了！
其他在cv上等待的线程，收到通知，从等待状态 =》 阻塞状态 =》获得互斥锁 =》线程继续往下执行