20,11 → 20,11 |
|
/** |
------------ |
CVS : $Id: edf.c,v 1.13 2004-03-10 14:51:43 giacomo Exp $ |
CVS : $Id: edf.c,v 1.14 2004-05-17 15:03:51 anton Exp $ |
|
File: $File$ |
Revision: $Revision: 1.13 $ |
Last update: $Date: 2004-03-10 14:51:43 $ |
Revision: $Revision: 1.14 $ |
Last update: $Date: 2004-05-17 15:03:51 $ |
------------ |
|
This file contains the scheduling module EDF (Earliest Deadline First) |
60,104 → 60,180 |
#include <kernel/descr.h> |
#include <kernel/var.h> |
#include <kernel/func.h> |
|
#include <tracer.h> |
|
//#define EDF_DEBUG |
#define edf_printf kern_printf |
|
/*+ Status used in the level +*/ |
#define EDF_READY MODULE_STATUS_BASE /*+ - Ready status +*/ |
#define EDF_WCET_VIOLATED MODULE_STATUS_BASE+2 /*+ when wcet is finished +*/ |
#define EDF_WAIT MODULE_STATUS_BASE+3 /*+ to wait the deadline +*/ |
#define EDF_IDLE MODULE_STATUS_BASE+4 /*+ to wait the deadline +*/ |
#define EDF_ZOMBIE MODULE_STATUS_BASE+5 /*+ to wait the free time +*/ |
#ifdef EDF_DEBUG |
char *pnow() { |
static char buf[40]; |
struct timespec t; |
sys_gettime(&t); |
sprintf(buf, "%ld.%06ld", t.tv_sec, t.tv_nsec/1000); |
return buf; |
} |
char *ptime1(struct timespec *t) { |
static char buf[40]; |
sprintf(buf, "%ld.%06ld", t->tv_sec, t->tv_nsec/1000); |
return buf; |
} |
char *ptime2(struct timespec *t) { |
static char buf[40]; |
sprintf(buf, "%ld.%06ld", t->tv_sec, t->tv_nsec/1000); |
return buf; |
} |
#endif |
|
/*+ flags +*/ |
#define EDF_FLAG_SPORADIC 1 |
#define EDF_FLAG_NORAISEEXC 2 |
#define EDF_FLAG_SLEEP 4 |
/* statuses used in the level */ |
#define EDF_READY MODULE_STATUS_BASE /* ready */ |
#define EDF_IDLE MODULE_STATUS_BASE+1 /* idle, waiting for offset/eop */ |
#define EDF_WAIT MODULE_STATUS_BASE+2 /* to sleep, waiting for eop */ |
#define EDF_ZOMBIE MODULE_STATUS_BASE+3 /* zombie, waiting for eop */ |
|
/*+ the level redefinition for the Earliest Deadline First level +*/ |
typedef struct { |
level_des l; /*+ the standard level descriptor +*/ |
/* task flags */ |
#define EDF_FLAG_SPORADIC 1 /* the task is sporadic */ |
#define EDF_FLAG_SPOR_LATE 2 /* sporadic task with period overrun */ |
|
TIME period[MAX_PROC]; /*+ The task periods; the deadlines are |
stored in the priority field +*/ |
int deadline_timer[MAX_PROC]; |
/*+ The task deadline timers +*/ |
|
int flag[MAX_PROC]; |
/*+ used to manage the JOB_TASK_MODEL and the |
periodicity +*/ |
/* the level redefinition for the Earliest Deadline First level */ |
typedef struct { |
level_des l; /* standard level descriptor */ |
IQUEUE ready; /* the ready queue */ |
int flags; /* level flags */ |
bandwidth_t U; /* used bandwidth */ |
|
IQUEUE ready; /*+ the ready queue +*/ |
int taskflags[MAX_PROC]; /* task flags */ |
TIME period[MAX_PROC]; /* task period */ |
TIME rdeadline[MAX_PROC]; /* task relative deadlines */ |
TIME offset[MAX_PROC]; /* task release offsets */ |
struct timespec release[MAX_PROC]; /* release time of the task */ |
struct timespec adeadline[MAX_PROC]; /* latest assigned deadline |
(needed to correctly assign deadlines to queued activations) */ |
int dl_timer[MAX_PROC]; /* deadline overrun timer */ |
int eop_timer[MAX_PROC]; /* end of period timer */ |
int dl_miss[MAX_PROC]; /* deadline miss counter */ |
int wcet_miss[MAX_PROC]; /* WCET miss counter */ |
int nact[MAX_PROC]; /* number of pending periodic jobs */ |
int nskip[MAX_PROC]; /* number of skipped sporadic jobs */ |
} EDF_level_des; |
|
int flags; /*+ the init flags... +*/ |
|
bandwidth_t U; /*+ the used bandwidth +*/ |
static void EDF_timer_endperiod(void *par); |
|
} EDF_level_des; |
|
/* This function is called when a task misses its deadline */ |
|
static void EDF_timer_deadline(void *par) |
{ |
PID p = (PID) par; |
EDF_level_des *lev; |
struct timespec *temp; |
lev = (EDF_level_des *)level_table[proc_table[p].task_level]; |
|
TRACER_LOGEVENT(FTrace_EVT_task_deadline_miss,(unsigned short int)proc_table[p].context,0); |
|
if (lev->flags & EDF_ENABLE_DL_EXCEPTION) { |
kern_raise(XDEADLINE_MISS,p); |
} else { |
lev->dl_miss[p]++; |
} |
} |
|
|
/* Release (or queue) task, post deadline and endperiod timers. |
The release time is stored in lev->release[p]. */ |
|
static void EDF_intern_release(PID p, EDF_level_des *lev) |
{ |
struct timespec temp; |
|
/* post deadline timer */ |
if (lev->flags & EDF_ENABLE_DL_CHECK) { |
temp = lev->release[p]; |
ADDUSEC2TIMESPEC(lev->rdeadline[p], &temp); |
lev->dl_timer[p] = kern_event_post(&temp,EDF_timer_deadline,(void *)p); |
} |
|
/* release or queue next job */ |
if (proc_table[p].status == EDF_IDLE) { |
/* assign deadline, insert task in the ready queue */ |
proc_table[p].status = EDF_READY; |
*iq_query_timespec(p,&lev->ready) = lev->adeadline[p]; |
iq_timespec_insert(p,&lev->ready); |
#ifdef EDF_DEBUG |
edf_printf("At %s: releasing %s with deadline %s\n", pnow(), |
proc_table[p].name, ptime1(&lev->adeadline[p])); |
#endif |
/* increase assigned deadline */ |
ADDUSEC2TIMESPEC(lev->period[p], &lev->adeadline[p]); |
/* reschedule */ |
event_need_reschedule(); |
} else { |
/* queue */ |
lev->nact[p]++; |
} |
|
/* increase release time */ |
ADDUSEC2TIMESPEC(lev->period[p],&lev->release[p]); |
/* post end of period timer */ |
lev->eop_timer[p] = kern_event_post(&lev->release[p], |
EDF_timer_endperiod,(void *)p); |
|
TRACER_LOGEVENT(FTrace_EVT_task_timer,(unsigned short int)proc_table[p].context,(unsigned int)proc_table[p].task_level); |
} |
|
|
/* Release after an offset */ |
|
static void EDF_timer_offset(void *par) |
{ |
PID p = (PID) par; |
EDF_level_des *lev; |
lev = (EDF_level_des *)level_table[proc_table[p].task_level]; |
|
#ifdef EDF_DEBUG |
edf_printf("(EDF:Dl TIMER:%d)",p); |
#endif |
EDF_intern_release(p, lev); |
} |
|
switch (proc_table[p].status) { |
case EDF_ZOMBIE: |
/* we finally put the task in the ready queue */ |
proc_table[p].status = FREE; |
iq_insertfirst(p,&freedesc); |
/* and free the allocated bandwidth */ |
lev->U -= (MAX_BANDWIDTH/lev->period[p]) * proc_table[p].wcet; |
break; |
|
case EDF_IDLE: |
/* tracer stuff */ |
TRACER_LOGEVENT(FTrace_EVT_task_timer,(unsigned short int)proc_table[p].context,(unsigned int)proc_table[p].task_level); |
/* similar to EDF_task_activate */ |
temp = iq_query_timespec(p,&lev->ready); |
ADDUSEC2TIMESPEC(lev->period[p], temp); |
proc_table[p].status = EDF_READY; |
iq_timespec_insert(p,&lev->ready); |
lev->deadline_timer[p] = kern_event_post(temp, |
EDF_timer_deadline, |
(void *)p); |
event_need_reschedule(); |
break; |
/* This function is called at the end of the period */ |
|
case EDF_WAIT: |
/* Without this, the task cannot be reactivated!!! */ |
proc_table[p].status = SLEEP; |
static void EDF_timer_endperiod(void *par) |
{ |
PID p = (PID) par; |
EDF_level_des *lev; |
lev = (EDF_level_des *)level_table[proc_table[p].task_level]; |
|
/* Reset the EDF_FLAG_SLEEP */ |
lev->flag[p] &= ~EDF_FLAG_SLEEP; |
lev->eop_timer[p] = -1; |
|
break; |
if (proc_table[p].status == EDF_ZOMBIE) { |
/* put the task in the FREE state */ |
proc_table[p].status = FREE; |
iq_insertfirst(p,&freedesc); |
/* free the allocated bandwidth */ |
lev->U -= (MAX_BANDWIDTH/lev->rdeadline[p]) * proc_table[p].wcet; |
return; |
} |
|
default: |
/* else, a deadline miss occurred!!! */ |
TRACER_LOGEVENT(FTrace_EVT_task_deadline_miss,(unsigned short int)proc_table[p].context,0); |
kern_raise(XDEADLINE_MISS,p); |
if (proc_table[p].status == EDF_WAIT) { |
proc_table[p].status = SLEEP; |
return; |
} |
|
if (!(lev->taskflags[p] & EDF_FLAG_SPORADIC)) { |
/* if the task is periodic, rerelease it (now or later) */ |
EDF_intern_release(p, lev); |
} else { |
/* the sporadic task is still busy. mark it as late */ |
lev->taskflags[p] |= EDF_FLAG_SPOR_LATE; |
} |
} |
|
|
/* This function is called when a guest task misses its deadline */ |
|
static void EDF_timer_guest_deadline(void *par) |
{ |
PID p = (PID) par; |
|
#ifdef EDF_DEBUG |
edf_printf("(EDF:AAARRRGGGHHH!!!)"); |
#endif |
TRACER_LOGEVENT(FTrace_EVT_task_deadline_miss,(unsigned short int)proc_table[p].context,0); |
kern_raise(XDEADLINE_MISS,p); |
} |
191,57 → 267,68 |
if (m->level != 0 && m->level != l) return -1; |
h = (HARD_TASK_MODEL *)m; |
if (!h->wcet || !h->mit) return -1; |
if (h->drel > h->mit) return -1; /* only D <= T supported */ |
|
if (!h->drel) { |
lev->rdeadline[p] = h->mit; |
} else { |
lev->rdeadline[p] = h->drel; |
} |
|
/* check the free bandwidth... */ |
if (lev->flags & EDF_ENABLE_GUARANTEE) { |
bandwidth_t b; |
b = (MAX_BANDWIDTH / h->mit) * h->wcet; |
b = (MAX_BANDWIDTH / lev->rdeadline[p]) * h->wcet; |
|
/* really update lev->U, checking an overflow... */ |
if (MAX_BANDWIDTH - lev->U > b) |
if (MAX_BANDWIDTH - lev->U > b) { |
lev->U += b; |
else |
} else { |
return -1; |
} |
} |
|
/* now we know that m is a valid model */ |
if (lev->flags & EDF_ENABLE_WCET_EXCEPTION) { |
lev->flags |= EDF_ENABLE_WCET_CHECK; |
} |
if (lev->flags & EDF_ENABLE_DL_EXCEPTION) { |
lev->flags |= EDF_ENABLE_DL_CHECK; |
} |
|
#ifdef EDF_DEBUG |
edf_printf("(EDF:PubCrt:%d)", p); |
#endif |
|
lev->period[p] = h->mit; |
if (lev->rdeadline[p] == lev->period[p]) { |
/* Ensure that D <= T-eps to make dl_timer trigger before rel_timer */ |
lev->rdeadline[p] = lev->period[p] - 1; |
} |
|
lev->flag[p] = 0; |
lev->taskflags[p] = 0; |
|
if (h->periodicity == APERIODIC) |
lev->flag[p] |= EDF_FLAG_SPORADIC; |
lev->taskflags[p] |= EDF_FLAG_SPORADIC; |
|
lev->deadline_timer[p] = -1; |
lev->dl_timer[p] = -1; |
lev->eop_timer[p] = -1; |
|
/* Enable wcet check */ |
if (lev->flags & EDF_ENABLE_WCET_CHECK) { |
proc_table[p].avail_time = h->wcet; |
proc_table[p].wcet = h->wcet; |
proc_table[p].control |= CONTROL_CAP; |
proc_table[p].control |= CONTROL_CAP; /* turn on measurement */ |
} |
|
lev->offset[p] = h->offset; |
|
NULL_TIMESPEC(&lev->release[p]); |
|
return 0; /* OK, also if the task cannot be guaranteed... */ |
} |
|
static void EDF_public_detach(LEVEL l, PID p) |
{ |
/* the EDF level doesn't introduce any dinamic allocated new field. |
we have only to decrement the allocated bandwidth */ |
|
EDF_level_des *lev = (EDF_level_des *)(level_table[l]); |
|
#ifdef EDF_DEBUG |
edf_printf("(EDF:PubDet:%d)", p); |
#endif |
|
if (lev->flags & EDF_ENABLE_GUARANTEE) { |
lev->U -= (MAX_BANDWIDTH / lev->period[p]) * proc_table[p].wcet; |
lev->U -= (MAX_BANDWIDTH / lev->rdeadline[p]) * proc_table[p].wcet; |
} |
} |
|
248,14 → 335,6 |
static void EDF_public_dispatch(LEVEL l, PID p, int nostop) |
{ |
EDF_level_des *lev = (EDF_level_des *)(level_table[l]); |
|
#ifdef EDF_DEBUG |
edf_printf("(EDF:PubDsp:%d)",p); |
#endif |
|
/* the task state is set EXE by the scheduler() |
we extract the task from the ready queue |
NB: we can't assume that p is the first task in the queue!!! */ |
iq_extract(p, &lev->ready); |
} |
|
263,65 → 342,67 |
{ |
EDF_level_des *lev = (EDF_level_des *)(level_table[l]); |
|
#ifdef EDF_DEBUG |
edf_printf("(EDF:PubEpi:%d)",p); |
#endif |
|
/* check if the wcet is finished... */ |
if ((lev->flags & EDF_ENABLE_WCET_CHECK) && proc_table[p].avail_time <= 0) { |
/* if it is, raise a XWCET_VIOLATION exception */ |
TRACER_LOGEVENT(FTrace_EVT_task_wcet_violation,(unsigned short int)proc_table[p].context,0); |
kern_raise(XWCET_VIOLATION,p); |
proc_table[p].status = EDF_WCET_VIOLATED; |
if (lev->flags & EDF_ENABLE_WCET_CHECK) { |
if (proc_table[p].avail_time <= 0) { |
TRACER_LOGEVENT(FTrace_EVT_task_wcet_violation,(unsigned short int)proc_table[p].context,0); |
if (lev->flags & EDF_ENABLE_WCET_EXCEPTION) { |
kern_raise(XWCET_VIOLATION,p); |
} else { |
proc_table[p].control &= ~CONTROL_CAP; |
lev->wcet_miss[p]++; |
} |
} |
} |
else { |
/* the task has been preempted. it returns into the ready queue... */ |
iq_timespec_insert(p,&lev->ready); |
proc_table[p].status = EDF_READY; |
} |
|
/* the task returns to the ready queue */ |
iq_timespec_insert(p,&lev->ready); |
proc_table[p].status = EDF_READY; |
|
} |
|
static void EDF_public_activate(LEVEL l, PID p) |
static void EDF_public_activate(LEVEL l, PID p, struct timespec *t) |
{ |
struct timespec clocktime; |
EDF_level_des *lev = (EDF_level_des *)(level_table[l]); |
struct timespec *temp; |
|
#ifdef EDF_DEBUG |
edf_printf("(EDF:PubAct:%d)", p); |
#endif |
kern_gettime(&clocktime); |
|
if (lev->flag[p] & EDF_FLAG_SLEEP) { |
lev->flag[p] &= ~EDF_FLAG_SLEEP; |
if (!(lev->flag[p] & EDF_FLAG_SPORADIC)) |
proc_table[p].status = EDF_IDLE; |
/* check if we are not in the SLEEP state */ |
if (proc_table[p].status != SLEEP) { |
if (lev->flags & EDF_ENABLE_ACT_EXCEPTION) { |
/* too frequent or wrongful activation: raise exception */ |
kern_raise(XACTIVATION,p); |
} else { |
/* skip the sporadic job, but increase a counter */ |
#ifdef EDF_DEBUG |
edf_printf("At %s: activation of %s skipped\n", pnow(), proc_table[p].name); |
#endif |
lev->nskip[p]++; |
} |
return; |
} |
|
if (proc_table[p].status == EDF_WAIT) { |
kern_raise(XACTIVATION,p); |
return; |
} |
|
/* Test if we are trying to activate a non sleeping task */ |
/* Ignore this; the task is already active */ |
if (proc_table[p].status != SLEEP && |
proc_table[p].status != EDF_WCET_VIOLATED) |
return; |
/* set the release time to the activation time + offset */ |
lev->release[p] = *t; |
ADDUSEC2TIMESPEC(lev->offset[p], &lev->release[p]); |
|
/* set the absolute deadline to the activation time + offset + rdeadline */ |
lev->adeadline[p] = lev->release[p]; |
ADDUSEC2TIMESPEC(lev->rdeadline[p], &lev->adeadline[p]); |
|
/* see also EDF_timer_deadline */ |
temp = iq_query_timespec(p, &lev->ready); |
kern_gettime(temp); |
ADDUSEC2TIMESPEC(lev->period[p], temp); |
/* Check if release > clocktime. If so, release it later, |
otherwise release it now. */ |
|
/* Insert task in the correct position */ |
proc_table[p].status = EDF_READY; |
iq_timespec_insert(p,&lev->ready); |
proc_table[p].status = EDF_IDLE; |
|
/* Set the deadline timer */ |
lev->deadline_timer[p] = kern_event_post(temp, |
EDF_timer_deadline, |
(void *)p); |
if (TIMESPEC_A_GT_B(&lev->release[p], &clocktime)) { |
/* release later */ |
kern_event_post(&lev->release[p],EDF_timer_offset,(void *)p); |
} else { |
/* release now */ |
EDF_intern_release(p, lev); |
} |
} |
|
static void EDF_public_unblock(LEVEL l, PID p) |
328,10 → 409,7 |
{ |
EDF_level_des *lev = (EDF_level_des *)(level_table[l]); |
|
/* Similar to EDF_task_activate, |
but we don't check in what state the task is */ |
|
/* Insert task in the coEDFect position */ |
/* Insert task in the correct position */ |
proc_table[p].status = EDF_READY; |
iq_timespec_insert(p,&lev->ready); |
} |
353,53 → 431,86 |
{ |
EDF_level_des *lev = (EDF_level_des *)(level_table[l]); |
|
/* task_message evaluation */ |
switch((long)(m)) { |
|
/* task_endcycle */ |
case (long)(NULL): |
|
#ifdef EDF_DEBUG |
edf_printf("(EDF:EndCyc:%d)",p); |
#endif |
|
/* the task has terminated his job before it consume the wcet. All OK! */ |
if (!(lev->flag[p] & EDF_FLAG_SPORADIC) && |
!(lev->flag[p] & EDF_FLAG_SLEEP)) |
proc_table[p].status = EDF_IDLE; |
else |
proc_table[p].status = EDF_WAIT; |
|
/* we reset the capacity counters... */ |
if (lev->flags & EDF_ENABLE_WCET_CHECK) |
proc_table[p].avail_time = proc_table[p].wcet; |
|
jet_update_endcycle(); /* Update the Jet data... */ |
TRACER_LOGEVENT(FTrace_EVT_task_end_cycle,(unsigned short int)proc_table[p].context,(unsigned int)l); |
|
break; |
|
/* task_disable */ |
case 1: |
|
#ifdef EDF_DEBUG |
edf_printf("(EDF:Dis:%d)",p); |
#endif |
|
/* Set the EDF_FLAG_SLEEP, in the next endcycle the task will |
be set in EDF_WAIT */ |
lev->flag[p] |= EDF_FLAG_SLEEP; |
|
/* If the task is EDF_IDLE, set to EDF_WAIT now */ |
if (proc_table[p].status == EDF_IDLE) |
/* task_endcycle() */ |
case 0: |
/* if there are no pending jobs */ |
if (lev->nact[p] == 0) { |
/* remove deadline timer, if any */ |
if (lev->dl_timer[p] != -1) { |
kern_event_delete(lev->dl_timer[p]); |
lev->dl_timer[p] = -1; |
} |
if (lev->taskflags[p] & EDF_FLAG_SPORADIC) { |
/* sporadic task */ |
if (!(lev->taskflags[p] & EDF_FLAG_SPOR_LATE)) { |
proc_table[p].status = EDF_WAIT; |
} else { |
/* it's late, move it directly to SLEEP */ |
proc_table[p].status = SLEEP; |
lev->taskflags[p] &= ~EDF_FLAG_SPOR_LATE; |
} |
} else { |
/* periodic task */ |
proc_table[p].status = EDF_IDLE; |
} |
} else { |
/* we are late / there are pending jobs */ |
lev->nact[p]--; |
/* compute and assign absolute deadline */ |
*iq_query_timespec(p,&lev->ready) = lev->adeadline[p]; |
iq_timespec_insert(p,&lev->ready); |
/* increase assigned deadline */ |
ADDUSEC2TIMESPEC(lev->period[p], &lev->adeadline[p]); |
#ifdef EDF_DEBUG |
edf_printf("(Late) At %s: releasing %s with deadline %s\n", |
pnow(),proc_table[p].name,ptime1(&lev->adeadline[p])); |
#endif |
} |
break; |
|
/* task_sleep() */ |
case 1: |
/* remove deadline timer, if any */ |
if (lev->dl_timer[p] != -1) { |
kern_event_delete(lev->dl_timer[p]); |
lev->dl_timer[p] = -1; |
} |
if (lev->taskflags[p] & EDF_FLAG_SPORADIC) { |
/* sporadic task */ |
if (!(lev->taskflags[p] & EDF_FLAG_SPOR_LATE)) { |
proc_table[p].status = EDF_WAIT; |
} else { |
/* it's late, move it directly to SLEEP */ |
proc_table[p].status = SLEEP; |
lev->taskflags[p] &= ~EDF_FLAG_SPOR_LATE; |
} |
} else { |
/* periodic task */ |
if (!(lev->nact[p] > 0)) { |
/* we are on time. go to the EDF_WAIT state */ |
proc_table[p].status = EDF_WAIT; |
} else { |
/* we are late. delete pending activations and go to SLEEP */ |
lev->nact[p] = 0; |
proc_table[p].status = SLEEP; |
/* remove end of period timer */ |
if (lev->eop_timer[p] != -1) { |
kern_event_delete(lev->eop_timer[p]); |
lev->eop_timer[p] = -1; |
} |
} |
} |
break; |
} |
|
TRACER_LOGEVENT(FTrace_EVT_task_disable,(unsigned short int)proc_table[p].context,(unsigned int)l); |
|
break; |
|
if (lev->flags & EDF_ENABLE_WCET_CHECK) { |
proc_table[p].control |= CONTROL_CAP; |
} |
|
proc_table[p].avail_time = proc_table[p].wcet; |
jet_update_endcycle(); /* Update the Jet data... */ |
TRACER_LOGEVENT(FTrace_EVT_task_end_cycle,(unsigned short int)proc_table[p].context,(unsigned int)l); |
|
return 0; |
|
} |
406,10 → 517,22 |
|
static void EDF_public_end(LEVEL l, PID p) |
{ |
proc_table[p].status = EDF_ZOMBIE; |
EDF_level_des *lev = (EDF_level_des *)(level_table[l]); |
|
/* When the deadline timer fire, it put the task descriptor in |
the free queue, and free the allocated bandwidth... */ |
if (!(lev->taskflags[p] & EDF_FLAG_SPOR_LATE)) { |
/* remove the deadline timer (if any) */ |
if (lev->dl_timer[p] != -1) { |
kern_event_delete(lev->dl_timer[p]); |
lev->dl_timer[p] = -1; |
} |
proc_table[p].status = EDF_ZOMBIE; |
} else { |
/* no endperiod timer will be fired, free the task now! */ |
proc_table[p].status = FREE; |
iq_insertfirst(p,&freedesc); |
/* free the allocated bandwidth */ |
lev->U -= (MAX_BANDWIDTH/lev->rdeadline[p]) * proc_table[p].wcet; |
} |
} |
|
static void EDF_private_insert(LEVEL l, PID p, TASK_MODEL *m) |
429,18 → 552,13 |
iq_timespec_insert(p,&lev->ready); |
proc_table[p].status = EDF_READY; |
|
lev->deadline_timer[p] = -1; |
lev->dl_timer[p] = -1; |
|
lev->period[p] = job->period; |
|
/* Set the deadline timer */ |
if (job->noraiseexc) |
lev->flag[p] = EDF_FLAG_NORAISEEXC; |
else { |
lev->flag[p] = 0; |
lev->deadline_timer[p] = kern_event_post(iq_query_timespec(p, &lev->ready), |
EDF_timer_guest_deadline, |
(void *)p); |
if (!job->noraiseexc) { |
lev->dl_timer[p] = kern_event_post(iq_query_timespec(p, &lev->ready), |
EDF_timer_guest_deadline,(void *)p); |
} |
} |
|
471,18 → 589,16 |
iq_extract(p, &lev->ready); |
|
/* we remove the deadline timer, because the slice is finished */ |
if (lev->deadline_timer[p] != NIL) { |
kern_event_delete(lev->deadline_timer[p]); |
lev->deadline_timer[p] = NIL; |
if (lev->dl_timer[p] != -1) { |
kern_event_delete(lev->dl_timer[p]); |
lev->dl_timer[p] = -1; |
} |
|
} |
|
|
/* Registration functions */ |
|
/*+ Registration function: |
int flags the init flags ... see edf.h +*/ |
/* Registration function: |
int flags the init flags ... see edf.h */ |
LEVEL EDF_register_level(int flags) |
{ |
LEVEL l; /* the level that we register */ |
520,9 → 636,14 |
|
/* fill the EDF descriptor part */ |
for(i=0; i<MAX_PROC; i++) { |
lev->period[i] = 0; |
lev->deadline_timer[i] = -1; |
lev->flag[i] = 0; |
lev->period[i] = 0; |
lev->dl_timer[i] = -1; |
lev->eop_timer[i] = -1; |
lev->taskflags[i] = 0; |
lev->dl_miss[i] = 0; |
lev->wcet_miss[i] = 0; |
lev->nact[i] = 0; |
lev->nskip[i] = 0; |
} |
|
iq_init(&lev->ready, &freedesc, 0); |
539,3 → 660,35 |
return lev->U; |
} |
|
int EDF_get_nact(PID p) |
{ |
LEVEL l = proc_table[p].task_level; |
EDF_level_des *lev = (EDF_level_des *)(level_table[l]); |
|
return lev->nact[p]; |
} |
|
int EDF_get_dl_miss(PID p) |
{ |
LEVEL l = proc_table[p].task_level; |
EDF_level_des *lev = (EDF_level_des *)(level_table[l]); |
|
return lev->dl_miss[p]; |
} |
|
int EDF_get_wcet_miss(PID p) |
{ |
LEVEL l = proc_table[p].task_level; |
EDF_level_des *lev = (EDF_level_des *)(level_table[l]); |
|
return lev->wcet_miss[p]; |
} |
|
int EDF_get_nskip(PID p) |
{ |
LEVEL l = proc_table[p].task_level; |
EDF_level_des *lev = (EDF_level_des *)(level_table[l]); |
|
return lev->nskip[p]; |
} |
|