| 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) { |