/* scheduler.h */

#ifndef SCHEDULER_H
#define SCHEDULER_H

#define CRASH_PRIO 13

void do_delay();
void increase_wait();
int get_running();
int get_highest_process();
void select_process();
void check_crashes();
void revive(int pid);
void hold(int pid);

#endif