Blame |
Last modification |
View Log
| RSS feed
#include <kernel/kern.h>
#include <tracer.h>
#include <stdlib.h>
TASK hard_task
(void *arg
)
{
static int count
= 0;
int i
;
while(1) {
count
++;
printf_xy
(1,1,WHITE
,"Exec %6d",count
);
if (count
== 200) while(1);
for (i
=0;i
<100000;i
++);
task_endcycle
();
}
return 0;
}
int main
() {
HARD_TASK_MODEL ht
;
PID p
;
void *delta
;
delta
= malloc(10000000);
tracer_initialize
(1000000);
tracer_enable
();
hard_task_default_model
(ht
);
hard_task_def_mit
(ht
,100000);
hard_task_def_wcet
(ht
,10000);
p
= task_create
("Test",hard_task
,&ht
,NULL
);
if (p
== NIL
) {
cprintf
("Error Creating Task\n");
sys_end
();
}
task_activate
(p
);
while(1);
return 0;
}