#ifndef INCLUDED_CELL_SCHEDULER
#define INCLUDED_CELL_SCHEDULER

#include "base.h"
#include "Scheduler.h"

class CellScheduler : public Scheduler {
public:
    BASE_NEW_DELETE(CellScheduler);

    void init_impl(void);

    void *allocate(int size);
    void mainMem_alloc(int id, int size);
    void mainMem_wait(void);
    uint32 get_tag();

private:
    int mainMemNum;
}  __attribute__ ((aligned (DEFAULT_ALIGNMENT)));

#endif