178,7 → 178,7 |
if (proc_table[exec_shadow].task_level != local_scheduler_level) return 0; |
|
switch (scheduler_id) { |
case FSF_POSIX: |
case FSF_RR: |
budget = POSIXSTAR_getbudget(local_scheduler_level, exec_shadow); |
break; |
case FSF_EDF: |
187,7 → 187,7 |
case FSF_NONE: |
budget = NONESTAR_getbudget(local_scheduler_level, exec_shadow); |
break; |
case FSF_RM: |
case FSF_FP: |
budget = RMSTAR_getbudget(local_scheduler_level, exec_shadow); |
break; |
|
268,13 → 268,13 |
} |
|
switch (scheduler_id) { |
case FSF_POSIX: |
case FSF_RR: |
budget = POSIXSTAR_getbudget(local_scheduler_level, exec_shadow); |
break; |
case FSF_EDF: |
budget = EDFSTAR_getbudget(local_scheduler_level, exec_shadow); |
break; |
case FSF_RM: |
case FSF_FP: |
budget = RMSTAR_getbudget(local_scheduler_level, exec_shadow); |
case FSF_NONE: |
budget = NONESTAR_getbudget(local_scheduler_level, exec_shadow); |
363,13 → 363,13 |
} |
|
switch (scheduler_id) { |
case FSF_POSIX: |
case FSF_RR: |
budget = POSIXSTAR_getbudget(local_scheduler_level, exec_shadow); |
break; |
case FSF_EDF: |
budget = EDFSTAR_getbudget(local_scheduler_level, exec_shadow); |
break; |
case FSF_RM: |
case FSF_FP: |
budget = RMSTAR_getbudget(local_scheduler_level, exec_shadow); |
default: |
budget = -1; |