| /shark/trunk/ports/first/first-contract.c |
|---|
| 380,7 → 380,7 |
| // fail if the object is full |
| if (obj->size>(FSF_MAX_SHARED_OPERATION-1)) |
| return -1; |
| kern_printf("(DO SO)"); |
| //kern_printf("(DO SO)"); |
| obj->size++; |
| obj->shared_op[i].op_id=op->op_id; |
| obj->shared_op[i].wcet=op->wcet; |
| /shark/trunk/ports/first/modules/pistar.c |
|---|
| 20,11 → 20,11 |
| /** |
| ------------ |
| CVS : $Id: pistar.c,v 1.5 2004-09-06 08:58:05 trimarchi Exp $ |
| CVS : $Id: pistar.c,v 1.6 2004-09-07 09:06:53 trimarchi Exp $ |
| File: $File$ |
| Revision: $Revision: 1.5 $ |
| Last update: $Date: 2004-09-06 08:58:05 $ |
| Revision: $Revision: 1.6 $ |
| Last update: $Date: 2004-09-07 09:06:53 $ |
| ------------ |
| Priority Inhertitance protocol. see pi.h for more details... |
| 214,6 → 214,7 |
| else { |
| SERVER_disable_server(fsf_get_server_level(),server); |
| scheduler(); |
| kern_context_load(proc_table[exec_shadow].context); |
| /* ... and reaquire the cli() before the test... */ |
| kern_cli(); |
| 273,7 → 274,7 |
| PISTAR_mutex_t *p; |
| int i, j; |
| fsf_server_id_t server; |
| //kern_printf("PISTAR unlock"); |
| // return 0; |
| p = (PISTAR_mutex_t *)m->opt; |
| if (!p) |
| /shark/trunk/ports/first/modules/posixstar.c |
|---|
| 281,7 → 281,7 |
| if (proc_table[exec].task_level==l ) { |
| POSIXSTAR_account_capacity(lev,exec); |
| if (proc_table[exec].avail_time > 0) POSIXSTAR_account_capacity(lev,exec); |
| if (lev->yielding) { |
| lev->yielding = 0; |
| /shark/trunk/ports/first/first-server.c |
|---|
| 295,10 → 295,6 |
| int local_scheduler_level,scheduler_id; |
| #ifdef FSF_DEBUG |
| kern_printf("(FSF:Insert thread = %d to Server = %d)",*thread,server); |
| #endif |
| /* Check if server and thread exsist */ |
| if (server == NIL) |
| return FSF_ERR_INVALID_SERVER; |
| 417,7 → 413,7 |
| switch (scheduler_id) { |
| case FSF_SCHEDULER_POSIX: |
| POSIXSTAR_set_nopreemtive_current(local_scheduler_level); |
| POSIXSTAR_unset_nopreemtive_current(local_scheduler_level); |
| return 1; |
| break; |
| case FSF_SCHEDULER_EDF: |