/shark/tags/rel_0_3/include/modules/codes.h |
---|
File deleted |
/shark/tags/rel_0_3/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/tags/rel_0_3/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/tags/rel_0_3/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/tags/rel_0_3/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/tags/rel_0_3/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/tags/rel_0_3/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/tags/rel_0_3/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/tags/rel_0_3/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/tags/rel_0_3/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/tags/rel_0_3/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/tags/rel_0_3/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/tags/rel_0_3/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/tags/rel_0_3/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/tags/rel_0_3/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/tags/rel_0_3/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/tags/rel_0_3/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/tags/rel_0_3/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/tags/rel_0_3/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 |