#ifndef INCLUDED_TASK_MANAGER
#define INCLUDED_TASK_MANAGER

#ifndef INCLUDED_TASK_MANAGER_IMPL
#  include "TaskManagerImpl.h"
#endif

class TaskManager {
public:
    /* constructor */
    TaskManager(int num = 1); // The number of threads

    /* variables */
    TaskManagerImpl *m_impl;

    /* functions */
    void init(void);
    void finish(void);
    HTaskPtr create_task(int cmd);
    void run(void);

    void* malloc(int size) {
	return m_impl->allocate(size);
    }

private:
    int machineNum;
};

#endif

extern TaskManager *manager;