前言

在现代后端开发中，高并发处理能力是衡量一个系统好坏的核心指标。而线程池（Thread Pool）则是解决高并发任务处理的“银弹”。与其使用现成的轮子，不如亲手造一个。本文将带你从 Linux 系统编程的底层逻辑出发，结合 C++11 的新特性，实现一个工业级的高性能线程池。

一、 为什么要用线程池？

在 Linux 环境下，频繁地创建和销毁线程会带来巨大的系统开销：

1. 时间开销：线程创建涉及内核态与用户态的切换。
2. 资源消耗：每个线程都需要独立的栈空间。
3. 管理难度：线程过多会导致系统频繁进行上下文切换（Context Switch）。

线程池的核心思想：空间换时间，预先创建，循环利用。

二、 核心原理：生产者消费者模型

线程池的本质就是一个生产者消费者模型：

• 生产者：主线程或业务线程，不断向任务队列中添加任务。
• 缓冲区：任务队列（通常用 std::queue 实现）。
• 消费者：线程池中的工作线程，不断从队列中取出任务并执行。

关键组件

• 互斥锁（std::mutex）：保证任务队列的线程安全。
• 条件变量（std::condition_variable）：用于线程间的同步（任务队列为空时挂起线程，有任务时唤醒）。

三、 代码实现（精简核心版）

#include <iostream>
#include <vector>
#include <queue>
#include <thread>
#include <mutex>
#include <condition_variable>
#include <functional>

class ThreadPool {
public:
    ThreadPool(size_t threads) : stop(false) {
        for(size_t i = 0; i < threads; ++i)
            workers.emplace_back([this] {
                for(;;) {
                    std::unique_lock<std::mutex> lock(this->queue_mutex);
                    this->condition.wait(lock, [this]{ return this->stop || !this->tasks.empty(); });
                    if(this->stop && this->tasks.empty()) return;
                    auto task = std::move(this->tasks.front());
                    this->tasks.pop();
                    lock.unlock();
                    task(); // 执行任务
                }
            });
    }

    template<class F>
    void enqueue(F&& f) {
        {
            std::unique_lock<std::mutex> lock(queue_mutex);
            tasks.emplace(std::forward<F>(f));
        }
        condition.notify_one();
    }

    ~ThreadPool() {
        {
            std::unique_lock<std::mutex> lock(queue_mutex);
            stop = true;
        }
        condition.notify_all();
        for(std::thread &worker: workers) worker.join();
    }

private:
    std::vector<std::thread> workers;
    std::queue<std::function<void()>> tasks;
    std::mutex queue_mutex;
    std::condition_variable condition;
    bool stop;
};

四、 避坑指南：面试常考点

1. 死锁问题：在获取锁后一定要注意释放时机，尤其是在任务执行期间不需要持锁。
2. 惊群效应：notify_all() 与 notify_one() 的选择。对于任务队列，通常建议使用 notify_one()。
3. 完美转发：代码中使用了 std::forward，确保任务函数能够高效地传递参数。

五、 总结

手写线程池不仅是理解 Linux 并发编程的捷径，更是大厂面试中的高频题。通过这个项目，你可以深入掌握 pthread 库的底层逻辑以及 C++11 的现代化写法。

如果你觉得这篇文章对你有帮助，欢迎：

• 点赞 ⭐
• 关注 📂
• 收藏 📝

下一篇预告：如何将线程池应用到 Kubernetes 动态伸缩节点中？敬请期待！