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