cluster_scheduler.h

Go to the documentation of this file.

#ifndef CLUSTER_SCHEDULER_H_
#define CLUSTER_SCHEDULER_H_

inline void allocate_cluster_resource(int, int);

inline void release_cluster_resources(int, int);

void page_used(int, int, int);

void page_released(int, int, int);

int map_task(int);

int application_mapping(int, int);

int SearchCluster(int, int);

/*#if defined(WithoutLoad) || defined(WithProfiler)
int SearchCluster(int app_task_number);
#endif

#ifdef WithLoad
int SearchCluster(int app_task_number);
#endif

#ifdef WithLoad_RealTime
int SearchCluster(int app_task_number);
#endif
*/

#endif /* SOFTWARE_INCLUDE_MAPPING_MAPPING_H_ */