ProvaTeorica 2012.02.09 - Revision history

Ossama G. at 11:59, 2 September 2017

2017-09-02T11:59:22Z

Save at 12:32, 14 July 2014

2014-07-14T12:32:29Z

Save at 12:30, 14 July 2014

2014-07-14T12:30:47Z

Save at 14:53, 28 May 2014

2014-05-28T14:53:11Z

Stefano 92 at 18:02, 16 March 2014

2014-03-16T18:02:27Z

Stefano 92: Created page with "Esercizio 1 /* Esercizio 1: Il monitor seq da implementare deve fornire due procedure entry: procedure entry void enter(void); procedure entry void ..."

2014-03-16T17:59:51Z

Created page with "Esercizio 1 <syntaxhighlight lang="C"> /* Esercizio 1: Il monitor seq da implementare deve fornire due procedure entry: procedure entry void enter(void); procedure entry void ..."

New page

Esercizio 1
<syntaxhighlight lang="C">
/*
Esercizio 1: Il monitor seq da implementare deve fornire due procedure entry:
procedure entry void enter(void);
procedure entry void exit(void);
I processi chiamano i servizi di seq come segue:
….
seq.enter();
// codice controllato da seq
seq.exit();
….
Tutti i processi che ne facciano rischiesta possono entrare nel codice controllato da seq contemporaneamente (questa
NON e' una sezione critica!). Exit deve garantire che i processi escano dal codice controllato tutti insieme. Per
esempio se tre processi a,b e c chiamano seq.enter ogni processo non potra' completare la exit se prima tutti gli altri
due non hanno chiamato la exit. Se nel frattempo altri processi dovessero chiamare la seq.enter occorrera' attendere
anche questi ultimi.
*/

monitor seq
{
int processi=0;
condition oktoexit;

procedure entry enter()
{
processi++
}

procedure entry exit()
{
processi--
oktoexit.signal();
while(processi!=0)
{
oktoexit.wait();
}

}
}
</syntaxhighlight>

← Older revision		Revision as of 11:59, 2 September 2017
Line 79:		Line 79:


		+	</syntaxhighlight>
		+	<syntaxhighlight lang="C">
		+	monitor seq{
		+	condition ok2exit;
		+	int exit;
		+	seq(){
		+	count=exit=0
		+	}
		+	entry enter(){
		+	count++
		+	ok2exit.wait()
		+	if count >0:
		+	ok2exit.signal()
		+
		+	}
		+	entry exit(){
		+	exit++
		+	if exit==count:
		+	ok2exit.signal()
		+	}
		+	-AlbertoD
	</syntaxhighlight>		</syntaxhighlight>

@@ Line 68: / Line 68: @@
 		    inattesa++ ;
                      oktoexit.wait();
-                     inattesa=0;
+                     inattesa--;
+		}

@@ Line 50: / Line 50: @@
+{
 	int processi=0;
 	condition oktoexit;
@@ Line 60: / Line 61: @@
+	{
-                 int inattesa=0 ;
 		processi-- ;

← Older revision		Revision as of 18:02, 16 March 2014
Line 40:		Line 40:
	}		}
	</syntaxhighlight>		</syntaxhighlight>
		+	-stefano92

← Older revision		Revision as of 14:53, 28 May 2014
Line 41:		Line 41:
	</syntaxhighlight>		</syntaxhighlight>
	-stefano92		-stefano92
		+
		+
		+	<syntaxhighlight lang="C">
		+
		+
		+
		+	monitor seq
		+	{
		+	int processi=0;
		+	condition oktoexit;
		+
		+	procedure entry enter()
		+	{
		+	processi++
		+	}
		+
		+	procedure entry exit()
		+	{
		+
		+	int inattesa=0 ;
		+	processi-- ;
		+
		+	while(processi!=0)
		+	{
		+	inattesa++ ;
		+	oktoexit.wait();
		+	inattesa=0;
		+	}
		+
		+	oktoexit.signal();
		+	}
		+	}
		+
		+
		+	Save
		+
		+
		+	</syntaxhighlight>