/shark/trunk/ports/first/include/cbsstar.h |
---|
21,11 → 21,11 |
/* |
------------ |
CVS : $Id: cbsstar.h,v 1.2 2003-10-07 10:49:54 giacomo Exp $ |
CVS : $Id: cbsstar.h,v 1.3 2003-10-15 11:12:03 giacomo Exp $ |
File: $File$ |
Revision: $Revision: 1.2 $ |
Last update: $Date: 2003-10-07 10:49:54 $ |
Revision: $Revision: 1.3 $ |
Last update: $Date: 2003-10-15 11:12:03 $ |
------------ |
This file contains the budget support for the multiapplication |
179,6 → 179,6 |
int CBSSTAR_get_local_scheduler_id_from_pid(LEVEL l, PID p); |
int CBSSTAR_get_last_reclaiming(LEVEL l); |
int CBSSTAR_get_last_reclaiming(LEVEL l, PID p); |
#endif |
/shark/trunk/ports/first/modules/cbsstar.c |
---|
612,7 → 612,7 |
} |
int CBSSTAR_get_last_reclaiming(LEVEL l) |
int CBSSTAR_get_last_reclaiming(LEVEL l, PID p) |
{ |
return 0; |
/shark/trunk/ports/first/modules/grubstar.c |
---|
163,11 → 163,6 |
event_need_reschedule(); |
b->flags = GRUBSTAR_RECLAIMING; |
lev->Uf -= b->Ub; |
#ifdef GRUBSTAR_DEBUG |
kern_printf("U=%u, Uf=%u",lev->U, lev->Uf); |
#endif |
} |
#ifdef GRUBSTAR_DEBUG |
299,6 → 294,11 |
if (b->current == p) { |
if ( TIMESPEC_A_LT_B(&b->dline, &schedule_time)) { |
#ifdef GRUBSTAR_DEBUG |
kern_printf("(GS:Eli:%d)",p); |
#endif |
if (lev->cap_lev!=NIL) { |
kern_event_delete(lev->cap_lev); |
lev->cap_lev=NIL; |