Subversion Repositories shark

Rev

Details | Last modification | View Log | RSS feed

Rev Author Line No. Line
961 pj 1
/*
2
 * Project: S.Ha.R.K.
3
 *
4
 * Coordinators:
5
 *   Giorgio Buttazzo    <giorgio@sssup.it>
6
 *   Paolo Gai           <pj@gandalf.sssup.it>
7
 *
8
 * Authors     :
9
 *
10
 * ReTiS Lab (Scuola Superiore S.Anna - Pisa - Italy)
11
 *
12
 * http://www.sssup.it
13
 * http://retis.sssup.it
14
 * http://shark.sssup.it
15
 */
16
 
17
/*
18
 * This program is free software; you can redistribute it and/or modify
19
 * it under the terms of the GNU General Public License as published by
20
 * the Free Software Foundation; either version 2 of the License, or
21
 * (at your option) any later version.
22
 *
23
 * This program is distributed in the hope that it will be useful,
24
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
25
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
26
 * GNU General Public License for more details.
27
 *
28
 * You should have received a copy of the GNU General Public License
29
 * along with this program; if not, write to the Free Software
30
 * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
31
 *
32
 */
33
 
34
 
35
#ifndef __ELASTIC_H__
36
#define __ELASTIC_H__
37
 
38
#include <kernel/config.h>
39
#include <kernel/types.h>
40
 
41
__BEGIN_DECLS
42
 
43
/*+ flags... +*/
44
#define ELASTIC_DISABLE_ALL           0  /*+ Task Guarantee enabled +*/
45
#define ELASTIC_ENABLE_GUARANTEE      1  /*+ Task Guarantee enabled +*/
46
#define ELASTIC_ENABLE_ALL            1
47
 
48
/* C Scaling factor define */
49
#define SCALING_UNIT 10000
50
 
51
LEVEL ELASTIC_register_level(int flags, LEVEL master, ext_bandwidth_t U);
52
 
53
int ELASTIC_set_period(PID p, TIME period);
54
int ELASTIC_get_period(PID p);
55
 
56
int ELASTIC_set_Tmin(PID p, TIME Tmin);
57
int ELASTIC_get_Tmin(PID p);
58
 
59
int ELASTIC_set_Tmax(PID p, TIME Tmax);
60
int ELASTIC_get_Tmax(PID p);
61
 
62
int ELASTIC_set_C(PID p, TIME C);
63
int ELASTIC_get_C(PID p);
64
 
65
int ELASTIC_set_E(PID p, int E);
66
int ELASTIC_get_E(PID p);
67
 
68
int ELASTIC_set_beta(PID p, int beta);
69
int ELASTIC_get_beta(PID p);
70
 
71
int ELASTIC_set_bandwidth(LEVEL lev, ext_bandwidth_t);
72
ext_bandwidth_t ELASTIC_get_bandwidth(LEVEL lev);
73
 
74
int ELASTIC_set_scaling_factor(LEVEL level, int scaling_factor);
75
int ELASTIC_get_scaling_factor(LEVEL level);
76
 
77
__END_DECLS
78
#endif