fix various problems with my 64-bit clean hack
[model-checker.git] / schedule.h
1 /* -*- Mode: C; indent-tabs-mode: t -*- */
2
3 #ifndef __SCHEDULE_H__
4 #define __SCHEDULE_H__
5
6 #include <list>
7 #include "mymemory.h"
8
9 /* Forward declaration */
10 class Thread;
11
12 class Scheduler {
13 public:
14         Scheduler();
15         void add_thread(Thread *t);
16         void remove_thread(Thread *t);
17         Thread * next_thread(void);
18         Thread * get_current_thread(void);
19         void print();
20   MEMALLOC
21 private:
22         std::list<Thread *, MyAlloc< Thread * > > readyList;
23         Thread *current;
24 };
25
26 #endif /* __SCHEDULE_H__ */