View source for ProvaTeorica 2013.02.15

<h1>[http://www.cs.unibo.it/~renzo/so/compiti/2013.02.15.tot.pdf Testo del compito]</h1>


Esercizio c.1

<syntaxhighlight lang="C">
/*
Esercizio c.1: (a) Scrivere un monitor dualwriter che realizzi un doppio buffer limitato (ogni buffer ha ampiezza
BUFSIZE) che consenta a uno scrittore di scrivere contemporaneamente due elementi che andranno rispettivamente
nel primo e nel secondo buffer. Le letture :
 procedure entry void write(type1 e1, type2 e2);
 procedure entry type1 read1();
 procedure entry type2 read2();
La funzione write deve attendere che ci sia spazio in entrambi i buffer. 
La funzione read attende che vi sia almeno un elemento nel buffer indicato
*/
monitor dualwriter
{
	type1* buffer1;
	type2* buffer2;
	condition oktowrite,oktoread1, oktoread2
	procedure entry void write (type1 e1, type2 e2)
	{
		if (sizeof(type1)>=BUFSIZE || sizeof(type2)>=BUFSIZE)
			oktowrite.wait();
		buffer1.push(e1);
		buffer2.push(e2);
		oktoread1.signal();
		oktoread2.signal();
	}
	
	procedure entry type1 read1()
	{
		if (sizeof(buffer1)==0)
			oktoread1.wait();
		buffer1.pop();
		if (sizeof(buffer2)<BUFSIZE)
			oktowrite.signal();
	}
	
	procedure entry type2 read2()
	{
		if (sizeof(buffer2)==0)
			oktoread2.wait();
		buffer2.pop();
		if (sizeof(buffer1)<BUFSIZE)
			oktowrite.signal();
	}
}
</syntaxhighlight>
-stefano92


----


<syntaxhighlight lang="C">
monitor dualwriter{
	queue buffer1;
	queue buffer2;
	condition oktowrite;
	condition oktoread1;
	condition oktoread2;
	
	procedure entry void write(type1 e1, type2 e2){
		if((buffer1.len() == BUFSIZE) || (buffer2.len() == BUFSIZE)) /*se uno dei due buffer è pieno non puoi inserire*/
			oktowrite.wait();
		
		buffer1.enqueue(e1);
		buffer2.enqueue(e2);
		
		oktoread1.signal();
		oktoread2.signal();
	}
	
	procedure entry type1 read1(){
		if(buffer1.len() == 0) /*buffer vuoto*/
			oktoread1.wait();
		
		buffer1.dequeue;
		oktowrite.signal();
	}
	
	procedure entry type2 read2(){
		if(buffer2.len() == 0) /*buffer vuoto*/
			oktoread2.wait();
		
		buffer2.dequeue;
		oktowrite.signal();
	}
}
</syntaxhighlight>
Giulia
<h2> Esercizio c.2 </h2>
<syntaxhighlight lang="C">

// foo(x,y) <x=2+y , y=2+x>

int g = 0;

csenter:

          do
               int l;
               foo(l, g);
          while(l!=2)

csexit:

g = 0;

        
</syntaxhighlight>

<syntaxhighlight lang="C">

// bar (z,t) <z= z xor t, t= t xor z, z = z xor t>

z   t   z   t   z
0   0   0   0   0
0   1   1   0   1
1   0   1   1   0
1   1   0   1   1

void Swap(bool z, bool t){
      bool tmp;
         z=t;
         t=tmp;
}
</syntaxhighlight>
<h2> Esercizio g.1 </h2>
[[File:RoundRobin2cpu.png]]

                                                                            
{| border="1"
|-
|TEMPO
|1
|2
|3
|4
|5
|6
|7
|8
|9
|10
|11
|12
|13
|14
|15
|16
|17
|18
|19
|20
|21
|22
|23
|24
|-
|CPU 1
|P1
|P1
|P1
|P1
|P4
|P4
|P4
|P4
|P4
|P4
|P4
|P4
|P4
|P4
|P4
|P4
|P3
|P3
|P3
|P4
|P1
|P1
|P1
|P1
|P1
|-
|CPU 2
|P2
|P2
|P3
|P3
|P3
|P1
|P2
|P2
|<br>
|P3
|P3
|P3
|<br>
|P1
|P1
|P2
|P2
|P2
|P2
|P2
|<br>
|<br>
|<br>
|<br>
|<br>
|I/O
|<br>
|<br>
|P2
|P2
|P2
|P2
|P3
|P3
|P3
|P1
|P1
|P1
|P1
|P2
|P3
|P1
|P1
|P1
|P1
|P1
|P4
|<br>
|<br>
|<br>
|-
|}
Domanda: una soluzione del genere sarebbe corretta?
-Stefano 92