Subversion Repositories shark

Rev

Rev 993 | Go to most recent revision | Details | Compare with Previous | Last modification | View Log | RSS feed

Rev Author Line No. Line
1063 tullio 1
 
2
/*
3
 * This program is free software; you can redistribute it and/or modify
4
 * it under the terms of the GNU General Public License as published by
5
 * the Free Software Foundation; either version 2 of the License, or
6
 * (at your option) any later version.
7
 *
8
 * This program is distributed in the hope that it will be useful,
9
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
10
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
11
 * GNU General Public License for more details.
12
 *
13
 * You should have received a copy of the GNU General Public License
14
 * along with this program; if not, write to the Free Software
15
 * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
16
 *
17
 */
18
 
929 lipari 19
/**
20
   @file Spare capacity file.
21
 */
881 trimarchi 22
//fsf_spare_capacity.h
23
//===================================================
24
//       FFFFFFIII   RRRRR      SSTTTTTTT
25
//      FF         IIR   RR    SS
26
//     FF           IR        SS
27
//    FFFFFF         RRRR    SSSSST
28
//   FF       FI       RRR  SS
29
//  FF         II     RRR  SS
30
// FF           IIIIIR    RS
31
//
32
// FSF(FIRST Scheduling Framework) 
33
// spare capacity sharing functionality
34
//===================================================
35
 
36
#include <time.h>
37
#include <stdint.h>
38
#include "fsf_basic_types.h"
39
#include "fsf_core.h"
40
 
41
#ifndef _FSF_SPARE_CAPACITY_H_
42
#define _FSF_SPARE_CAPACITY_H_
43
 
44
#define FSF_SPARE_CAPACITY_MODULE_SUPPORTED       1
45
 
928 trimarchi 46
 
881 trimarchi 47
//// The definition of this types is in fsf_basic_types.h
48
//
49
//// Granularity of spare capacity requirements
50
//typedef enum {FSF_CONTINUOUS, FSF_DISCRETE} fsf_granularity_t;
51
//
52
//// Utilization (budget and period) value
53
//typedef struct {
54
//  struct timespec    budget;    // Execution time
55
//  struct timespec    period;    // Period
56
//} fsf_utilization_value_t;
57
//
58
////List of utilization values
59
//typedef struct {
60
//  int                         size; // = 0
61
//  fsf_utilization_value_t     
62
//      value[FSF_MAX_N_UTILIZATION_VALUES]; 
63
//      //unit change to value.....
64
//} fsf_utilization_set_t;
65
//
66
//
67
//// Constants for assigning default values
68
//#define FSF_DEFAULT_GRANULARITY         FSF_CONTINUOUS
69
//#define FSF_DEFAULT_QUALITY             0
70
//#define FSF_DEFAULT_IMPORTANCE          1
71
//
72
//
73
//// Constants for omitting the assignment of values to specific
74
//// arguments in calls to initialization functions
75
//
76
//#define FSF_NULL_UTILIZATION_SET     (fsf_utilization_set_t *)NULL
77
//
78
 
928 trimarchi 79
/**
80
   \ingroup sparemodule
881 trimarchi 81
 
928 trimarchi 82
   The operation updates the specified contract parameters object by
83
   setting its maximum usable budget, minimum period, granularity,
84
   utilization set, quality, and importance to the specified input
85
   parameters.
86
 
87
   @param [in] contract pointer ot the contract
88
   @param [in] budget_max  maximum budget this contract can obtain
89
   @param [in] period_min  minimum period this contract can obtain
90
   @param [in] granularity can be either FSF_CONTINUOUS or FSF_DISCRETE
91
   @param [in] utilization_set in case the granularity is set to
92
      FSF_DISCRETE it contains a list possible pairs (budget,period)
93
   @param [in] quality a number between FSF_MIN_QUALITY and FSF_MAX_QUALITY,
94
               to control how the spare capacity is shared between
95
               contracts with the same importance. The higher
993 lipari 96
               this number is , the more likely we get a large increase
928 trimarchi 97
               in the capacity
98
   @param [in] importance a numer between FSF_MIN_IMPORTANCE and
99
               FSF_MAX_IMPORTANCE, used to control how the spare capacity
100
               is shared. The higher the number, the more likely we get
101
               some spare capacity.
102
 
103
   @retval 0 if the call is succesful
104
   @retval FSF_ERR_BAD_ARGUMENT if contract is NULL or one of the
105
       following conditions is true:
106
       - (budget_max value is grater than period_max or smaller than
107
         budget_min);
108
       - (period_min is smaller than budget_mint or larger than period_max);
109
       - (granularity is neither FSF_CONTINUOUS nor FSF_DISCRETE);
110
       - (granularity is FSF_CONTINUOUS and
111
        utilization_set is not FSF_NULL_UTILIZATION_SET)
112
       - (granularity is FSF_DISCRETE and utilization_set is
113
          FSF_NULL_UTILIZATION_SET)
114
       - (utilization_set is not FSF_NULL_UTILIZATION_SET and
115
         (size of utilization_set less than 2 or greater
116
          than FSF_MAX_N_UTILIZATION_VALUES)
117
       - (quality < 0)
118
       - (importance is less than 1 or greater than FSF_N_IMPORTANCE_LEVELS)
119
       - (the utilization_set elements are not in increasing utilization order)
120
       - (the first utilization value in the utilization_set does not match
121
        the pair (budget_min, period_max) of the contract);
122
       - (the last utilization value in the utilization_set does not match
123
        the pair (budget_max, period_min) of the contract).
881 trimarchi 124
*/
125
int
126
fsf_set_contract_reclamation_parameters
127
  (fsf_contract_parameters_t   *contract,
128
   const struct timespec       *budget_max,
129
   const struct timespec       *period_min,
130
   fsf_granularity_t            granularity,
131
   const fsf_utilization_set_t *utilization_set,
132
   int                          quality,
133
   int                          importance);
134
 
135
 
928 trimarchi 136
/**
137
   \ingroup sparemodule
138
 
139
    The operation obtains from the specified contract parameters
140
    object its granularity, utilization set, quality, and
141
    importance. Then copies them to the variables pointed to by the
142
    specified input parameters.  Only the utilization_values of the
143
    utilization_set that are in use, are copied (according to its size
144
    field).
145
 
146
    @retval 0 if the operation is succesful
147
    @retval FSF_ERR_BAD_ARGUMENT :  if contract is NULL
148
 
149
    @see fsf_set_contract_reclamation_parameters
881 trimarchi 150
*/
151
int
152
fsf_get_contract_reclamation_parameters
153
  (const fsf_contract_parameters_t *contract,
154
   struct timespec                 *budget_max,
155
   struct timespec                 *period_min,
156
   fsf_granularity_t               *granularity,
157
   fsf_utilization_set_t           *utilization_set,
158
   int                             *quality,
159
   int                             *importance);
160
 
161
 
928 trimarchi 162
/**
163
   \ingroup sparemodule
164
 
165
   The operation enqueues a request to change the quality and
166
   importance parameters of the specified server, and returns
167
   immediately. The change operation is performed as soon as it is
168
   practical; meanwhile the system operation will continue normally.
169
 
170
   @param server server id
171
   @param new_importance  the new importance
172
   @param new_quality   the new requested quality
173
 
174
   @retval FSF_ERR_BAD_ARGUMENT if
175
       - the value of the server argument is not in range or
176
       - (quality < 0)
177
       - (importance is less than 1 or greater than FSF_N_IMPORTANCE_LEVELS).
178
 
179
   @retval FSF_ERR_NOT_SCHEDULED_CALLING_THREAD if the calling thread is not
881 trimarchi 180
       scheduled under the FSF
928 trimarchi 181
   @retval FSF_ERR_INVALID_SCHEDULER_REPLY the scheduler is wrong or
182
       not running
183
   @retval FSF_ERR_NOT_CONTRACTED_SERVER if the server has been cancelled
184
       or it is not valid
881 trimarchi 185
*/
186
int
187
fsf_request_change_quality_and_importance
188
  (fsf_server_id_t server,
189
   int new_importance,
190
   int new_quality);
191
 
192
 
928 trimarchi 193
/**
194
   \ingroup sparemodule
195
 
196
   This operation calculates the sum of the quality parameters for all
197
   servers in the system of importance level equal to that of the
198
   specified server, and stores it in the variable pointed to by
199
   total_quality.
200
 
201
   @param [in] server server id
202
   @param [out] total_quality the total quality in the system
203
 
204
   @retval FSF_ERR_BAD_ARGUMENT if the value of the server argument
205
           is not in range or total_quality is NULL
206
   @retval FSF_ERR_NOT_SCHEDULED_CALLING_THREAD if the calling thread is not
881 trimarchi 207
       scheduled under the FSF
928 trimarchi 208
   @retval FSF_ERR_INVALID_SCHEDULER_REPLY the scheduler is wrong or
209
       not running
210
   @retval FSF_ERR_NOT_CONTRACTED_SERVER if the server has been
211
       cancelled or it is not valid
881 trimarchi 212
*/
213
int
214
fsf_get_total_quality
215
   (fsf_server_id_t server, int *total_quality);
216
 
217
 
928 trimarchi 218
/**
219
   \ingroup sparemodule
220
 
221
    This operation stores in the variable pointed to by capacity the
222
    spare capacity currently available for the importance level of the
223
    specified server. The capacity is the utilization (of the
224
    processor or of the network) and it is represented by an integer
225
    number between 0 (no utilization) and UINT32_MAX (all
226
    utilization).
227
 
228
    @retval FSF_ERR_BAD_ARGUMENT if the value of the server argument is
229
            not in range or capacity is NULL
230
    @retval FSF_ERR_NOT_SCHEDULED_CALLING_THREAD if the calling thread is not
231
            scheduled under the FSF
232
    @retval FSF_ERR_INVALID_SCHEDULER_REPLY the scheduler is wrong or
233
            not running
234
    @retval FSF_ERR_NOT_CONTRACTED_SERVER if the server has been cancelled
235
            or it is not valid
889 trimarchi 236
*/
881 trimarchi 237
int
238
fsf_get_available_capacity (
239
    fsf_server_id_t server, uint32_t *capacity);
240
 
928 trimarchi 241
/* @} */
881 trimarchi 242
 
243
#endif // _FSF_SPARE_CAPACITY_H_