773,12 → 773,11 |
int GRUBSTAR_get_remain_capacity(LEVEL l, int budget) |
{ |
struct timespec actual,ty; |
TIME tx; |
int tx; |
GRUBSTAR_level_des *lev = (GRUBSTAR_level_des *)(level_table[l]); |
kern_gettime(&actual); |
SUBTIMESPEC(&actual, &lev->cap_lasttime, &ty); |
SUBTIMESPEC(&actual, &schedule_time, &ty); |
tx = TIMESPEC2USEC(&ty); |
|
// the remain capacity is from the first dispatch so is less then |
// actual capacity |
return (lev->b[budget].avail-tx); |
833,7 → 832,7 |
/* force a hard reservation event */ |
avail_budget=lev->b[lev->tb[exec]].avail; |
lev->b[lev->tb[exec]].flags = GRUBSTAR_NOACTIVE; |
|
//kern_printf("(GS DS %d)", exec); |
/* save the unused capacity */ |
spare=avail_budget+lev->b[lev->tb[exec]].avail; |
if (spare<=0) spare=0; |