Prove scritte 2022 - Revision history

Barba: /* Proposta di soluzione 1 (da controllare) */

2024-01-21T09:55:52Z

Proposta di soluzione 1 (da controllare)

Barba: /* Prova 2022/02/14 */

2024-01-21T09:54:03Z

Prova 2022/02/14

Flecart: /* Soluzione proposta 2 (da controllare) */

2024-01-17T16:52:55Z

Soluzione proposta 2 (da controllare)

SpookyWiki: /* Esercizio c2 */

2023-05-22T16:42:58Z

Esercizio c2

SpookyWiki: /* Esercizio c1 */

2023-05-22T16:07:02Z

Esercizio c1

SpookyWiki: /* Soluzione proposta 1 (da controllare) */

2023-05-15T20:22:46Z

Soluzione proposta 1 (da controllare)

SpookyWiki: /* Soluzione proposta 1 (da controllare) */

2023-05-15T20:22:20Z

Soluzione proposta 1 (da controllare)

SpookyWiki: /* Soluzione proposta 1 (da controllare) */

2023-05-15T20:21:32Z

Soluzione proposta 1 (da controllare)

SpookyWiki at 20:21, 15 May 2023

2023-05-15T20:21:01Z

SpookyWiki: Aggiunta sezione esame 22/07/20, aggiunto esercizio c.1 e una possibile soluzione

2023-05-13T13:03:11Z

Aggiunta sezione esame 22/07/20, aggiunto esercizio c.1 e una possibile soluzione

@@ Line 749: / Line 749: @@
          db.add(<m, snd>)
      }while(m != ACK)
-     db.extract(dest, 0)
+     db.extract(dest, db.count(dest))
+}

← Older revision		Revision as of 09:54, 21 January 2024
Line 720:		Line 720:
	</syntaxhighlight>		</syntaxhighlight>

		+	== Esercizio c2 ==
		+
		+	Dato un servizio di message passing asincrono implementare un servizio di message passing sincrono
		+	con selezione ordinata che ha la seguente interfaccia:
		+
		+	void snsend(msgtype msg, pid_t dest);
		+	msgtype snrecv(pid_t sender, int n);
		+
		+	La funzione snrecv deve restituire l'n-mo messaggio proveniente dal mittente specificato (che può essere any). Se n ==
		+	0 restituisce l'ultimo messaggio. Esempi:
		+	m = snrecv(tizio, 1): restituisce il primo messaggio da tizio (attende se non ve ne sono)
		+	m = snrecv(ANY, 42): restituisce il 42-mo messaggio da chiunque (attende se ci sono meno di 42 messaggi in attesa di
		+	essere ricevuti)
		+	m = snrecv(caio, 0): restituisce l'ultimo messaggio ricevuto da Caio (attende se non ci sono messaggi pendenti da Caio)
		+	m = snrecv(ANY, 0): restituisce l'ultimo messaggio ricevuto, indipendentemente dal mittente.
		+
		+	=== Proposta di soluzione 1 (da controllare)===
		+	* Proposta da [[User:Barba\|zBarba]] ([[User talk:Barba\|talk]]) 10:54, 21 January 2024 (CET)
		+
		+	<syntaxhighlight lang="C">
		+	// int db.count(pid_t sender): conta quanti messaggi inviati da sender sono presenti nel db. Se sender == ANY allora li conta tutti
		+	// msg_t db.extract(pid_t sender,int n): ritorna l'n-mo mesaggio del db inviato da sender. Se sender == ANY allora ritorna l'n-mo elemento
		+
		+	void snsend(msgtype msg, pid_t dest){
		+	asend(<msg, getpid()>, dest)
		+	do{
		+	<m, snd> = arecv(dest)
		+	db.add(<m, snd>)
		+	}while(m != ACK)
		+	db.extract(dest, 0)
		+	}
		+
		+	msgtype snrecv(pid_t sender, int n){
		+	if(n == 0){
		+	n = db.count(sender)
		+	}
		+
		+	while(db.count(sender) < n){
		+	<m, snd> = arecv(sender)
		+	db.add(<m, snd>)
		+	}
		+	<m, snd> = db.extract(sender, n)
		+	asend(<ACK, getpid()>, snd)
		+	return m
		+	}
		+	</syntaxhighlight>

	= Prova 2022/01/17 =		= Prova 2022/01/17 =

@@ Line 848: / Line 848: @@
 === Soluzione proposta 2 (da controllare) ===
-proposta da [[User:Flecart|Flecart Friend]] cedo la proprità intellettuale di questa soluzione a flecart
+proposta da [[User:gio|Flecart Friend]] cedo la proprità intellettuale di questa soluzione a flecart
 <syntaxhighlight lang="C">

← Older revision		Revision as of 16:42, 22 May 2023
Line 643:		Line 643:
	</syntaxhighlight>		</syntaxhighlight>

		+	=== Soluzione proposta 2 (da controllare) ===
		+	Proposta da [[User: SpookyWiki \|SpookyWiki]] ([[User talk:SpookyWiki\|talk]]) 18:42, 22 May 2023 (CEST)
		+
		+	<syntaxhighlight lang=C>
		+	Map<<pid_t dest, pid_t mitt>, List<int> msgs> db;
		+
		+	void asend(msg_t msg, pid_t dest) { //dobbiamo salvarci l'ordine
		+	pid_t mypid = getpid();
		+	int progressivo;
		+	if (db[<dest, mypid>] == null) {
		+	db.add(<dest, mypid>);
		+	db[<dest, mypid>].msgs.add(0)
		+	progressivo = 0;
		+	} else {
		+	progressivo = db[<dest, mypid>].msgs.getLast() +1;
		+	db[<dest, mypid>].msgs.add(progressivo);
		+	}
		+	nfasend(<msg, progressivo>, dest);
		+	}
		+
		+	msg_t arecv(pid_t sender) {
		+	pid_t mypid = getpid();
		+	int progressivo = db[<mypid, sender>].msgs[0];
		+	msg, prog = nfarecv(sender);
		+	while ( prog != progressivo) {
		+	nfasend(<msg, progressivo>, mypid);
		+	msg, prog = nfarecv(sender);
		+	}
		+	db[<mypid, sender>].msgs.remove(0);
		+	return msg;
		+	}
		+	</syntaxhighlight>

	= Prova 2022/02/14 =		= Prova 2022/02/14 =

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

@@ Line 192: / Line 192: @@
 === Soluzione proposta 1 (da controllare) ===
-Proposta da [[User:kkyWiki|SpookyWiki]] ([[User talk:SpookyWiki|talk]]) 14:56, 13 May 2023 (CEST)
+Proposta da [[User: SpookyWiki |SpookyWiki]] ([[User talk:SpookyWiki|talk]]) 14:56, 13 May 2023 (CEST)
 <syntaxhighlight lang=C>

@@ Line 208: / Line 208: @@
 	porto {
-	remainingSpace = -1;
+		remainingSpace = -1;
-	camionSlotBusy = false;
+		camionSlotBusy = false;
+	}

@@ Line 192: / Line 192: @@
 === Soluzione proposta 1 (da controllare) ===
-Proposta da [[User:SpookyWiki|SpookyWiki]] ([[User talk:SpookyWiki|talk]]) 14:56, 13 May 2023 (CEST)
+Proposta da [[User:kkyWiki|SpookyWiki]] ([[User talk:SpookyWiki|talk]]) 14:56, 13 May 2023 (CEST)
 <syntaxhighlight lang=C>
 monitor porto{
 	int remainingSpace; // -1 -> non ci sono barche attraccate
 	condition waiting4dock; //la barca attende il molo
 	condition waiting4load; //il la barca attende i camion
@@ Line 205: / Line 209: @@
 	porto {
 	remainingSpace = -1;
+	}
@@ Line 211: / Line 216: @@
 			wait4dock.wait();
 		remainingSpace = capacità;
-		waiting4boat.signal();
+		waiting4slot.signal();
+	}
@@ Line 221: / Line 226: @@
 	procedure entry void scarica(quantità){
 		//se non posso scaricare il carico
 		if( remainingSpace <= 0)
@@ Line 242: / Line 249: @@
+			}
+		}
-		waiting4boat.singal();
+		waiting4slot.singal();
+	}

← Older revision		Revision as of 13:03, 13 May 2023
Line 170:		Line 170:

	[[ 20220906c2 ]] proposte di soluzione		[[ 20220906c2 ]] proposte di soluzione
		+
		+	= Prova 2022/07/20 =
		+
		+	== Esercizio c1 ==
		+
		+	in un porto con una sola banchina utilizzabile occorre caricare cereali sulle navi. I camion portano i cereali al porto. Una sola nave alla volta può essere attraccata al molo, un solo camion alla volta scarica i cereali nella nave.
		+	Il codice eseguito da ogni nave è:
		+	nave[i] process:
		+	porto.attracca(capacità)
		+	porto.salpa()
		+	...naviga verso la destinazione
		+
		+	Il codice di ogni camion è:
		+	camion[j] process:
		+	while (1):
		+	quantità = carica_cereali()
		+	porto.scarica(quantità)
		+
		+	I camion fanno la spola dai depositi alla nave. La nave arriva vuota e può salpare solo se è stata completamente riempita (la somma delle quantità scaricate dai camion raggiunge la capacità indicata come parametro della funzione attracca). Se un camion può scaricare solo parzialmente il suo carico rimane in porto e aspetta di completare l'operazione con la prossima nave che attraccherà al molo.
		+	Scrivere il monitor porto.
		+
		+	=== Soluzione proposta 1 (da controllare) ===
		+	Proposta da [[User:SpookyWiki\|SpookyWiki]] ([[User talk:SpookyWiki\|talk]]) 14:56, 13 May 2023 (CEST)
		+
		+	<syntaxhighlight lang=C>
		+
		+	monitor porto{
		+
		+	int remainingSpace; // -1 -> non ci sono barche attraccate
		+	condition waiting4dock; //la barca attende il molo
		+	condition waiting4load; //il la barca attende i camion
		+	condition waiting4boat; //i camion attendono una barca
		+
		+	porto {
		+	remainingSpace = -1;
		+	}
		+
		+	procedure entry void attracca(int capacità){
		+	if( remainingSpace >=0 )
		+	wait4dock.wait();
		+	remainingSpace = capacità;
		+	waiting4boat.signal();
		+	}
		+
		+	procedure entry void salpa(){
		+	if( remainingSpace > 0 )
		+	wait4load.wait();
		+	waiting4dock.signal();
		+	}
		+
		+	procedure entry void scarica(quantità){
		+	//se non posso scaricare il carico
		+	if( remainingSpace <= 0)
		+	waiting4boat.wait()
		+
		+	int remainingLoad = quantità;
		+
		+	while (remainingLoad > 0){
		+	//il camion si svuota e se ne deve andare
		+	if( remainingSpace >= remainingLoad ) {
		+	remainingSpace -= remainingLoad;
		+	remainingLoad = 0;
		+	if ( remainingSpace == 0)
		+	wait4load.signal();
		+	//il camion non si svuota del tutto e deve rimanere
		+	} else {
		+	remainingLoad -= remainingSpace;
		+	remainingSpace = 0;
		+	waiting4load.signal();
		+	waiting4boat.wait();
		+	}
		+	}
		+	waiting4boat.singal();
		+	}
		+
		+	}
		+	</syntaxhighlight>

	= Prova 2022/06/21 =		= Prova 2022/06/21 =