36,7 → 36,6 |
#include "kernel/kern.h" |
|
#include "fsf.h" |
#include "fsf_server.h" |
|
#include "stdlib.h" |
#include "unistd.h" |
234,12 → 233,8 |
|
int err; |
pthread_t j = -1; |
static fsf_sched_params_t pr; |
NRT_TASK_MODEL nrt; |
|
pr.policy=FSF_POSIX; |
pr.params=&nrt; |
|
nrt_task_default_model(nrt); |
nrt_task_def_save_arrivals(nrt); |
nrt_task_def_group(nrt,1); |
250,7 → 245,7 |
sys_end(); |
} |
|
err=fsf_bind_local_thread_to_server(server, j, (fsf_sched_params_t *)(&pr)); |
err=fsf_bind_local_thread_to_server(server, j, (fsf_sched_params_t *)(&nrt)); |
if (err) { |
grx_close(); |
kern_printf("Could not bind task.. %d", err); |
267,13 → 262,7 |
int err; |
pthread_t j = -1; |
HARD_TASK_MODEL ht; |
static fsf_sched_params_t pr; |
|
|
pr.policy=FSF_EDF; |
pr.params=&ht; |
|
|
hard_task_default_model(ht); |
hard_task_def_mit(ht,100000); |
hard_task_def_wcet(ht,90000); |
287,7 → 276,7 |
sys_end(); |
} |
|
err=fsf_bind_local_thread_to_server(server, j,(fsf_sched_params_t *)(&pr)); |
err=fsf_bind_local_thread_to_server(server, j,(fsf_sched_params_t *)(&ht)); |
if (err) { |
grx_close(); |
perror("Could not bind task.."); |