| 56,7 → 56,9 |
|---|
| #include "fsf_configuration_parameters.h" |
| #include "fsf_core.h" |
| #include "fsf_server.h" |
| #include <modules/comm_message.h> |
| |
| |
| /* |
| * DEBUG stuffs begin |
| */ |
| 122,6 → 124,9 |
|---|
| int cap_lev; |
| struct timespec cap_lasttime; |
| |
| int new_level[MAX_PROC]; |
| int wcet[MAX_PROC]; /* save the wcet fields */ |
| |
| |
| } EDFSTAR_level_des; |
| |
| 223,6 → 228,46 |
|---|
| |
| } |
| |
| static int EDFSTAR_private_change_level(LEVEL l, PID p) |
| { |
| |
| EDFSTAR_level_des *lev = (EDFSTAR_level_des *)(level_table[l]); |
| |
| /* Change task level */ |
| if (lev->flag[p] & EDFSTAR_CHANGE_LEVEL) { |
| |
| STD_command_message msg; |
| |
| proc_table[p].status = SLEEP; |
| |
| level_table[lev->scheduling_level]->private_extract(lev->scheduling_level,p); |
| iq_extract(p,&lev->ready); |
| |
| if (lev->deadline_timer[p] != -1) |
| kern_event_delete(lev->deadline_timer[p]); |
| |
| EDFSTAR_check_preemption(lev); |
| |
| lev->nact[p] = 0; |
| lev->budget[p] = -1; |
| proc_table[p].task_level = lev->new_level[p]; |
| |
| /* Send change level command to local scheduler */ |
| |
| msg.command = STD_ACTIVATE_TASK; |
| msg.param = NULL; |
| |
| level_table[ lev->new_level[p] ]->public_message(lev->new_level[p],p,&msg); |
| |
| return 1; |
| |
| } |
| |
| return 0; |
| |
| } |
| |
| |
| static void EDFSTAR_timer_guest_deadline(void *par) |
| { |
| PID p = (PID) par; |
| 335,11 → 380,13 |
|---|
| lev->cap_lev=NIL; |
| } |
| |
| |
| |
| if ( proc_table[exec].task_level==l ) { |
| |
| if (proc_table[exec].avail_time > 0) EDFSTAR_account_capacity(lev,exec); |
| |
| if (EDFSTAR_private_change_level(l, p)) return; |
| |
| /* check if the wcet is finished... */ |
| if (proc_table[exec].avail_time < 0) { |
| /* wcet finished: disable wcet event and count wcet miss */ |
| 440,6 → 487,8 |
|---|
| |
| EDFSTAR_level_des *lev = (EDFSTAR_level_des *)(level_table[l]); |
| struct timespec temp; |
| STD_command_message *msg; |
| HARD_TASK_MODEL *h; |
| |
| #ifdef EDFSTAR_DEBUG |
| edfstar_printf("(E:ecy "); |
| 450,6 → 499,8 |
|---|
| /* Task EndCycle */ |
| case (long)(NULL): |
| |
| if (EDFSTAR_private_change_level(l,p)) return 0; |
| |
| /* we call guest_end directly here because the same task may |
| be reinserted in the queue before calling the preemption check! */ |
| level_table[ lev->scheduling_level ]-> |
| 517,7 → 568,51 |
|---|
| break; |
| |
| default: |
| msg = (STD_command_message *)m; |
| |
| #ifdef EDFSTAR_DEBUG |
| edfstar_printf("(E:MSG %d)",msg->command); |
| #endif |
| |
| switch(msg->command) { |
| case STD_SET_NEW_MODEL: |
| /* if the EDFSTAR_task_create is called, then the pclass must be a |
| valid pclass. */ |
| h=(HARD_TASK_MODEL *)(msg->param); |
| |
| /* now we know that m is a valid model */ |
| lev->wcet[p] = h->wcet; |
| lev->period[p] = h->mit; |
| |
| lev->flag[p] = 0; |
| lev->deadline_timer[p] = -1; |
| lev->dline_miss[p] = 0; |
| lev->wcet_miss[p] = 0; |
| lev->nact[p] = 0; |
| |
| break; |
| |
| case STD_SET_NEW_LEVEL: |
| |
| lev->flag[p] |= EDFSTAR_CHANGE_LEVEL; |
| lev->new_level[p] = (int)(msg->param); |
| |
| break; |
| |
| case STD_ACTIVATE_TASK: |
| |
| /* Enable wcet check */ |
| proc_table[p].avail_time = lev->wcet[p]; |
| proc_table[p].wcet = lev->wcet[p]; |
| proc_table[p].control &= ~CONTROL_CAP; |
| |
| EDFSTAR_public_activate(l, p,NULL); |
| |
| break; |
| |
| |
| } |
| |
| break; |
| |
| } |