36,6 → 36,7 |
#include "kernel/kern.h" |
|
#include "fsf.h" |
#include "fsf_server.h" |
|
#include "stdlib.h" |
#include "unistd.h" |
233,8 → 234,12 |
|
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); |
245,7 → 250,7 |
sys_end(); |
} |
|
err=fsf_bind_local_thread_to_server(server, j, (fsf_sched_params_t *)(&nrt)); |
err=fsf_bind_local_thread_to_server(server, j, (fsf_sched_params_t *)(&pr)); |
if (err) { |
grx_close(); |
kern_printf("Could not bind task.. %d", err); |
262,7 → 267,13 |
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); |
276,7 → 287,7 |
sys_end(); |
} |
|
err=fsf_bind_local_thread_to_server(server, j,(fsf_sched_params_t *)(&ht)); |
err=fsf_bind_local_thread_to_server(server, j,(fsf_sched_params_t *)(&pr)); |
if (err) { |
grx_close(); |
perror("Could not bind task.."); |