| /barrelfish-master/include/arch/x86_32/barrelfish/ |
| H A D | invocations_arch.h | 611 enum task_type type, unsigned long deadline,
619 invoke_cptr, (type << 16) | weight, deadline, wcet, period, release).error;
610 invoke_dispatcher_properties(struct capref dispatcher, enum task_type type, unsigned long deadline, unsigned long wcet, unsigned long period, unsigned long release, unsigned short weight) argument
|
| /barrelfish-master/include/barrelfish/ |
| H A D | invocations.h | 431 enum task_type type, unsigned long deadline,
435 return cap_invoke7(dispatcher, DispatcherCmd_Properties, type, deadline,
430 invoke_dispatcher_properties(struct capref dispatcher, enum task_type type, unsigned long deadline, unsigned long wcet, unsigned long period, unsigned long release, unsigned short weight) argument
|
| /barrelfish-master/kernel/arch/x86_32/ |
| H A D | syscall.c | 61 unsigned long deadline = args[1]; local
66 return sys_dispatcher_properties(to, type, deadline, wcet, period,
|
| /barrelfish-master/kernel/arch/x86_64/ |
| H A D | syscall.c | 77 unsigned long deadline = args[1]; local
84 struct sysret sr = sys_dispatcher_properties(to, type, deadline, wcet, period,
|
| /barrelfish-master/kernel/include/ |
| H A D | dispatch.h | 59 systime_t wcet, period, deadline; member in struct:dcb
|
| H A D | syscall.h | 32 enum task_type type, unsigned long deadline,
|
| /barrelfish-master/kernel/ |
| H A D | schedule_rbed.c | 28 * (worst case execution time), period, (relative) deadline, and
37 * deadline the task needs to be scheduled no later than ->release_time +
38 * deadline - wcet. EDF guarantees this property, as long as the utilization
106 static inline systime_t deadline(struct dcb *dcb) function
108 return dcb->release_time + dcb->deadline;
139 if(deadline(dcb) >= deadline(i)) {
205 if(deadline(i) > deadline(i->next)) {
248 dcb->deadline
[all...] |
| H A D | syscall.c | 189 enum task_type type, unsigned long deadline,
199 assert(wcet <= deadline);
209 dcb->deadline = deadline;
188 sys_dispatcher_properties(struct capability *to, enum task_type type, unsigned long deadline, unsigned long wcet, unsigned long period, unsigned long release, unsigned short weight) argument
|
| /barrelfish-master/tools/schedsim/ |
| H A D | simulator.c | 62 unsigned long wcet, period, deadline; member in struct:dcb
174 unsigned long time, wcet, period, weight, id, blocktime, deadline, rd; local
190 if((rd = sscanf(b, "%lu H %lu %lu %lu %lu", &time, &wcet, &period, &blocktime, &deadline)) >= 4) {
202 dcb->deadline = deadline;
204 dcb->deadline = period;
286 /* printf("%4d: dispatching %2d, release time: %4lu, deadline: %4lu, period: %3lu, WCET: %3lu/%3lu\n", kernel_now, dcb_current->id, dcb_current->release_time, dcb_current->deadline, dcb_current->period, dcb_current->etime, dcb_current->wcet); */
|
| /barrelfish-master/usr/monitor/ |
| H A D | resource_ctrl.c | 24 unsigned long deadline; member in struct:rsrc_phase
244 unsigned long wcet, period, deadline, release; local
260 &deadline, &release)) < 3) {
265 "deadline = %lu, release = %lu\n", phase,
267 wcet, period, deadline, release);
273 rp->deadline = deadline;
275 rp->deadline = period;
323 err = invoke_dispatcher_properties(d->disp, p->task_type, p->deadline, p->wcet,
|