Subversion Repositories shark

/*
 * 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
 */

/*
 * This program is free software; you can redistribute it and/or modify
 * it under the terms of the GNU General Public License as published by
 * the Free Software Foundation; either version 2 of the License, or
 * (at your option) any later version.
 *
 * This program is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 * GNU General Public License for more details.
 *
 * You should have received a copy of the GNU General Public License
 * along with this program; if not, write to the Free Software
 * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
 *
 */

/* 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> ...");
      exit(1);
    }

    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;

}