20220906c2 - Revision history

LiberaL: /* Correzioni proposte */

2023-05-31T06:00:07Z

Correzioni proposte

2022-11-02T16:26:24Z

Proposta soluzione 16

2022-10-26T10:07:07Z

Correzioni proposte

2022-10-26T09:48:08Z

2022-10-26T09:46:51Z

2022-10-26T09:45:59Z

2022-10-20T07:47:07Z

2022-10-20T07:45:51Z

2022-10-19T23:03:14Z

Correzioni aggiunte alle proposte

2022-10-19T17:55:14Z

Aggiunta la consegna

@@ Line 464: / Line 464: @@
 . sumgo libera solamente un singolo sumstop, perché chiama wait.V() una singola volta anche se ci sono più thread in attesa
 . mutex.P() è chiamata due volte in sumstop(), se il secondo fosse mutex.V() credo sia corretto.
 . mi sembra corretto (ma l'indentazione è poco sensata).

← Older revision		Revision as of 16:26, 2 November 2022
Line 419:		Line 419:
	</syntaxhighlight>		</syntaxhighlight>

		+
		+	== 16 - Soluzione di uno studente ==
		+	<syntaxhighlight>
		+	//Variabili globali
		+	Queue<Semaphore> processSemaphore = new Queue();
		+	Semaphore mutex = new Semaphore(1);
		+	Queue<int> integers = new Queue();
		+
		+	int SumGo() {
		+
		+	int sum = 0;
		+	mutex.P();
		+	while(processSemaphore.isQueueVoid() == false){
		+	Semaphore procSem = processSemaphore.dequeue();
		+	procSem.V();
		+	}
		+	while(integers.isQueueVoid() == false){
		+	sum = sum + integers.dequeue();
		+	}
		+	mutex.V();
		+	return sum;
		+	}
		+
		+	void SumStop(int generatedValue){
		+	Semaphore sem = new Semaphore(0);
		+	mutex.P();
		+	integers.enqueue(generatedValue);
		+	processSemaphore.enqueue(sem);
		+	mutex.V();
		+	sem.P();
		+	free(sem);
		+	}
		+	</syntaxhighlight>

	== Correzioni proposte ==		== Correzioni proposte ==

@@ Line 452: / Line 452: @@
 . se sumgo ritornasse il valore  lsum sarebbe tutto apposto.
-. mi sembra corretto
+. mi sembra corretto, manca solo la return in sumgo
 . mi sembra corretto

@@ Line 106: / Line 106: @@
 int sumgo(void):
-	  mutex.P();
+	mutex.P();
-		intret = sum;
+	intret = sum;
-		sum = 0;
+	sum = 0;
-		for (int i=0; i<counter; i++)
+	for (int i=0; i<counter; i++)
-			blocked.V()
+		blocked.V()
-		counter = 0;
+	counter = 0;
-		mutex.V()
+	mutex.V()
 	return intret
 </pre>
 == 6 ==
 <pre>

@@ Line 77: / Line 77: @@
 	mutex.P();
 	processlist.enqueue(v);
-	mutex.V();
+	mutex.P(); // V non P
 	S.P();

@@ Line 421: / Line 421: @@
 Correzione proposta da [https://t.me/flecarts flecart]
-(e poi modificata successivamente da altri studenti ...
+(e poi modificata successivamente da altri studenti ... tra cui: [https://t.me/LLibera LLibera] )
 . la variabile i non è inizializzata, sum e queue non sono protette in critical sections, inoltre la sem.V() non compare mai nel codice della sumgo.

@@ Line 420: / Line 420: @@
 == Correzioni proposte ==
-Correzione proposta da [https://t.me/flecarts flecart] (e poi modificata successivamente da altri studenti ...)
+Correzione proposta da [https://t.me/flecarts flecart]
 . la variabile i non è inizializzata, sum e queue non sono protette in critical sections, inoltre la sem.V() non compare mai nel codice della sumgo.
@@ Line 441: / Line 443: @@
 . waiting è una variabile globale modificata senza cs, e tot non è inizializzato.
-. simile a 3. wait2go è chiamata una volta quindi può liberare solamente un singolo thread si sumstop.
+. simile a 3. wait2go è chiamata una volta quindi può liberare solamente un singolo thread di sumstop.
 . busy waiting in sumgo.

@@ Line 2: / Line 2: @@
 Il lettore è invitato a immedesimare il professore al momento della correzione durante la lettura delle soluzioni.
+== Consegna ==
 == 1 ==
 <pre>