Sistemi Operativi - User contributions [en]

Prova teorica 2015.02.14

2017-05-26T15:42:17Z

Silas:

Testo: [http://www.cs.unibo.it/~renzo/so/compiti/2015.02.14.tot.pdf]

== Esercizio c.1 ==
===Soluzione di Silas===
<syntaxhighlight lang="C">
#define MAX

monitor altcolbb{
queue buff;
color_t last_color; //0: red, 1:blue, -1:"superstate", means that both red and blue are accepted
int wait_red, wait_blue;
condition ok2read, redok, blueok;

void altcolbb(void){
buff = new queue();
last_color = -1;
wait_red = wait_blue = 0;
}

procedure entry void write(color_t color, generic_type val){
if(last_color == color || buff.length() == MAX){ //we can't enqueue if the colors are the same or if the buffer is full
if(color == 0){ //enqueue to "reds"
wait_red++;
redok.wait();
wait_red--;
}else{ //enqueue to "blues"
wait_blue++;
blueok.wait();
wait_blue--;
}
}
buff.enqueue(val); //append val and update last_color
last_color = color;
ok2read.signal();
}

procedure entry generic_type read(void){
if(buff.length() == 0)
ok2read.wait();
generic_type ret = buff.dequeue();
if(buff.length() == 0)
last_color = -1; //if buff is empty both colors can now be added
switch(last_color){
case -1: {
if(wait_red>wait_blue) //if there are more "reds" waiting to write we signal them
redok.signal();
else
blueok.signal(); //otherwise we signal "blues"
break;
}
case 0: {
blueok.signal();
break;
}
case 1: {
redok.signal();
break;
}
}
}

}
</syntaxhighlight>
== Esercizio c.2 ==
===Soluzione di Silas===
I semafori garantiscono che A e B vengano eseguiti in maniera sequenziale e che accedano in maniera mutualmente esclusiva ad n, quindi l'unica variazione possibile è il thread di inizio per la sequenza.
Nel caso sia A ad accedere per primo alla CS si ha: n = ((1*2)+2)*3 = 12
Nel caso sia invece B ad accedere per primo alla C si ha: n = (((0*2)+1)*3)+2 = 5
Quindi n = 12 e n = 5 sono i due possibili valori.

Prova teorica 2015.02.14

2017-05-26T15:16:50Z

Silas: /* Soluzione di Silas */

Prova teorica 2015.02.14

2017-05-26T15:14:05Z

Silas: Created page with "Testo: [http://www.cs.unibo.it/~renzo/so/compiti/2015.02.14.tot.pdf] == Esercizio c.1 == ===Soluzione di Silas=== <syntaxhighlight lang="C"> #define MAX monitor altcolbb{ ..."

Prove teoriche

2017-05-26T14:59:53Z

Silas:

''Qui troverete alcune prove teoriche svolte, in modo da poter discutere sull'elaborato''

''Le prove sono svolte da studenti e servono come base per la discussione. Le soluzioni possono essere errate''

[[Prova teorica 2015.02.14]]

[[Prova teorica 2015.01.20]]

[[Prova teorica 2014.09.24]]

[[Prova teorica 2014.07.16]]

[[Prova teorica 2014.06.16]]

[[Prova teorica 2014.06.03]]

[[ProvaTeorica 2014.02.22]]

[[ProvaTeorica 2014.01.22]]

[[Prova Teorica 2013.09.12]]

[[Prova teorica 2013.07.19]]

[[ProvaTeorica 2013.07.19]]

[[Prova Teorica 2013.06.21]]

[[Prova_Teorica 2013.02.14]]

[[ProvaTeorica 2013.01.24]]

[[ProvaTeorica_2012.09.18]]

[[ProvaTeorica 2012.07.16]]

[[ProvaTeorica_2012.06.15]]

[[ProvaTeorica_2012.05.24]]

[[ProvaTeorica_2012.02.09]]

[[ProvaTeoria 2012.01.12]]

[[ProvaTeoria_2011.07.25]]

[[Prova Teorica 2011.05.13]]

[[ProvaTeorica_2011.02.11]]

[[ProvaTeoria 2011.01.17]]

[[ProvaTeoria 2010.05.12]]

[[Prova Teorica 2009.09.18]]

[[ProvaTeoria_2009.01.30]]

[[Prova Teorica 2008.09.17]]

[[Prova Teorica 2008.01.16]]

[[Prova Teorica 2007.09.07]]

[[Prova Teorica 2007.07.12]]

[[ProvaTeorica 2005.11.04]]