/shark/trunk/include/kernel/func.h |
---|
21,11 → 21,11 |
/** |
------------ |
CVS : $Id: func.h,v 1.2 2002-11-11 08:36:01 pj Exp $ |
CVS : $Id: func.h,v 1.3 2003-01-07 17:12:19 pj Exp $ |
File: $File$ |
Revision: $Revision: 1.2 $ |
Last update: $Date: 2002-11-11 08:36:01 $ |
Revision: $Revision: 1.3 $ |
Last update: $Date: 2003-01-07 17:12:19 $ |
------------ |
Kernel functions: |
98,11 → 98,39 |
TIME __kernel_register_levels__(void *arg); |
/*+ This function returns a level_des **. the value returned shall be |
used to register a level module. The function shall be called only at |
module registration time. It assume that the system is not yet |
initialized, so we shall not call sys_abort... +*/ |
LEVEL level_alloc_descriptor(); |
used to register a level module. |
The function is usually called at module registration time. The |
function can also be called when the system is already started, to |
allow the implementation of dynamic module registration. |
The argument must be the size of the data block that have to be allocated |
The function returns the number of the descriptor allocated for the module |
or -1 in case there are no free descriptors. |
The function also reserves a descriptor with size s, initialized |
with default function pointers. |
+*/ |
LEVEL level_alloc_descriptor(size_t s); |
/*+ This function release a level descriptor previously allocated using |
level_alloc_descriptor(). |
The function returns 0 if the level has been freed, or -1 if someone is |
using it, -2 if the level has never been registered. |
+*/ |
int level_free_descriptor(LEVEL l); |
/* Call this if you want to say that your module is using module l |
(e.g., for calling its private functions) */ |
int level_use_descriptor(LEVEL l); |
/* Call this when you no more need the module l */ |
int level_unuse_descriptor(LEVEL l); |
/*+ This function returns a resource_des **. the value returned shall be |
used to register a resource module. The function shall be called only at |
module registration time. It assume that the system is not yet |
128,13 → 156,6 |
(when uses some defines contained in const.h) +*/ |
int sys_atrunlevel(void (*func_code)(void *),void *parm, BYTE when); |
/*+ These functions can be used to set a nice (I hope) default |
signal handler. If not used, they are not linked. |
They returns -1 if an error occurred, as done by the |
sigaction primitive. +*/ |
int set_exchandler_grx(); |
int set_exchandler_text(); |
/*---------------------------------------------------------------------*/ |
/* Kernel global functions: scheduler, */ |
/*---------------------------------------------------------------------*/ |
153,6 → 174,8 |
int guarantee(); |
void levels_init(void); /* see init.c */ |
void runlevel_init(); |
void call_runlevel_func(int runlevel, int aborting); |
234,6 → 257,8 |
return e; |
} |
#define kern_event_delete event_delete |
/*+ the default capacity timer used by the kernel... +*/ |
void capacity_timer(void *arg); |
240,17 → 265,17 |
#define kern_printf message |
extern __inline__ TIME kern_gettime(struct timespec *t) |
{ |
return ll_gettime(TIME_EXACT, t); |
} |
/*---------------------------------------------------------------------*/ |
/* Kernel global functions: IRQ, errors and exception handling */ |
/* Kernel global functions: IRQ handling */ |
/*---------------------------------------------------------------------*/ |
/*+ Generic exception trapping routine +*/ |
void act_exc(int code); |
/* |
* User level interrupt/exception primitives |
*/ |
/*+ Interrupt handler installation +*/ |
int handler_set(int no, void (*fast)(int), PID pi); |
288,18 → 313,6 |
/*+ prints an error message (see perror.c) +*/ |
void perror (const char *s); |
/*+ Convert a status in a string. Useful for sys_status and level_status +*/ |
char *status_to_a(WORD status); |
/*+ this primitive prints the status of the system. cw contains a set of |
the statuses to be prompted... see const.h +*/ |
void sys_status(DWORD cw); |
/*+ sys_status flags +*/ |
#define CLOCK_STATUS 1 |
#define SCHED_STATUS 2 |
#define MEM_STATUS 4 |
/*+ this primitive returns the time read from the system timer +*/ |
TIME sys_gettime(struct timespec *t); |
345,6 → 358,34 |
void jet_update_endcycle(); |
/*---------------------------------------------------------------------*/ |
/* Internal Macros */ |
/*---------------------------------------------------------------------*/ |
extern __inline__ void kern_epilogue_macro(void) |
{ |
TIME tx; /* a dummy used for time computation */ |
struct timespec ty; /* a dummy used for time computation */ |
kern_gettime(&schedule_time); |
/* manage the capacity event */ |
SUBTIMESPEC(&schedule_time, &cap_lasttime, &ty); |
tx = TIMESPEC2USEC(&ty); |
proc_table[exec_shadow].avail_time -= tx; |
jet_update_slice(tx); |
/* if the event didn't fire before, we delete it. */ |
if (cap_timer != NIL) { |
kern_event_delete(cap_timer); |
cap_timer = NIL; |
} |
} |
/* This function is called by the kernel into kern.c to register a default |
exception handler */ |
int set_default_exception_handler(void); |
/*---------------------------------------------------------------------*/ |
/* Task management primitives */ |
/*---------------------------------------------------------------------*/ |
487,16 → 528,18 |
/*+ Enable the preemption mechanism on the task. +*/ |
void task_preempt(void); |
/*+ sends a message to the scheduling module that is handling the task +*/ |
int task_message(void *m, int reschedule); |
/*+ This function signals to the kernel that the current istance of |
the task (periodic or aperiodic) is ended; so the task can be |
suspended until it is activated again. Pending activations may be saved |
depending on the task model +*/ |
void task_endcycle(void); |
extern __inline__ void task_endcycle(void) |
{ |
task_message(NULL, 1); |
} |
/*+ This function suspend the actual task until an explicit activation |
Pending activations are discarded +*/ |
void task_sleep(void); |
/*+ This primitives refers the group id which is supplied |
by the application, not by the kernel +*/ |
int group_activate(WORD g); |
/shark/trunk/include/kernel/model.h |
---|
21,11 → 21,11 |
/** |
------------ |
CVS : $Id: model.h,v 1.1.1.1 2002-03-29 14:12:51 pj Exp $ |
CVS : $Id: model.h,v 1.2 2003-01-07 17:12:19 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: 2003-01-07 17:12:19 $ |
------------ |
This file contains the definitions of the task and resource models. |
55,8 → 55,8 |
#define __KERNEL_MODEL_H__ |
#include "ll/ll.h" |
#include "kernel/types.h" |
/* ----------------------------------------------------------------------- |
----------------------------------------------------------------------- |
----------------------------------------------------------------------- |
165,6 → 165,7 |
typedef struct { |
WORD pclass; |
LEVEL level; |
size_t stacksize; |
void *stackaddr; |
WORD group; |
210,13 → 211,13 |
/* Some macros to set various task-model parameters */ |
#define task_default_model(m,p) (m).pclass = (p), \ |
(m).level = 0; \ |
(m).stacksize = 4096, \ |
(m).stackaddr = NULL, \ |
(m).group = 0, \ |
(m).arg = NULL,\ |
(m).control = 0 |
#define task_def_level(m,l) (m).pclass = ((m).pclass & 0xFF00) | \ |
((l) & 0xFF) |
#define task_def_level(m,l) (m).level = (l) |
#define task_def_arg(m,a) (m).arg = (a) |
#define task_def_stack(m,s) (m).stacksize = (s) |
#define task_def_stackaddr(m,s) (m).stackaddr = (s) |
237,16 → 238,13 |
PCLASS values |
----------------------------------------------------------------------- */ |
/*+ These are the value for the pclass field; |
a level l that accept a task model with pclass p |
accept also the alias pclass (p | l) |
=> the LSByte MUST be 0 (256 levels maximum) +*/ |
/* These are the value for the pclass field */ |
#define DUMMY_PCLASS 0x0000 |
#define HARD_PCLASS 0x0100 |
#define SOFT_PCLASS 0x0200 |
#define NRT_PCLASS 0x0300 |
#define JOB_PCLASS 0x0400 |
#define DUMMY_PCLASS 0 |
#define HARD_PCLASS 1 |
#define SOFT_PCLASS 2 |
#define NRT_PCLASS 3 |
#define JOB_PCLASS 4 |
/* ----------------------------------------------------------------------- |
559,11 → 557,12 |
+*/ |
typedef struct { |
int rclass; // protocollo a cui si riferisce il modello di task |
int rclass; /* protocol */ |
RLEVEL level; /* level */ |
} RES_MODEL; |
#define res_default_model(r, p) (r).rclass = (p) |
#define res_def_level(r,l) (r).rclass = ((r).rclass & 0xFF00) | (l) |
#define res_default_model(r, p) (r).rclass = (p), (r).level = 0 |
#define res_def_level(r,l) (r).level = (l) |
/shark/trunk/include/kernel/descr.h |
---|
21,11 → 21,11 |
/** |
------------ |
CVS : $Id: descr.h,v 1.2 2002-11-11 08:36:01 pj Exp $ |
CVS : $Id: descr.h,v 1.3 2003-01-07 17:12:19 pj Exp $ |
File: $File$ |
Revision: $Revision: 1.2 $ |
Last update: $Date: 2002-11-11 08:36:01 $ |
Revision: $Revision: 1.3 $ |
Last update: $Date: 2003-01-07 17:12:19 $ |
------------ |
Kernel main data structures |
130,8 → 130,6 |
int sigpending; /*+ The signal pending mask +*/ |
int sigwaiting; /*+ The signal waiting mask +*/ |
struct timespec request_time; |
/*+ Last request time for the task +*/ |
int avail_time; /*+ the time the task can execute before a |
timer fire. see also the control field |
and bits related in model.h +*/ |
193,133 → 191,107 |
All the informations that depends on the particular module are put |
in the level module files. |
The initialization of a level is splitted in two parts: |
- the registration -> called before the system initialization, typically |
AFTER the resource registration |
- the level_init -> called during the system initialization, |
BEFORE the resource_init(s) |
Here a small description of the various functions: |
------------------------------------------------------------------- |
- PUBLIC Functions: |
on one side, a module should export an interface to the Generic |
Kernel, giving a set of functions that the Generic Kernel can use |
to ask a service to the module. That is, the Public Functions are |
called ONLY by the Generic Kernel. |
+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++*/ |
- PRIVATE Functions: on the other side, a module can export an |
interface to the public part of the same or of another |
module. That is, Private Functions are called ONLY by Public and |
Private Functions. |
------------------------------------------------------------------- |
typedef struct { |
char level_name[MAX_LEVELNAME]; /*+ for statistical pourposes +*/ |
WORD level_code; /*+ level identification code +*/ |
BYTE level_version; /*+ level version +*/ |
int (*private_insert )(LEVEL l, PID p, TASK_MODEL *m); |
Inserts a task into the internal module data structure. |
void (*private_extract )(LEVEL l, PID p); |
Removes a task from the internal module data structure. |
/* LEVEL CALLS */ |
int (*level_accept_task_model)(LEVEL l, TASK_MODEL *m); |
/*+ models that a task can manage. returns |
0 if the level can manage the model, |
-1 if not +*/ |
int (*private_eligible)(LEVEL l, PID p); |
A task inserted into the internal module data structure needs to be |
scheduled. returns 0 if it can be scheduled, -1 if not. |
int (*level_accept_guest_model)(LEVEL l, TASK_MODEL *m); |
/*+ models that a task can manage as guest |
tasks. returns |
0 if the level can manage the model, |
-1 if not +*/ |
void (*private_dispatch)(LEVEL l, PID p, int nostop); |
A task inserted into the internal module data structure has been dispatched. |
void (*level_status)(LEVEL l);/*+ print level statistics... +*/ |
void (*private_epilogue)(LEVEL l, PID p); |
A task inserted into the internal module data structure has been preempted. |
PID (*level_scheduler)(LEVEL l); |
/*+ the level scheduler returns a task |
chosen among those belonging to the |
level +*/ |
int (*level_guarantee)(LEVEL l, bandwidth_t *freebandwidth); |
/*+ 0 if the level is guaranteed, -1 if not |
no guarantee if (*f)()=null |
the function updates the parameter |
(see guarantee() ) +*/ |
/* TASK CALLS */ |
int (*task_create)(LEVEL l, PID p, TASK_MODEL *m); |
/*+ the task p is created into the level |
returns 0->ok, -1->error +*/ |
void (*task_detach)(LEVEL l, PID p); |
/*+ there is an error in the task_create |
after the task call task_create. |
The function delete all the informations |
about the task in the level. |
For the resources levels there is the |
res_detach: res_detach is called also |
when killing a task +*/ |
int (*task_eligible)(LEVEL l, PID p); |
/*+ correctness control when a task is |
chosen by a level scheduler (used with |
aperiodic servers) 0->ok, -1->no +*/ |
void (*task_dispatch)(LEVEL l, PID p, int nostop); |
/*+ a task go in the EXEC status (called |
by dispatch() ) +*/ |
void (*task_epilogue)(LEVEL l, PID p); |
/*+ a task has finished the current slice+*/ |
PID (*public_scheduler)(LEVEL l); |
returns a task to schedule, or -1 if no tasks are ready |
void (*task_activate)(LEVEL l, PID p); |
/*+ the task is activated... +*/ |
int (*public_guarantee)(LEVEL l, bandwidth_t *freebandwidth); |
returns 0 if the level is guaranteed, -1 if not |
no guarantee if (*f)()=null |
the function updates the parameter freebandwidth (see guarantee() ) |
int (*public_create )(LEVEL l, PID p, TASK_MODEL *m); |
the task p is created into the module |
returns 0->ok, -1->error |
void (*task_insert)(LEVEL l, PID p); |
/*+ opposite to task_extract +*/ |
void (*task_extract)(LEVEL l, PID p); |
/*+ remove the task from the "ready" (if any) |
queue +*/ |
void (*public_detach )(LEVEL l, PID p); |
there is an error in the public_create. The function removes all the |
informations about the task in the module. |
void (*task_endcycle)(LEVEL l, PID p); |
/*+ the (periodic) task finish the cycle +*/ |
void (*task_end)(LEVEL l, PID p); |
/*+ the task is killed; we have to remove |
it from the level queues, test if it |
is in the exec state, etc... it can |
modify the state of the task (-> FREE, |
ZOMBIE...), but |
cannot call the scheduler directly (it |
is called by the task_makefree. |
Note: the task can be in a state |
different from those managed by the |
level because the task may be blocked. |
the res_detach is in any case called |
AFTER the task_end. +*/ |
void (*public_end )(LEVEL l, PID p); |
the task has been killed, or it ended regularly |
void (*task_sleep)(LEVEL l, PID p); |
/*+ this function will fall asleep the |
task in the EXE state. +*/ |
int (*public_eligible )(LEVEL l, PID p); |
A task needs to be scheduled. returns 0 if it can be scheduled, -1 if not. |
void (*public_dispatch )(LEVEL l, PID p, int nostop); |
A task has been dispatched. |
void (*public_epilogue )(LEVEL l, PID p); |
A task has been preempted (or its capacity is exausted). |
/* guest CALLS: |
these functions are called from an Aperiodic Server Level for the task |
that are inserted in the local queues */ |
int (*guest_create)(LEVEL l, PID p, TASK_MODEL *m); |
/*+ the task is already created in another |
level and it is inserted in the current |
level; returns 0->ok, -1->error +*/ |
void (*guest_detach)(LEVEL l, PID p); |
/*+ there is an error in a task creation |
of a task made by an aperiodic server |
The function delete all the informations |
about the task in the level. +*/ |
void (*guest_dispatch)(LEVEL l, PID p, int nostop); |
/*+ a task belonging to another level but |
inserted in the current level go in the |
EXEC status (called by dispatch() ) +*/ |
void (*guest_epilogue)(LEVEL l, PID p); |
/*+ a task has finished the current slice+*/ |
void (*public_activate )(LEVEL l, PID p); |
A task has been activated. |
void (*guest_activate)(LEVEL l, PID p); |
/*+ the task is activated... +*/ |
void (*public_unblock )(LEVEL l, PID p); |
void (*public_block )(LEVEL l, PID p); |
A task has been unblocked/blocked on a synchronization point |
(e.g. a semaphore, a mailbox, a nanosleep). |
void (*guest_insert)(LEVEL l, PID p); |
/*+ remove the task from the "ready" (if any) |
queue +*/ |
void (*guest_extract)(LEVEL l, PID p); |
/*+ opposite to guest_insert +*/ |
int (*public_message )(LEVEL l, PID p, void *m); |
A task sent a message m to the module. |
If the message has value NULL the |
behavior should be the task_endcycle primitive behavior. |
void (*guest_endcycle)(LEVEL l, PID p); |
/*+ the task finish the cycle +*/ |
void (*guest_end)(LEVEL l, PID p); |
/*+ the task is killed +*/ |
The function returns an integer to the user. |
void (*guest_sleep)(LEVEL l, PID p); |
If you want to avoid the call to public_epilogue, after public_message, |
just write exec = exec_shadow = -1; in your public_message code. |
+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++*/ |
typedef struct { |
void (*private_insert )(LEVEL l, PID p, TASK_MODEL *m); |
void (*private_extract )(LEVEL l, PID p); |
int (*private_eligible)(LEVEL l, PID p); |
void (*private_dispatch)(LEVEL l, PID p, int nostop); |
void (*private_epilogue)(LEVEL l, PID p); |
PID (*public_scheduler)(LEVEL l); |
int (*public_guarantee)(LEVEL l, bandwidth_t *freebandwidth); |
int (*public_create )(LEVEL l, PID p, TASK_MODEL *m); |
void (*public_detach )(LEVEL l, PID p); |
void (*public_end )(LEVEL l, PID p); |
int (*public_eligible )(LEVEL l, PID p); |
void (*public_dispatch )(LEVEL l, PID p, int nostop); |
void (*public_epilogue )(LEVEL l, PID p); |
void (*public_activate )(LEVEL l, PID p); |
void (*public_unblock )(LEVEL l, PID p); |
void (*public_block )(LEVEL l, PID p); |
int (*public_message )(LEVEL l, PID p, void *m); |
} level_des; |
344,27 → 316,18 |
+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++*/ |
typedef struct { |
char res_name[MAX_MODULENAME];/*+ for statistical pourposes +*/ |
WORD res_code; /*+ resource module identification code +*/ |
BYTE res_version; /*+ resource module version +*/ |
int rtype; /*+ resource module extented interface |
code (see model.h) +*/ |
void (*resource_status)(); /*+ print resource protocol statistics...+*/ |
int (*res_register)(RLEVEL l, PID p, RES_MODEL *r); |
/*+ When the system knows that a |
resource model can be registered |
by a level, it calls this |
function. It registers all the |
information about the task and the |
model. returns 0 if the model |
can be handled, -1 otherwise+*/ |
int (*level_accept_resource_model)(RLEVEL l, RES_MODEL *r); |
/*+ this function is called when the process |
is created. it returns 0 if the RES_MODEL |
can be managed by the level,-1 if not+*/ |
void (*res_register)(RLEVEL l, PID p, RES_MODEL *r); |
/*+ When the system knows that a resource |
model can be registered by a level, |
it calls this function. It registers all |
the information about the task and the |
model. +*/ |
void (*res_detach)(RLEVEL l, PID p); |
/*+ this function is called when the task |
is killed or some error is occurred |
411,13 → 374,10 |
typedef struct { |
resource_des r; |
int (*level_accept_mutexattr)(RLEVEL l, const mutexattr_t *a); |
/*+ this function is called when a mutex |
is created. it returns 0 if the |
mutexattr_t |
can be managed by the level,-1 if not+*/ |
int (*init) (RLEVEL l, mutex_t *m, const mutexattr_t *a); |
/*+ this function is called when a mutex is created. it returns |
>=0 if the mutexattr_t can be managed by the level (=0 Ok, an |
error otherwise), -1 otherwise +*/ |
int (*destroy)(RLEVEL l, mutex_t *m); |
int (*lock) (RLEVEL l, mutex_t *m); |
int (*trylock)(RLEVEL l, mutex_t *m); |
/shark/trunk/include/kernel/const.h |
---|
16,11 → 16,11 |
/** |
------------ |
CVS : $Id: const.h,v 1.1.1.1 2002-03-29 14:12:51 pj Exp $ |
CVS : $Id: const.h,v 1.2 2003-01-07 17:12:19 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: 2003-01-07 17:12:19 $ |
------------ |
System constants: |
156,17 → 156,13 |
/*+ sys_atrunlevel status bit values: used to signal that the function |
has to be called +*/ |
#define RUNLEVEL_STARTUP 0 /*+ startup in real mode +*/ |
#define RUNLEVEL_INIT 1 /*+ init time +*/ |
#define RUNLEVEL_SHUTDOWN 2 /*+ shutting down the system +*/ |
#define RUNLEVEL_BEFORE_EXIT 3 /*+ before the kernel has been terminated +*/ |
#define RUNLEVEL_AFTER_EXIT 4 /*+ after the kernel has been terminated +*/ |
#define RUNLEVEL_RUNNING 2 /*+ system is running!!! +*/ |
#define RUNLEVEL_SHUTDOWN 3 /*+ shutting down the system +*/ |
#define RUNLEVEL_BEFORE_EXIT 4 /*+ before the kernel has been terminated +*/ |
#define RUNLEVEL_AFTER_EXIT 5 /*+ after the kernel has been terminated +*/ |
#define NO_AT_ABORT 8 /*+ only when sys_end is called +*/ |
/* |
#define EXC_CLEAR 0 |
#define EXC_INSTALLED 1 |
#define EXC_ACTIVE 2 |
#define EXC_MASKED 4 |
*/ |
#endif /* __CONST_H__ */ |
/shark/trunk/include/kernel/var.h |
---|
21,11 → 21,11 |
/** |
------------ |
CVS : $Id: var.h,v 1.2 2002-11-11 08:36:01 pj Exp $ |
CVS : $Id: var.h,v 1.3 2003-01-07 17:12:19 pj Exp $ |
File: $File$ |
Revision: $Revision: 1.2 $ |
Last update: $Date: 2002-11-11 08:36:01 $ |
Revision: $Revision: 1.3 $ |
Last update: $Date: 2003-01-07 17:12:19 $ |
------------ |
Kernel global variables |
63,7 → 63,17 |
/*---------------------------------------------------------------------*/ |
extern proc_des proc_table[]; /*+ Process descriptor table +*/ |
extern level_des *level_table[]; /*+ Level descriptor table +*/ |
/* for a description of the following fields, look in kernel/kern.c */ |
extern size_t level_size[]; |
extern int level_used[]; |
extern int level_first; |
extern int level_last; |
extern int level_free; |
extern int level_next[]; |
extern int level_prev[]; |
extern resource_des *resource_table[]; /*+ Resource descriptor table +*/ |
84,7 → 94,6 |
event is posted. Normally, it is |
equal to schedule_time +*/ |
extern DWORD sched_levels; /*+ Schedule levels active in the system +*/ |
extern DWORD res_levels; /*+ Resource levels active in the system +*/ |
extern int task_counter; /*+ Application task counter. It represent |
/shark/trunk/include/modules/codes.h |
---|
File deleted |
/shark/trunk/include/modules/dummy.h |
---|
21,11 → 21,11 |
/** |
------------ |
CVS : $Id: dummy.h,v 1.1.1.1 2002-03-29 14:12:51 pj Exp $ |
CVS : $Id: dummy.h,v 1.2 2003-01-07 17:12:20 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: 2003-01-07 17:12:20 $ |
------------ |
This file contains the scheduling module RR (Round Robin) |
78,6 → 78,8 |
#ifndef __DUMMY_H__ |
#define __DUMMY_H__ |
#include <kernel/types.h> |
/*+ |
On upper Intel CPUs it is possible to avoid CPU power consumption |
when the system is idle issuing the hlt instruction. |
86,7 → 88,10 |
+*/ |
#define __HLT_WORKS__ |
/*+ Registration function +*/ |
void dummy_register_level(); |
/*+ Registration function |
returns the level number at which the module has been registered. |
+*/ |
LEVEL dummy_register_level(); |
#endif |
/shark/trunk/include/modules/nop.h |
---|
21,11 → 21,11 |
/** |
------------ |
CVS : $Id: nop.h,v 1.1.1.1 2002-03-29 14:12:51 pj Exp $ |
CVS : $Id: nop.h,v 1.2 2003-01-07 17:12:20 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: 2003-01-07 17:12:20 $ |
------------ |
This file contains the No Protocol (NOP) implementation of mutexes |
79,6 → 79,8 |
#ifndef __NOP_H__ |
#define __NOP_H__ |
void NOP_register_module(void); |
#include <kernel/types.h> |
RLEVEL NOP_register_module(void); |
#endif |
/shark/trunk/include/modules/edf.h |
---|
21,11 → 21,11 |
/** |
------------ |
CVS : $Id: edf.h,v 1.1.1.1 2002-03-29 14:12:51 pj Exp $ |
CVS : $Id: edf.h,v 1.2 2003-01-07 17:12:20 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: 2003-01-07 17:12:20 $ |
------------ |
This file contains the scheduling module EDF (Earliest Deadline First) |
123,7 → 123,6 |
#include <kernel/config.h> |
#include <sys/types.h> |
#include <kernel/types.h> |
#include <modules/codes.h> |
/*+ flags... +*/ |
137,9 → 136,12 |
/*+ Registration function: |
int flag Options to be used in this level instance... +*/ |
void EDF_register_level(int flag); |
int flag Options to be used in this level instance... |
returns the level number at which the module has been registered. |
+*/ |
LEVEL EDF_register_level(int flag); |
/*+ Returns the used bandwidth of a level +*/ |
bandwidth_t EDF_usedbandwidth(LEVEL l); |
/shark/trunk/include/modules/posix.h |
---|
21,11 → 21,11 |
/** |
------------ |
CVS : $Id: posix.h,v 1.1.1.1 2002-03-29 14:12:51 pj Exp $ |
CVS : $Id: posix.h,v 1.2 2003-01-07 17:12:20 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: 2003-01-07 17:12:20 $ |
------------ |
This file contains the scheduling module compatible with POSIX |
96,7 → 96,6 |
#include <kernel/config.h> |
#include <sys/types.h> |
#include <kernel/types.h> |
#include <modules/codes.h> |
extern TASK __init__(void *arg); |
112,8 → 111,11 |
/*+ Registration function: |
TIME slice the slice for the Round Robin queue |
int createmain 1 if the level creates the main task 0 otherwise |
struct multiboot_info *mb used if createmain specified +*/ |
void POSIX_register_level(TIME slice, |
struct multiboot_info *mb used if createmain specified |
returns the level number at which the module has been registered. |
+*/ |
LEVEL POSIX_register_level(TIME slice, |
int createmain, |
struct multiboot_info *mb, |
int prioritylevels); |
/shark/trunk/include/modules/pc.h |
---|
21,11 → 21,11 |
/** |
------------ |
CVS : $Id: pc.h,v 1.1.1.1 2002-03-29 14:12:51 pj Exp $ |
CVS : $Id: pc.h,v 1.2 2003-01-07 17:12:20 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: 2003-01-07 17:12:20 $ |
------------ |
This file contains the Priority Ceiling (PC) Protocol |
93,7 → 93,7 |
#include <kernel/types.h> |
#include <kernel/descr.h> |
void PC_register_module(void); |
RLEVEL PC_register_module(void); |
/*+ This function gets the ceiling of a PC mutex, and it have to be called |
only by a task that owns the mutex. |
/shark/trunk/include/modules/bd_edf.h |
---|
38,11 → 38,11 |
*/ |
/* |
* CVS : $Id: bd_edf.h,v 1.1.1.1 2002-03-29 14:12:51 pj Exp $ |
* CVS : $Id: bd_edf.h,v 1.2 2003-01-07 17:12:19 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: 2003-01-07 17:12:19 $ |
*/ |
#ifndef __BD_EDF_H__ |
51,7 → 51,7 |
#include <kernel/types.h> |
#include <kernel/descr.h> |
void BD_EDF_register_module(void); |
RLEVEL BD_EDF_register_module(void); |
TIME bd_edf_getdl(void); |
/shark/trunk/include/modules/srp.h |
---|
21,11 → 21,11 |
/** |
------------ |
CVS : $Id: srp.h,v 1.1.1.1 2002-03-29 14:12:51 pj Exp $ |
CVS : $Id: srp.h,v 1.2 2003-01-07 17:12:20 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: 2003-01-07 17:12:20 $ |
------------ |
This file contains the Stack Resource Policy (SRP) Protocol |
108,7 → 108,7 |
#include <kernel/model.h> |
#include <kernel/descr.h> |
void SRP_register_module(void); |
RLEVEL SRP_register_module(void); |
extern __inline__ RES_MODEL *SRP_usemutex(mutex_t *m) { |
return (RES_MODEL *)m->opt; |
/shark/trunk/include/modules/rr2.h |
---|
21,11 → 21,11 |
/** |
------------ |
CVS : $Id: rr2.h,v 1.1.1.1 2002-03-29 14:12:51 pj Exp $ |
CVS : $Id: rr2.h,v 1.2 2003-01-07 17:12:20 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: 2003-01-07 17:12:20 $ |
------------ |
This file contains the scheduling module RR (Round Robin) |
94,7 → 94,6 |
#include <kernel/config.h> |
#include <sys/types.h> |
#include <kernel/types.h> |
#include <modules/codes.h> |
extern TASK __init__(void *arg); |
110,8 → 109,11 |
/*+ Registration function: |
TIME slice the slice for the Round Robin queue |
int createmain 1 if the level creates the main task 0 otherwise |
struct multiboot_info *mb used if createmain specified +*/ |
void RR2_register_level(TIME slice, |
struct multiboot_info *b used if createmain specified |
returns the level number at which the module has been registered. |
+*/ |
LEVEL RR2_register_level(TIME slice, |
int createmain, |
struct multiboot_info *mb); |
/shark/trunk/include/modules/ds.h |
---|
21,11 → 21,11 |
/** |
------------ |
CVS : $Id: ds.h,v 1.1.1.1 2002-03-29 14:12:51 pj Exp $ |
CVS : $Id: ds.h,v 1.2 2003-01-07 17:12:19 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: 2003-01-07 17:12:19 $ |
------------ |
This file contains the aperiodic server DS (Polling Server) |
92,7 → 92,6 |
#include <kernel/config.h> |
#include <sys/types.h> |
#include <kernel/types.h> |
#include <modules/codes.h> |
/*+ 1 - ln(2) +*/ |
#ifndef RM_MINFREEBANDWIDTH |
119,9 → 118,12 |
int flags Options to be used in this level instance... |
LEVEL master the level that must be used as master level for the |
TBS tasks |
int num,den used to compute the TBS bandwidth +*/ |
void DS_register_level(int flags, LEVEL master, int Cs, int per); |
int num,den used to compute the TBS bandwidth |
returns the level number at which the module has been registered. |
+*/ |
LEVEL DS_register_level(int flags, LEVEL master, int Cs, int per); |
/*+ Returns the used bandwidth of a level +*/ |
bandwidth_t DS_usedbandwidth(LEVEL l); |
/shark/trunk/include/modules/cbs.h |
---|
21,11 → 21,11 |
/** |
------------ |
CVS : $Id: cbs.h,v 1.1.1.1 2002-03-29 14:12:51 pj Exp $ |
CVS : $Id: cbs.h,v 1.2 2003-01-07 17:12:19 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: 2003-01-07 17:12:19 $ |
------------ |
This file contains the aperiodic server CBS (Total Bandwidth Server) |
103,7 → 103,6 |
#include <kernel/config.h> |
#include <sys/types.h> |
#include <kernel/types.h> |
#include <modules/codes.h> |
/*+ flags... +*/ |
#define CBS_DISABLE_ALL 0 /*+ Task Guarantee enabled +*/ |
117,8 → 116,10 |
int flags Options to be used in this level instance... |
LEVEL master the level that must be used as master level for the |
CBS tasks |
returns the level number at which the module has been registered. |
+*/ |
void CBS_register_level(int flags, LEVEL master); |
LEVEL CBS_register_level(int flags, LEVEL master); |
/*+ Returns the used bandwidth of a level +*/ |
bandwidth_t CBS_usedbandwidth(LEVEL l); |
/shark/trunk/include/modules/pi.h |
---|
21,11 → 21,11 |
/** |
------------ |
CVS : $Id: pi.h,v 1.1.1.1 2002-03-29 14:12:51 pj Exp $ |
CVS : $Id: pi.h,v 1.2 2003-01-07 17:12:20 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: 2003-01-07 17:12:20 $ |
------------ |
This file contains the Priority Inheritance (PI) Protocol |
89,6 → 89,8 |
#ifndef __PI_H__ |
#define __PI_H__ |
void PI_register_module(void); |
#include <kernel/types.h> |
RLEVEL PI_register_module(void); |
#endif |
/shark/trunk/include/modules/bd_pscan.h |
---|
39,11 → 39,11 |
*/ |
/* |
* CVS : $Id: bd_pscan.h,v 1.1.1.1 2002-03-29 14:12:51 pj Exp $ |
* CVS : $Id: bd_pscan.h,v 1.2 2003-01-07 17:12:19 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: 2003-01-07 17:12:19 $ |
*/ |
#ifndef __BD_PSCAN_H__ |
52,7 → 52,7 |
#include <kernel/types.h> |
#include <kernel/descr.h> |
void BD_PSCAN_register_module(void); |
RLEVEL BD_PSCAN_register_module(void); |
int bd_pscan_getpriority(void); |
/shark/trunk/include/modules/rm.h |
---|
21,11 → 21,11 |
/** |
------------ |
CVS : $Id: rm.h,v 1.1.1.1 2002-03-29 14:12:51 pj Exp $ |
CVS : $Id: rm.h,v 1.2 2003-01-07 17:12:20 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: 2003-01-07 17:12:20 $ |
------------ |
This file contains the scheduling module RM (Rate Monotonic) |
122,7 → 122,6 |
#include <kernel/config.h> |
#include <sys/types.h> |
#include <kernel/types.h> |
#include <modules/codes.h> |
/*+ 1 - ln(2) +*/ |
143,9 → 142,12 |
/*+ Registration function: |
int flag Options to be used in this level instance... +*/ |
void RM_register_level(int flag); |
int flag Options to be used in this level instance... |
returns the level number at which the module has been registered. |
+*/ |
LEVEL RM_register_level(int flag); |
/*+ Returns the used bandwidth of a level +*/ |
bandwidth_t RM_usedbandwidth(LEVEL l); |
/shark/trunk/include/modules/rrsoft.h |
---|
21,11 → 21,11 |
/** |
------------ |
CVS : $Id: rrsoft.h,v 1.1.1.1 2002-03-29 14:12:51 pj Exp $ |
CVS : $Id: rrsoft.h,v 1.2 2003-01-07 17:12:20 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: 2003-01-07 17:12:20 $ |
------------ |
This file contains the scheduling module RRSOFT (Round Robin for |
103,7 → 103,6 |
#include <kernel/config.h> |
#include <sys/types.h> |
#include <kernel/types.h> |
#include <modules/codes.h> |
extern TASK __init__(void *arg); |
124,8 → 123,12 |
/*+ Registration function: |
TIME slice the slice for the Round Robin queue |
int createmain 1 if the level creates the main task 0 otherwise |
struct multiboot_info *mb used if createmain specified +*/ |
void RRSOFT_register_level(TIME slice, |
struct multiboot_info *mb used if createmain specified |
returns the level number at which the module has been registered. |
+*/ |
LEVEL RRSOFT_register_level(TIME slice, |
int createmain, |
struct multiboot_info *mb, |
BYTE models); |
/shark/trunk/include/modules/ps.h |
---|
21,11 → 21,11 |
/** |
------------ |
CVS : $Id: ps.h,v 1.1.1.1 2002-03-29 14:12:51 pj Exp $ |
CVS : $Id: ps.h,v 1.2 2003-01-07 17:12:20 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: 2003-01-07 17:12:20 $ |
------------ |
This file contains the aperiodic server PS (Polling Server) |
93,7 → 93,6 |
#include <kernel/config.h> |
#include <sys/types.h> |
#include <kernel/types.h> |
#include <modules/codes.h> |
/*+ 1 - ln(2) +*/ |
#ifndef RM_MINFREEBANDWIDTH |
120,9 → 119,12 |
int flags Options to be used in this level instance... |
LEVEL master the level that must be used as master level for the |
TBS tasks |
int num,den used to compute the TBS bandwidth +*/ |
void PS_register_level(int flags, LEVEL master, int Cs, int per); |
int num,den used to compute the TBS bandwidth |
returns the level number at which the module has been registered. |
+*/ |
LEVEL PS_register_level(int flags, LEVEL master, int Cs, int per); |
/*+ Returns the used bandwidth of a level +*/ |
bandwidth_t PS_usedbandwidth(LEVEL l); |
/shark/trunk/include/modules/rr.h |
---|
21,11 → 21,11 |
/** |
------------ |
CVS : $Id: rr.h,v 1.1.1.1 2002-03-29 14:12:51 pj Exp $ |
CVS : $Id: rr.h,v 1.2 2003-01-07 17:12:20 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: 2003-01-07 17:12:20 $ |
------------ |
This file contains the scheduling module RR (Round Robin) |
95,7 → 95,6 |
#include <kernel/config.h> |
#include <sys/types.h> |
#include <kernel/types.h> |
#include <modules/codes.h> |
extern TASK __init__(void *arg); |
111,8 → 110,11 |
/*+ Registration function: |
TIME slice the slice for the Round Robin queue |
int createmain 1 if the level creates the main task 0 otherwise |
struct multiboot_info *mb used if createmain specified +*/ |
void RR_register_level(TIME slice, |
struct multiboot_info *mb used if createmain specified |
returns the level number at which the module has been registered. |
+*/ |
LEVEL RR_register_level(TIME slice, |
int createmain, |
struct multiboot_info *mb); |
/shark/trunk/include/modules/ss.h |
---|
21,11 → 21,11 |
/** |
------------ |
CVS : $Id: ss.h,v 1.1.1.1 2002-03-29 14:12:51 pj Exp $ |
CVS : $Id: ss.h,v 1.2 2003-01-07 17:12:20 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: 2003-01-07 17:12:20 $ |
------------ |
This file contains the aperiodic server SS (Sporadic Server) |
103,7 → 103,6 |
#include <kernel/config.h> |
#include <kernel/types.h> |
#include <sys/types.h> |
#include <modules/codes.h> |
/*+ 1 - ln(2) +*/ |
#ifndef RM_MINFREEBANDWIDTH |
151,9 → 150,12 |
int flags Options to be used in this level instance... |
LEVEL master The level that must be used as master level |
int Cs Server capacity |
int per Server period +*/ |
void SS_register_level(int flags, LEVEL master, int Cs, int per); |
int per Server period |
returns the level number at which the module has been registered. |
+*/ |
LEVEL SS_register_level(int flags, LEVEL master, int Cs, int per); |
/*+ Returns the used bandwidth of a level +*/ |
bandwidth_t SS_usedbandwidth(LEVEL l); |
/shark/trunk/include/modules/tbs.h |
---|
21,11 → 21,11 |
/** |
------------ |
CVS : $Id: tbs.h,v 1.1.1.1 2002-03-29 14:12:51 pj Exp $ |
CVS : $Id: tbs.h,v 1.2 2003-01-07 17:12:20 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: 2003-01-07 17:12:20 $ |
------------ |
This file contains the aperiodic server TBS (Total Bandwidth Server) |
126,7 → 126,6 |
#include <kernel/config.h> |
#include <sys/types.h> |
#include <kernel/types.h> |
#include <modules/codes.h> |
/*+ flags... +*/ |
#define TBS_DISABLE_ALL 0 |
/shark/trunk/include/bits/errno.h |
---|
20,11 → 20,11 |
/** |
------------ |
CVS : $Id: errno.h,v 1.2 2002-10-28 07:53:00 pj Exp $ |
CVS : $Id: errno.h,v 1.3 2003-01-07 17:12:19 pj Exp $ |
File: $File$ |
Revision: $Revision: 1.2 $ |
Last update: $Date: 2002-10-28 07:53:00 $ |
Revision: $Revision: 1.3 $ |
Last update: $Date: 2003-01-07 17:12:19 $ |
------------ |
- error codes used as values for errno |
104,11 → 104,11 |
#define LAST_EXC_NUMBER 19 |
#define XDOUBLE_EXCEPTION 1 /* in act_exc */ |
// NOW UNUSED: XDOUBLE_EXCEPTION 1 |
#define XINVALID_KILL_SHADOW 2 /* task_makefree */ |
#define XNOMORE_CLEANUPS 3 /* task_cleanup_push */ |
#define XINVALID_TASK 4 /* invalid operation for a task */ |
#define XINVALID_GUEST 5 /* invalid operation for a guest task */ |
// NOW UNUSED: XINVALID_GUEST 5 /* invalid operation for a guest task */ |
#define XNOMORE_EVENTS 6 /* too many events posted... */ |
#define XDEADLINE_MISS 7 /* PERIODIC_PCLASS, SPORADIC_PCLASS */ |
149,7 → 149,7 |
#define ETOOMUCH_EXITFUNC (5 + LAST_STDERRNO) /* sys_atexit */ |
#define ENO_AVAIL_TASK (6 + LAST_STDERRNO) /* task_create */ |
#define ENO_AVAIL_SCHEDLEVEL (7 + LAST_STDERRNO) /* task_create */ |
#define ETASK_CREATE (8 + LAST_STDERRNO) /* task_create */ |
/* NOW UNUSED: ETASK_CREATE (8 + LAST_STDERRNO) task_create */ |
#define ENO_AVAIL_RESLEVEL (9 + LAST_STDERRNO) /* task_create */ |
#define ENO_GUARANTEE (10 + LAST_STDERRNO) /* task_create */ |
#define ENO_AVAIL_STACK_MEM (11 + LAST_STDERRNO) /* task_create */ |