303,8 → 303,10 |
|
/* ...and finally, we have to post a capacity event on exec task because the shadow_task consume |
* * capacity on exe task always */ |
ADDUSEC2TIMESPEC(proc_table[exec].avail_time ,&ty); |
lev->cap_lev = kern_event_post(&ty,capacity_handler, lev); |
if (proc_table[exec].avail_time > 0) { |
ADDUSEC2TIMESPEC(proc_table[exec].avail_time ,&ty); |
lev->cap_lev = kern_event_post(&ty,capacity_handler, lev); |
} |
level_table[lev->scheduling_level]->private_dispatch(lev->scheduling_level, p, nostop); |
} |
else |
328,10 → 330,10 |
|
if ( proc_table[exec].task_level==l ) { |
|
RMSTAR_account_capacity(lev,exec); |
if (proc_table[exec].avail_time > 0) RMSTAR_account_capacity(lev,exec); |
|
/* check if the wcet is finished... */ |
if (proc_table[p].avail_time) { |
if (proc_table[exec].avail_time) { |
/* wcet finished: disable wcet event and count wcet miss */ |
#ifdef RMSTAR_DEBUG |
rmstar_printf2("W%d",p); |