Subversion Repositories shark

Compare Revisions

Ignore whitespace Rev 37 → Rev 38

/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