35,43 → 35,67 |
|
TASK elastic_test(void *arg) { |
|
int nbr = (int)arg; |
|
while(1) { |
|
cprintf("X."); |
|
cprintf("%d.", nbr); |
task_endcycle(); |
|
} |
|
} |
|
int main(int argc, char **argv) |
{ |
ELASTIC_TASK_MODEL e1, e2, e3; |
PID el_pid1, el_pid2, el_pid3; |
|
ELASTIC_TASK_MODEL e; |
PID el_pid; |
cprintf("Elastic Task Demo (U=0.5 in initfile.c)\n"); |
|
cprintf("Elastic Task Demo\n"); |
|
elastic_task_default_model(e); |
elastic_task_def_period(e, 10000, 100000); |
elastic_task_def_wcet(e, 4000); |
elastic_task_def_param(e, 0, 0); |
elastic_task_def_ctrl_jet(e); |
elastic_task_def_usemath(e); |
|
el_pid = task_create("Elastic Test",elastic_test,&e,NULL); |
if (el_pid == NIL) { |
cprintf("ERROR: Cannot create elastic task\n"); |
cprintf("Creating elastic task with Tmin = 100000, C = 20000, E = 0\n"); |
elastic_task_default_model(e1); |
elastic_task_def_period(e1, 100000, 100000); |
elastic_task_def_wcet(e1, 20000); |
elastic_task_def_param(e2, 0, PERIOD_SCALING); |
elastic_task_def_arg(e1, (void *)1); |
el_pid1 = task_create("Elastic1",elastic_test,&e1,NULL); |
if (el_pid1 == NIL) { |
cprintf("ERROR: Cannot create Elastic1\n"); |
sys_end(); |
} |
task_activate(el_pid1); |
|
task_activate(el_pid); |
cprintf("\nCreating elastic task with Tmin = 200000, C = 80000, E = 2\n"); |
elastic_task_default_model(e2); |
elastic_task_def_period(e2, 200000, 400000); |
elastic_task_def_wcet(e2, 80000); |
elastic_task_def_param(e2, 2, PERIOD_SCALING); |
elastic_task_def_arg(e2, (void *)2); |
el_pid2 = task_create("Elastic2",elastic_test,&e2,NULL); |
if (el_pid2 == NIL) { |
cprintf("ERROR: Cannot create Elastic2\n"); |
sys_end(); |
} |
task_activate(el_pid2); |
|
while(sys_gettime(NULL) < 10000000); |
cprintf("\nCreating elastic task with Tmin = 400000, C = 40000, E = 1\n"); |
elastic_task_default_model(e3); |
elastic_task_def_period(e3, 400000, 2000000); |
elastic_task_def_wcet(e3, 40000); |
elastic_task_def_param(e3, 1, PERIOD_SCALING); |
elastic_task_def_arg(e3, (void *)3); |
el_pid3 = task_create("Elastic3",elastic_test,&e3,NULL); |
if (el_pid3 == NIL) { |
cprintf("ERROR: Cannot create Elastic3\n"); |
sys_end(); |
} |
task_activate(el_pid3); |
|
sys_end(); |
|
|
/* Exit at time t = 5.0 */ |
struct timespec t; |
t.tv_sec = 5; |
t.tv_nsec = 0; |
kern_event_post(&t, (void(*)(void*))sys_end, NULL); |
while(1); |
return 0; |
|
} |