2014-05-04T15:30:40Z

Stefano 92:

=[http://www.cs.unibo.it/~renzo/so/compiti/2012-01-12.tot.pdf TESTO COMPITO]=

==Esercizio 1==
<syntaxhighlight lang="C">
monitor seq
{
condition* c=List() /*lista di condizioni, una per ogni processo arrivato*/
int* procstack=Stack(); /*stack di processi per l'uscita LIFO*/

procedure entry enter()
{
procstack.push(this->p_id);
}

procedure entry exit()
{
if (procstack.Top()!=this->p_id){ /*cioè se il processo non è in cima allo stack*/
List.insert(this->p_id);
(List.search(this->p_id)).wait(); /*aggiungo il mio p_id alla lista di condizioni e mi metto in wait*/
}
List.remove(this->p_id);
procstack.Pop();
List.search(procstack.Top()).signal();
}
}
</syntaxhighlight>

NOTA: Con questa soluzione se l'ultimo processo chiama la exit e ci sono altri processi in coda, gli altri processi usciranno prima che l'ultimo esca dallo urgent stack per uscire a sua volta, quindi non credo che rispetti la traccia.
Però non ho trovato un'altra soluzione

==Esercizio 2==
<syntaxhighlight lang="C">
pid index[N] /*index contiene gli id dei vari server*/

struct serverMSG
{
pid readers=Queue();
message m;
}

/*Database di strutture server msg: contiene una lista di tutti i messaggi arrivati e, per ogni messaggio, quanti server l'hanno letto*/

serverMSG* database=Queue();

process server[i=0...N-1]()
{
message mymsg;
struct serverMSG* tmp;
while(1)
{
mymsg=arecv(*);
if (mymsg=="###") //è arrivato il messaggio speciale che mi indica di guardare il database
{
while(tmp=read(database)) //La funzione read ritorna in ordine (dalla più vecchia alla più nuova) le strutture presenti nel DB
{
if (!tmp->readers.found(getpid())) //non ho trovato il mio pid tra la lista dei lettori di quel messaggio
{
print(tmp->message); //
tmp->readers.enqueue(getpid()); //mi aggiungo alla lista dei lettori
if (tmp->readers.sizeOf()==N)
remove(tmp); //se tutti hanno letto quel messaggio lo rimuovo dalla lista
}
}
}
else
{
database.enqueue(NULL,message); //aggiungo il messaggio settando come coda di lettori NULL
foreach(i in index)
{
send("###",index[i]); // a tutti arriva un messaggio speciale che dice di guardare il DB
}

}
}
</syntaxhighlight>
-stefano92

ProvaTeoria 2012.01.12

2014-05-04T15:17:54Z

Stefano 92:

=[http://www.cs.unibo.it/~renzo/so/compiti/2012-01-12.tot.pdf TESTO COMPITO]=

==Esercizio 1==
<syntaxhighlight lang="C">
monitor seq
{
condition* c=List() /*lista di condizioni, una per ogni processo arrivato*/
int* procstack=Stack(); /*stack di processi per l'uscita LIFO*/

procedure entry enter()
{
procstack.push(this->p_id);
}

procedure entry exit()
{
if (procstack.Top()!=this->p_id){ /*cioè se il processo non è in cima allo stack*/
List.insert(this->p_id);
(List.search(this->p_id)).wait(); /*aggiungo il mio p_id alla lista di condizioni e mi metto in wait*/
}
List.remove(this->p_id);
procstack.Pop();
List.search(procstack.Top()).signal();
}
}
</syntaxhighlight>

NOTA: Con questa soluzione se l'ultimo processo chiama la exit e ci sono altri processi in coda, gli altri processi usciranno prima che l'ultimo esca dallo urgent stack per uscire a sua volta, quindi non credo che rispetti la traccia.
Però non ho trovato un'altra soluzione

==Esercizio 2==
<syntaxhighlight lang="C">
pid index[N] /*index contiene gli id dei vari server*/

struct serverMSG
{
pid readers=Queue();
message m;
}

serverMSG* database=Queue();

process server[i=0...N-1]()
{
message mymsg;
struct serverMSG* tmp;
while(1)
{
mymsg=arecv(*);
if (mymsg=="###");
{
while(tmp=read(database))
{
if (!tmp->readers.found(getpid()))
{
print(tmp->message);
tmp->readers.enqueue(getpid());
if (tmp->readers.sizeOf()==N)
remove(tmp);
}
}
}
else
{
database.enqueue(NULL,message);
foreach(i in index)
{
send("###",index[i]);
}

}
}
</syntaxhighlight>
-stefano92

ProvaTeoria 2011.01.17

2014-04-30T15:05:30Z

Stefano 92:

Main Page

2014-03-17T12:07:17Z

Stefano 92:

ProvaTeorica 2011.02.11

2014-03-16T18:14:22Z

Stefano 92:

Esercizio 1

<syntaxhighlight lang="C">
/*Esercizio 1: Il monitor lifocs che lo studente deve implementare, realizza una critical section LIFO. I processi per usare
la critical section LIFO usano il seguente protocollo:
n1=lifocs.enter()
…. codice critico
n2=lifocs.exit()
quando un processo rilascia la sezione critica e ci sono processi in attesa di entrare, deve venir assegnata la sezione
critica al processo che ha fatto l'ultima richiesta (in ordine di tempo).
Le funzioni enter e exit devono dare come valore di ritorno il numero di processi in attesa di entrare nella sezione critica.
I valori n1 e n2 sono correlati fra loro?*/

monitor lifocs
{
int inc=0;
bool occupy=false;
condition *pila;

procedure entry enter()
{
inc++;
if(occupy)
pila[k-1].wait();
inc--;
occupy=true;
return i;
}

procedure entry exit()
{
occupy=false;
if(k!=0)
pila[k-1].signal();
return k;
}
}
</syntaxhighlight>
-furt

ProvaTeorica 2011.02.11

2014-03-16T18:13:33Z

Stefano 92: Created page with "Esercizio 1 <syntaxhighlight lang="C"> /*Esercizio 1: Il monitor lifocs che lo studente deve implementare, realizza una critical section LIFO. I processi per usare la critic..."