| 4,7 → 4,12 |
|---|
| #define FSF_GRUBSTAR |
| |
| int fsf_get_server_level(void); |
| int fsf_get_remain_budget(fsf_server_id_t ); |
| int fsf_settask_nopreemptive(fsf_server_id_t *server, pthread_t thread); |
| int fsf_settask_preemptive(fsf_server_id_t *server, pthread_t thread); |
| int FSF_get_shared_object_level(void); |
| |
| |
| #ifdef FSF_CBSSTAR |
| |
| #include "cbsstar.h" |
| 17,7 → 22,7 |
|---|
| #define SERVER_get_local_scheduler_level_from_pid CBSSTAR_get_local_scheduler_level_from_pid |
| #define SERVER_getbudgetinfo CBSSTAR_getbudgetinfo |
| #define SERVER_get_last_reclaiming CBSSTAR_get_last_reclaiming |
| |
| #define SERVER_disable_server CBSSTAR_disable_server |
| #endif |
| |
| #ifdef FSF_GRUBSTAR |
| 34,6 → 39,7 |
|---|
| #define SERVER_get_last_reclaiming GRUBSTAR_get_last_reclaiming |
| #define SERVER_get_remain_capacity GRUBSTAR_get_remain_capacity |
| #define SERVER_return_bandwidth GRUBSTAR_return_bandwidth |
| #define SERVER_disable_server GRUBSTAR_disable_server |
| #endif |
| |
| #endif |