20,11 → 20,11 |
|
/** |
------------ |
CVS : $Id: tbs.c,v 1.7 2004-03-10 14:51:45 giacomo Exp $ |
CVS : $Id: tbs.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 server TBS (Total Bandwidth Server) |
252,17 → 252,15 |
private_epilogue(lev->scheduling_level,p); |
} |
|
static void TBS_public_activate(LEVEL l, PID p) |
static void TBS_public_activate(LEVEL l, PID p, struct timespec *t) |
{ |
TBS_level_des *lev = (TBS_level_des *)(level_table[l]); |
struct timespec t; |
|
if (proc_table[p].status == SLEEP || |
proc_table[p].status == TBS_WCET_VIOLATED) { |
|
kern_gettime(&t); |
if (TIMESPEC_A_GT_B(&t, &lev->lastdline)) |
TIMESPEC_ASSIGN(&lev->lastdline, &t ); |
if (TIMESPEC_A_GT_B(t, &lev->lastdline)) |
TIMESPEC_ASSIGN(&lev->lastdline, t ); |
|
|
if (lev->activated == NIL) { |