6 #include "libthreads.h"
11 virtual void add_thread(struct thread *t) = 0;
12 virtual struct thread * next_thread(void) = 0;
13 virtual struct thread * get_current_thread(void) = 0;
16 class DefaultScheduler: public Scheduler {
18 void add_thread(struct thread *t);
19 struct thread * next_thread(void);
20 struct thread * get_current_thread(void);
22 std::queue<struct thread *> queue;
23 struct thread *current;
26 #endif /* __SCHEDULE_H__ */