| 21,11 → 21,11 |
|---|
| |
| /** |
| ------------ |
| CVS : $Id: descr.h,v 1.1.1.1 2002-03-29 14:12:51 pj Exp $ |
| CVS : $Id: descr.h,v 1.2 2002-11-11 08:36:01 pj Exp $ |
| |
| File: $File$ |
| Revision: $Revision: 1.1.1.1 $ |
| Last update: $Date: 2002-03-29 14:12:51 $ |
| Revision: $Revision: 1.2 $ |
| Last update: $Date: 2002-11-11 08:36:01 $ |
| ------------ |
| |
| Kernel main data structures |
| 70,6 → 70,7 |
|---|
| #include <ll/ll.h> |
| #include <kernel/model.h> |
| #include <kernel/types.h> |
| #include <kernel/iqueue.h> |
| #include <limits.h> |
| |
| /*+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ |
| 140,8 → 141,8 |
|---|
| struct _task_handler_rec *cleanup_stack; |
| /*+ The cleanup stack +*/ |
| |
| QUEUE next,prev; /*+ Next/Prev Index in the queue +*/ |
| |
| |
| int errnumber; |
| |
| /* Job Execution Time fields */ |
| 174,8 → 175,7 |
|---|
| * the generic kernel, with exclusion of delay_timer that is used |
| * also in cond_timedwait |
| */ |
| DWORD priority; /*+ A priority field +*/ |
| struct timespec timespec_priority; /*+ Another priority field +*/ |
| |
| int delay_timer; /*+ A field useful to store the delay timer +*/ |
| |
| int wcet; /*+ a worst case time execution +*/ |
| 219,8 → 219,6 |
|---|
| 0 if the level can manage the model, |
| -1 if not +*/ |
| |
| // void (*level_init)(); /*+ initialization of the level module +*/ |
| // void (*level_end)(); /*+ level termination (at system end... +*/ |
| void (*level_status)(LEVEL l);/*+ print level statistics... +*/ |
| |
| PID (*level_scheduler)(LEVEL l); |
| 286,9 → 284,6 |
|---|
| task in the EXE state. +*/ |
| |
| |
| void (*task_delay)(LEVEL l, PID p,DWORD tickdelay); |
| |
| |
| /* guest CALLS: |
| these functions are called from an Aperiodic Server Level for the task |
| that are inserted in the local queues */ |
| 324,7 → 319,6 |
|---|
| /*+ the task is killed +*/ |
| |
| void (*guest_sleep)(LEVEL l, PID p); |
| void (*guest_delay)(LEVEL l, PID p, TIME tickdelay); |
| |
| } level_des; |
| |
| 438,7 → 432,7 |
|---|
| +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++*/ |
| |
| typedef struct condition_struct { |
| QUEUE waiters; /*+ queue for tasks waiting on the condition +*/ |
| IQUEUE waiters; /*+ queue for tasks waiting on the condition +*/ |
| mutex_t *used_for_waiting; |
| } cond_t; |
| |