| 20,11 → 20,11 |
|---|
| |
| /** |
| ------------ |
| CVS : $Id: pistar.c,v 1.3 2004-09-03 12:37:48 trimarchi Exp $ |
| CVS : $Id: pistar.c,v 1.4 2004-09-06 06:31:45 trimarchi Exp $ |
| |
| File: $File$ |
| Revision: $Revision: 1.3 $ |
| Last update: $Date: 2004-09-03 12:37:48 $ |
| Revision: $Revision: 1.4 $ |
| Last update: $Date: 2004-09-06 06:31:45 $ |
| ------------ |
| |
| Priority Inhertitance protocol. see pi.h for more details... |
| 174,7 → 174,8 |
|---|
| PISTAR_mutex_t *p; |
| SYS_FLAGS f; |
| // return 0; |
| int cond=0; |
| int cond; |
| cond = 1; |
| fsf_server_id_t server; |
| |
| f = kern_fsave(); |
| 209,7 → 210,7 |
|---|
| kern_cli(); |
| } |
| fsf_get_server(&server, exec_shadow); |
| if (fsf_get_remain_budget(server)>wcet) cond=1; |
| if (fsf_get_remain_budget(server)>wcet) cond=0; |
| else { |
| SERVER_disable_server(fsf_get_server_level(),server); |
| scheduler(); |