ProvaTeorica 2012.07.16 - Revision history

Stefano 92 at 22:34, 30 March 2014

2014-03-30T22:34:50Z

Mirk M at 20:48, 30 March 2014

2014-03-30T20:48:22Z

Mirk M at 20:47, 30 March 2014

2014-03-30T20:47:03Z

DaniC at 12:44, 29 March 2014

2014-03-29T12:44:24Z

GiuliaN: /* Esercizio c.2 */

2014-03-29T12:38:34Z

Esercizio c.2

GiuliaN at 12:37, 29 March 2014

2014-03-29T12:37:29Z

GiuliaN at 12:36, 29 March 2014

2014-03-29T12:36:25Z

DaniC at 12:28, 29 March 2014

2014-03-29T12:28:55Z

AlexJ at 22:49, 28 March 2014

2014-03-28T22:49:44Z

AlexJ at 21:56, 28 March 2014

2014-03-28T21:56:59Z

← Older revision		Revision as of 22:34, 30 March 2014
Line 316:		Line 316:
	Mirko		Mirko

		+	<syntaxhighlight lang="C">
		+	#DEFINE RED 0
		+	#DEFINE BLUE 1
		+
		+	int is_ok(int n_red,int n_blue); /funzione is_ok: restituisce 1 se la configurazione passata in input è accettabile/
		+
		+
		+	monitor limcol
		+	{
		+	int number[2]; /number[i] contiene il numero di processi del colore i nella sezione limcol/
		+	condition oktoenter[2],oktoexit[2];
		+	procedure entry enter(int colour)
		+	{
		+	if (!is_ok(number[colour]+1,number[!colour]))
		+	oktoenter[colour].wait();
		+	number[colour]++;
		+	if (is_ok(number[colour]+1,number[!colour]))
		+	oktoenter[colour].signal();
		+	if (is_ok(number[colour],number[!colour]+1))
		+	oktoenter[!colour].signal();
		+	if (is_ok(number[colour]-1,number[!colour]))
		+	oktoexit[colour].signal();
		+	if (is_ok(number[colour],number[!colour]-1))
		+	oktoexit[!colour].signal();
		+	}
		+
		+	}
		+	procedure entry exit(int colour)
		+	{
		+	if (!is_ok(number[colour]-1,number[!colour]))
		+	oktoexit[colour].wait();
		+	number[colour]--;
		+	if (is_ok(number[colour]+1,number[!colour]))
		+	oktoenter[colour].signal();
		+	if (is_ok(number[colour],number[!colour]+1))
		+	oktoenter[!colour].signal();
		+	if (is_ok(number[colour]-1,number[!colour]))
		+	oktoexit[colour].signal();
		+	if (is_ok(number[colour],number[!colour]-1))
		+	oktoexit[!colour].signal();
		+	}
		+	}
		+	</syntaxhighlight>
		+	Stefano

	==Esercizio c.2==		==Esercizio c.2==

@@ Line 309: / Line 309: @@
+	{
 		procNum = 0;
-		redProc = 0;
+		pColourNum[0] = 0;
-		blueProc = 0;
+		pColourNum[1] = 0;
+	}
+}

← Older revision		Revision as of 20:47, 30 March 2014
Line 243:		Line 243:
	</syntaxhighlight>		</syntaxhighlight>
	Alessandro		Alessandro
		+
		+
		+	<syntaxhighlight lang="C">
		+	#define LIMIT 0.75
		+	#define RED 0
		+	#define BLUE 1
		+
		+	monitor limcol{
		+	double procNum; // numero processi all'interno del semaforo
		+	double pColourNum[2]; // numero di processi rossi [0] o blu [1]
		+	condition okToEnter;
		+	condition okToLeave;
		+
		+	procedure entry enter(colour)
		+	{ // Se ci sono processi nel semaforo && il numero dei processi del colore attuale è inferiore
		+	// al 75% && il numero dei processi dell'altro colore è inferiore al 75% sul totale+1, wait
		+	if(procNum != 0 && (pColourNum[1-colour]/procNum+1) < LIMIT && (pColourNum[colour]/procNum) < LIMIT)
		+	{
		+	okToEnter.wait();
		+	}
		+
		+	else
		+	{
		+	procNum++;
		+	pColourNum[colour]++;
		+
		+	// Se qualcuno è in attesa di uscire e adesso le percentuali lo permettono, signal
		+	if((pColourNum[colour]/procNum-1) >= LIMIT)
		+	{
		+	okToLeave.signal();
		+	}
		+
		+	// Se qualcuno è in attesa di entrare e adesso le percentuali lo permettono, signal
		+	if((pColourNum[colour]/procNum+1) >= LIMIT)
		+	{
		+	okToEnter.signal();
		+	}
		+	}
		+	}
		+
		+
		+	procedure entry exit(colour)
		+	{
		+	// Se il numero di processi del colore attuale è inferiore al 75% sul totale+1, wait
		+	if((pColourNum[colour]/procNum-1) < LIMIT)
		+	{
		+	okToLeave.wait();
		+	}
		+
		+	else
		+	{
		+	procNum--;
		+	pColourNum[colour]--;
		+
		+	// Se qualcuno dell'altro colore è in attesa di uscire e adesso le percentuali lo permettono, signal
		+	if((pColourNum[1-colour]/procNum-1) >= LIMIT)
		+	{
		+	okToLeave.signal();
		+	}
		+
		+	}
		+	}
		+
		+	limcol
		+	{
		+	procNum = 0;
		+	redProc = 0;
		+	blueProc = 0;
		+	}
		+	}
		+	</syntaxhighlight>
		+	Mirko

@@ Line 65: / Line 65: @@
+	}
-	// risveglia un processo del colore passato se è possibile farlo
+	// risveglia il processo in testa alla coda waiting se è possibile farlo
 	void checkwakeup() {
 		if (waiting.empty() == false) {

@@ Line 247: / Line 247: @@
 ==Esercizio c.2==
 Per quali indici n le funzioni foo possono essere utilizzate al posto della test&set?
 Risposta: per n = 5
-x prende il fatto il valore di y, quindi y deve essere = booln(x,y)
 Andiamo a vedere per quali valori y è uguale a booln(x,y)
 {| border="1" class="wikitable"
@@ Line 268: / Line 270: @@
 Giulia (non sono molto sicura della soluzione, ma questo è il ragionamento che mi è sembrato più corretto)
 ==Esercizio g.1==

@@ Line 1: / Line 1: @@
 [http://www.cs.unibo.it/~renzo/so/compiti/2012-07-16.tot.pdf Link Testo]
-<h2>Esercizio C.2</h2>
 Mia Soluzione:
@@ Line 242: / Line 243: @@
 </syntaxhighlight>
 Alessandro

@@ Line 53: / Line 53: @@
 monitor limcol {
 	condition oktoenter
 	int running[2] // numero di processi rossi [0] e blu [1] in esecuzione
-	queue waiting // coda dei colori dei processi in attesa
+	queue waiting /* coda delle coppie (colore,azione) dei processi in attesa di entrare (azione==1)
-	/* restituisce true se aggiungendo un processo del colore passato viene rispettato il 75%
+	/* restituisce true se aggiungendo o rimuovendo (in base a i) un processo del colore passato
-	dei processi di un colore */
+	viene rispettato il 75% dei processi di un colore */
-	bool morethan75p(colore) {
+	bool morethan75p(colore, int i) {
-		return (running[colore]+1>=running[1-colore]*3 || (running[colore]+1)*3<=running[1-colore])
+		return (running[colore]+i>=running[1-colore]*3 || (running[colore]+i)*3<=running[1-colore])
+	}
@@ Line 65: / Line 67: @@
 	void checkwakeup() {
 		if (waiting.empty() == false) {
-			colore=waiting.head() // head resituisce l'elemento in testa senza rimuoverlo
+			colore,azione = waiting.head() // head resituisce l'elemento in testa senza rimuoverlo
-			if (morethan75p(colore)) {
+			if (morethan75p(colore,azione)) {
 				waiting.dequeue()
-				oktoenter.signal()
+				if (azione == 1)
+			}
+		}
+	}
-−
 	procedure entry enter(colore) {
-		if (morethan75p(colore)==false) {
+		if (morethan75p(colore,1)==false) {
-			waiting.enqueue(colore)
+			waiting.enqueue(colore,1)
 			oktoenter.wait()
+		}
@@ Line 81: / Line 86: @@
 		checkwakeup()
+	}
-−
 	procedure entry exit(colore) {
 		running[colore]--
 		checkwakeup()
+	}
+}
 </syntaxhighlight>
 Daniele Cortesi

@@ Line 204: / Line 204: @@
 int i=1;
 procedure entry enter(color){
-if(numcolor[color] + 1 < float((tot+1)*(75/100))  ||
+if((numcolor[color] + 1 < float((tot+1)*(75/100))  &&
-    numcolor[color] + 1 >= float((tot+1)*(25/100)) ||
+    numcolor[color] + 1 >= float((tot+1)*(25/100))) ||
     !q.empty() )
+	{

@@ Line 184: / Line 184: @@
 			oktoenter[1-color].signal();
+				}
-−
+					}
 /*
@@ Line 193: / Line 192: @@
 </syntaxhighlight>
 Pir@t@
 ==Esercizio g.1==