public void pause() {
    c.pause();

    for (int i = 0; i < NUM_PHILS; i++) {
      philosophers[i].interrupt();
    }
  }
  public void reset() {
    c.reset();

    for (int i = 0; i < NUM_PHILS; i++) {
      philosophers[i].interrupt();
    }
    for (int i = 0; i < NUM_PHILS; i++) {
      forks[i].reset();
    }
  }