Subversion Repositories shark

/*
 * Project: S.Ha.R.K.
 *
 * Coordinators: 
 *   Giorgio Buttazzo    <giorgio@sssup.it>
 *   Paolo Gai           <pj@gandalf.sssup.it>
 *
 * Authors     : 
 *   Paolo Gai           <pj@gandalf.sssup.it>
 *   (see the web pages for full authors list)
 *
 * ReTiS Lab (Scuola Superiore S.Anna - Pisa - Italy)
 *
 * http://www.sssup.it
 * http://retis.sssup.it
 * http://shark.sssup.it
 */

/**
 ------------
 CVS :        $Id: EDFACT1.C,v 1.1 2004-06-04 10:48:40 giacomo Exp $

 File:        $File$
 Revision:    $Revision: 1.1 $
 Last update: $Date: 2004-06-04 10:48:40 $
 ------------
**/

/*
 * Copyright (C) 2001 Paolo Gai
 *
 * 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 demo tests EDFACT with my Celeron 366 Mhz.
Aster1 meet all wcets and all deadlines
Aster2 miss all wcets but hits all the deadlines
Aster3 blocks on a semaphore so it miss all the deadlines and it accumulates
       pending activations
Aster4 does 5 states:
       1: is a cycle, long enough to cope a little more than 2 periods
       2-5: like aster1, they meets all the wcet and deadlines
       the debug pattern is something like
       WDDEEeIeIeI
       W wcet violated
       D deadline miss event
       E endcycle with automatic reactivation due to pending activations
       e normal endcycle
       I normal reactivation event


*/


#include <kernel/kern.h>
#include <semaphore.h>
#include "edfact.h"

PID p1,p2,p3,p4;

sem_t sem;

#define ASTER_LIM       77

TASK aster1(void *arg)
{
    int i = 10;
    int y = 10+exec_shadow;

    printf_xy(1,y,WHITE,"%d", exec_shadow);
    while (i < ASTER_LIM) {
        puts_xy(i,y,WHITE,"*");
        task_endcycle();

        puts_xy(i,y,WHITE," ");
        i++;
    }

    return 0;
}

TASK aster2(void *arg)
{
    int i = 10;
    int y = 10+exec_shadow;
    int x;

    printf_xy(1,y,WHITE,"%d", exec_shadow);
    while (i < ASTER_LIM) {
        puts_xy(i,y,WHITE,"*");
        for(x=0; x<1000000; x++);
        task_endcycle();

        puts_xy(i,y,WHITE," ");
        i++;
    }

    return 0;
}

TASK aster3(void *arg)
{
    int i = 10;
    int y = 10+exec_shadow;

    printf_xy(1,y,WHITE,"%d", exec_shadow);
    while (i < ASTER_LIM) {
        puts_xy(i,y,WHITE,"*");
        sem_wait(&sem);
        task_endcycle();

        puts_xy(i,y,WHITE," ");
        i++;
    }

    return 0;
}

TASK aster4(void *arg)
{
    int i = 10;
    int y = 10+exec_shadow;
    int x;
    int flag = 0;

    printf_xy(1,y,WHITE,"%d", exec_shadow);
    while (i < ASTER_LIM) {
        puts_xy(i,y,WHITE,"*");

        switch (flag) {
        case 0:
          kern_printf("!");
          for(x=0; x<5000000; x++) flag=1;
          break;
        case 1:
          flag = 2;
          break;
        case 2:
          flag = 3;
          break;
        case 3:
          flag = 4;
          break;
        case 4:
          flag = 0;
          break;
        }

        task_endcycle();

        puts_xy(i,y,WHITE," ");
        i++;
    }

    return 0;
}



TASK clock()
{
    printf_xy(50,19,WHITE,"PID miss wcet nact");
    while(1) {
        printf_xy(50,20,WHITE,"%3d %4d %4d %4d",
                  p1, EDFACT_get_dline_miss(p1),
                      EDFACT_get_wcet_miss(p1),
                      EDFACT_get_nact(p1));
        printf_xy(50,21,WHITE,"%3d %4d %4d %4d",
                  p2, EDFACT_get_dline_miss(p2),
                      EDFACT_get_wcet_miss(p2),
                      EDFACT_get_nact(p2));
        printf_xy(50,22,WHITE,"%3d %4d %4d %4d",
                  p3, EDFACT_get_dline_miss(p3),
                      EDFACT_get_wcet_miss(p3),
                      EDFACT_get_nact(p3));
        printf_xy(50,23,WHITE,"%3d %4d %4d %4d",
                  p4, EDFACT_get_dline_miss(p4),
                      EDFACT_get_wcet_miss(p4),
                      EDFACT_get_nact(p4));
    }
}

int main(int argc, char **argv)
{
    NRT_TASK_MODEL n;

    HARD_TASK_MODEL m;

    kern_printf("\nCtrl-C = end demo\n");

    hard_task_default_model(m);
    hard_task_def_mit(m,200000);
    hard_task_def_group(m,1);

    sem_init(&sem,0,0);

    hard_task_def_wcet(m,2000);
    p1 = task_create("1",aster1,&m,NULL);
    if (p1 == -1) {
        perror("Aster.C(main): Could not create task <aster> ...");
        sys_end();
    }

    hard_task_def_wcet(m,2000);
    p2 = task_create("1",aster2,&m,NULL);
    if (p2 == -1) {
        perror("Aster.C(main): Could not create task <aster> ...");
        sys_end();
    }

    hard_task_def_wcet(m,2000);
    p3 = task_create("1",aster3,&m,NULL);
    if (p3 == -1) {
        perror("Aster.C(main): Could not create task <aster> ...");
        sys_end();
    }

    hard_task_def_mit(m,20000);
    hard_task_def_wcet(m,500);
    p4 = task_create("1",aster4,&m,NULL);
    if (p4 == -1) {
        perror("Aster.C(main): Could not create task <aster> ...");
        sys_end();
    }

    group_activate(1);

    nrt_task_default_model(n);
    task_activate(task_create("Clock",clock,&n,NULL));
    return 0;
}