20,11 → 20,11 |
|
/** |
------------ |
CVS : $Id: ss.c,v 1.7 2004-03-10 14:51:45 giacomo Exp $ |
CVS : $Id: ss.c,v 1.8 2004-05-17 15:03:53 anton Exp $ |
|
File: $File$ |
Revision: $Revision: 1.7 $ |
Last update: $Date: 2004-03-10 14:51:45 $ |
Revision: $Revision: 1.8 $ |
Last update: $Date: 2004-05-17 15:03:53 $ |
------------ |
|
This file contains the aperiodic Sporadic Server (SS). |
751,10 → 751,9 |
} |
} |
|
static void SS_public_activate(LEVEL l, PID p) |
static void SS_public_activate(LEVEL l, PID p, struct timespec *t) |
{ |
SS_level_des *lev = (SS_level_des *)(level_table[l]); |
struct timespec ty; |
|
#ifdef DEBUG |
kern_printf("SS_tacti "); |
770,13 → 769,12 |
if (lev->server_active == SS_SERVER_NOTACTIVE) { |
lev->server_active = SS_SERVER_ACTIVE; |
/* set replenish time */ |
kern_gettime(&ty); |
ADDUSEC2TIMESPEC(lev->period, &ty); |
TIMESPEC_ASSIGN(&lev->lastdline, &ty); |
ADDUSEC2TIMESPEC(lev->period, t); |
TIMESPEC_ASSIGN(&lev->lastdline, t); |
#ifdef DEBUG |
kern_printf("RT=%d.%d ",ty.tv_sec,ty.tv_nsec); |
kern_printf("RT=%d.%d ",t->tv_sec,t->tv_nsec); |
#endif |
kern_event_post(&ty, SS_replenish_timer, (void *) l); |
kern_event_post(t, SS_replenish_timer, (void *) l); |
} |
} |
lev->activated = p; |