-/* -*- Mode: C; indent-tabs-mode: t -*- */
-
#ifndef __SCHEDULE_H__
#define __SCHEDULE_H__
Thread * next_thread(void);
Thread * get_current_thread(void);
void print();
- MEMALLOC
+
+ SNAPSHOTALLOC
private:
- std::list<Thread *, MyAlloc< Thread * > > readyList;
+ std::list<Thread *> readyList;
Thread *current;
};