Sistemi Operativi - User contributions [en]

Prova Teorica 2013.06.21

2014-05-08T10:10:52Z

MidoloM:

<h1>[http://www.cs.unibo.it/~renzo/so/compiti/2013.06.21.tot.pdf Testo del compito]</h1>
<h2> Esercizio g.1 </h2>
[[http://so.v2.cs.unibo.it/wiki/images/0/02/G1paginazione.jpg soluzione]]
<h2> Esercizio c.2 </h2>
<syntaxhighlight lang="C">

#Casi possibili delle iterazioni
int val = 0

PQPQQ (((val +1) *2) +1) * 2 * 2 → 12
PQQPQ (( val +1 ) * 2 * 2) +1 * 2 → 12
QQPQP (((val * 2 * 2) + 1 )* 2) + 1 → 3
QPQQP (((val * 2) + 1) * 2 * 2) + 1 → 5
QPQPQ ((((val * 2) + 1) * 2) + 1) * 2 → 6

a) #Quindi i valori possibili sono → (3, 5, 6, 12)
b) #

</syntaxhighlight>
- Midolo e Marangoni

Prova Teorica 2013.06.21

2014-05-08T10:10:36Z

MidoloM:

<h1>[http://www.cs.unibo.it/~renzo/so/compiti/2013.06.21.tot.pdf Testo del compito]</h1>
<h2> Esercizio g.1 </h2>
[[http://so.v2.cs.unibo.it/wiki/images/0/02/G1paginazione.jpg soluzione]]
<h2> Esercizio c.2 </h2>
<syntaxhighlight lang="C">

#Casi possibili delle interazioni
int val = 0

PQPQQ (((val +1) *2) +1) * 2 * 2 → 12
PQQPQ (( val +1 ) * 2 * 2) +1 * 2 → 12
QQPQP (((val * 2 * 2) + 1 )* 2) + 1 → 3
QPQQP (((val * 2) + 1) * 2 * 2) + 1 → 5
QPQPQ ((((val * 2) + 1) * 2) + 1) * 2 → 6

a) #Quindi i valori possibili sono → (3, 5, 6, 12)
b) #

</syntaxhighlight>
- Midolo e Marangoni

Prova Teorica 2013.06.21

2014-05-08T10:08:36Z

MidoloM:

<h1>[http://www.cs.unibo.it/~renzo/so/compiti/2013.06.21.tot.pdf Testo del compito]</h1>
<h2> Esercizio g.1 </h2>
[[http://so.v2.cs.unibo.it/wiki/images/0/02/G1paginazione.jpg soluzione]]
<h2> Esercizio c.2 </h2>
<syntaxhighlight lang="C">

#Casi possibili delle interazioni
int val = 0

PQPQQ (((val +1) *2) +1) * 2 * 2 → 12
PQQPQ (( val +1 ) * 2 * 2) +1 * 2 → 12
QQPQP (((val * 2 * 2) + 1 )* 2) + 1 → 11
QPQQP (((val * 2) + 1) * 2 * 2) + 1 → 13
QPQPQ ((((val * 2) + 1) * 2) + 1) * 2 → 14

a) #Quindi i valori possibili sono → (11, 12, 13, 14)
b) #

</syntaxhighlight>
- Midolo e Marangoni

Prova Teorica 2013.06.21

2014-05-08T10:08:13Z

MidoloM:

<h1>[http://www.cs.unibo.it/~renzo/so/compiti/2013.06.21.tot.pdf Testo del compito]</h1>
<h2> Esercizio g.1 </h2>
[[http://so.v2.cs.unibo.it/wiki/images/0/02/G1paginazione.jpg soluzione]]
<h2> Esercizio c.2 </h2>
<syntaxhighlight lang="C">

#Casi possibili delle interazioni

PQPQQ (((val +1) *2) +1) * 2 * 2 → 12
PQQPQ (( val +1 ) * 2 * 2) +1 * 2 → 12
QQPQP (((val * 2 * 2) + 1 )* 2) + 1 → 11
QPQQP (((val * 2) + 1) * 2 * 2) + 1 → 13
QPQPQ ((((val * 2) + 1) * 2) + 1) * 2 → 14

a) #Quindi i valori possibili sono → (11, 12, 13, 14)
b) #

</syntaxhighlight>
- Midolo e Marangoni

Prova Teorica 2013.06.21

2014-05-08T10:07:47Z

MidoloM:

<h1>[http://www.cs.unibo.it/~renzo/so/compiti/2013.06.21.tot.pdf Testo del compito]</h1>
<h2> Esercizio g.1 </h2>
[[http://so.v2.cs.unibo.it/wiki/images/0/02/G1paginazione.jpg soluzione]]
<h2> Esercizio c.2 </h2>
<syntaxhighlight lang="C">

#casi possibili dei processi con risultato

PQPQQ (((val +1) *2) +1) * 2 * 2 → 12
PQQPQ (( val +1 ) * 2 * 2) +1 * 2 → 12
QQPQP (((val * 2 * 2) + 1 )* 2) + 1 → 11
QPQQP (((val * 2) + 1) * 2 * 2) + 1 → 13
QPQPQ ((((val * 2) + 1) * 2) + 1) * 2 → 14

a) #Quindi i valori possibili sono → (11, 12, 13, 14)
b) #

</syntaxhighlight>
- Midolo e Marangoni

Prova Teorica 2013.06.21

2014-05-08T10:06:43Z

MidoloM:

<h1>[http://www.cs.unibo.it/~renzo/so/compiti/2013.06.21.tot.pdf Testo del compito]</h1>
<h2> Esercizio g.1 </h2>
[[http://so.v2.cs.unibo.it/wiki/images/0/02/G1paginazione.jpg soluzione]]
<h2> Esercizio c.2 </h2>
<syntaxhighlight lang="C">

#casi possibili dei processi con risultato

PQPQQ (((val +1) *2) +1) * 2 * 2 → 12
PQQPQ (( val +1 ) * 2 * 2) +1 * 2 → 12
QQPQP (((val * 2 * 2) + 1 )* 2) + 1 → 11
QPQQP (((val * 2) + 1) * 2 * 2) + 1 → 13
QPQPQ ((((val * 2) + 1) * 2) + 1) * 2 → 14

a) #Quindi i valori possibili sono → (11, 12, 13, 14)
b) #

</syntaxhighlight>

ProvaPratica 2010.07.12

2014-04-01T11:37:45Z

MidoloM:

<h1>http://www.cs.unibo.it/~renzo/so/compiti/2010-07-12.tot.pdf</h1>

== Esercizio 1 ==

<syntaxhighlight lang="C">

monitor priocoop{
condition run[9];
int waiting[9]=0,0,0,0,0,0,0,0,0;
int maxprio=0;
int occupato=0;

procedure entry init(prio){
if(occupato==1)
{
if(maxprio < prio)
{
maxprio=prio;
}
waiting[prio]++;
run[prio].wait();
waiting[prio]--;
}
occupato=1;
}

procedure entry yield(prio){
run[maxprio].signal();
if(maxprio < prio)
{
maxprio=prio;
}
waiting[prio]++;
run[prio].wait();
waiting[prio]--;
}

procedure entry fini(prio){
int i;
occupato=0;
waiting[prio]--;
if(waiting[maxprio] == 0)
{
maxprio=0;
for(i=prio;i>=0;i--)
{
if(waiting[i]!=0)
{
maxprio=0;
}
}
run[maxprio].signal();
}
}
</syntaxhighlight>
Alessandro

<syntaxhighlight lang="C">
//Processo con prioritá 0 = Processo con piú alta prioritá
//Processo con prioritá 9 = Processo con meno prioritá
monitor priocoop {
condition oktogo[10];
int wait[10] = 0,0,0,0,0,0,0,0,0;
int running;
priocoop.init(prio) {
if(running != 0) {
wait[prio]++;
oktogo[prio].wait;
wait[prio]--;
}

running++;
}

priocoop.yield(prio) {
running--;
for(int i = 0;i<10;i++) {
if(wait[i] != 0) {
oktogo[i].signal();
wait[prio]++;
oktogo[prio].wait;
wait[prio]--;
break();
}
}
running++;
}

priocoop.fini() {
running--;
for(int i = 0;i<10;i++) {
if(wait[i] != 0) {
oktogo[i].signal();
break();
}
}

}
}
</syntaxhighlight>
-Midolo

<syntaxhighlight lang="C">
//0: priorita' maggiore
//9: priorita' minore
cond oktoenter[10];
int count[10];
bool running = false;

//restituisce la priorita' maggiore che ha un processo in attesa
getprio() {
for(i=0;i<10;i++) {
if(count[i]>0)
break;
}
return i;
}

priocoop() {
init (prio) {
if (running) {
count[prio]++;
oktoenter[prio].wait();
count[prio]--;
}
running = true;
}
yield(prio) {
i=getprio();
if (i < 10) {
// running = false;
oktoenter[i].signal();
count(prio)++
oktoenter[proc].wait();
// running = true;
count[prio]--;
}
}
fini(prio){
i=getprio();
running=false;
if(i<10)
oktoenter[i].signal;
}
}
</syntaxhighlight>
-Berna3.14

== Esercizio 2 ==
<syntaxhighlight lang="C">
db.getpriortymax(); //funzione che restituisce il messaggio con prioritá maggiore e lo rimuove dal db o 0 nel caso il db sia vuoto
Process n: {

psend(dest, prio,msg) {
asend((msg, prio),dest);
}

precv(sender) {
while((msg,prio) = arecv(sender)) {
db[sender].insert((msg,prio));
}
return (db[sender].getpriortymax());
}

}
</syntaxhighlight>
-Midolo

ProvaPratica 2010.07.12

2014-04-01T10:01:59Z

MidoloM:

<h1>http://www.cs.unibo.it/~renzo/so/compiti/2010-07-12.tot.pdf</h1>

<syntaxhighlight lang="C">

monitor priocoop{
condition run[9];
int waiting[9]=0,0,0,0,0,0,0,0,0;
int maxprio=0;
int occupato=0;

procedure entry init(prio){
if(occupato==1)
{
if(maxprio < prio)
{
maxprio=prio;
}
waiting[prio]++;
run[prio].wait();
waiting[prio]--;
}
occupato=1;
}

procedure entry yield(prio){
run[maxprio].signal();
if(maxprio < prio)
{
maxprio=prio;
}
waiting[prio]++;
run[prio].wait();
waiting[prio]--;
}

procedure entry fini(prio){
int i;
occupato=0;
waiting[prio]--;
if(waiting[maxprio] == 0)
{
maxprio=0;
for(i=prio;i>=0;i--)
{
if(waiting[i]!=0)
{
maxprio=0;
}
}
run[maxprio].signal();
}
}
</syntaxhighlight>
Alessandro

<syntaxhighlight lang="C">
//Processo con prioritá 0 = Processo con piú alta prioritá
//Processo con prioritá 9 = Processo con meno prioritá
monitor priocoop {
condition oktogo[10];
int wait[10] = 0,0,0,0,0,0,0,0,0;
int running;
priocoop.init(prio) {
if(running != 0) {
wait[prio]++;
oktogo[prio].wait;
wait[prio]--;
}

running++;
}

priocoop.yield(prio) {
running--;
for(int i = 0;i<10;i++) {
if(wait[i] != 0) {
oktogo[i].signal();
wait[prio]++;
oktogo[prio].wait;
wait[prio]--;
break();
}
}
running++;
}

priocoop.fini() {
running--;
for(int i = 0;i<10;i++) {
if(wait[i] != 0) {
oktogo[i].signal();
break();
}
}

}
}
</syntaxhighlight>
-Midolo

ProvaPratica 2010.07.12

2014-04-01T09:59:33Z

MidoloM:

<h1>http://www.cs.unibo.it/~renzo/so/compiti/2010-07-12.tot.pdf</h1>

<syntaxhighlight lang="C">

monitor priocoop{
condition run[9];
int waiting[9]=0,0,0,0,0,0,0,0,0;
int maxprio=0;
int occupato=0;

procedure entry init(prio){
if(occupato==1)
{
if(maxprio < prio)
{
maxprio=prio;
}
waiting[prio]++;
run[prio].wait();
waiting[prio]--;
}
occupato=1;
}

procedure entry yield(prio){
run[maxprio].signal();
if(maxprio < prio)
{
maxprio=prio;
}
waiting[prio]++;
run[prio].wait();
waiting[prio]--;
}

procedure entry fini(prio){
int i;
occupato=0;
waiting[prio]--;
if(waiting[maxprio] == 0)
{
maxprio=0;
for(i=prio;i>=0;i--)
{
if(waiting[i]!=0)
{
maxprio=0;
}
}
run[maxprio].signal();
}
}
</syntaxhighlight>
Alessandro

<syntaxhighlight lang="C">
//Processo con prioritá 0 = Processo con piú alta prioritá
//Processo con prioritá 9 = Processo con meno prioritá
monitor priocoop {
condition oktogo[10];
int wait[10] = 0,0,0,0,0,0,0,0,0;
int waits = 0;
int running = 0;

priocoop.init(prio) {
if(running != 0 || waits !=0 ) {
wait[prio]++;
waits++;
oktogo[prio].wait;
waits--;
wait[prio]--;
}

running++;
}

priocoop.yield(prio) {
running--;
if(waits != 0) {
for(int i = 0;i<10;i++) {
if(wait[i] != 0) {
oktogo[i].signal();
wait[prio]++;
waits++;
oktogo[prio].wait;
waits--;
wait[prio]--;
break();
}
}
}
running++;
}

priocoop.fini() {
running--;
if(waits != 0) {
for(int i = 0;i<10;i++) {
if(wait[i] != 0) {
oktogo[i].signal();
break();
}
}
}
}
}
</syntaxhighlight>
-Midolo

ProvaTeorica 2012.07.16

2014-03-27T10:40:19Z

MidoloM: Created page with "[http://www.cs.unibo.it/~renzo/so/compiti/2012-07-16.tot.pdf Link Testo] <h2>Esercizio C.2</h2> Mia Soluzione: <syntaxhighlight lang="C"> #define RED 0 #define BLUE 1 //resti..."

[http://www.cs.unibo.it/~renzo/so/compiti/2012-07-16.tot.pdf Link Testo]
<h2>Esercizio C.2</h2>

Mia Soluzione:
<syntaxhighlight lang="C">
#define RED 0
#define BLUE 1
//restituisce 1 se c'e piu del 75% blue o 75% di red
//restituisce 0 se non c'e una maggiornza
int media(color){
int mediared;
int localinto = into;
if (color != NULL){
localinto[color]++;
}
mediared = ((100*localinto[0])/(localinto[0]+localinto[1]));
if(mediared >=75 || mediared < 25){
return 1;//75% di rossi o di blue
}else{
return 0;// non c'e maggioranza
}
}

monitor limcol{

conditon oktoenter[2];
int into[2];

enter(color){
if(media(color) != 1){// attendo perche' non c'e una maggioranza
oktoenter[color].wait();
}
into[color]++;
}

exit(color){
into[color]--;
if(media(1-color) == 1){
oktoenter[1-color].signal();
}else if(media(color) == 1){
oktoenter[color].signal();
}
}
}
</syntaxhighlight>
- Midolo

Main Page

2014-03-27T10:35:16Z

MidoloM:

Questo è il Wiki del Corso di Sistemi Operativi

[[Esercizi a caso del Prof.]]

[[Decalogo di Programmazione Concorrente]]

[[Python Programma tieni punteggio.]]

[[Comandi visti alle lezioni.]]

[[SYS CALL viste a lezione.]]

[[Parametri con getopt().]]

[[Funzione con numero variabile di parametri.]]

[[stampf - implementazione ridotta della printf.]]

[[Producer&Consumer MP.]]

[[ProvaPratica 2014.01.23]]

[[ProvaPratica 2013.09.13]]

[[ProvaPratica 2013.07.18]]

[[ProvaPratica 2013.06.21]]

[[ProvaPratica 2013.05.29]]

[[ProvaPratica 2013.02.15]]

[[ProvaPratica 2013.01.25]]

[[ProvaTeoria_2011.07.25]]

[[ProvaTeorica_2012.02.09]]

[[ProvaTeorica_2012.05.24]]

[[ProvaTeorica_2012.06.15]]

[[ProvaTeorica_2012.09.18]]

[[ProvaTeorica_2013.02.15]]

[[ProvaTeorica_2011.02.11]]

[[ProvaTeorica 2013.07.19]]

[[ProvaTeorica 2013.01.24]]

[[ProvaTeorica 2014.01.22]]

[[ProvaTeorica 2012.07.16]]
----
Ricordate che per creare un account o quando viene richiesto di risolvere un semplice calcolo occorre ricordare quanto scritto [[qui]]

ProvaTeorica 2012.05.24

2014-03-26T16:29:27Z

MidoloM:

<h1>http://www.cs.unibo.it/~renzo/so/compiti/2012-05-24.tot.pdf</h1>

<syntaxhighlight lang="C">
monitor santuario
{
Go = 0; // andare al santuario
Back = 1; // tornare indietro
condition ok[2]; // 2 condizioni
crossing[2] = {0, 0}; // numero di persone sul ponte
visiting = 0; // numero di persone nel santuario
waiting[2] = {0, 0}; // numero di persone in attesa

procedure entry entraponte(dir)
{
/* Mi blocco se:
- il numero di persone sul ponte ha raggiunto il massimo; oppure
- la direzione e' il santuario e il numero di visitatori
(compresi quelli che stanno raggiungendo il santuario) ha raggiunto il massimo; oppure
- qualcuno sta attraversando il ponte in direzione opposta; oppure
- qualcuno sta attendendo di attraversare nel senso opposto */
if (crossing[dir] == MAXPONTE ||
(dir == Go && visiting + crossing[dir] == MAXSANTUARIO) ||
crossing[1 - dir] > 0 ||
waiting[1 - dir] > 0)
{
waiting[dir]++;
ok[dir].wait();
waiting[dir]--;
}
crossing[dir]++;

if (dir == Back)
visiting--;
}

procedure entry esciponte(dir)
{
crossing[dir]--;

if (dir == Go)
visiting++;

// [Case 1] Nessuno sta attraversando il ponte
if (crossing[dir] == 0)
ok[1 - dir].signal();
// [Case 2] Qualcuno sta attraversando il ponte
else
ok[dir].signal();
}
}
</syntaxhighlight>
-TomOgn

<syntaxhighlight lang="C">
monitor santuario{
#define ANDATA 0
#define RITORNO 1

int waiting[2];
int crossing[2];
condition oktoenter[2];
int count; /* persone dentro al santuario */

procedure entry entraponte(int dir){
if (dir == ANDATA){
if (crossing[1-dir] > 0 || crossing[dir] >= MAXPONTE || cout+crossing[dir] >= MAXSANTUARIO){
waiting[dir]++;
oktoenter[dir].wait();
waiting[dir]--;
}
}
else {
if (crossing[1-dir] > 0 || crossing[dir] >= MAXPONTE){
waiting[dir]++;
oktoenter[dir].wait();
waiting[dir]--;
}
}
crossing[dir]++;
if ((crossing[dir]+count < MAXSANTUARIO) && crossing[dir] < MAXPONTE)
oktoenter[dir].signal();
}

procedure entry esciponte(int dir){
crossing[dir]--;
if (dir == ANDATA){
count++;
if (count+crossing[dir] < MAXSANTUARIO) /* voi che siete in attesa andate sul ponte */
oktoenter[dir].signal();
}
else
count--;

if (crossing[dir] == 0)
oktoenter[1-dir].signal();
}
}
</syntaxhighlight>
Gabriele & Giulia (se non va colpa di Gabriele)

<syntaxhighlight lang="C">

monitor santuario{
int CurrentDir /* 0 = arriving , 1 = leaving */
int crossing
condition oktoenter
condition oktoleave
//queue enter
//queue ponte
//queue leave
int fidelis /* fedeli nel tempio */

procedure entry entraponte(CrossingDir){
if(CrossingDir != CurrentDir){
if(CrossingDir == 0){
//enter.enqueue()
oktoenter.wait()
//enter.dequeue()
}
if(CrossingDir == 1){
//leave.enqueue()
oktoleave.wait()
//leave.dequeue()
}
}
if(CrossingDir == 0){
if(fidelis == MAXSANTUARIO || crossing == MAXPONTE){
//ponte.enqueue()
oktoenter.wait()
//ponte.dequeue()
}
fidelis++
crossing++
}
if(CrossingDir == 1){
if(crossing == MAXPONTE){
//ponte.enqueue()
oktoleave.wait()
//ponte.dequeue()
}
fidelis--
crossing++
}
}

precedure entry esciponte(CrossingDir){
crossing--
if(crossing == 0){
if(CrossingDir == 0){
if(fidelis < MAXSANTUARIO /*&& !enter.isempty()*/){
oktoenter.signal()
}
else{
CurrentDir = 1 - CurrentDir
oktoleave.signal()
}
}
else{
CurrentDir = 1 - CurrentDir
oktoenter.signal()
}
}

}

santuario{
crossing = 0
CurrentDir = 0
fidelis = 0
}
}
</syntaxhighlight>
Fede & Mirko

<syntaxhighlight lang="C">
#DEFINE MAXSANTUARIO N

monitor santuario {
condition okpassa; // vai sul ponte secondo metodo FIFO
int turn=2; // turno di attraversamento
int visitatori[2]; // contatori andata ritorno
visitatori[0]=0;
visitatori[1]=0;
int i=0;
Queue q; // coda dei visitatori in attesa

procedure entry entraponte(dir){
/* se il turno è della direzione opposta o
i visitatori in transito sono N o
la coda non è vuota aspetta */
if(turn==(1-dir) || visitatori[dir]==N || !q.empty()){
q.enqueue(dir); // inserisci in coda
okpassa.wait(); // aspetta
if( q.head()==dir && (visitatori[dir] + i) < (N - 1) ){ // questa condizione
i++;
q.dequeue(); // mi serve per far passare
okpassa.signal(); // N visitatori nella direzione
} // in attesa quando nella direzione opposta
i=0; // i visitatori in transito erano N
}
turn=dir; // setto il turno della direzione
visitatori[dir]++; //incremento visitatori in transito

}

procedure entry esciponte(dir){
visitatore[dir]--; //decremento visitatori in transito
/* se il primo visitatore in attesa va nella stessa direzione
di chi è uscito può entrare sul ponte poichè questo
si verifica solo se il visitatore uscito era il numero N
o il visitatore che esce è l'ultimo fa passare il primo in attesa
che sarà sicuramente della direzione opposta */

if (q.head()==dir || visitatori[dir]==0){
if(visitatore[dir]==0){
turn=2; // ponte vuoto
}
q.dequeue();
okpassa.signal(); // causa il passaggio sul ponte
// del primo visitatore in attesa
// (secondo una politica FIFO)
}

}

</syntaxhighlight>
Alessandro

<syntaxhighlight lang="C">
#define ANDARA 0;
#define RITORNO 1;
monitor santuario{
int cross;
condition oktocross[2];
int fidelis;
entraponte(dir){
if( cross != 0 || (dir == 0 && MAXSANTUARIO == fidelis)){
wait[dir]++;
oktocross[dir].wait();
wait[dir]--;
}
cross++;
if(dir == 0){
fidelis++;
if(cross < MAXPONTE && MAXSANTUARIO > fidelis){
oktocross[dir].signal;
}
}else{
fidelis--;
if(cross < MAXPONTE){
oktocross[dir].signal;
}
}
}
esciponte(dir){
cross--;
if(cross == 0 && MAXSANTUARIO == fidelis){
oktocross[RITORNO].signal();
}else if(cross == 0 && wait[1-dir]){
oktocross[1-dir].signal();
}else if(cross == 0){
oktocross[dir].signal();
}
}
}
</syntaxhighlight>
-Midolo

ProvaTeorica 2012.05.24

2014-03-26T16:28:28Z

MidoloM:

<h1>http://www.cs.unibo.it/~renzo/so/compiti/2012-05-24.tot.pdf</h1>

<syntaxhighlight lang="C">
monitor santuario
{
Go = 0; // andare al santuario
Back = 1; // tornare indietro
condition ok[2]; // 2 condizioni
crossing[2] = {0, 0}; // numero di persone sul ponte
visiting = 0; // numero di persone nel santuario
waiting[2] = {0, 0}; // numero di persone in attesa

procedure entry entraponte(dir)
{
/* Mi blocco se:
- il numero di persone sul ponte ha raggiunto il massimo; oppure
- la direzione e' il santuario e il numero di visitatori
(compresi quelli che stanno raggiungendo il santuario) ha raggiunto il massimo; oppure
- qualcuno sta attraversando il ponte in direzione opposta; oppure
- qualcuno sta attendendo di attraversare nel senso opposto */
if (crossing[dir] == MAXPONTE ||
(dir == Go && visiting + crossing[dir] == MAXSANTUARIO) ||
crossing[1 - dir] > 0 ||
waiting[1 - dir] > 0)
{
waiting[dir]++;
ok[dir].wait();
waiting[dir]--;
}
crossing[dir]++;

if (dir == Back)
visiting--;
}

procedure entry esciponte(dir)
{
crossing[dir]--;

if (dir == Go)
visiting++;

// [Case 1] Nessuno sta attraversando il ponte
if (crossing[dir] == 0)
ok[1 - dir].signal();
// [Case 2] Qualcuno sta attraversando il ponte
else
ok[dir].signal();
}
}
</syntaxhighlight>
-TomOgn

<syntaxhighlight lang="C">
monitor santuario{
#define ANDATA 0
#define RITORNO 1

int waiting[2];
int crossing[2];
condition oktoenter[2];
int count; /* persone dentro al santuario */

procedure entry entraponte(int dir){
if (dir == ANDATA){
if (crossing[1-dir] > 0 || crossing[dir] >= MAXPONTE || cout+crossing[dir] >= MAXSANTUARIO){
waiting[dir]++;
oktoenter[dir].wait();
waiting[dir]--;
}
}
else {
if (crossing[1-dir] > 0 || crossing[dir] >= MAXPONTE){
waiting[dir]++;
oktoenter[dir].wait();
waiting[dir]--;
}
}
crossing[dir]++;
if ((crossing[dir]+count < MAXSANTUARIO) && crossing[dir] < MAXPONTE)
oktoenter[dir].signal();
}

procedure entry esciponte(int dir){
crossing[dir]--;
if (dir == ANDATA){
count++;
if (count+crossing[dir] < MAXSANTUARIO) /* voi che siete in attesa andate sul ponte */
oktoenter[dir].signal();
}
else
count--;

if (crossing[dir] == 0)
oktoenter[1-dir].signal();
}
}
</syntaxhighlight>
Gabriele & Giulia (se non va colpa di Gabriele)

<syntaxhighlight lang="C">

monitor santuario{
int CurrentDir /* 0 = arriving , 1 = leaving */
int crossing
condition oktoenter
condition oktoleave
//queue enter
//queue ponte
//queue leave
int fidelis /* fedeli nel tempio */

procedure entry entraponte(CrossingDir){
if(CrossingDir != CurrentDir){
if(CrossingDir == 0){
//enter.enqueue()
oktoenter.wait()
//enter.dequeue()
}
if(CrossingDir == 1){
//leave.enqueue()
oktoleave.wait()
//leave.dequeue()
}
}
if(CrossingDir == 0){
if(fidelis == MAXSANTUARIO || crossing == MAXPONTE){
//ponte.enqueue()
oktoenter.wait()
//ponte.dequeue()
}
fidelis++
crossing++
}
if(CrossingDir == 1){
if(crossing == MAXPONTE){
//ponte.enqueue()
oktoleave.wait()
//ponte.dequeue()
}
fidelis--
crossing++
}
}

precedure entry esciponte(CrossingDir){
crossing--
if(crossing == 0){
if(CrossingDir == 0){
if(fidelis < MAXSANTUARIO /*&& !enter.isempty()*/){
oktoenter.signal()
}
else{
CurrentDir = 1 - CurrentDir
oktoleave.signal()
}
}
else{
CurrentDir = 1 - CurrentDir
oktoenter.signal()
}
}

}

santuario{
crossing = 0
CurrentDir = 0
fidelis = 0
}
}
</syntaxhighlight>
Fede & Mirko

<syntaxhighlight lang="C">
#DEFINE MAXSANTUARIO N

monitor santuario {
condition okpassa; // vai sul ponte secondo metodo FIFO
int turn=2; // turno di attraversamento
int visitatori[2]; // contatori andata ritorno
visitatori[0]=0;
visitatori[1]=0;
int i=0;
Queue q; // coda dei visitatori in attesa

procedure entry entraponte(dir){
/* se il turno è della direzione opposta o
i visitatori in transito sono N o
la coda non è vuota aspetta */
if(turn==(1-dir) || visitatori[dir]==N || !q.empty()){
q.enqueue(dir); // inserisci in coda
okpassa.wait(); // aspetta
if( q.head()==dir && (visitatori[dir] + i) < (N - 1) ){ // questa condizione
i++;
q.dequeue(); // mi serve per far passare
okpassa.signal(); // N visitatori nella direzione
} // in attesa quando nella direzione opposta
i=0; // i visitatori in transito erano N
}
turn=dir; // setto il turno della direzione
visitatori[dir]++; //incremento visitatori in transito

}

procedure entry esciponte(dir){
visitatore[dir]--; //decremento visitatori in transito
/* se il primo visitatore in attesa va nella stessa direzione
di chi è uscito può entrare sul ponte poichè questo
si verifica solo se il visitatore uscito era il numero N
o il visitatore che esce è l'ultimo fa passare il primo in attesa
che sarà sicuramente della direzione opposta */

if (q.head()==dir || visitatori[dir]==0){
if(visitatore[dir]==0){
turn=2; // ponte vuoto
}
q.dequeue();
okpassa.signal(); // causa il passaggio sul ponte
// del primo visitatore in attesa
// (secondo una politica FIFO)
}

}

</syntaxhighlight>
Alessandro

<syntaxhighlight lang="C">
#define ANDARA 0;
#define RITORNO 1;
monitor santuario{
int cross;
condition oktocross[2];
int fidelis;
entraponte(dir){
if( cross != 0 || (dir == 0 && MAXSANTUARIO == fidelis)){
wait[dir]++;
oktocross[dir];
wait[dir]--;
}
cross++;
if(dir == 0){
fidelis++;
if(cross < MAXPONTE && MAXSANTUARIO > fidelis){
oktocross[dir].signal;
}
}else{
fidelis--;
if(cross < MAXPONTE){
oktocross[dir].signal;
}
}
}
esciponte(dir){
cross--;
if(cross == 0 && MAXSANTUARIO == fidelis){
oktocross[RITORNO].signal();
}else if(cross == 0 && wait[1-dir]){
oktocross[1-dir].signal();
}else if(cross == 0){
oktocross[dir].signal();
}
}
}
</syntaxhighlight>
-Midolo

Main Page

2014-03-25T10:32:45Z

MidoloM:

Questo è il Wiki del Corso di Sistemi Operativi

[[Esercizi a caso del Prof.]]

[[Decalogo di Programmazione Concorrente]]

[[Python Programma tieni punteggio.]]

[[Comandi visti alle lezioni.]]

[[SYS CALL viste a lezione.]]

[[Parametri con getopt().]]

[[Funzione con numero variabile di parametri.]]

[[stampf - implementazione ridotta della printf.]]

[[Producer&Consumer MP.]]

[[ProvaPratica 2014.01.23]]

[[ProvaPratica 2013.09.13]]

[[ProvaPratica 2013.07.18]]

[[ProvaPratica 2013.06.21]]

[[ProvaPratica 2013.05.29]]

[[ProvaPratica 2013.02.15]]

[[ProvaPratica 2013.01.25]]

[[ProvaTeoria_2011.07.25]]

[[ProvaTeorica_2012.02.09]]

[[ProvaTeorica_2012.05.24]]

[[ProvaTeorica_2012.06.15]]

[[ProvaTeorica_2012.09.18]]

[[ProvaTeorica_2013.02.15]]

[[ProvaTeorica_2011.02.11]]

[[ProvaTeorica 2013.07.19]]

[[ProvaTeorica 2013.01.24]]

[[ProvaTeorica 2014.01.22]]
----
Ricordate che per creare un account o quando viene richiesto di risolvere un semplice calcolo occorre ricordare quanto scritto [[qui]]

ProvaTeorica 2014.01.22

2014-03-25T10:32:29Z

MidoloM:

<syntaxhighlight lang="C">

URL: http://www.cs.unibo.it/~renzo/so/compiti/2014.01.22.tot.pdf

@author: Alessandro

monitor bridge {
condition oktomove; /* auto attraversa il ponte */
int turn=0; /*indica il senso delle auto */
int est=0,ovest=0; /*contatori delle auto da est e da ovest */
Queue q; /*coda delle senso delle macchine in attesa */

procedure entry enter (char EoW)
{
if(EoW == "E") /* viene da est */
{
if(turn == 2 || est >=N || !empty(q))
{
q=enqueue("E"); /*inserisco nella coda dei sensi*/
oktomove.wait(); /*aspetta*/

}
turn = 1; /*impongo il senso delle auto in circolo nel ponte */
est++;
}
else /* viene da ovest */
{
if(turn ==1 || ovest >=N || !empty(q))
{
q=enqueue("O"); /*inserisco nella coda dei sensi*/
oktomove.wait(); /*aspetta*/

}
turn = 2; /*impongo il senso delle auto in circolo nel ponte */
ovest++;
}
}

procedure entry exit(char EoW)
{
char r;
if(EoW == "O")
{
est--;
r=head(q); /* leggo la prossima auto che aspetta di entrare */
if(est == 0 || r == "E") /*nessuna auto in transito nel ponte o il prossimo va nella stessa direzione*/
{
est--;
if(est == 0) /*nessuna auto in transito nel ponte */
{
turn = 0; /*avanti un altro */
}
if(!empty(q))
{
q.dequeue();
oktomove.signal(); /*segnale*/
}
}
else
{
ovest--;
r=head(q); /* leggo la prossima auto che aspetta di entrare */
if(ovest == 0 || r == "O") /*nessuna auto in transito nel ponte o il prossimo va nella stessa direzione*/
{
turn = 0; /*avanti un altro */
}
if(!empty(q))
{
q.dequeue();
oktomove.signal(); /*segnale*/
}
}
}

}
</syntaxhighlight>

------

<syntaxhighlight lang="C">
/*
* URL: http://www.cs.unibo.it/~renzo/so/compiti/2014.01.22.tot.pdf
* author: Tommaso Ognibene
*/

monitor bridge
{
condition okE; // attraversare in direzione Est
condition okW; // attraversare in direzione Ovest
int n = 0; // numero di veicoli sul ponte
int waitingE = 0; // numero di veicoli che attendono di attraversare in direzione Est
int waitingW = 0; // numero di veicoli che attendono di attraversare in direzione Ovest
bool toE = true; // direzione di attraversamento

procedure entry enter(Vehicle vehicle)
{
// [Case 1] Il veicolo vuole attraversare in direzione Ovest
if (vehicle.To == 'W')
{
/* Se - il numero di veicoli sul ponte ha raggiunto il massimo; oppure
- qualcuno sta attraversando in direzione opposta; oppure
- qualcuno sta attendendo di attraversare in direzione opposta */
if (n == N || (toE && n > 0) || (!toE && waitingE > 0))
{
// Mi fermo e attendo di essere sbloccato
waitingW++;
okW.wait();
waitingW--;
}
toE = false;
n++;

/* Se possibile, sblocco eventuali altri veicoli in attesa per la stessa direzione.
* Questo non crea starvation in quanto sono sicuramente un numero limitato. */
if (n < N && waitingE == 0)
okW.signal();
}
// [Case 2] Il veicolo vuole attraversare in direzione Est
else
{
/* Se - il numero di veicoli sul ponte ha raggiunto il massimo; oppure
- qualcuno sta attraversando in direzione opposta; oppure
- qualcuno sta attendendo di attraversare in direzione opposta */
if (n == N || (!toE && n > 0) || (toE && waitingW > 0))
{
// Mi fermo e attendo di essere sbloccato
waitingE++;
okE.wait();
waitingE--;
}
toE = true;
n++;

/* Se possibile, sblocco eventuali altri veicoli in attesa per la stessa direzione.
* Questo non crea starvation in quanto sono sicuramente un numero limitato. */
if (n < N && waitingW == 0)
okE.signal();
}
}

procedure entry exit(Vehicle vehicle)
{
n--;
/* Se nessuno sta attraversando il ponte */
if (n == 0)
{
// [Case 1] L'ultimo ad attraversare andava in direzione Ovest
if (vehicle.To == 'W')
{
/* Se esiste, attivo il veicolo che per primo si era messo
in attesa per la direzione opposta */
if (waitingE > 0)
okE.signal();
else
okW.signal();
}
// [Case 2] L'ultimo ad attraversare andava in direzione Est
else
{
/* Se esiste, attivo il veicolo che per primo si era messo
in attesa per la direzione opposta */
if (waitingW > 0)
okW.signal();
else
okE.signal();
}
}
}
}
</syntaxhighlight>

La Mia soluzione:
<syntaxhighlight lang="C">
/*
* author: Midolo
*/

Monitor Ponte {
#define O 0
#define E 1
condition oktocross[2];
int countwaiting[2], crossing;

bridge.enter(dir){
if(crossing != 0 || countwaiting[1-dir] != 0){
countwaiting[dir]++;
oktocross[dir].wait();
countwaiting[dir]--;
}
crossing++;
if(crossing < N){
oktocross[dir].signal();
}
}

bridge.exit(dir){
crossing--;
if(crossing == 0){
if(countwaiting[dir] != 0){
oktocross[dir].signal();
}else{
oktocross[1-dir].signal();
}
}

}
}
</syntaxhighlight>

Main Page

2014-03-25T10:28:56Z

MidoloM:

Questo è il Wiki del Corso di Sistemi Operativi

[[Esercizi a caso del Prof.]]

[[Decalogo di Programmazione Concorrente]]

[[Python Programma tieni punteggio.]]

[[Comandi visti alle lezioni.]]

[[SYS CALL viste a lezione.]]

[[Parametri con getopt().]]

[[Funzione con numero variabile di parametri.]]

[[stampf - implementazione ridotta della printf.]]

[[Producer&Consumer MP.]]

[[ProvaPratica 2014.01.23]]

[[ProvaPratica 2013.09.13]]

[[ProvaPratica 2013.07.18]]

[[ProvaPratica 2013.06.21]]

[[ProvaPratica 2013.05.29]]

[[ProvaPratica 2013.02.15]]

[[ProvaPratica 2013.01.25]]

[[ProvaTeoria_2011.07.25]]

[[ProvaTeorica_2014.01.22]]

[[ProvaTeorica_2012.02.09]]

[[ProvaTeorica_2012.05.24]]

[[ProvaTeorica_2012.06.15]]

[[ProvaTeorica_2012.09.18]]

[[ProvaTeorica_2013.02.15]]

[[ProvaTeorica_2011.02.11]]

[[ProvaTeorica 2013.07.19]]

[[ProvaTeorica 2013.01.24]]

[[ProvaTeorica 2014.01.22]]
----
Ricordate che per creare un account o quando viene richiesto di risolvere un semplice calcolo occorre ricordare quanto scritto [[qui]]

Main Page

2014-03-25T10:28:47Z

MidoloM:

Questo è il Wiki del Corso di Sistemi Operativi

[[Esercizi a caso del Prof.]]

[[Decalogo di Programmazione Concorrente]]

[[Python Programma tieni punteggio.]]

[[Comandi visti alle lezioni.]]

[[SYS CALL viste a lezione.]]

[[Parametri con getopt().]]

[[Funzione con numero variabile di parametri.]]

[[stampf - implementazione ridotta della printf.]]

[[Producer&Consumer MP.]]

[[ProvaPratica 2014.01.23]]

[[ProvaPratica 2013.09.13]]

[[ProvaPratica 2013.07.18]]

[[ProvaPratica 2013.06.21]]

[[ProvaPratica 2013.05.29]]

[[ProvaPratica 2013.02.15]]

[[ProvaPratica 2013.01.25]]

[[ProvaTeoria_2011.07.25]]

[[ProvaTeorica_2014.01.22]]

[[ProvaTeorica_2012.02.09]]

[[ProvaTeorica_2012.05.24]]

[[ProvaTeorica_2012.06.15]]

[[ProvaTeorica_2012.09.18]]

[[ProvaTeorica_2013.02.15]]

[[ProvaTeorica_2011.02.11]]

[[ProvaTeorica 2013.07.19]]

[[ProvaTeorica 2013.01.24]]

[[ProvaTeorica 2014.01.22]]
----
Ricordate che per creare un account o quando viene richiesto di risolvere un semplice calcolo occorre ricordare quanto scritto [[qui]]

ProvaTeorica 2013.01.24

2014-03-18T13:02:16Z

MidoloM: Created page with "Esercizio C1: (a) Scrivere un monitor nmbb che realizzi un buffer limitato (di ampiezza BUFSIZE) che consenta alle chiamate write (inserimento nel buffer) e read (lettura da b..."

Esercizio C1:
(a) Scrivere un monitor nmbb che realizzi un buffer limitato (di ampiezza BUFSIZE) che consenta alle
chiamate write (inserimento nel buffer) e read (lettura da buffer) di operare su vettori di piu' elementi. In particolare
l'interfaccia delle procedure entry da implementare e' la seguente:
procedure entry write(int n, struct elem *v);
procedure entry read(int m, struct elem *w);
se n o m sono maggiori di BUFSIZE le funzioni non devono fare nulla (caso di errore).
La funzione write deve attendere che ci sia spazio nel buffer per inserire n elementi (il vettore v conterra' n elementi).
Solo quando e' possibile completare l'operazione vengono inseriti tutti gli elementi di v nel buffer.
La funzione read attende che vi siano almeno m elementi nel buffer quindi estrae dal buffer (in ordine FIFO) m elementi e li copia nel vettore w .
(b) sono possibili casi di deadlock? (motivare dettagliatamente la risposta)

La mia Soluzione:
<syntaxhighlight lang="C">
read(): legge dalla coda un elemento senza rimuoverlo
queue(elem v,int n): inserisce nella coda n elementi v;
dequeue(int n): legge n elementi dalla coda e li rimuove;

monitor mnbb{
conditon oktowrite, oktoread;
queue qwrite,qread;

procedure entry write(int n, struct elem *v){
if(n > BUFSIZE){
return(ERROR);
}
if( n > (BUFSIZE - buff.lengh)){
qwrite.queue( n, 1 );
oktowrite.wait();
}
buff.queue( v, n );
if(qread.read() <= buff.lengh){
qread.dequeue(1);
oktoread.signal();
}
}

procedure entry read(int m, struct elem *w){
if(m > BUFSIZE){
return(ERROR);
}
if(m > buff.lengh){
qread.queue( m, 1 );
oktoread.wait();
}
w = buff.dequeue(m);
if(qwrite.read() <= (BUFSIZE - buff.lengh)){
qwrite.dequeue(1);
oktowirte.signal();
}
}
}
</syntaxhighlight>
- Midolo

Main Page

2014-03-18T12:58:34Z

MidoloM:

Questo è il Wiki del Corso di Sistemi Operativi

[[Esercizi a caso del Prof.]]

[[Decalogo di Programmazione Concorrente]]

[[Python Programma tieni punteggio.]]

[[Comandi visti alle lezioni.]]

[[SYS CALL viste a lezione.]]

[[Parametri con getopt().]]

[[Funzione con numero variabile di parametri.]]

[[stampf - implementazione ridotta della printf.]]

[[ProvaPratica 2013.09.13]]

[[ProvaPratica 2013.07.18]]

[[ProvaPratica 2013.06.21]]

[[ProvaPratica 2013.05.29]]

[[ProvaPratica 2013.02.15]]

[[ProvaPratica 2013.01.25]]

[[ProvaTeoria_2011.07.25]]

[[ProvaTeorica_2014.01.22]]

[[ProvaTeorica_2012.02.09]]

[[ProvaTeorica_2012.05.24]]

[[ProvaTeorica_2012.06.15]]

[[ProvaTeorica_2012.09.18]]

[[ProvaTeorica_2013.02.15]]

[[ProvaTeorica_2011.02.11]]

[[ProvaTeorica 2013.07.19]]

[[ProvaTeorica 2013.01.24]]
----
Ricordate che per creare un account o quando viene richiesto di risolvere un semplice calcolo occorre ricordare quanto scritto [[qui]]

ProvaTeorica 2013.07.19

2014-03-18T11:41:02Z

MidoloM:

Esecizio C1:
scrivere un monitor m vie che gestisca M buffer limitati. Ogni buffer ha l'ampiezza di M ELEM elementi. I produttori chiamano la procedure entry:
put(generic *object)
mentre i consumatori chiamano la procedure entry
generic *get(int n)
I produttori conferiscono un vettore di M element i, uno per ogni buffer al buffer.
Per esempio put( v ), (dove v e' un vettore di M elementi) inserisce ogni elemento del vettore nel buffer corrispondente.
I consumatori ricevono un oggetto dal buffer indicato come parametro oggetti ma attendono sempre che ci sia almeno un elemento in ogni buffer.

Mia Soluzione:
<syntaxhighlight lang="C">
/*AreEmpy: */
/*true quando almeno un buff é vuoto*/
/*false quando tutti hanno almeno un elemento*/
bool areEmpy(*buff){
for(int a = 0; a<M;a++){
if(buff[a].lengh != 0){
return true;
}
}
return false;
}
/*AreFull: */
/*true quando almeno un buff é pieno*/
/*false quando sono tutti non pieni*/
bool areFull(*buff){
for(int a = 0; a<M;a++){
if (buff[a].lengh == MELEM){
return true;
}
}

return false;
}
monitor mvie{
put(generic *object){
if( areFull(buff) )
oktoput.wait();
for(int a = 0; a<M;a++){
buf[a].queue(object[a]);
}
for(int a = 0; a<M;a++){
oktoget[a].signal();//tutti i buffer hanno almeno un elemento quindi manda la signal a tutti i lettori
}
}

generic *get(int i){
if( areEmpty(buff))
oktoget.wait();
buf[i].dequeue();
if(!areFull(buf)) // se cé spazio in tutti i buffer manda la signal per scrivere
oktoput.signal();
}

}
</syntaxhighlight>
- Midolo

ProvaTeorica 2013.07.19

2014-03-18T10:51:02Z

MidoloM: Created page with "Esecizio C1: scrivere un monitor m vie che gestisca M buffer limitati. Ogni buffer ha l'ampiezza di M ELEM elementi. I produttori chiamano la procedure entry: put(generic *obj..."

Esecizio C1:
scrivere un monitor m vie che gestisca M buffer limitati. Ogni buffer ha l'ampiezza di M ELEM elementi. I produttori chiamano la procedure entry:
put(generic *object)
mentre i consumatori chiamano la procedure entry
generic *get(int n)
I produttori conferiscono un vettore di M element i, uno per ogni buffer al buffer.
Per esempio put( v ), (dove v e' un vettore di M elementi) inserisce ogni elemento del vettore nel buffer corrispondente.
I consumatori ricevono un oggetto dal buffer indicato come parametro oggetti ma attendono sempre che ci sia almeno un elemento in ogni buffer.

Mia Soluzione:
<syntaxhighlight lang="C">
/*AreEmpy: */
/*true quando almeno un buff é vuoto*/
/*false quando tutti hanno almeno un elemento*/
bool areEmpy(*buff){
for(int a = 0; a<M;a++){
if(buff[a].lengh != 0){
return true;
}
}
return false;
}
/*AreFull: */
/*true quando almeno un buff é pieno*/
/*false quando sono tutti pieni*/
bool areFull(*buff){
for(int a = 0; a<M;a++){
if (buff[a].lengh == MELEM){
return true;
}
}

return false;
}
monitor mvie{
put(generic *object){
if( areFull(buff) )
oktoput.wait();
for(int a = 0; a<M;a++){
buf[a].queue(object[a]);
}
for(int a = 0; a<M;a++){
oktoget[a].signal();//tutti i buffer hanno almeno un elemento quindi manda la signal a tutti i lettori
}
}

generic *get(int i){
if( areEmpty(buff))
oktoget.wait();
buf[i].dequeue();
if(!areFull(buf)) // se cé spazio in tutti i buffer manda la signal per scrivere
oktoput.signal();
}

}
</syntaxhighlight>
- Midolo

Main Page

2014-03-18T10:47:12Z

MidoloM:

Questo è il Wiki del Corso di Sistemi Operativi

[[Esercizi a caso del Prof.]]

[[Decalogo di Programmazione Concorrente]]

[[Python Programma tieni punteggio.]]

[[Comandi visti alle lezioni.]]

[[SYS CALL viste a lezione.]]

[[Parametri con getopt().]]

[[Funzione con numero variabile di parametri.]]

[[stampf - implementazione ridotta della printf.]]

[[ProvaPratica 2013.09.13]]

[[ProvaPratica 2013.07.18]]

[[ProvaPratica 2013.06.21]]

[[ProvaPratica 2013.05.29]]

[[ProvaPratica 2013.02.15]]

[[ProvaPratica 2013.01.25]]

[[ProvaTeoria_2011.07.25]]

[[ProvaTeorica_2014.01.22]]

[[ProvaTeorica_2012.02.09]]

[[ProvaTeorica_2012.05.24]]

[[ProvaTeorica_2012.06.15]]

[[ProvaTeorica_2012.09.18]]

[[ProvaTeorica_2013.02.15]]

[[ProvaTeorica_2011.02.11]]

[[ProvaTeorica 2013.07.19]]
----
Ricordate che per creare un account o quando viene richiesto di risolvere un semplice calcolo occorre ricordare quanto scritto [[qui]]