| 43,6 → 43,7 |
|---|
| #include <kernel/var.h> |
| #include <kernel/func.h> |
| |
| #include <tracer.h> |
| |
| #define EDFSTAR_CHANGE_LEVEL 1 |
| |
| 199,6 → 200,7 |
|---|
| #endif |
| /* else, a deadline miss occurred!!! */ |
| lev->dline_miss[p]++; |
| TRACER_LOGEVENT(FTrace_EVT_task_deadline_miss,proc_table[p].context,proc_table[p].task_level); |
| |
| /* the task is into another state */ |
| if (!(lev->flag[p] & EDFSTAR_FLAG_SPORADIC)) { |
| 339,6 → 341,7 |
|---|
| #endif |
| //proc_table[p].control &= ~CONTROL_CAP; |
| lev->wcet_miss[exec]++; |
| TRACER_LOGEVENT(FTrace_EVT_task_wcet_violation,proc_table[p].context,proc_table[p].task_level); |
| } |
| |
| #ifdef EDFSTAR_DEBUG |
| 354,7 → 357,7 |
|---|
| |
| } |
| |
| static void EDFSTAR_public_activate(LEVEL l, PID p) |
| static void EDFSTAR_public_activate(LEVEL l, PID p, struct timespec *o) |
| { |
| EDFSTAR_level_des *lev = (EDFSTAR_level_des *)(level_table[l]); |
| struct timespec t; |
| 470,7 → 473,7 |
|---|
| lev->dline_miss[p]++; |
| kern_event_delete(lev->deadline_timer[p]); |
| } |
| |
| |
| } else { |
| |
| #ifdef EDFSTAR_DEBUG |
| 493,7 → 496,8 |
|---|
| #ifdef EDFSTAR_DEBUG |
| edfstar_printf(")"); |
| #endif |
| |
| |
| TRACER_LOGEVENT(FTrace_EVT_task_end_cycle,proc_table[p].context,proc_table[p].task_level); |
| jet_update_endcycle(); /* Update the Jet data... */ |
| break; |
| |