Subversion Repositories shark

Rev

Rev 992 | 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
 
241 giacomo 19
#ifndef _FSF_SERVER_H_
20
#define _FSF_SERVER_H_
21
 
831 trimarchi 22
#define FSF_GRUBSTAR
23
//#define FSF_CBSSTAR
241 giacomo 24
 
339 giacomo 25
int fsf_get_server_level(void);
808 trimarchi 26
int fsf_get_remain_budget(fsf_server_id_t );
27
int fsf_settask_nopreemptive(fsf_server_id_t *server, pthread_t thread);
28
int fsf_settask_preemptive(fsf_server_id_t *server, pthread_t thread);
29
int FSF_get_shared_object_level(void);
866 trimarchi 30
void FSF_start_service_task(void);
31
int FSF_register_module(int posix_level, int server_level, bandwidth_t max_bw);
943 trimarchi 32
void FSF_init_synch_obj_layer();
339 giacomo 33
 
241 giacomo 34
#ifdef FSF_CBSSTAR
35
 
36
#include "cbsstar.h"
37
#define SERVER_setbudget CBSSTAR_setbudget
38
#define SERVER_adjust_budget CBSSTAR_adjust_budget
39
#define SERVER_removebudget CBSSTAR_removebudget
40
#define SERVER_get_local_scheduler_id_from_budget CBSSTAR_get_local_scheduler_id_from_budget
41
#define SERVER_get_local_scheduler_id_from_pid CBSSTAR_get_local_scheduler_id_from_pid
42
#define SERVER_get_local_scheduler_level_from_budget CBSSTAR_get_local_scheduler_level_from_budget
43
#define SERVER_get_local_scheduler_level_from_pid CBSSTAR_get_local_scheduler_level_from_pid
44
#define SERVER_getbudgetinfo CBSSTAR_getbudgetinfo
273 giacomo 45
#define SERVER_get_last_reclaiming CBSSTAR_get_last_reclaiming
808 trimarchi 46
#define SERVER_disable_server CBSSTAR_disable_server
830 trimarchi 47
#define SERVER_get_remain_capacity CBSSTAR_get_remain_capacity
866 trimarchi 48
#define SERVER_get_renegotiation_status CBSSTAR_get_renegotiation_status
241 giacomo 49
#endif
50
 
992 trimarchi 51
#ifdef FSF_CBSNHSTAR
52
#include "cbsnhstar.h"
53
#define SERVER_setbudget CBSNHSTAR_setbudget
54
#define SERVER_adjust_budget CBSNHSTAR_adjust_budget
55
#define SERVER_removebudget CBSNHSTAR_removebudget
56
#define SERVER_get_local_scheduler_id_from_budget CBSNHSTAR_get_local_scheduler_id_from_budget
57
#define SERVER_get_local_scheduler_id_from_pid CBSNHSTAR_get_local_scheduler_id_from_pid
58
#define SERVER_get_local_scheduler_level_from_budget CBSNHSTAR_get_local_scheduler_level_from_budget
59
#define SERVER_get_local_scheduler_level_from_pid CBSNHSTAR_get_local_scheduler_level_from_pid
60
#define SERVER_getbudgetinfo CBSNHSTAR_getbudgetinfo
61
#define SERVER_get_last_reclaiming CBSNHSTAR_get_last_reclaiming
62
#define SERVER_get_remain_capacity CBSNHSTAR_get_remain_capacity
63
//#define SERVER_return_bandwidth GRUBSTAR_return_bandwidth 
64
#define SERVER_disable_server CBSNHSTAR_disable_server
65
#define SERVER_get_renegotiation_status CBSNHSTAR_get_renegotiation_status
66
#define SERVER_getdeadline CBSNHSTAR_getdeadline
67
 
68
#endif
69
 
241 giacomo 70
#ifdef FSF_GRUBSTAR
71
 
72
#include "grubstar.h"
73
#define SERVER_setbudget GRUBSTAR_setbudget
74
#define SERVER_adjust_budget GRUBSTAR_adjust_budget
75
#define SERVER_removebudget GRUBSTAR_removebudget
253 giacomo 76
#define SERVER_get_local_scheduler_id_from_budget GRUBSTAR_get_local_scheduler_id_from_budget
241 giacomo 77
#define SERVER_get_local_scheduler_id_from_pid GRUBSTAR_get_local_scheduler_id_from_pid
253 giacomo 78
#define SERVER_get_local_scheduler_level_from_budget GRUBSTAR_get_local_scheduler_level_from_budget
241 giacomo 79
#define SERVER_get_local_scheduler_level_from_pid GRUBSTAR_get_local_scheduler_level_from_pid
253 giacomo 80
#define SERVER_getbudgetinfo GRUBSTAR_getbudgetinfo
273 giacomo 81
#define SERVER_get_last_reclaiming GRUBSTAR_get_last_reclaiming
340 giacomo 82
#define SERVER_get_remain_capacity GRUBSTAR_get_remain_capacity
881 trimarchi 83
//#define SERVER_return_bandwidth GRUBSTAR_return_bandwidth 
808 trimarchi 84
#define SERVER_disable_server GRUBSTAR_disable_server
866 trimarchi 85
#define SERVER_get_renegotiation_status GRUBSTAR_get_renegotiation_status
992 trimarchi 86
#define SERVER_getdeadline GRUBSTAR_getdeadline
241 giacomo 87
#endif
88
 
89
#endif