#ifndef __SCHEDULE_H__
#define __SCHEDULE_H__
-#include <list>
+#include <queue>
#include "libthreads.h"
#include "model.h"
struct thread * next_thread(void);
struct thread * get_current_thread(void);
private:
- std::list<struct thread *> queue;
+ std::queue<struct thread *> queue;
struct thread *current;
};