196,27 → 196,15 |
void add_posixstar_thread(fsf_server_id_t server) |
{ |
|
int err; |
pthread_t j = -1; |
NRT_TASK_MODEL nrt; |
|
nrt_task_default_model(nrt); |
nrt_task_def_save_arrivals(nrt); |
fsf_create_thread(server, &j, NULL, test_task_variable, NULL, NULL); |
|
err = pthread_create(&j, NULL, test_task_variable, NULL); |
if (err) { |
perror("Could not create task..."); |
sys_end(); |
} |
|
fsf_bind_thread_to_server(server, j, &nrt); |
|
} |
|
void add_edfstar_thread(fsf_server_id_t server) |
{ |
|
int err; |
pthread_t j = -1; |
HARD_TASK_MODEL ht; |
|
224,14 → 212,8 |
hard_task_def_mit(ht,100000); |
hard_task_def_wcet(ht,90000); |
|
err = pthread_create(&j, NULL, mpeg2decoder, NULL); |
if (err) { |
perror("Could not create task..."); |
sys_end(); |
} |
fsf_create_thread(server, &j, NULL, mpeg2decoder, NULL, &ht); |
|
fsf_bind_thread_to_server(server, j, &ht); |
|
} |
|
int main(int argc, char **argv) |