| 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) |