Method startWorkers

src/util/threadpool.cc:30–34

}

void ThreadPool::startWorkers() {
  started_ = true;
  for (int i = 0; i < num_workers_; ++i)
    all_workers_.push_back(std::move(std::thread(&RunWorker, this)));
}

typename ThreadPool::Task ThreadPool::getNextTask() {
  std::unique_lock<std::mutex> l(mu_);