Subversion Repositories shark

Rev

Rev 866 | Rev 943 | 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);
339 giacomo 14
 
241 giacomo 15
#ifdef FSF_CBSSTAR
16
 
17
#include "cbsstar.h"
18
#define SERVER_setbudget CBSSTAR_setbudget
19
#define SERVER_adjust_budget CBSSTAR_adjust_budget
20
#define SERVER_removebudget CBSSTAR_removebudget
21
#define SERVER_get_local_scheduler_id_from_budget CBSSTAR_get_local_scheduler_id_from_budget
22
#define SERVER_get_local_scheduler_id_from_pid CBSSTAR_get_local_scheduler_id_from_pid
23
#define SERVER_get_local_scheduler_level_from_budget CBSSTAR_get_local_scheduler_level_from_budget
24
#define SERVER_get_local_scheduler_level_from_pid CBSSTAR_get_local_scheduler_level_from_pid
25
#define SERVER_getbudgetinfo CBSSTAR_getbudgetinfo
273 giacomo 26
#define SERVER_get_last_reclaiming CBSSTAR_get_last_reclaiming
808 trimarchi 27
#define SERVER_disable_server CBSSTAR_disable_server
830 trimarchi 28
#define SERVER_get_remain_capacity CBSSTAR_get_remain_capacity
866 trimarchi 29
#define SERVER_get_renegotiation_status CBSSTAR_get_renegotiation_status
241 giacomo 30
#endif
31
 
32
#ifdef FSF_GRUBSTAR
33
 
34
#include "grubstar.h"
35
#define SERVER_setbudget GRUBSTAR_setbudget
36
#define SERVER_adjust_budget GRUBSTAR_adjust_budget
37
#define SERVER_removebudget GRUBSTAR_removebudget
253 giacomo 38
#define SERVER_get_local_scheduler_id_from_budget GRUBSTAR_get_local_scheduler_id_from_budget
241 giacomo 39
#define SERVER_get_local_scheduler_id_from_pid GRUBSTAR_get_local_scheduler_id_from_pid
253 giacomo 40
#define SERVER_get_local_scheduler_level_from_budget GRUBSTAR_get_local_scheduler_level_from_budget
241 giacomo 41
#define SERVER_get_local_scheduler_level_from_pid GRUBSTAR_get_local_scheduler_level_from_pid
253 giacomo 42
#define SERVER_getbudgetinfo GRUBSTAR_getbudgetinfo
273 giacomo 43
#define SERVER_get_last_reclaiming GRUBSTAR_get_last_reclaiming
340 giacomo 44
#define SERVER_get_remain_capacity GRUBSTAR_get_remain_capacity
881 trimarchi 45
//#define SERVER_return_bandwidth GRUBSTAR_return_bandwidth 
808 trimarchi 46
#define SERVER_disable_server GRUBSTAR_disable_server
866 trimarchi 47
#define SERVER_get_renegotiation_status GRUBSTAR_get_renegotiation_status
241 giacomo 48
#endif
49
 
50
#endif