Function pause_worker

core/worker.cc:108–117

}

void pause_worker(int wid) {
  if (workers[wid] && workers[wid]->status() == WORKER_RUNNING) {
    workers[wid]->set_status(WORKER_PAUSING);

    FULL_BARRIER();

    while (workers[wid]->status() == WORKER_PAUSING) {
    } /* spin */
  }
}

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