ProvaTeoria 2011.07.25 - Revision history

Stefano 92 at 08:55, 7 May 2014

2014-05-07T08:55:28Z

Stefano 92 at 08:55, 7 May 2014

2014-05-07T08:55:08Z

Stefano 92 at 08:54, 7 May 2014

2014-05-07T08:54:12Z

Stefano 92 at 14:03, 5 May 2014

2014-05-05T14:03:43Z

Stefano 92 at 14:02, 5 May 2014

2014-05-05T14:02:44Z

Stefano 92 at 11:59, 5 May 2014

2014-05-05T11:59:08Z

Stefano 92 at 15:07, 10 March 2014

2014-03-10T15:07:11Z

Stefano 92: Created page with "Esercizio 2 //siano dati tre processi "stampa" come segue: //stampa(x):(x=A,T,R) process //while (true) { // synchro(x); // print(x); //} //scrivere..."

2014-03-10T15:03:54Z

Created page with "Esercizio 2 <syntaxhighlight lang="C"> //siano dati tre processi "stampa" come segue: //stampa(x):(x=A,T,R) process //while (true) { // synchro(x); // print(x); //} //scrivere..."

New page

Esercizio 2
<syntaxhighlight lang="C">
//siano dati tre processi "stampa" come segue:
//stampa(x):(x=A,T,R) process
//while (true) {
// synchro(x);
// print(x);
//}
//scrivere la fuzione synchro() facendo uso di semafori che consenta di avere in output una sequenza infinita
//di TARATATA (i.e. TARATATATARATATATARATATATARATATATARATATA......)

/*La soluzione prevede l'utilizzo di 3 semafori, uno per ogni lettera (T,A,R). E' presente anche una variabile buflen contenente
la lunghezza della stringa stampata fino ad ora.
L'idea si basa sull'utilizzo di una funzione mutex_print() che, a seconda dell'output generato, libera l'opportuno semaforo.
Le risorse dei semafori vengono poi richieste dai processi.*/

/*definizione variabili di supporto e #define*/

#DEFINE T 0
#DEFINE R 1
#DEFINE A 2
int buflen=0;

/*definizione dei semafori*/
int sem[3];
sem[T]=1;
sem[R]=0
sem[A]=0

/*funzione di supporto: controlla se è arrivato il momento di stampare una R*/
int checkR(int x)
{
if((x-2)%8==0)
return 1;
else return 0;
}

void mutex_print()
{
if (buflen==0) return;
else if (buflen%2!=0)
v(sem[A]);
else if (checkR(buflen))
v(sem[R]);
else v(sem[T]);
return;
}
void synchro(int x)
{
mutex();
p(sem[x]);
buflen++;
}

</syntaxhighlight>

@@ Line 58: / Line 58: @@
 ==Esercizio 3==
 /*
 Esercizio 3: Dato un servizio di message passing asincrono (NON completamente asincrono) e senza fare uso di un
@@ Line 65: / Line 67: @@
 messaggi in attesa di essere ricevuti.
 */
 pid* database=Stack();

@@ Line 86: / Line 86: @@
      pid_t replier;
      asend("BOT",getpid());
-	while(tmp=arecv(*)!=BOT)
+    while(tmp=arecv(*)!=BOT)
+	{
-		database.push(tmp.sender);
+	    tmp=arecv(sender);
+	}
-	replier=database.pop(sender);
+    asend(replier,"OK");
-	if (replier==NULL)
+    tmp=arecv(replier);
+    asend(replier,"END");
-		tmp=arecv(sender);
+    return tmp;
+}
 </syntaxhighlight>
 -stefano92

@@ Line 68: / Line 68: @@
-pid* database=Queue();
+pid* database=Stack();
 void lssend(int dest,message m)
@@ Line 74: / Line 74: @@
 	message tmp;
 	asend(dest,"#");
-		tmp=arecv(dest);
+	tmp=arecv(dest);
 	asend(dest,msg)
 	arecv(dest);
@@ Line 80: / Line 80: @@
+}
-−
 message lsrecv(pid sender)
+{
-	message tmp;
+    message tmp;
-	pid replier; //replier conterrà il p_id del sender da cui ricevere il messaggio
+    pid_t replier;
-	if (sender!=*)
+    asend("BOT",getpid());
+	while(tmp=arecv(*)!=BOT)
-			arecv(sender);
-			replier=sender; //devo sicuramente ricevere da questo sender
+		database.push(tmp.sender);
-−
+	}
-	else
+	replier=database.pop(sender);
+	if (replier==NULL)
-			asend("BOT",getpid()); //per la lettura del buffer di messaggi
-			tmp=arecv(*);
+		tmp=arecv(sender);
-			if (tmp=="BOT")
+		replier=tmp.sender;
-−
+	}
 		asend(replier,"OK");
 		tmp=arecv(replier);

@@ Line 75: / Line 75: @@
 	asend(dest,"#");
 		tmp=arecv(dest);
-	asend(dest,"OK")
+	asend(dest,msg)
 	arecv(dest);
 	return;

@@ Line 74: / Line 74: @@
 	message tmp;
 	asend(dest,"#");
 		tmp=arecv(dest);
 	asend(dest,"OK")
 	arecv(dest);

@@ Line 1: / Line 1: @@
-Esercizio 2
+==Esercizio 2==
 <syntaxhighlight lang="C">
 //siano dati tre processi "stampa" come segue:
@@ Line 57: / Line 57: @@
 </syntaxhighlight>
 -stefano92

← Older revision		Revision as of 15:07, 10 March 2014
Line 56:		Line 56:

	</syntaxhighlight>		</syntaxhighlight>
		+
		+	-stefano92