Function pause_all_workers

core/worker.cc:119–122

}

void pause_all_workers() {
  for (int wid = 0; wid < Worker::kMaxWorkers; wid++)
    pause_worker(wid);
}

enum class worker_signal : uint64_t {
  unblock = 1,