C 11:std:：线程池？

Question

在C 03中，我使用了带有自建线程池的pthon，它总是保持几个线程运行（因为pthread_create很慢），这样我就可以为小任务启动线程，而无需考虑性能问题。

现在，在C11中，我们有d::线程。我想标准没有说明具体的实现，所以我的问题是关于标准库实现的。他们通常选择构建std::线程s很便宜的池方法（例如，在posx上不调用pthread_create），还是std::线程只是一个包装器？

换句话说，在C11中仍然推荐线程池，或者我应该在需要时创建一个std::线程，并将性能留给标准库？

Answer 1

std:：thread在抽象成本方面应该非常便宜，这是低级的东西。据我所知，标准库实现可能只会尽可能紧密地包装底层操作系统机制，这样您就可以假设线程创建的开销是相似的或等效的。

我不知道有什么具体的实现，但从阅读C并发的实际应用中，我的间接理解是，标准建议他们使用最有效的实用方法。作者当然似乎认为，与DIY相比，成本或多或少可以忽略不计。

该库在概念上类似于Boost，因此我认为使用Boost实现得出一些结论不会太牵强。

基本上，我认为你的问题没有直接的答案，因为它没有被指定。虽然在我看来，我们更有可能看到非常薄的包装器实现，但我不认为库编写者会被限制使用线程池，如果它提供效率优势的话。

Answer 2

std:：thread是一个执行线程。时期它来自哪里、如何实现、是否有“实际”线程池等等，都与标准无关。只要它像线程一样工作，它就可以是std:：thread。

现在，很有可能std:：thread是一个真实的操作系统线程，而不是从线程池或其他任何地方提取的东西。但从理论上讲，C11确实允许将std:：thread实现为从池中提取的东西。

Answer 3

通常，std:：thread应该是底层系统原语的最小包装器。例如，如果您在pthread平台上，可以使用以下程序测试，无论创建多少线程，它们都是使用唯一的pthread_tID创建的（这意味着它们是动态创建的，不是从线程池借用的）：

#include <assert.h>
#include <mutex>
#include <set>
#include <thread>
#include <vector>

#include <pthread.h>

int main() {
  std::vector<std::thread> workers;
  std::set<long long> thread_ids;
  std::mutex m;
  const int n = 1024;

  for (int i = 0; i < n; ++i) {
    workers.push_back(std::thread([&] {
      std::lock_guard<std::mutex> lock(m);
      thread_ids.insert(pthread_self());
    }));
  }
  for (auto& worker : workers) {
    worker.join();
  }
  assert(thread_ids.size() == n);

  return 0;
}

所以线程池仍然是非常有意义的。也就是说，我看过一个视频，其中C委员会成员讨论了关于std:：async（IIRC）的线程池，但我现在找不到它。