| 20,11 → 20,11 |
|---|
| |
| /** |
| ------------ |
| CVS : $Id: pistar.c,v 1.7 2004-09-07 09:46:14 trimarchi Exp $ |
| CVS : $Id: pistar.c,v 1.8 2004-09-08 16:51:34 giacomo Exp $ |
| |
| File: $File$ |
| Revision: $Revision: 1.7 $ |
| Last update: $Date: 2004-09-07 09:46:14 $ |
| Revision: $Revision: 1.8 $ |
| Last update: $Date: 2004-09-08 16:51:34 $ |
| ------------ |
| |
| Priority Inhertitance protocol. see pi.h for more details... |
| 179,6 → 179,9 |
|---|
| fsf_server_id_t server; |
| |
| f = kern_fsave(); |
| |
| TRACER_LOGEVENT(FTrace_EVT_set_mutex_lock,(unsigned short int)proc_table[exec_shadow].context,(unsigned int)m); |
| |
| //kern_printf("(PISTAR lock)"); |
| p = (PISTAR_mutex_t *)m->opt; |
| if (!p) { |
| 210,7 → 213,6 |
|---|
| 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); |