Rev 1516 | Rev 1550 | Go to most recent revision | Blame | Compare with Previous | Last modification | View Log | RSS feed
/*
* Project: S.Ha.R.K.
*
* Coordinators:
* Giorgio Buttazzo <giorgio@sssup.it>
* Paolo Gai <pj@gandalf.sssup.it>
*
* Authors :
* Giacomo Guidi <giacomo@gandalf.sssup.it>
*
* ReTiS Lab (Scuola Superiore S.Anna - Pisa - Italy)
*
* http://www.sssup.it
* http://retis.sssup.it
* http://shark.sssup.it
*/
/* The tracer instrumentation ideas come from the York PWCET analisys tool
*
* Real-Time System Group
* University of York
*
*/
#include <kernel/kern.h>
#include <time.h>
#include <tracer.h>
#define PWCET_Automatic_Ipoint(a) TRACER_LOGEVENT(FTrace_EVT_ipoint,(a),0);
extern int instrumented_function();
TASK ext_call(void)
{
while(1) {
instrumented_function();
task_testcancel();
task_endcycle();
}
return 0;
}
#define TASKMAX 4
#define TASKDELAY 1000000
#define TASKDELAY_DELTA 100000
int exec_code() {
int num;
struct timespec t;
HARD_TASK_MODEL m;
PID p;
clear();
cprintf("Start");
hard_task_default_model(m);
hard_task_def_mit(m,200000 + rand() % 100000);
hard_task_def_wcet(m,40000);
hard_task_def_group(m,2);
num = 0;
while(num < TASKMAX) {
cprintf(".");
p = task_create("Instr",ext_call,&m,NULL);
if (p == -1) {
sys_shutdown_message("Could not create task <instr> ...");
sys_end();
}
num++;
task_activate(p);
usleep(TASKDELAY + rand() % TASKDELAY_DELTA);
}
do {
sys_gettime(&t);
} while (t.tv_sec < 12);
cprintf("End\n");
return 0;
}
extern unsigned int clk_per_msec;
int main(int argc, char **argv)
{
int a,b,c,i;
struct timespec t,start,end,diff;
srand(sys_gettime(NULL));
a = FTrace_chunk_create(1000000, 1000000, FTRACE_CHUNK_FLAG_FREE | FTRACE_CHUNK_FLAG_CYC);
b = FTrace_chunk_create(1000000, 1000000, FTRACE_CHUNK_FLAG_FREE | FTRACE_CHUNK_FLAG_JTN);
c = FTrace_chunk_create(1000000, 1000000, FTRACE_CHUNK_FLAG_FREE | FTRACE_CHUNK_FLAG_CYC);
FTrace_chunk_link(a,b);
FTrace_chunk_link(b,c);
FTrace_actual_chunk_select(a);
kern_gettime(&start);
FTrace_enable();
TRACER_LOGEVENT(FTrace_EVT_trace_start,proc_table[exec_shadow].context,clk_per_msec);
for (i=0;i<10;i++)
if (proc_table[i].context != 0) TRACER_LOGEVENT(FTrace_EVT_id,
(unsigned short int)proc_table[i].context,i);
exec_code();
TRACER_LOGEVENT(FTrace_EVT_trace_stop,0,0);
FTrace_disable();
kern_gettime(&end);
SUBTIMESPEC(&end,&start,&diff);
printf_xy(1,21,WHITE,"Logged Time %d s %d us",(int)diff.tv_sec,(int)diff.tv_nsec/1000);
group_kill(2);
do {
sys_gettime(&t);
} while (t.tv_sec < 12);
FTrace_OSD_init_udp(1, "192.168.0.15", "192.168.0.12");
FTrace_send_chunk(a, 0, FTRACE_CHUNK_FLAG_FREE | FTRACE_CHUNK_FLAG_CYC);
return 0;
}