Subversion Repositories shark

Rev

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

Rev Author Line No. Line
241 giacomo 1
#ifndef _FSF_SERVER_H_
2
#define _FSF_SERVER_H_
3
 
831 trimarchi 4
#define FSF_GRUBSTAR
5
//#define FSF_CBSSTAR
241 giacomo 6
 
339 giacomo 7
int fsf_get_server_level(void);
808 trimarchi 8
int fsf_get_remain_budget(fsf_server_id_t );
9
int fsf_settask_nopreemptive(fsf_server_id_t *server, pthread_t thread);
10
int fsf_settask_preemptive(fsf_server_id_t *server, pthread_t thread);
11
int FSF_get_shared_object_level(void);
866 trimarchi 12
void FSF_start_service_task(void);
13
int FSF_register_module(int posix_level, int server_level, bandwidth_t max_bw);
943 trimarchi 14
void FSF_init_synch_obj_layer();
339 giacomo 15
 
241 giacomo 16
#ifdef FSF_CBSSTAR
17
 
18
#include "cbsstar.h"
19
#define SERVER_setbudget CBSSTAR_setbudget
20
#define SERVER_adjust_budget CBSSTAR_adjust_budget
21
#define SERVER_removebudget CBSSTAR_removebudget
22
#define SERVER_get_local_scheduler_id_from_budget CBSSTAR_get_local_scheduler_id_from_budget
23
#define SERVER_get_local_scheduler_id_from_pid CBSSTAR_get_local_scheduler_id_from_pid
24
#define SERVER_get_local_scheduler_level_from_budget CBSSTAR_get_local_scheduler_level_from_budget
25
#define SERVER_get_local_scheduler_level_from_pid CBSSTAR_get_local_scheduler_level_from_pid
26
#define SERVER_getbudgetinfo CBSSTAR_getbudgetinfo
273 giacomo 27
#define SERVER_get_last_reclaiming CBSSTAR_get_last_reclaiming
808 trimarchi 28
#define SERVER_disable_server CBSSTAR_disable_server
830 trimarchi 29
#define SERVER_get_remain_capacity CBSSTAR_get_remain_capacity
866 trimarchi 30
#define SERVER_get_renegotiation_status CBSSTAR_get_renegotiation_status
241 giacomo 31
#endif
32
 
33
#ifdef FSF_GRUBSTAR
34
 
35
#include "grubstar.h"
36
#define SERVER_setbudget GRUBSTAR_setbudget
37
#define SERVER_adjust_budget GRUBSTAR_adjust_budget
38
#define SERVER_removebudget GRUBSTAR_removebudget
253 giacomo 39
#define SERVER_get_local_scheduler_id_from_budget GRUBSTAR_get_local_scheduler_id_from_budget
241 giacomo 40
#define SERVER_get_local_scheduler_id_from_pid GRUBSTAR_get_local_scheduler_id_from_pid
253 giacomo 41
#define SERVER_get_local_scheduler_level_from_budget GRUBSTAR_get_local_scheduler_level_from_budget
241 giacomo 42
#define SERVER_get_local_scheduler_level_from_pid GRUBSTAR_get_local_scheduler_level_from_pid
253 giacomo 43
#define SERVER_getbudgetinfo GRUBSTAR_getbudgetinfo
273 giacomo 44
#define SERVER_get_last_reclaiming GRUBSTAR_get_last_reclaiming
340 giacomo 45
#define SERVER_get_remain_capacity GRUBSTAR_get_remain_capacity
881 trimarchi 46
//#define SERVER_return_bandwidth GRUBSTAR_return_bandwidth 
808 trimarchi 47
#define SERVER_disable_server GRUBSTAR_disable_server
866 trimarchi 48
#define SERVER_get_renegotiation_status GRUBSTAR_get_renegotiation_status
241 giacomo 49
#endif
50
 
51
#endif