15,6 → 15,7 |
#include "fsf_core.h" |
#include "fsf_server.h" |
|
#include "fedfstar.h" |
#include "posixstar.h" |
#include "edfstar.h" |
#include "nonestar.h" |
190,6 → 191,9 |
case FSF_FP: |
budget = RMSTAR_getbudget(local_scheduler_level, exec_shadow); |
break; |
case FSF_FEDF: |
budget = FEDFSTAR_getbudget(local_scheduler_level, exec_shadow); |
break; |
|
default: |
budget = -1; |
227,12 → 231,12 |
kern_event_post(at_absolute_time, (void (*)(void *))restart_task, (void *)(exec_shadow)); |
} |
|
#ifdef FSF_DEBUG |
#ifdef FSF_DEBUG |
if (at_absolute_time != NULL) |
kern_printf("(Next act s%d:us%d)",(int)at_absolute_time->tv_sec,(int)at_absolute_time->tv_nsec/1000); |
else |
kern_printf("(End Cycle %d)",exec_shadow); |
#endif |
#endif |
|
kern_frestore(f); |
task_endcycle(); |