schedule.h

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