| 159,13 → 159,15 |
|---|
| switch (scheduler_id) { |
| case FSF_SCHEDULER_POSIX: |
| |
| nrt_task_default_model(nrt); |
| nrt_task_def_save_arrivals(nrt); |
| nrt_task_def_arg(nrt,arg); |
| nrt_task_def_ctrl_jet(nrt); |
| nrt_task_def_level(nrt,local_scheduler_level); |
| if (local_scheduler_arg == NULL) { |
| nrt_task_default_model(nrt); |
| nrt_task_def_save_arrivals(nrt); |
| nrt_task_def_arg(nrt,arg); |
| nrt_task_def_ctrl_jet(nrt); |
| nrt_task_def_level(nrt,local_scheduler_level); |
| |
| *thread = task_create("POSIXSTAR", thread_code, &nrt, NULL); |
| *thread = task_create("POSIXSTAR", thread_code, &nrt, NULL); |
| } |
| if (*thread == NIL) |
| return FSF_ERR_CREATE_THREAD; |
| |
| 176,6 → 178,17 |
|---|
| break; |
| case FSF_SCHEDULER_EDF: |
| |
| hard_task_def_arg(*(HARD_TASK_MODEL *)(local_scheduler_arg),arg); |
| hard_task_def_level(*(HARD_TASK_MODEL *)(local_scheduler_arg),local_scheduler_level); |
| |
| *thread = task_create("EDFSTAR", thread_code, local_scheduler_arg, NULL); |
| if (*thread == NIL) |
| return FSF_ERR_CREATE_THREAD; |
| |
| EDFSTAR_setbudget(local_scheduler_level, *thread, (int)(server)); |
| |
| task_activate(*thread); |
| |
| break; |
| |
| case FSF_SCHEDULER_RM: |