Subversion Repositories shark

Rev

Rev 404 | Rev 830 | 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
 
253 giacomo 4
#define FSF_GRUBSTAR
241 giacomo 5
 
339 giacomo 6
int fsf_get_server_level(void);
808 trimarchi 7
int fsf_get_remain_budget(fsf_server_id_t );
8
int fsf_settask_nopreemptive(fsf_server_id_t *server, pthread_t thread);
9
int fsf_settask_preemptive(fsf_server_id_t *server, pthread_t thread);
10
int FSF_get_shared_object_level(void);
339 giacomo 11
 
808 trimarchi 12
 
241 giacomo 13
#ifdef FSF_CBSSTAR
14
 
15
#include "cbsstar.h"
16
#define SERVER_setbudget CBSSTAR_setbudget
17
#define SERVER_adjust_budget CBSSTAR_adjust_budget
18
#define SERVER_removebudget CBSSTAR_removebudget
19
#define SERVER_get_local_scheduler_id_from_budget CBSSTAR_get_local_scheduler_id_from_budget
20
#define SERVER_get_local_scheduler_id_from_pid CBSSTAR_get_local_scheduler_id_from_pid
21
#define SERVER_get_local_scheduler_level_from_budget CBSSTAR_get_local_scheduler_level_from_budget
22
#define SERVER_get_local_scheduler_level_from_pid CBSSTAR_get_local_scheduler_level_from_pid
23
#define SERVER_getbudgetinfo CBSSTAR_getbudgetinfo
273 giacomo 24
#define SERVER_get_last_reclaiming CBSSTAR_get_last_reclaiming
808 trimarchi 25
#define SERVER_disable_server CBSSTAR_disable_server
241 giacomo 26
#endif
27
 
28
#ifdef FSF_GRUBSTAR
29
 
30
#include "grubstar.h"
31
#define SERVER_setbudget GRUBSTAR_setbudget
32
#define SERVER_adjust_budget GRUBSTAR_adjust_budget
33
#define SERVER_removebudget GRUBSTAR_removebudget
253 giacomo 34
#define SERVER_get_local_scheduler_id_from_budget GRUBSTAR_get_local_scheduler_id_from_budget
241 giacomo 35
#define SERVER_get_local_scheduler_id_from_pid GRUBSTAR_get_local_scheduler_id_from_pid
253 giacomo 36
#define SERVER_get_local_scheduler_level_from_budget GRUBSTAR_get_local_scheduler_level_from_budget
241 giacomo 37
#define SERVER_get_local_scheduler_level_from_pid GRUBSTAR_get_local_scheduler_level_from_pid
253 giacomo 38
#define SERVER_getbudgetinfo GRUBSTAR_getbudgetinfo
273 giacomo 39
#define SERVER_get_last_reclaiming GRUBSTAR_get_last_reclaiming
340 giacomo 40
#define SERVER_get_remain_capacity GRUBSTAR_get_remain_capacity
404 trimarchi 41
#define SERVER_return_bandwidth GRUBSTAR_return_bandwidth 
808 trimarchi 42
#define SERVER_disable_server GRUBSTAR_disable_server
241 giacomo 43
#endif
44
 
45
#endif