WebSVN - shark - Blame - Rev 1690 - /demos/trunk/base/mdemo.c

Rev	Author	Line No.	Line
1120	pj	1	/*
		2	* Project: S.Ha.R.K.
		3	*
		4	* Coordinators:
		5	* Giorgio Buttazzo <giorgio@sssup.it>
		6	* Paolo Gai <pj@gandalf.sssup.it>
		7	*
		8	* Authors :
		9	* Paolo Gai <pj@gandalf.sssup.it>
		10	* (see the web pages for full authors list)
		11	*
		12	* ReTiS Lab (Scuola Superiore S.Anna - Pisa - Italy)
		13	*
		14	* http://www.sssup.it
		15	* http://retis.sssup.it
		16	* http://shark.sssup.it
		17	*/
		18
		19	/*
		20	* Copyright (C) 2000 Paolo Gai
		21	*
		22	* This program is free software; you can redistribute it and/or modify
		23	* it under the terms of the GNU General Public License as published by
		24	* the Free Software Foundation; either version 2 of the License, or
		25	* (at your option) any later version.
		26	*
		27	* This program is distributed in the hope that it will be useful,
		28	* but WITHOUT ANY WARRANTY; without even the implied warranty of
		29	* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
		30	* GNU General Public License for more details.
		31	*
		32	* You should have received a copy of the GNU General Public License
		33	* along with this program; if not, write to the Free Software
		34	* Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
		35	*
		36	*
1552	pj	37	* CVS : $Id: mdemo.c,v 1.4 2005-02-25 11:10:46 pj Exp $
1120	pj	38
		39	This test verify the correctness of the NOP module. It works with the
		40	PI, PC, SRP module, too.
		41
		42	The test uses one mutex
		43
		44	the main task (NRT) creates three tasks.
		45
		46	J1 with PC priority 0
		47	starts at t=0.5 sec and lock m0
		48
		49	J2 with PC priority 1
		50	starts at t=1 sec and doesn't lock any mutex
		51
		52	J3 with PC priority 2
		53	it starts and locks m0
		54	at t=2 sec it unlocks m1
		55
		56
		57	The example is similar to the scheduling diagram shown at p. 188 of the
		58	book "Sistemi in tempo Reale", by Giorgio Buttazzo, Pitagora Editrice
		59
		60	*/
		61
		62	#include "kernel/kern.h"
1552	pj	63	#include "srp/srp/srp.h"
1120	pj	64
		65	mutex_t m0;
		66
		67
		68	void startJ(void *a)
		69	{
		70	task_activate((PID)a);
		71	}
		72
1690	fabio	73	TASK J1()
1120	pj	74	{
		75	cprintf("J1: before locking m0\n");
		76	mutex_lock(&m0);
		77	cprintf("J1: locked m0\n");
		78	mutex_unlock(&m0);
		79	cprintf("J1: unlocked m0, end task\n");
		80	return 0;
		81	}
		82
		83
		84	TASK j2()
		85	{
		86	cprintf("J2: waiting t=1.5 sec\n");
		87
		88	while (sys_gettime(NULL) < 1500000);
		89
		90	cprintf("J2: end task\n");
		91	return 0;
		92	}
		93
		94
		95	TASK j3()
		96	{
		97	cprintf("J3: before locking m0\n");
		98	mutex_lock(&m0);
		99	cprintf("J3: locked m0, waiting to t=2 sec\n");
		100
		101	while (sys_gettime(NULL) < 2000000);
		102
		103	cprintf("J3: t = 1 sec reached, unlocking m0\n");
		104	mutex_unlock(&m0);
		105	cprintf("J3: unlocked m0, end task\n");
		106	return 0;
		107	}
		108
		109	int main(int argc, char **argv)
		110	{
		111	struct timespec t;
		112
		113	HARD_TASK_MODEL m;
		114	PID p0,p1,p2;
		115
		116	PC_mutexattr_t a;
		117	PI_mutexattr_t a2;
		118	NOP_mutexattr_t a3;
		119	SRP_mutexattr_t a4;
		120	NPP_mutexattr_t a5;
		121
		122	PC_RES_MODEL r;
		123	SRP_RES_MODEL srp;
		124
		125	/* ---------------------------------------------------------------------
		126	Mutex creation
		127	--------------------------------------------------------------------- */
		128
		129	PC_mutexattr_default(a,0);
		130	PI_mutexattr_default(a2);
		131	NOP_mutexattr_default(a3);
		132	SRP_mutexattr_default(a4);
		133	NPP_mutexattr_default(a5);
		134	mutex_init(&m0,&a4);
		135
		136	/* ---------------------------------------------------------------------
		137	Task creation
		138	--------------------------------------------------------------------- */
		139
		140	hard_task_default_model(m);
		141	hard_task_def_wcet(m,20000);
		142	hard_task_def_mit(m,10000000);
		143	PC_res_default_model(r,0);
		144	SRP_res_default_model(srp,3);
1690	fabio	145	p0 = task_createn("J1", J1, (TASK_MODEL *)&m, &r, &srp, SRP_usemutex(&m0), NULL);
1120	pj	146	if (p0 == NIL)
		147	{ cprintf("Can't create J1 task...\n"); return 1; }
		148
		149	hard_task_def_wcet(m,1600000);
		150	hard_task_def_mit(m,21000000);
		151	PC_res_default_model(r,1);
		152	SRP_res_default_model(srp,2);
		153	p1 = task_createn("J2", j2, (TASK_MODEL *)&m, &r, &srp, NULL);
		154	if (p1 == NIL)
		155	{ cprintf("Can't create J2 task...\n"); return 1; }
		156
		157	hard_task_def_wcet(m,3000000);
		158	hard_task_def_mit(m,100000000);
		159	PC_res_default_model(r,2);
		160	SRP_res_default_model(srp,1);
		161	p2 = task_createn("J3", j3, (TASK_MODEL *)&m, &r, &srp, SRP_usemutex(&m0), NULL);
		162	if (p2 == NIL)
		163	{ cprintf("Can't create J3 task...\n"); return 1; }
		164
		165
		166	/* ---------------------------------------------------------------------
		167	Event post
		168	--------------------------------------------------------------------- */
		169
		170	t.tv_sec = 0;
		171	t.tv_nsec = 500000000;
		172
		173	kern_cli();
		174	kern_event_post(&t,startJ,(void *)p0);
		175
		176	t.tv_sec = 1;
		177	kern_event_post(&t,startJ,(void *)p1);
		178	kern_sti();
		179
		180	task_activate(p2);
		181
1377	giacomo	182	do {
		183	sys_gettime(&t);
		184	} while (t.tv_sec < 60);
		185
1547	pj	186	exit(0);
1120	pj	187
		188	return 0;
		189	}

Subversion Repositories shark

(root)/demos/trunk/base/mdemo.c @ 1494 - Rev 1690