1 // -----------------------------------------------------------------------
2 // Copyright (C) 2006 - 2009 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 (FRescor ScHeduler)
36 // FRSH is free software; you can redistribute it and/or modify it
37 // under terms of the GNU General Public License as published by the
38 // Free Software Foundation; either version 2, or (at your option) any
39 // later version. FRSH is distributed in the hope that it will be
40 // useful, but WITHOUT ANY WARRANTY; without even the implied warranty
41 // of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
42 // General Public License for more details. You should have received a
43 // copy of the GNU General Public License along with FRSH; see file
44 // COPYING. If not, write to the Free Software Foundation, 675 Mass Ave,
45 // Cambridge, MA 02139, USA.
47 // As a special exception, including FRSH header files in a file,
48 // instantiating FRSH generics or templates, or linking other files
49 // with FRSH objects to produce an executable application, does not
50 // by itself cause the resulting executable application to be covered
51 // by the GNU General Public License. This exception does not
52 // however invalidate any other reasons why the executable file might be
53 // covered by the GNU Public License.
54 // -----------------------------------------------------------------------
56 //==============================================
57 // ******** ******* ******** ** **
58 // **///// /**////** **////// /** /**
59 // ** /** /** /** /** /**
60 // ******* /******* /********* /**********
61 // **//// /**///** ////////** /**//////**
62 // ** /** //** /** /** /**
63 // ** /** //** ******** /** /**
64 // // // // //////// // //
66 // FRSH(FRescor ScHeduler), pronounced "fresh"
67 //==============================================
70 #ifndef FRSH_CORE_TYPES_H_
71 #define FRSH_CORE_TYPES_H_
74 #include "frsh_time_types.h"
75 #include "frsh_configuration_parameters.h"
76 #include "frsh_opaque_types.h"
77 #include "frsh_shared_objects_types.h"
78 #include "frsh_spare_capacity_types.h"
80 #include "frsh_implementation_specific_types.h"
81 #include "frsh_hierarchical_types.h"
82 #include "frsh_distributed_types.h"
83 #include "frsh_error.h"
90 * @file frsh_core_types.h
100 /** identifier of a frsh thread **/
101 typedef fosa_thread_id_t frsh_thread_id_t;
104 /** thread attributes object **/
105 typedef fosa_thread_attr_t frsh_thread_attr_t;
108 * The type references a function that may become a thread's
111 typedef fosa_thread_code_t frsh_thread_code_t;
114 /** signal number; it is an integer type **/
115 typedef fosa_signal_t frsh_signal_t;
117 #define FRSH_NULL_SIGNAL FOSA_NULL_SIGNAL
120 #define FRSH_SIGNAL_MIN FOSA_SIGNAL_MIN
121 #define FRSH_SIGNAL_MAX FOSA_SIGNAL_MAX
124 typedef fosa_signal_info_t frsh_signal_info_t;
127 /** Kind of workload expected in vres: bounded or indeterminate **/
130 FRSH_WT_INDETERMINATE = 1,
131 FRSH_WT_SYNCHRONIZED = 2
134 * In the synchronized workload the virtual resource hosts one or more
135 * threads that synchronize the execution of their jobs with the start
136 * of the virtual resource's period. In this kind of workload, once
137 * the threads that were activated at the beginning of the period
138 * finish their current job, the virtual resource may return any
139 * unused capacity to the system. This kind of workload can be
140 * scheduled using a regular periodic server that has the properties
141 * of being simple, having less overhead, and being able to increase
142 * the schedulability of periodic synchronized threads
145 #define FRSH_NULL_DEADLINE (frsh_rel_time_t *)NULL
146 // #define FRSH_NULL_SIGNAL 0 /* Defined at frsh_adaption.h */
148 /** Negotiation status: In_progress, rejected, admitted, not_requested **/
149 typedef enum {FRSH_RS_IN_PROGRESS,
152 FRSH_RS_NOT_REQUESTED} frsh_renegotiation_status_t;
155 * Vres Id type, that identifies a vres created to manage a given
158 typedef FRSH_VRES_ID_T_OPAQUE frsh_vres_id_t; // => 0
160 /** Contract ressource type: processor, network, memory **/
162 FRSH_RT_PROCESSOR = 0,
168 } frsh_resource_type_t;
170 /** Ressource Id: processor_id or network_id **/
171 /**********************************************/
172 typedef fosa_resource_id_t frsh_resource_id_t;
174 /** Kind of contract: regular, background or dummy **/
177 FRSH_CT_BACKGROUND = 1,
179 } frsh_contract_type_t;
181 // The name of this constant has been updated to have the FRSH_ prefix
182 typedef char frsh_contract_label_t[FRSH_CONTRACT_LABEL_MAXLENGTH + 1];
185 * Contract parameters type; it is an opaque type (i.e. the internal
186 * structure of this data type is implementation dependent). The user
187 * can access and modify the parameters of a contract only with the
188 * proper functions, and should never access the data directly.
190 typedef FRSH_CONTRACT_T_OPAQUE frsh_contract_t;
196 frsh_vres_id_t vres[FRSH_MAX_GROUP_OPS];
199 /** List of contracts to negotiate **/
202 frsh_contract_t contracts[FRSH_MAX_GROUP_OPS];
203 } frsh_contracts_group_t;
205 typedef FRSH_GROUP_ID_T_OPAQUE frsh_group_id_t;
208 * An abstract synchronization object is defined by the application.
209 * This object can be used by an application to wait for an event to
210 * arrive by invoking the frsh_sychobj_wait() operation. It
211 * can also be used to signal the event either causing a waiting
212 * vres to wake up, or the event to be queued if no vres is
215 typedef FRSH_SYNCHOBJ_HANDLE_T_OPAQUE frsh_synchobj_handle_t;
222 #endif /* !FRSH_CORE_TYPES_H_ */