| /shark/tags/rel_0_5/include/modules/codes.h |
|---|
| File deleted |
| /shark/tags/rel_0_5/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.3 2003-03-13 13:39:04 pj Exp $ |
| File: $File$ |
| Revision: $Revision: 1.1.1.1 $ |
| Last update: $Date: 2002-03-29 14:12:51 $ |
| Revision: $Revision: 1.3 $ |
| Last update: $Date: 2003-03-13 13:39:04 $ |
| ------------ |
| This file contains the scheduling module RR (Round Robin) |
| 78,6 → 78,11 |
| #ifndef __DUMMY_H__ |
| #define __DUMMY_H__ |
| #include <kernel/types.h> |
| #include "ll/sys/cdefs.h" |
| __BEGIN_DECLS |
| /*+ |
| On upper Intel CPUs it is possible to avoid CPU power consumption |
| when the system is idle issuing the hlt instruction. |
| 86,7 → 91,11 |
| +*/ |
| #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(); |
| __END_DECLS |
| #endif |
| /shark/tags/rel_0_5/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.3 2003-03-13 13:39:04 pj Exp $ |
| File: $File$ |
| Revision: $Revision: 1.1.1.1 $ |
| Last update: $Date: 2002-03-29 14:12:51 $ |
| Revision: $Revision: 1.3 $ |
| Last update: $Date: 2003-03-13 13:39:04 $ |
| ------------ |
| This file contains the No Protocol (NOP) implementation of mutexes |
| 79,6 → 79,12 |
| #ifndef __NOP_H__ |
| #define __NOP_H__ |
| void NOP_register_module(void); |
| #include <kernel/types.h> |
| #include "ll/sys/cdefs.h" |
| __BEGIN_DECLS |
| RLEVEL NOP_register_module(void); |
| __END_DECLS |
| #endif |
| /shark/tags/rel_0_5/include/modules/npp.h |
|---|
| 21,11 → 21,11 |
| /** |
| ------------ |
| CVS : $Id: npp.h,v 1.1.1.1 2002-03-29 14:12:51 pj Exp $ |
| CVS : $Id: npp.h,v 1.2 2003-03-13 13:39:04 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-03-13 13:39:04 $ |
| ------------ |
| This file contains the Non Preemptive Protocol (NPP) |
| 88,6 → 88,11 |
| #ifndef __NPP_H__ |
| #define __NPP_H__ |
| #include "ll/sys/cdefs.h" |
| __BEGIN_DECLS |
| void NPP_register_module(void); |
| __END_DECLS |
| #endif |
| /shark/tags/rel_0_5/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.3 2003-03-13 13:39:04 pj Exp $ |
| File: $File$ |
| Revision: $Revision: 1.1.1.1 $ |
| Last update: $Date: 2002-03-29 14:12:51 $ |
| Revision: $Revision: 1.3 $ |
| Last update: $Date: 2003-03-13 13:39:04 $ |
| ------------ |
| This file contains the scheduling module EDF (Earliest Deadline First) |
| 123,9 → 123,11 |
| #include <kernel/config.h> |
| #include <sys/types.h> |
| #include <kernel/types.h> |
| #include <modules/codes.h> |
| #include "ll/sys/cdefs.h" |
| __BEGIN_DECLS |
| /*+ flags... +*/ |
| #define EDF_DISABLE_ALL 0 |
| #define EDF_ENABLE_WCET_CHECK 1 /*+ Wcet check enabled +*/ |
| 137,10 → 139,14 |
| /*+ 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); |
| __END_DECLS |
| #endif |
| /shark/tags/rel_0_5/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.3 2003-03-13 13:39:04 pj Exp $ |
| File: $File$ |
| Revision: $Revision: 1.1.1.1 $ |
| Last update: $Date: 2002-03-29 14:12:51 $ |
| Revision: $Revision: 1.3 $ |
| Last update: $Date: 2003-03-13 13:39:04 $ |
| ------------ |
| This file contains the scheduling module compatible with POSIX |
| 96,8 → 96,10 |
| #include <kernel/config.h> |
| #include <sys/types.h> |
| #include <kernel/types.h> |
| #include <modules/codes.h> |
| #include "ll/sys/cdefs.h" |
| __BEGIN_DECLS |
| extern TASK __init__(void *arg); |
| 112,8 → 114,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); |
| 140,6 → 145,7 |
| /*+ this functions sets paramaters of a task +*/ |
| int POSIX_setschedparam(LEVEL l, PID p, int policy, int priority); |
| __END_DECLS |
| #endif |
| /* |
| /shark/tags/rel_0_5/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.3 2003-03-13 13:39:04 pj Exp $ |
| File: $File$ |
| Revision: $Revision: 1.1.1.1 $ |
| Last update: $Date: 2002-03-29 14:12:51 $ |
| Revision: $Revision: 1.3 $ |
| Last update: $Date: 2003-03-13 13:39:04 $ |
| ------------ |
| This file contains the Priority Ceiling (PC) Protocol |
| 92,9 → 92,12 |
| #include <kernel/types.h> |
| #include <kernel/descr.h> |
| #include "ll/sys/cdefs.h" |
| void PC_register_module(void); |
| __BEGIN_DECLS |
| 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. |
| Returns -1 if the mutex is not a PC mutex, 0 otherwise +*/ |
| 108,4 → 111,5 |
| /*+ This function sets the ceiling of a task +*/ |
| void PC_set_task_ceiling(RLEVEL r, PID p, DWORD priority); |
| __END_DECLS |
| #endif |
| /shark/tags/rel_0_5/include/modules/hartport.h |
|---|
| 21,11 → 21,11 |
| /** |
| ------------ |
| CVS : $Id: hartport.h,v 1.1.1.1 2002-03-29 14:12:51 pj Exp $ |
| CVS : $Id: hartport.h,v 1.2 2003-03-13 13:39:04 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-03-13 13:39:04 $ |
| ------------ |
| This file contains the Hartik 3.3.0's port primitives |
| 77,6 → 77,10 |
| #include <modules/sem.h> |
| #include <ll/ll.h> |
| #include "ll/sys/cdefs.h" |
| __BEGIN_DECLS |
| /* $HEADER- */ |
| //#ifndef __HW_DEP_H__ |
| //#include "hw_dep.h" |
| 117,5 → 121,6 |
| WORD port_send(PORT p,void *m,BYTE wait); |
| WORD port_receive(PORT p,void *m,BYTE wait); |
| __END_DECLS |
| #endif /* __PORT_H__ */ |
| /shark/tags/rel_0_5/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.3 2003-03-13 13:39:04 pj Exp $ |
| * |
| * File: $File$ |
| * Revision: $Revision: 1.1.1.1 $ |
| * Last update: $Date: 2002-03-29 14:12:51 $ |
| * Revision: $Revision: 1.3 $ |
| * Last update: $Date: 2003-03-13 13:39:04 $ |
| */ |
| #ifndef __BD_EDF_H__ |
| 50,9 → 50,14 |
| #include <kernel/types.h> |
| #include <kernel/descr.h> |
| #include "ll/sys/cdefs.h" |
| void BD_EDF_register_module(void); |
| __BEGIN_DECLS |
| RLEVEL BD_EDF_register_module(void); |
| TIME bd_edf_getdl(void); |
| __END_DECLS |
| #endif |
| /shark/tags/rel_0_5/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.3 2003-03-13 13:39:05 pj Exp $ |
| File: $File$ |
| Revision: $Revision: 1.1.1.1 $ |
| Last update: $Date: 2002-03-29 14:12:51 $ |
| Revision: $Revision: 1.3 $ |
| Last update: $Date: 2003-03-13 13:39:05 $ |
| ------------ |
| This file contains the Stack Resource Policy (SRP) Protocol |
| 107,11 → 107,15 |
| #include <kernel/model.h> |
| #include <kernel/descr.h> |
| #include "ll/sys/cdefs.h" |
| void SRP_register_module(void); |
| __BEGIN_DECLS |
| RLEVEL SRP_register_module(void); |
| extern __inline__ RES_MODEL *SRP_usemutex(mutex_t *m) { |
| return (RES_MODEL *)m->opt; |
| }; |
| __END_DECLS |
| #endif |
| /shark/tags/rel_0_5/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.3 2003-03-13 13:39:05 pj Exp $ |
| File: $File$ |
| Revision: $Revision: 1.1.1.1 $ |
| Last update: $Date: 2002-03-29 14:12:51 $ |
| Revision: $Revision: 1.3 $ |
| Last update: $Date: 2003-03-13 13:39:05 $ |
| ------------ |
| This file contains the scheduling module RR (Round Robin) |
| 94,8 → 94,10 |
| #include <kernel/config.h> |
| #include <sys/types.h> |
| #include <kernel/types.h> |
| #include <modules/codes.h> |
| #include "ll/sys/cdefs.h" |
| __BEGIN_DECLS |
| extern TASK __init__(void *arg); |
| 110,9 → 112,13 |
| /*+ 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); |
| __END_DECLS |
| #endif |
| /shark/tags/rel_0_5/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.3 2003-03-13 13:39:04 pj Exp $ |
| File: $File$ |
| Revision: $Revision: 1.1.1.1 $ |
| Last update: $Date: 2002-03-29 14:12:51 $ |
| Revision: $Revision: 1.3 $ |
| Last update: $Date: 2003-03-13 13:39:04 $ |
| ------------ |
| This file contains the aperiodic server DS (Polling Server) |
| 92,8 → 92,10 |
| #include <kernel/config.h> |
| #include <sys/types.h> |
| #include <kernel/types.h> |
| #include <modules/codes.h> |
| #include "ll/sys/cdefs.h" |
| __BEGIN_DECLS |
| /*+ 1 - ln(2) +*/ |
| #ifndef RM_MINFREEBANDWIDTH |
| #define RM_MINFREEBANDWIDTH 1317922825 |
| 119,10 → 121,14 |
| 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); |
| __END_DECLS |
| #endif |
| /shark/tags/rel_0_5/include/modules/ssutils.h |
|---|
| 21,11 → 21,11 |
| /** |
| ------------ |
| CVS : $Id: ssutils.h,v 1.1.1.1 2002-03-29 14:12:51 pj Exp $ |
| CVS : $Id: ssutils.h,v 1.2 2003-03-13 13:39:05 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-03-13 13:39:05 $ |
| ------------ |
| This file contains utility functions used into |
| 62,7 → 62,10 |
| #include <kernel/config.h> |
| #include <sys/types.h> |
| #include <kernel/types.h> |
| #include "ll/sys/cdefs.h" |
| __BEGIN_DECLS |
| /* Max size of replenish queue */ |
| #define SS_MAX_REPLENISH MAX_EVENT |
| 103,4 → 106,5 |
| 1 queue is empty +*/ |
| int ssq_isempty(LEVEL l); |
| __END_DECLS |
| #endif |
| /shark/tags/rel_0_5/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.3 2003-03-13 13:39:04 pj Exp $ |
| File: $File$ |
| Revision: $Revision: 1.1.1.1 $ |
| Last update: $Date: 2002-03-29 14:12:51 $ |
| Revision: $Revision: 1.3 $ |
| Last update: $Date: 2003-03-13 13:39:04 $ |
| ------------ |
| This file contains the aperiodic server CBS (Total Bandwidth Server) |
| 103,8 → 103,10 |
| #include <kernel/config.h> |
| #include <sys/types.h> |
| #include <kernel/types.h> |
| #include <modules/codes.h> |
| #include "ll/sys/cdefs.h" |
| __BEGIN_DECLS |
| /*+ flags... +*/ |
| #define CBS_DISABLE_ALL 0 /*+ Task Guarantee enabled +*/ |
| #define CBS_ENABLE_GUARANTEE 1 /*+ Task Guarantee enabled +*/ |
| 117,8 → 119,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); |
| 127,5 → 131,5 |
| No control is done if the task is not a CBS task! +*/ |
| int CBS_get_nact(LEVEL l, PID p); |
| __END_DECLS |
| #endif |
| /shark/tags/rel_0_5/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.3 2003-03-13 13:39:04 pj Exp $ |
| File: $File$ |
| Revision: $Revision: 1.1.1.1 $ |
| Last update: $Date: 2002-03-29 14:12:51 $ |
| Revision: $Revision: 1.3 $ |
| Last update: $Date: 2003-03-13 13:39:04 $ |
| ------------ |
| This file contains the Priority Inheritance (PI) Protocol |
| 89,6 → 89,12 |
| #ifndef __PI_H__ |
| #define __PI_H__ |
| void PI_register_module(void); |
| #include <kernel/types.h> |
| #include "ll/sys/cdefs.h" |
| __BEGIN_DECLS |
| RLEVEL PI_register_module(void); |
| __END_DECLS |
| #endif |
| /shark/tags/rel_0_5/include/modules/cabs.h |
|---|
| 21,11 → 21,11 |
| /** |
| ------------ |
| CVS : $Id: cabs.h,v 1.1.1.1 2002-03-29 14:12:51 pj Exp $ |
| CVS : $Id: cabs.h,v 1.2 2003-03-13 13:39:04 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-03-13 13:39:04 $ |
| ------------ |
| This file contains the Hartik 3.3.1 CAB functions |
| 66,7 → 66,10 |
| #define __CAB_H__ |
| #include <ll/sys/types.h> |
| #include "ll/sys/cdefs.h" |
| __BEGIN_DECLS |
| #define MAX_CAB_NAME 10 /*+ Max. n. of chars for a CAB +*/ |
| #define MAX_CAB 10U /*+ Maximum number of CABs +*/ |
| 85,6 → 88,6 |
| int cab_unget(CAB id, char *pun_mes); |
| void cab_delete(CAB id); |
| __END_DECLS |
| #endif /* __CAB_H__ */ |
| /shark/tags/rel_0_5/include/modules/nopm.h |
|---|
| 20,11 → 20,11 |
| /** |
| ------------ |
| CVS : $Id: nopm.h,v 1.1.1.1 2002-03-29 14:12:51 pj Exp $ |
| CVS : $Id: nopm.h,v 1.2 2003-03-13 13:39:04 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-03-13 13:39:04 $ |
| ------------ |
| This file contains the No Protocol Multiple lock (NOPM) implementation |
| 58,6 → 58,11 |
| #ifndef __NOPM_H__ |
| #define __NOPM_H__ |
| #include "ll/sys/cdefs.h" |
| __BEGIN_DECLS |
| void NOPM_register_module(void); |
| __END_DECLS |
| #endif |
| /shark/tags/rel_0_5/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.3 2003-03-13 13:39:04 pj Exp $ |
| * |
| * File: $File$ |
| * Revision: $Revision: 1.1.1.1 $ |
| * Last update: $Date: 2002-03-29 14:12:51 $ |
| * Revision: $Revision: 1.3 $ |
| * Last update: $Date: 2003-03-13 13:39:04 $ |
| */ |
| #ifndef __BD_PSCAN_H__ |
| 51,9 → 51,12 |
| #include <kernel/types.h> |
| #include <kernel/descr.h> |
| #include "ll/sys/cdefs.h" |
| void BD_PSCAN_register_module(void); |
| __BEGIN_DECLS |
| RLEVEL BD_PSCAN_register_module(void); |
| int bd_pscan_getpriority(void); |
| #define PSCAN_CRITICALPRIORITY 0 |
| 61,4 → 64,5 |
| #define PSCAN_MEDIUMPRIORITY 2 |
| #define PSCAN_LOWPRIORITY 3 |
| __END_DECLS |
| #endif |
| /shark/tags/rel_0_5/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.3 2003-03-13 13:39:04 pj Exp $ |
| File: $File$ |
| Revision: $Revision: 1.1.1.1 $ |
| Last update: $Date: 2002-03-29 14:12:51 $ |
| Revision: $Revision: 1.3 $ |
| Last update: $Date: 2003-03-13 13:39:04 $ |
| ------------ |
| This file contains the scheduling module RM (Rate Monotonic) |
| 122,8 → 122,10 |
| #include <kernel/config.h> |
| #include <sys/types.h> |
| #include <kernel/types.h> |
| #include <modules/codes.h> |
| #include "ll/sys/cdefs.h" |
| __BEGIN_DECLS |
| /*+ 1 - ln(2) +*/ |
| #ifndef RM_MINFREEBANDWIDTH |
| 143,10 → 145,14 |
| /*+ 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); |
| __END_DECLS |
| #endif |
| /shark/tags/rel_0_5/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.3 2003-03-13 13:39:05 pj Exp $ |
| File: $File$ |
| Revision: $Revision: 1.1.1.1 $ |
| Last update: $Date: 2002-03-29 14:12:51 $ |
| Revision: $Revision: 1.3 $ |
| Last update: $Date: 2003-03-13 13:39:05 $ |
| ------------ |
| This file contains the scheduling module RRSOFT (Round Robin for |
| 103,8 → 103,10 |
| #include <kernel/config.h> |
| #include <sys/types.h> |
| #include <kernel/types.h> |
| #include <modules/codes.h> |
| #include "ll/sys/cdefs.h" |
| __BEGIN_DECLS |
| extern TASK __init__(void *arg); |
| 124,10 → 126,15 |
| /*+ 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); |
| __END_DECLS |
| #endif |
| /shark/tags/rel_0_5/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.3 2003-03-13 13:39:04 pj Exp $ |
| File: $File$ |
| Revision: $Revision: 1.1.1.1 $ |
| Last update: $Date: 2002-03-29 14:12:51 $ |
| Revision: $Revision: 1.3 $ |
| Last update: $Date: 2003-03-13 13:39:04 $ |
| ------------ |
| This file contains the aperiodic server PS (Polling Server) |
| 93,8 → 93,10 |
| #include <kernel/config.h> |
| #include <sys/types.h> |
| #include <kernel/types.h> |
| #include <modules/codes.h> |
| #include "ll/sys/cdefs.h" |
| __BEGIN_DECLS |
| /*+ 1 - ln(2) +*/ |
| #ifndef RM_MINFREEBANDWIDTH |
| #define RM_MINFREEBANDWIDTH 1317922825 |
| 120,10 → 122,14 |
| 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); |
| __END_DECLS |
| #endif |
| /shark/tags/rel_0_5/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.3 2003-03-13 13:39:04 pj Exp $ |
| File: $File$ |
| Revision: $Revision: 1.1.1.1 $ |
| Last update: $Date: 2002-03-29 14:12:51 $ |
| Revision: $Revision: 1.3 $ |
| Last update: $Date: 2003-03-13 13:39:04 $ |
| ------------ |
| This file contains the scheduling module RR (Round Robin) |
| 95,8 → 95,10 |
| #include <kernel/config.h> |
| #include <sys/types.h> |
| #include <kernel/types.h> |
| #include <modules/codes.h> |
| #include "ll/sys/cdefs.h" |
| __BEGIN_DECLS |
| extern TASK __init__(void *arg); |
| 111,9 → 113,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 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); |
| __END_DECLS |
| #endif |
| /shark/tags/rel_0_5/include/modules/sem.h |
|---|
| 21,11 → 21,11 |
| /** |
| ------------ |
| CVS : $Id: sem.h,v 1.1.1.1 2002-03-29 14:12:51 pj Exp $ |
| CVS : $Id: sem.h,v 1.2 2003-03-13 13:39:05 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-03-13 13:39:05 $ |
| ------------ |
| This file contains the semaphoric primitives |
| 73,7 → 73,10 |
| #define __MODULES_SEM_H__ |
| #include <kernel/types.h> |
| #include "ll/sys/cdefs.h" |
| __BEGIN_DECLS |
| #define SEM_FAILED NULL |
| typedef int sem_t; |
| 98,4 → 101,5 |
| int isBlocked(PID i); |
| __END_DECLS |
| #endif |
| /shark/tags/rel_0_5/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.3 2003-03-13 13:39:05 pj Exp $ |
| File: $File$ |
| Revision: $Revision: 1.1.1.1 $ |
| Last update: $Date: 2002-03-29 14:12:51 $ |
| Revision: $Revision: 1.3 $ |
| Last update: $Date: 2003-03-13 13:39:05 $ |
| ------------ |
| This file contains the aperiodic server SS (Sporadic Server) |
| 103,8 → 103,10 |
| #include <kernel/config.h> |
| #include <kernel/types.h> |
| #include <sys/types.h> |
| #include <modules/codes.h> |
| #include "ll/sys/cdefs.h" |
| __BEGIN_DECLS |
| /*+ 1 - ln(2) +*/ |
| #ifndef RM_MINFREEBANDWIDTH |
| #define RM_MINFREEBANDWIDTH 1317922825 |
| 151,9 → 153,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); |
| 160,4 → 165,5 |
| /*+ Returns tha available capacity +*/ |
| int SS_availCs(LEVEL l); |
| __END_DECLS |
| #endif |
| /shark/tags/rel_0_5/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.3 2003-03-13 13:39:05 pj Exp $ |
| File: $File$ |
| Revision: $Revision: 1.1.1.1 $ |
| Last update: $Date: 2002-03-29 14:12:51 $ |
| Revision: $Revision: 1.3 $ |
| Last update: $Date: 2003-03-13 13:39:05 $ |
| ------------ |
| This file contains the aperiodic server TBS (Total Bandwidth Server) |
| 126,8 → 126,10 |
| #include <kernel/config.h> |
| #include <sys/types.h> |
| #include <kernel/types.h> |
| #include <modules/codes.h> |
| #include "ll/sys/cdefs.h" |
| __BEGIN_DECLS |
| /*+ flags... +*/ |
| #define TBS_DISABLE_ALL 0 |
| #define TBS_ENABLE_WCET_CHECK 1 /*+ Wcet check enabled +*/ |
| 151,5 → 153,5 |
| No control is done if the task is not a TBS task! +*/ |
| int TBS_get_nact(LEVEL l, PID p); |
| __END_DECLS |
| #endif |