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(); } }