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_memory_management.h
60 //==============================================
61 // ******** ******* ******** ** **
62 // **///// /**////** **////// /** /**
63 // ** /** /** /** /** /**
64 // ******* /******* /********* /**********
65 // **//// /**///** ////////** /**//////**
66 // ** /** //** /** /** /**
67 // ** /** //** ******** /** /**
68 // // // // //////// // //
70 // FRSH(FRescor ScHeduler), pronounced "fresh"
71 //==============================================
73 #ifndef _FRSH_MEMORY_MANAGEMENT_H_
74 #define _FRSH_MEMORY_MANAGEMENT_H_
76 #include "frsh_fosa.h"
77 #include "frsh_core_types.h"
80 #define FRSH_MEMORY_MANAGEMENT_SUPPORTED 1
83 * @file frsh_memory_management.h
87 * @defgroup memmanagement Memory Management
89 * This module provides the types and the functions to add memory
90 * management support to FRSH contracts.
97 * frsh_contract_set_memory_reqs()
99 * This function specifies in the contract the minimum and maximum
100 * memory needed by the application.
102 * @param[in] min_memory Minimum needed memory in bytes.
103 * @param[in] max_memory Maximum needed memory in bytes.
104 * @param contract Contract, in-out argument.
106 * @return 0 if no error \n
107 * FRSH_ERR_BAD_ARGUMENT if min_memory > max_memory
110 int frsh_contract_set_memory_reqs(size_t min_memory,
112 frsh_contract_t *contract);
115 * frsh_contract_get_memory_reqs()
117 * This function gets the memory parameters from the contract.
119 * @param[in] contract Contract object
120 * @param[out] min_memory Placeholder for the minimum required
122 * @param[out] max_memory Placeholder for the maximum required
125 * @return 0 if no error \n
126 * FRSH_ERR_BAD_ARGUMENT if one of the pointers is NULL
128 int frsh_contract_get_memory_reqs(const frsh_contract_t *contract,
134 * frsh_vres_get_memory_info()
136 * This function gives us the runtime info of memory usage and
139 * @param[in] vres_id Identifier of vres
140 * @param[out] mem_allocated Memory currently allocated to the vres
141 * @param[out] mem_budget Total pool of memory reserved for the vres
142 * (until next renegotiation).
144 * @return 0 if no error \n
145 * FRSH_ERR_BAD_ARGUMENT if one of the pointers is NULL
147 int frsh_vres_get_memory_info(frsh_vres_id_t vres_id,
148 size_t *mem_allocated,
153 * frsh_vres_memalloc()
155 * This function reserves some memory from the memory to this virtual
158 * @param[in] vres_id Identifier of vres.
159 * @param[in] Number of bytes
160 * @param[out] Valid pointer for the allocation
162 * @return 0 if no error \n
163 * FRSH_ERR_BAD_ARGUMENT if the area pointer is NULL
164 * FRSH_ERR_OUT_OF_BUDGET if no budget is available
166 int frsh_vres_malloc(frsh_vres_id_t vres_id,
171 * frsh_vres_memfree()
173 * This function returns the previously allocated memory area for this
174 * virtual_resource to the main memory.
176 * @param[in] vres_id Identifier of vres.
177 * @param[in] area Memory area to return
179 * @return 0 if no error \n
180 * FRSH_ERR_BAD_ARGUMENT if the area pointer is NULL
182 int frsh_vres_memfree(frsh_vres_id_t vres_id,
190 #endif /* !FRSH_MEMORY_MANAGEMENT_H_ */