void register_task(struct task *t);
int schedule(struct sched *s);
char *get_task_list(void);
-int kill_task(char *id);
void sched_shutdown(void);
void sched_min_delay(struct sched *s);
void sched_request_timeout(struct timeval *to, struct sched *s);