ProvaTeorica 2012.06.15 - Revision history

Mrta at 15:23, 14 April 2014

2014-04-14T15:23:32Z

Mrta at 15:02, 14 April 2014

2014-04-14T15:02:34Z

TomOgn at 09:25, 17 March 2014

2014-03-17T09:25:28Z

TomOgn at 08:14, 17 March 2014

2014-03-17T08:14:06Z

TomOgn at 18:23, 16 March 2014

2014-03-16T18:23:37Z

TomOgn: Created page with "File:Ex2012-06-15-c1.jpeg"

2014-03-16T18:12:45Z

Created page with "File:Ex2012-06-15-c1.jpeg"

New page

[[File:Ex2012-06-15-c1.jpeg]]

@@ Line 113: / Line 113: @@
    waiting[i]=False;
+}
 </syntaxhighlight>

@@ Line 75: / Line 75: @@
+		}
+	}
+}
 </syntaxhighlight>

@@ Line 62: / Line 62: @@
 				stopped[index].N--;
+			}
-			/* [Case 1] Non esiste un numero in attesa che corrisponde al numero che
+			/* [Case 2] Non esiste un numero in attesa che corrisponde al numero che
 			   si deve inserire. Inoltre l'attuale non corrisponde al numero che
 			   si deve inserire. */

← Older revision		Revision as of 08:14, 17 March 2014
Line 1:		Line 1:
	<h1>http://www.cs.unibo.it/~renzo/so/compiti/2012-06-15.tot.pdf</h1>		<h1>http://www.cs.unibo.it/~renzo/so/compiti/2012-06-15.tot.pdf</h1>

−	~~[[File~~:~~Ex2012~~-06-15-c1.~~jpeg~~]]	+
		+
		+	<syntaxhighlight lang="C">
		+	/*
		+	* URL: http://www.cs.unibo.it/~renzo/so/compiti/2012-06-15.tot.pdf
		+	* author: Tommaso Ognibene
		+	*/
		+
		+	monitor palindrome5
		+	{
		+	// Struttura che rappresenta i numeri bloccati
		+	typedef struct
		+	{
		+	condition C;
		+	int N;
		+	} Stopped;
		+
		+	Stopped stopped[10];
		+	for (int i = 0; i < 10; i++)
		+	stopped[i].N = 0;
		+	int n = 0;
		+	int palindrome[10];
		+	repeated = {} // Python-like dictionary
		+
		+	procedure entry synch(int index)
		+	{
		+	// Se ho raggiunto la lunghezza del palindromo
		+	if (n == 10)
		+	{
		+	// Azzero le variabili
		+	n = 0;
		+	repeated = {};
		+	}
		+	// [Case 1] parte sinistra del palindromo
		+	if (n < 5)
		+	{
		+	// Se il numero e' gia' stato inserito
		+	if (repeated[index])
		+	{
		+	// Mi fermo e attendo di essere sbloccato
		+	stopped[index].N++;
		+	stopped[index].C.wait();
		+	stopped[index].N--;
		+	}
		+	palindrome[n++] = index;
		+	repeated[index] = true;
		+	}
		+	// [Case 2] parte destra del palindromo
		+	else
		+	{
		+	int number = palindrome[n - 5];
		+	/* [Case 1] Esiste (almeno) un numero in attesa che corrisponde al numero che
		+	si deve inserire. Lo riattivo. In questo modo evito la starvation. */
		+	if (stopped[number].N > 0)
		+	{
		+	stopped[number].C.signal();
		+	// Mi fermo e attendo di essere sbloccato
		+	stopped[index].N++;
		+	stopped[index].C.wait();
		+	stopped[index].N--;
		+	}
		+	/* [Case 1] Non esiste un numero in attesa che corrisponde al numero che
		+	si deve inserire. Inoltre l'attuale non corrisponde al numero che
		+	si deve inserire. */
		+	else if (number != index)
		+	{
		+	// Mi fermo e attendo di essere sbloccato
		+	stopped[index].N++;
		+	stopped[index].C.wait();
		+	stopped[index].N--;
		+	}
		+	palindrome[n++] = index;
		+	}
		+	}
		+	}
		+	</syntaxhighlight>

← Older revision		Revision as of 18:23, 16 March 2014
Line 1:		Line 1:
		+	<h1>http://www.cs.unibo.it/~renzo/so/compiti/2012-06-15.tot.pdf</h1>
		+
	[[File:Ex2012-06-15-c1.jpeg]]		[[File:Ex2012-06-15-c1.jpeg]]