Prove scritte 2021 - Revision history

Barba: /* Consegna c1 */

2024-01-20T13:47:35Z

Consegna c1

2023-05-25T10:10:15Z

Esercizio C1

2023-05-25T09:42:24Z

Esercizio C1

2023-05-23T10:21:05Z

Esercizio C2

2023-05-23T10:20:30Z

Soluzione proposta 2 (da controllare)

2023-05-23T10:20:17Z

Soluzione proposta 2 (da controllare)

2023-05-23T10:18:58Z

Soluzione proposta 1 (da controllare)

2023-05-04T12:45:24Z

Soluzione proposta (da controllare)

2023-05-04T12:44:39Z

Prova 21/07/2021

2023-03-07T12:05:22Z

esercizio c2

@@ Line 609: / Line 609: @@
      return p;
+   }
+}
 </syntaxhighlight>

← Older revision		Revision as of 10:10, 25 May 2023
Line 405:		Line 405:
	}		}

		+	</syntaxhighlight>
		+
		+	=== Soluzione proposta 3 (da controllare) ===
		+	Proposta da [[User:SpookyWiki\|SpookyWiki]] ([[User talk:SpookyWiki\|talk]]) 12:05, 25 May 2023 (CEST)
		+
		+	Si assume una politica FIFO delle condition, NDELAY non variabile d'ambiente ma parametro passato all'inizializzazione.
		+
		+	<syntaxhighlight lang="C">
		+	monitor delayvalue {
		+	int ndelay;
		+	int in;
		+	int lastvalue;
		+	condition ok2return;
		+
		+	delay(int NDELAY) {
		+	ndelay = NDELAY;
		+	in = 0;
		+	lastvalue = 0;
		+	}
		+
		+	procedure entry int delay(int value) {
		+	if (in >= ndelay) {
		+	lastvalue = value;
		+	ok2return.signal();
		+	} else
		+	in++;
		+	ok2return.wait();
		+	return lastvalue;
		+	}
		+
		+	}
	</syntaxhighlight>		</syntaxhighlight>

← Older revision		Revision as of 09:42, 25 May 2023
Line 217:		Line 217:
	}		}

		+	</syntaxhighlight>
		+	=== Soluzione proposta 3 (da controllare) ===
		+	Proposta da [[User:SpookyWiki\|SpookyWiki]] ([[User talk:SpookyWiki\|talk]]) 11:41, 25 May 2023 (CEST)
		+
		+	<syntaxhighlight lang="C">
		+	monitor alrv {
		+	int maxindex;
		+	Map<int, int> waiting4[];
		+	Map<int, condition> ok2go[]
		+
		+	alrv() {
		+	maxindex = 0;
		+	waiting4 = new Map<int, int>();
		+	ok2go = new Map<int, condition>();
		+	}
		+
		+	procedure int check() { //procedura che controlla che i processi in attesa fino n possano essere sbloccati o meno
		+	int sum = 0;
		+	int m = 0;
		+	do {
		+	m++
		+	sum += waiting4[m];
		+	} while(m < maxindex && sum >= m)
		+	return sum >= m ? m : m - 1;
		+	}
		+
		+	procedure entry void at_least(int n) {
		+	if(waiting4[n] == null) {
		+	waiting4.add(n);
		+	waiting4[n]++;
		+	ok2.add(n);
		+	}
		+	if (n > maxindex)
		+	maxindex = n;
		+	int m;
		+	if ((m = check(n)) > 0) {
		+	for(int i = 1; i <= m; i++) {
		+	ok2[i].signal();
		+	waiting4[i] = 0;
		+	}
		+	} else {
		+	ok2go[n].wait();
		+	ok2go[n].signal();
		+	}
		+	}
		+	}
	</syntaxhighlight>		</syntaxhighlight>

@@ Line 263: / Line 263: @@
 === Soluzione proposta 2 (da controllare) ===
-Proposta da [[User:SpookyWiki|SpookyWiki]] ([[User talk:SpookyWiki|SpookyWiki]]) 12:20, 23 May 2023 (CEST)
+Proposta da [[User:SpookyWiki|SpookyWiki]] ([[User talk:SpookyWiki|talk]]) 12:20, 23 May 2023 (CEST)
 <syntaxhighlight lang="C">

@@ Line 263: / Line 263: @@
 === Soluzione proposta 2 (da controllare) ===
-Proposta da [[User:SpookyWiki|SpookyWiki]] ([[User talk:SpookyWiki|SpookyWiki]]) 12:20, 23 May 2023 (CEsT)
+Proposta da [[User:SpookyWiki|SpookyWiki]] ([[User talk:SpookyWiki|SpookyWiki]]) 12:20, 23 May 2023 (CEST)
 <syntaxhighlight lang="C">

@@ Line 258: / Line 258: @@
+	}
 	return msg;
+}

@@ Line 79: / Line 79: @@
 [[User:Flecart|Flecart]] ([[User talk:Flecart|talk]]) 14:44, 4 May 2023 (CEST)
 Caso in cui NF=3
 allora
@@ Line 106: / Line 107: @@
 Allora, l'algoritmo non è a stack perché nella penultima accesso al frame ho nel caso NF=3 che
 {1, 5, 3}, ma questo non è contenuto in {1, 2, 3, 4}.
 = Prova 2021/09/15 =

@@ Line 518: / Line 518: @@
 			all_messages[sender].enqueue(<message>);
 		} while(true);
+	}
+}
 </syntaxhighlight>