Method ThreadPool

src/util/threadpool.h:19–20

class ThreadPool {
 public:
  explicit ThreadPool(int num_workers)
    : num_workers_(num_workers), final_barrier_(num_workers + 1) {}
  ~ThreadPool();

  typedef std::function<void()> Task;