Prove scritte 2017

Esame 11/09/2017

2017.09.11.tot.pdf

Esercizio c.1

monitor crossing

ok2dir[4];     //NESW
bool busy = false;

pe entra(int dir)
   if (busy)
      ok2dir[dir].wait();
   busy = true;


pe esci(int dir)
   busy = false;
   ok2dir[(dir + 1) % 4].signal();
   if (!busy)
      ok2dir[(dir + 2) % 4].signal();
   if (!busy)
      ok2dir[(dir + 3) % 4].signal();
   if (!busy)
      ok2dir[(dir + 4) % 4].signal();  //dir

//alternativa più compatta
pe esci(int dir)
   busy = false;
   for (i = 0; i < 4; i++)
   if (!busy)
      ok2dir[(dir + i + 1) % 4].signal();

Esercizio c.2 (da controllare)

// server[] = array contenente il PID di tutti i server

#define BROADCAST server[0]

server[0]
{
    while(true)
    {
        <msg, sender> = arecv(*); // ricevo il messaggio
        if (sender == BROADCAST)
            print(msg); // se il messaggio l'ho ricevuto da me stesso allora lo stampo
        else
            asend(*, <msg, getpid()>); // se il messaggio l'ho ricevuto da un client o da un altro server lo inoltro a tutti i server (compreso me stesso)
    }
}

server[x] // x = 1...N-1
{
    while(true)
    {
        <msg, sender> = arecv(*); // ricevo il messaggio
        if (sender == BROADCAST)
            print(msg); // se il messaggio l'ho ricevuto dal server[0] allora lo stampo
        else
            asend(BROADCAST, <msg, getpid()>) // se il messaggio l'ho ricevuto da un client lo inoltro al server[0]
    }
}

Esame 17/07/2017

2017.07.17.tot.pdf

Esercizio c.1

monitor conf {
        condition finished;
        condition ready2present[max];
        bool arrived[max] = false;
        bool giachiamato[max] = false;

        entry chiama(chiamato){
        if(arrived[chiamato] == true)
                ready2present[chiamato].signal;
                finished.wait;
                return true;
        else
                giachiamato[chiamato]= true
                return false;
        }

        entry arrivato(nome){
                if(giachiamato[nome] == true)
                        return  false;

                arrived[nome] = true;
                ok2present[nome].wait;
                return true;
        }

        entry finepresentazione(nome){
                finished.signal;
        }
}

Esercizio c.2 (da controllare)

si, è possibile: 

Implementare asend e arecv date bsend e brecv

asend(pid_t, msg_type msg){
    bsend (<pid_t dst, msg>);
}

arecv(*){
  pid_t act = getpid(); \\ act = proprio pid 
  do{
    <dst, msg> = brecv(*);
  }while (dst =! act)
  return msg;
}

Esame 19/06/2017

2017.06.19.tot.pdf

Esercizio c.1 (da controllare)

#define NATLETI n

condition ok2lancia[NATLETI];
condition ok2giudice;

int counter[NATLETI];
int ultimo_tiro;
float registro[NATLETI][3];

Procedure entry: boolean pronto(int i)
{
    if(!(i == 0 && counter[i] == 0)) // se è il primo lancio non devo metterlo in wait
        ok2lancia[i].wait()
    if(counter[i] < 3)
        return true;
    else
        return false;
}

Procedure entry: void lanciato (int i)
{
    counter[i]++;
    ultimo_tiro = i;
    ok2giudice.signal();
}

Procedure entry: int lanciofatto()
{
    ok2giudice.wait()
    if(ultimo_tiro == NATLETI-1 && counter[0] == 3)
        return -1;  // devo invalidare la condizione per uscire dal while, quindi se nessuno deve più lanciare ritorno -1
    else
        return ultimo_tiro;
}

Procedure entry: void registraechiama(int i, float m)
{
    registro[i][counter[i]-1] = m; // il secondo indice indica l'iesimo lancio -1 (perchè iniziamo a contare da zero)
    if(i == NATLETI-1) // se ha appena tirato l'ultimo atleta non posso dare il via a NATLETI (perchè non esiste), quindi faccio ricominciare il giro
        ok2lancia[0].signal();
    else
        ok2lancia[i+1].signal();
}

Procedure entry: int classifica()
{
    int best[NATLETI];
    for(int i = 0; i < NATLETI; i++)
    {
        for(int j = 0; j < 3; j++)
        {
            if(registro[i][j] > best[i])
                best[i] = registro[i][j];
        }
    }
    best.sort_in_descending_order(); // supponiamo nel nostro pseudolinguaggio esista una funzione di ordinamento qualunque
    return best;
}

Esame 29/05/2017

2017.05.29.tot.pdf

Esercizio c.1

condition okpartita
condition ok2chiama
condition ok2punteggio
condition ok2run[2][MAX]
int numpronti
int punteggio[2]
boolean partita=false
boolean partitafinita=false
chiamati = []
contabandiera[2]
int winner

entry nuovapartita():
{
    punteggio[A] = punteggio[B] = 0;
    numpronti = 0;
    partita=true;
    okpartita.signal()
    chiamati = [];
}
entry chiama(l):
{
    if (numpronti<2*MAX)
    {
        ok2chiama.wait();
    }
    chiamati = l;
    contabandiera[A] = contabandiera[B] = 0
    winner = -1;
    for (s in n)
    {
        ok2run[A][s].signal();
        ok2run[B][s].signal()
    }
    ok2punteggio.wait();
    punteggio[winner++]
    if (max(punteggio) == 10)
    {
        partitafinita = true;
        for (s in A,B)
        {
            for (n in range(MAX))
            {
                ok2run[s][n].signal();
            }
        }
    }
    return punteggio;
}
entry pronto(s, n):
{
    if (partitafinita) return 1;
    if (!partita)
    {
        okpartita.wait();
    }
    numpronti++;
    if (numpronti>=2*MAX)
    {
        ok2chiama.signal();
    }
    if (!(n in chiamati))
    {
        ok2run[s][n].wait();
    }
    numpronti--;
    return 0 if partita else 1;
}
allabandiera(s, n):
{
    contabandiera[s]++;
    if (winner == -1 && contabandiera[s] == len(chiamati))
    {
        winner = s;
    }
    if (contabandiera[A] == len(chiamati) && contabandiera[B] == len(chiamati))
    {
        ok2punteggio.signal();
    }
}

casi da discutere:    
se arrivano studenti a pronto prima che il prof dichiara nuovapartita succedono guai.