/shark/trunk/ports/first/modules/pistar.c |
---|
20,11 → 20,11 |
/** |
------------ |
CVS : $Id: pistar.c,v 1.6 2004-09-07 09:06:53 trimarchi Exp $ |
CVS : $Id: pistar.c,v 1.7 2004-09-07 09:46:14 trimarchi Exp $ |
File: $File$ |
Revision: $Revision: 1.6 $ |
Last update: $Date: 2004-09-07 09:06:53 $ |
Revision: $Revision: 1.7 $ |
Last update: $Date: 2004-09-07 09:46:14 $ |
------------ |
Priority Inhertitance protocol. see pi.h for more details... |
210,6 → 210,7 |
kern_cli(); |
} |
fsf_get_server(&server, exec_shadow); |
if (server==-1) kern_printf("error"); |
if (fsf_get_remain_budget(server)>wcet) cond=0; |
else { |
SERVER_disable_server(fsf_get_server_level(),server); |
/shark/trunk/ports/first/modules/grubstar.c |
---|
826,12 → 826,9 |
int spare; |
/* force a hard reservation event */ |
kern_printf("(GS DS)"); |
avail_budget=lev->b[lev->tb[exec_shadow]].avail; |
lev->b[lev->tb[exec_shadow]].avail=0; |
level_table[proc_table[exec_shadow].task_level]->public_epilogue(proc_table[exec_shadow].task_level, exec_shadow); |
//level_table[proc_table[exec_shadow].task_level]->public_epilogue(proc_table[exec_shadow].task_level, exec_shadow); |
/* save the unused capacity */ |
spare=avail_budget+lev->b[lev->tb[exec_shadow]].avail; |
if (spare<=0) spare=0; |
/shark/trunk/ports/first/first-server.c |
---|
669,6 → 669,10 |
int fsf_get_remain_budget(fsf_server_id_t server) { |
return SERVER_get_remain_capacity(fsf_server_level, server); |
int remain; |
remain = SERVER_get_remain_capacity(fsf_server_level, server); |
if (remain<0) return 0; |
return remain; |
} |