schedule: replace queue with list
[c11tester.git] / schedule.h
1 #ifndef __SCHEDULE_H__
2 #define __SCHEDULE_H__
3
4 #include <list>
5
6 #include "threads.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::list<Thread *> readyList;
16         Thread *current;
17 };
18
19 #endif /* __SCHEDULE_H__ */