Rev 224 | Go to most recent revision | Details | Last modification | View Log | RSS feed
| Rev | Author | Line No. | Line |
|---|---|---|---|
| 221 | giacomo | 1 | //===================================================================== |
| 2 | // FFFFFFIII RRRRR SSTTTTTTT |
||
| 3 | // FF IIR RR SS |
||
| 4 | // FF IR SS |
||
| 5 | // FFFFFF RRRR SSSSST |
||
| 6 | // FF FI RRR SS |
||
| 7 | // FF II RRR SS |
||
| 8 | // FF IIIIIR RS |
||
| 9 | // |
||
| 10 | // Basic FSF(FIRST Scheduling Framework) contract management |
||
| 11 | // S.Ha.R.K. Implementation |
||
| 12 | //===================================================================== |
||
| 13 | |||
| 14 | #include "fsf_contract.h" |
||
| 15 | |||
| 16 | #include "cbsstar.h" |
||
| 17 | #include "posixstar.h" |
||
| 18 | #include "edfstar.h" |
||
| 19 | |||
| 20 | #include <stdlib.h> |
||
| 21 | |||
| 22 | //#define FSF_DEBUG |
||
| 23 | |||
| 24 | extern int cbsstar_level; |
||
| 25 | |||
| 26 | int |
||
| 27 | fsf_create_synchobject(fsf_synch_object_handle_t *synch_handle) |
||
| 28 | { |
||
| 29 | |||
| 30 | if (!synch_handle) return FSF_ERR_INVALID_SYNCH_OBJECT_HANDLE; |
||
| 31 | |||
| 32 | iq_init(&synch_handle->threads, NULL, 0); |
||
| 33 | synch_handle->events = 0; |
||
| 34 | |||
| 35 | return 0; |
||
| 36 | |||
| 37 | } |
||
| 38 | |||
| 39 | int |
||
| 40 | fsf_signal_synchobject(fsf_synch_object_handle_t *synch_handle) |
||
| 41 | { |
||
| 42 | |||
| 43 | PID p; |
||
| 44 | |||
| 45 | if (!synch_handle) return FSF_ERR_INVALID_SYNCH_OBJECT_HANDLE; |
||
| 46 | |||
| 47 | if ((p = iq_getfirst(&synch_handle->threads)) != NIL) |
||
| 48 | task_activate(p); |
||
| 49 | else |
||
| 50 | synch_handle->events++; |
||
| 51 | |||
| 52 | return 0; |
||
| 53 | |||
| 54 | } |
||
| 55 | |||
| 56 | int |
||
| 57 | fsf_destroy_synchobject(fsf_synch_object_handle_t *synch_handle) |
||
| 58 | { |
||
| 59 | |||
| 60 | if (!synch_handle) return FSF_ERR_INVALID_SYNCH_OBJECT_HANDLE; |
||
| 61 | |||
| 62 | while (iq_getfirst(&synch_handle->threads) != NIL); |
||
| 63 | synch_handle->events = 0; |
||
| 64 | |||
| 65 | return 0; |
||
| 66 | |||
| 67 | } |
||
| 68 | |||
| 69 | int fsf_schedule_next_timed_job |
||
| 70 | (const struct timespec *at_absolute_time, |
||
| 71 | struct timespec *next_budget, |
||
| 72 | struct timespec *next_period, |
||
| 73 | bool *was_deadline_missed, |
||
| 74 | bool *was_budget_overran) |
||
| 75 | { |
||
| 76 | |||
| 77 | TIME T,Q; |
||
| 78 | int budget, local_scheduler_level, scheduler_id; |
||
| 79 | |||
| 80 | local_scheduler_level = CBSSTAR_get_local_scheduler_level_from_pid(cbsstar_level, exec_shadow); |
||
| 81 | scheduler_id = CBSSTAR_get_local_scheduler_id_from_pid(cbsstar_level, exec_shadow); |
||
| 82 | |||
| 83 | switch (scheduler_id) { |
||
| 84 | case FSF_SCHEDULER_POSIX: |
||
| 85 | budget = POSIXSTAR_getbudget(local_scheduler_level, exec_shadow); |
||
| 86 | break; |
||
| 87 | case FSF_SCHEDULER_EDF: |
||
| 88 | budget = EDFSTAR_getbudget(local_scheduler_level, exec_shadow); |
||
| 89 | break; |
||
| 90 | case FSF_SCHEDULER_RM: |
||
| 91 | default: |
||
| 92 | budget = -1; |
||
| 93 | break; |
||
| 94 | } |
||
| 95 | |||
| 96 | if (budget == -1) return FSF_ERR_INVALID_SERVER; |
||
| 97 | |||
| 98 | if (next_budget != NULL && next_period != NULL) { |
||
| 99 | |||
| 100 | CBSSTAR_getbudgetinfo(cbsstar_level, &Q, &T, budget); |
||
| 101 | |||
| 102 | #ifdef FSF_DEBUG |
||
| 103 | kern_printf("(budget %d Q=%d T=%d)",budget,(int)Q,(int)T); |
||
| 104 | #endif |
||
| 105 | |||
| 106 | next_budget->tv_sec = Q / 1000000; |
||
| 107 | next_budget->tv_nsec = (Q % 1000000) * 1000; |
||
| 108 | next_period->tv_sec = T / 1000000; |
||
| 109 | next_period->tv_nsec = (T % 1000000) * 1000; |
||
| 110 | |||
| 111 | } |
||
| 112 | |||
| 113 | if (was_deadline_missed != NULL) *was_deadline_missed = false; |
||
| 114 | if (was_budget_overran != NULL) |
||
| 115 | *was_budget_overran = (bool)CBSSTAR_was_budget_overran(cbsstar_level,budget); |
||
| 116 | |||
| 117 | if (at_absolute_time != NULL) |
||
| 118 | kern_event_post(at_absolute_time, (void (*)(void *))&task_activate, (void *)(exec_shadow)); |
||
| 119 | |||
| 120 | #ifdef FSF_DEBUG |
||
| 121 | if (at_absolute_time != NULL) |
||
| 122 | kern_printf("(Next act s%d:us%d)",(int)at_absolute_time->tv_sec,(int)at_absolute_time->tv_nsec/1000); |
||
| 123 | else |
||
| 124 | kern_printf("(End Cycle %d)",exec_shadow); |
||
| 125 | #endif |
||
| 126 | |||
| 127 | task_endcycle(); |
||
| 128 | |||
| 129 | return 0; |
||
| 130 | |||
| 131 | } |
||
| 132 | |||
| 133 | int |
||
| 134 | fsf_schedule_next_event_triggered_job |
||
| 135 | (fsf_synch_object_handle_t *synch_handle, |
||
| 136 | struct timespec *next_budget, |
||
| 137 | struct timespec *next_period, |
||
| 138 | bool *was_deadline_missed, |
||
| 139 | bool *was_budget_overran) |
||
| 140 | { |
||
| 141 | |||
| 142 | TIME T,Q; |
||
| 143 | int budget, local_scheduler_level, scheduler_id; |
||
| 144 | |||
| 145 | local_scheduler_level = CBSSTAR_get_local_scheduler_level_from_pid(cbsstar_level, exec_shadow); |
||
| 146 | scheduler_id = CBSSTAR_get_local_scheduler_id_from_pid(cbsstar_level, exec_shadow); |
||
| 147 | |||
| 148 | switch (scheduler_id) { |
||
| 149 | case FSF_SCHEDULER_POSIX: |
||
| 150 | budget = POSIXSTAR_getbudget(local_scheduler_level, exec_shadow); |
||
| 151 | break; |
||
| 152 | case FSF_SCHEDULER_EDF: |
||
| 153 | budget = EDFSTAR_getbudget(local_scheduler_level, exec_shadow); |
||
| 154 | break; |
||
| 155 | case FSF_SCHEDULER_RM: |
||
| 156 | default: |
||
| 157 | budget = -1; |
||
| 158 | break; |
||
| 159 | } |
||
| 160 | |||
| 161 | if (budget == -1) return FSF_ERR_INVALID_SERVER; |
||
| 162 | |||
| 163 | if (next_budget != NULL && next_period != NULL) { |
||
| 164 | |||
| 165 | CBSSTAR_getbudgetinfo(cbsstar_level, &Q, &T, budget); |
||
| 166 | |||
| 167 | #ifdef FSF_DEBUG |
||
| 168 | kern_printf("(budget %d Q=%d T=%d)",budget,(int)Q,(int)T); |
||
| 169 | #endif |
||
| 170 | |||
| 171 | next_budget->tv_sec = Q / 1000000; |
||
| 172 | next_budget->tv_nsec = (Q % 1000000) * 1000; |
||
| 173 | next_period->tv_sec = T / 1000000; |
||
| 174 | next_period->tv_nsec = (T % 1000000) * 1000; |
||
| 175 | |||
| 176 | } |
||
| 177 | |||
| 178 | if (was_deadline_missed != NULL) *was_deadline_missed = false; |
||
| 179 | if (was_budget_overran != NULL) |
||
| 180 | *was_budget_overran = (bool)CBSSTAR_was_budget_overran(cbsstar_level,budget); |
||
| 181 | |||
| 182 | if (synch_handle->events > 0) { |
||
| 183 | task_activate(exec_shadow); |
||
| 184 | synch_handle->events--; |
||
| 185 | } else |
||
| 186 | iq_insertlast(exec_shadow,&synch_handle->threads); |
||
| 187 | |||
| 188 | #ifdef FSF_DEBUG |
||
| 189 | kern_printf("(Synch_Handle Events %d)",synch_handle->events); |
||
| 190 | #endif |
||
| 191 | |||
| 192 | task_endcycle(); |
||
| 193 | |||
| 194 | return 0; |
||
| 195 | |||
| 196 | } |