schedule.h

   1 #ifndef __SCHEDULE_H__
   2 #define __SCHEDULE_H__
   3
   4 #include <queue>
   5
   6 #include "libthreads.h"
   7 #include "model.h"
   8
   9 class Scheduler {
  10 public:
  11         void add_thread(struct thread *t);
  12         struct thread * next_thread(void);
  13         struct thread * get_current_thread(void);
  14 private:
  15         std::queue<struct thread *> queue;
  16         struct thread *current;
  17 };
  18
  19 #endif /* __SCHEDULE_H__ */