1 // -----------------------------------------------------------------------
2 // Copyright (C) 2006 - 2007 FRESCOR consortium partners:
4 // Universidad de Cantabria, SPAIN
5 // University of York, UK
6 // Scuola Superiore Sant'Anna, ITALY
7 // Kaiserslautern University, GERMANY
8 // Univ. Politécnica Valencia, SPAIN
9 // Czech Technical University in Prague, CZECH REPUBLIC
11 // Thales Communication S.A. FRANCE
12 // Visual Tools S.A. SPAIN
13 // Rapita Systems Ltd UK
16 // See http://www.frescor.org for a link to partners' websites
18 // FRESCOR project (FP6/2005/IST/5-034026) is funded
19 // in part by the European Union Sixth Framework Programme
20 // The European Union is not liable of any use that may be
24 // based on previous work (FSF) done in the FIRST project
26 // Copyright (C) 2005 Mälardalen University, SWEDEN
27 // Scuola Superiore S.Anna, ITALY
28 // Universidad de Cantabria, SPAIN
29 // University of York, UK
31 // FSF API web pages: http://marte.unican.es/fsf/docs
32 // http://shark.sssup.it/contrib/first/docs/
34 // This file is part of FRSH API
36 // FRSH API is free software; you can redistribute it and/or modify
37 // it under the terms of the GNU General Public License as published by
38 // the Free Software Foundation; either version 2, or (at your option)
41 // FRSH API is distributed in the hope that it will be useful, but
42 // WITHOUT ANY WARRANTY; without even the implied warranty of
43 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
44 // General Public License for more details.
46 // You should have received a copy of the GNU General Public License
47 // distributed with FRSH API; see file COPYING. If not, write to the
48 // Free Software Foundation, 59 Temple Place - Suite 330, Boston, MA
51 // As a special exception, if you include this header file into source
52 // files to be compiled, this header file does not by itself cause
53 // the resulting executable to be covered by the GNU General Public
54 // License. This exception does not however invalidate any other
55 // reasons why the executable file might be covered by the GNU General
57 // -----------------------------------------------------------------------
58 //frsh_spare_capacity_types.h
59 //==============================================
60 // ******** ******* ******** ** **
61 // **///// /**////** **////// /** /**
62 // ** /** /** /** /** /**
63 // ******* /******* /********* /**********
64 // **//// /**///** ////////** /**//////**
65 // ** /** //** /** /** /**
66 // ** /** //** ******** /** /**
67 // // // // //////// // //
69 // FRSH(FRescor ScHeduler), pronounced "fresh"
70 //==============================================
72 #ifndef FRSH_SPARE_CAPACITY_TYPES_H_
73 #define FRSH_SPARE_CAPACITY_TYPES_H_
78 * @file frsh_spare_capacity_types.h
82 * @addtogroup sparecapacity
87 /*************************/
88 /* D E F I N I T I O N S */
89 /*************************/
91 /** Granularity of spare capacity requirements: continuous or discrete **/
92 typedef enum {FRSH_GR_CONTINUOUS, FRSH_GR_DISCRETE} frsh_granularity_t;
94 /** Utilization (C and T) **/
96 struct timespec budget; // Execution time
97 struct timespec period; // Period
100 /** List of utilization values **/
103 frsh_utilization_t utilizations[FRSH_MAX_N_UTILIZATION_VALUES];
104 } frsh_utilization_set_t;
106 // Constants for assigning default values
107 #define FRSH_DEFAULT_GRANULARITY FRSH_GR_CONTINUOUS
108 #define FRSH_DEFAULT_WEIGHT 0
109 #define FRSH_DEFAULT_IMPORTANCE 1
111 // Constants for omitting the assignment of values to specific
112 // arguments in calls to initialization functions
113 #define FRSH_NULL_UTILIZATION_SET \
114 (frsh_utilization_set_t *)NULL
117 #endif /* !FRSH_SPARE_CAPACITY_TYPES_H_ */