【C++11】线程池类简单说明

线程池简介

线程池是C++11标准引入的，是一种多线程并发编程的实现模式，它可以在程序启动时预先创建一定数量的线程，并将这些线程放入一个线程池中，以便在需要时可以快速地分配任务给线程执行，从而提高程序的并发性和执行效率。引入线程池的概念主要是为了解决以下问题：

1. 线程创建和销毁开销：频繁地创建和销毁线程会带来较大的开销和时间的浪费，影响应用程序的性能。
2. 线程调度的开销：操作系统在调度线程时也需要花费一定的时间和资源。当有大量线程需要调度时，这些开销会显著增加，进一步影响应用程序的性能。
3. 资源利用率：在传统的多线程应用程序中，每个任务通常只使用一个线程进行处理。如果一个任务需要执行很长时间，而其他任务只是短期执行，那么长期执行的任务会占据大量的CPU资源，导致其他任务得不到及时处理，资源利用率较低。

线程池实现

线程池的实现包括线程池的初始化、线程的创建和启动、任务的分配和调度、线程的管理和监控等方面

Note:
有开源库ThreadPool

class ThreadPool {
public :
	// 构造函数，用于初始化线程池 
	/*
	构造函数接收一个整数参数numThreads，表示线程池中线程的数量。
	在构造函数中，根据指定的线程数量创建相应数量的线程，并启动这些线程。
	每个线程都会进入一个循环，等待任务队列中的任务。
	当任务队列非空时，线程会取出任务并执行。
	如果线程池需要停止，则通过停止标志stop来控制。当线程池停止并且任务队列为空时，线程会退出循环。
	*/
	ThreadPool(size_t numThreads) : stop(false) {
		for (size_t i = 0; i < numThreads; i++)
		{
			/*
			emplace_back 是C++中vector的一个成员函数，用于在vector的尾部直接构造一个新的元素，而不是先创建一个元素，然后复制或者移动到vector中。
			这通常能提高程序的性能，因为构造和析构元素的次数减少了。你需要提供一个参数列表，用于构造新的元素。
			*/
			threads.emplace_back([this] {
				while (true){
					/*
					'std::function<void()>'是一个函数对象，即一个可以像函数那样调用的对象。
					这种对象可以存储、复制和调用任何可调用(Callable)的目标——函数、lambda表达式、bind表达式，或其他函数对象，还有指向成员函数指针和指向数据成员指针。
					在这个例子中，它的返回类型是void，并且不接受任何参数。
					*/
					std::function<void()> task;
					std::unique_lock<std::mutex> lock(queueMutex);
					condition.wait(lock, [this] {return stop || !tasks.empty(); });
					if (stop && tasks.empty()) {
						return;
					}
					task = std::move(tasks.front());
					tasks.pop();
					task();
				}
			});
		}
	}

	// 析构函数，用于关闭线程池  
	/*
	通过设置停止标志stop为true来停止线程池接受新任务。
	然后，通过调用condition.notify_all()通知所有正在等待的线程停止等待。
	最后，通过调用thread.join()等待所有线程结束。
	*/
	~ThreadPool() {
		{
			std::unique_lock<std::mutex> lock(queueMutex);
			stop = true; // 设置停止标志
		}

		condition.notify_all(); // 通知所有等待的线程停止等待
		for (std::thread& thread : threads) {
			thread.join();
		}
	}

	// 添加任务到线程池
	/*
	addQueueTask函数是一个模板函数，用于向任务队列中添加任务。
	它接收一个可调用对象（函数、函数指针、lambda表达式等），并将其封装为一个std::function<void()>对象，然后将其添加到任务队列中
	最后，通过调用condition.notify_one()`通知一个正在等待的线程来获取任务。
	*/
	template<typename T>
	void addQueueTask(T&& t) {
		{
			std::unique_lock<std::mutex> lock(queueMutex);
			/*
			'tasks.emplace'是一种用于向容器（如向量）添加元素的方法。emplace方法直接在容器内构造元素，这可以避免不必要的复制或移动操作，从而提高性能。
			emplace方法接受与元素构造函数相同的参数，这些参数用于在容器内构造元素。例如，如果有一个名为'tasks'的向量，并且有一个接受两个整数参数的类型，可以使用'tasks.emplace(42, 1)'将一个新元素添加到向量中。
			*/

			/*
			std::forward是一个模板函数，用于在模板函数或模板类中以类型安全的方式转发参数。
			这个函数在模板编程，特别是在设计模板函数或类时，非常有用。它用于保持参数的值类别（如lvalue或rvalue），这样可以避免不必要的拷贝。
			*/
			tasks.emplace(std::forward<T>(t));
		}
		// 通知一个等待的线程来获取任务
		condition.notify_one();
	}

private:
	std::vector<std::thread> threads; // 线程集合
	std::queue<std::function<void()>> tasks; // 任务队列
	std::mutex queueMutex; // 互斥锁，用于保护任务队列
	std::condition_variable condition; // 条件变量，用于线程等待任务 
	bool stop; // 停止标志，用于控制线程池关闭 
};

void printNumber(int number) {
	std::cout << "Number: " << number << std::endl;
}

int main()
{
	ThreadPool pool(4);

	for (int i = 0; i < 10; i++) {
		pool.addQueueTask([i] {printNumber(i); });
	}

	system("pause");
}

线程池的使用场景

线程池适用于需要处理大量并发任务的场景，例如网络请求、数据处理、文件读写等

线程池的优化和注意事项

线程池需要根据实际应用场景进行参数配置和优化，例如线程池的大小、任务队列的大小、线程的优先级等。同时，需要注意避免线程池的过度使用和资源泄漏等问题，以确保程序的稳定性和可靠性。