/shark/trunk/ports/first/include/grubstar.h |
---|
94,5 → 94,7 |
int GRUBSTAR_get_last_reclaiming(LEVEL l, PID p); |
int GRUBSTAR_get_remain_capacity(LEVEL l, int budget); |
#endif |
/shark/trunk/ports/first/include/mpegstar.h |
---|
49,7 → 49,8 |
int MPEGSTAR_getbudget(LEVEL l, PID p); |
int MPEGSTAR_budget_has_thread(LEVEL l, int budget); |
int MPEGSTAR_rescale(LEVEL l, TIME Q, TIME T); |
int MPEGSTAR_rescale(int budget, TIME Q, TIME T); |
int MPEGSTAR_get_remain_capacity(int budget); |
#endif |
/shark/trunk/ports/first/include/fsf_server.h |
---|
32,6 → 32,7 |
#define SERVER_get_local_scheduler_level_from_pid GRUBSTAR_get_local_scheduler_level_from_pid |
#define SERVER_getbudgetinfo GRUBSTAR_getbudgetinfo |
#define SERVER_get_last_reclaiming GRUBSTAR_get_last_reclaiming |
#define SERVER_get_remain_capacity GRUBSTAR_get_remain_capacity |
#endif |
/shark/trunk/ports/first/modules/mpegstar.c |
---|
274,3 → 274,13 |
return 0; |
} |
int MPEGSTAR_get_remain_capacity(int budget) |
{ |
LEVEL l = SERVER_get_local_scheduler_level_from_budget(fsf_get_server_level(),budget); |
MPEGSTAR_level_des *lev = (MPEGSTAR_level_des *)(level_table[l]); |
SERVER_get_remain_capacity(lev->scheduling_level,budget); |
return 0; |
} |
/shark/trunk/ports/first/modules/grubstar.c |
---|
689,6 → 689,15 |
} |
int GRUBSTAR_get_remain_capacity(LEVEL l, int budget) |
{ |
GRUBSTAR_level_des *lev = (GRUBSTAR_level_des *)(level_table[l]); |
return lev->b[budget].avail; |
} |
int GRUBSTAR_get_local_scheduler_level_from_budget(LEVEL l, int budget) |
{ |
GRUBSTAR_level_des *lev = (GRUBSTAR_level_des *)(level_table[l]); |