Prova teorica 2015.02.14 - Revision history

GabrieleCalarota: /* Soluzione di Silas */

2017-06-22T12:35:01Z

Soluzione di Silas

GabrieleCalarota: /* Soluzione di Silas */

2017-06-22T12:34:26Z

Soluzione di Silas

FedericoB: /* Soluzione di Silas */ Migliorata formattazione e aggiunta peer review.

2017-06-13T18:58:57Z

Soluzione di Silas: Migliorata formattazione e aggiunta peer review.

FedericoB: /* Esercizio c.1 */ Aggiunta soluzione

2017-06-13T16:33:04Z

Esercizio c.1: Aggiunta soluzione

MarcoNegrini: /* Soluzione di MarcoNegrini */

2017-06-06T10:08:40Z

Soluzione di MarcoNegrini

MarcoNegrini at 10:07, 6 June 2017

2017-06-06T10:07:22Z

Silas at 15:42, 26 May 2017

2017-05-26T15:42:17Z

Silas: /* Soluzione di Silas */

2017-05-26T15:16:50Z

Soluzione di Silas

Silas: Created page with "Testo: [http://www.cs.unibo.it/~renzo/so/compiti/2015.02.14.tot.pdf] == Esercizio c.1 == ===Soluzione di Silas=== #define MAX monitor altcolbb{ ..."

2017-05-26T15:14:05Z

Created page with "Testo: [http://www.cs.unibo.it/~renzo/so/compiti/2015.02.14.tot.pdf] == Esercizio c.1 == ===Soluzione di Silas=== <syntaxhighlight lang="C"> #define MAX monitor altcolbb{ ..."

New page

Testo: [http://www.cs.unibo.it/~renzo/so/compiti/2015.02.14.tot.pdf]

== Esercizio c.1 ==
===Soluzione di Silas===
<syntaxhighlight lang="C">
#define MAX

monitor altcolbb{
queue buff;
color_t last_color; //0: red, 1:blue, -1:"superstate", means that both red and blue are accepted
int wait_red, wait_blue;
condition ok2read, redok, blueok;

void altcolbb(void){
buff = new queue();
last_color = -1;
wait_red = wait_blue = 0;
}

procedure entry void write(color_t color, generic_type val){
if(last_color == color || buff.length() == MAX){ //we can't enqueue if the colors are the same or if the buffer is full
if(color == 0){ //enqueue to "reds"
wait_red++;
redok.wait();
wait_red--;
}else{
wait_blue++;
blueok.wait();
wait_blue--;
}
}
buff.enqueue(val);
last_color = color;
ok2read.signal();
}

procedure entry generic_type read(void){
if(buff.length() == 0)
ok2read.wait();
generic_type ret = buff.dequeue();
if(buff.length() == 0)
last_color = -1;
switch(last_color){
case -1: {
if(wait_red>wait_blue)
redok.signal();
else
blueok.signal();
break;
}
case 0: {
redok.signal();
break;
}
case 1: {
blueok.signal();
break;
}
}
}

}
</syntaxhighlight>

@@ Line 181: / Line 181: @@
 Anche secondo me è così --[[User:FedericoB|FedericoB]] ([[User talk:FedericoB|talk]]) 20:58, 13 June 2017 (CEST)
-In realtà i possibili valori sono 4: 12 5 9 e 8. In quanto è vero che possono solo alternarsi i due thread. ma i semafori partono da 1. pertanto al "secondo giro può partire chiunque dei due, in quanto avrà il suo semaforo a 1 e non bloccato nella P".
+In realtà i possibili valori sono: 12 5 9 e 8. In quanto è vero che possono solo alternarsi i due thread. ma i semafori partono da 1. pertanto al "secondo giro può partire chiunque dei due, in quanto avrà il suo semaforo a 1 e non bloccato nella P".
 Le sequenze possibili sono: A AB A AB, AB A AB A, AB A A AB, A AB AB A

← Older revision		Revision as of 12:34, 22 June 2017
Line 180:		Line 180:

	Anche secondo me è così --[[User:FedericoB\|FedericoB]] ([[User talk:FedericoB\|talk]]) 20:58, 13 June 2017 (CEST)		Anche secondo me è così --[[User:FedericoB\|FedericoB]] ([[User talk:FedericoB\|talk]]) 20:58, 13 June 2017 (CEST)
		+
		+	In realtà i possibili valori sono 4: 12 5 9 e 8. In quanto è vero che possono solo alternarsi i due thread. ma i semafori partono da 1. pertanto al "secondo giro può partire chiunque dei due, in quanto avrà il suo semaforo a 1 e non bloccato nella P".
		+
		+	Le sequenze possibili sono: A AB A AB, AB A AB A, AB A A AB, A AB AB A

@@ Line 174: / Line 174: @@
 == Esercizio c.2 ==
 ===Soluzione di Silas===
-I semafori garantiscono che A e B vengano eseguiti in maniera sequenziale e che accedano in maniera mutualmente esclusiva ad n, quindi l'unica variazione possibile è il thread di inizio per la sequenza.
+I semafori garantiscono che A e B vengano eseguiti in maniera sequenziale e che accedano in maniera mutualmente esclusiva ad n, quindi l'unica variazione possibile è il thread di inizio per la sequenza. <br>
-Nel caso sia A ad accedere per primo alla CS si ha: n = ((1*2)+2)*3 = 12
+Nel caso sia A ad accedere per primo alla CS si ha: n = ((1*2)+2)*3 = 12 <br>
-Nel caso sia invece B ad accedere per primo alla C si ha: n = (((0*2)+1)*3)+2 = 5
+Nel caso sia invece B ad accedere per primo alla C si ha: n = (((0*2)+1)*3)+2 = 5 <br>
-Quindi n = 12 e n = 5 sono i due possibili valori.
+Quindi n = 12 e n = 5 sono i due possibili valori. <br>

@@ Line 129: / Line 129: @@
+}
 </syntaxhighlight>
 == Esercizio c.2 ==

@@ Line 116: / Line 116: @@
 			last_color = -1;
 			// last color MUST be set to -1 here because
-			// if there was writers waiting on ok2write.wait() (full buffer case)
+			// if there were writers waiting on ok2write.wait() (full buffer case)
 			// they woundn't be signaled here, this happens if MAX=1
@@ Line 129: / Line 129: @@
+}
 </syntaxhighlight>
 == Esercizio c.2 ==

← Older revision		Revision as of 15:42, 26 May 2017
Line 62:		Line 62:
	}		}
	</syntaxhighlight>		</syntaxhighlight>
		+	== Esercizio c.2 ==
		+	===Soluzione di Silas===
		+	I semafori garantiscono che A e B vengano eseguiti in maniera sequenziale e che accedano in maniera mutualmente esclusiva ad n, quindi l'unica variazione possibile è il thread di inizio per la sequenza.
		+	Nel caso sia A ad accedere per primo alla CS si ha: n = ((12)+2)3 = 12
		+	Nel caso sia invece B ad accedere per primo alla C si ha: n = (((02)+1)3)+2 = 5
		+	Quindi n = 12 e n = 5 sono i due possibili valori.

@@ Line 24: / Line 24: @@
 				redok.wait();
 				wait_red--;
-			}else{
+			}else{ //enqueue to "blues"
 				wait_blue++;
 				blueok.wait();
@@ Line 30: / Line 30: @@
+			}
+		}
-		buff.enqueue(val);
+		buff.enqueue(val); //append val and update last_color
 		last_color = color;
 		ok2read.signal();
@@ Line 40: / Line 40: @@
 		generic_type ret = buff.dequeue();
 		if(buff.length() == 0)
-			last_color = -1;
+			last_color = -1; //if buff is empty both colors can now be added
 		switch(last_color){
 			case -1: {
-					if(wait_red>wait_blue)
+					if(wait_red>wait_blue) //if there are more "reds" waiting to write we signal them
 						redok.signal();
 					else
-						blueok.signal();
+						blueok.signal(); //otherwise we signal "blues"
 					break;
+			}
 			case 0: {
-					redok.signal();
+					blueok.signal();
 					break;
+			}
 			case 1: {
-					blueok.signal();
+					redok.signal();
 					break;
+			}