| /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; |
| } |