Difference between revisions of "ProvaTeorica 2013.05.30"

From Sistemi Operativi
Jump to navigation Jump to search
 
(11 intermediate revisions by 2 users not shown)
Line 1: Line 1:
−
<h2>Esercizio c.1</h2>
+
<h1>[http://www.cs.unibo.it/~renzo/so/compiti/2013.05.30.tot.pdf Testo del compito]</h1>
−
 
+
<h2> Esercizio c.1</h2>
 
<syntaxhighlight lang="C">
 
<syntaxhighlight lang="C">
 +
monitor eventp {
 +
typedef struct EP {
 +
unsigned int value;
 +
condition okNotNull;
 +
condition okToaAdd;
 +
intqueue q;
 +
} EP;
 +
procedure entry EP* create (unsigned value){
 +
if (d.value+value > MAXINT || !d.queue.isEmpty()) {
 +
d.q.enqueue(value);
 +
d.okToAdd.wait();
 +
d.q.dequeue();
 +
}
 +
d.value = d.value + value;
 +
if (d.q.top() + value <= d.value.size()) //se il suo valore proposto non causa l’overflow del counter, sblocco lo scrittore successivo
 +
d.okToAdd.signal();
 +
else
 +
d.okNotNull.signal();
 +
}
  
−
/* Esercizio c.1: scrivere un monitor eventp che realizzi un servizio di sincronizzazione cosi' definito:
+
procedure entry unsigned int read (EP* ep){
−
procedure entry EP *create(unsigned value): crea un nuovo descrittore. Ogni descrittore ha un contatore associato.
+
if (!ep.value)
 +
ep.okNotNull.wait();
 +
unsigned int toReturn = ep.value;
 +
ep.value = 0;
 +
ep.okToAdd.signal();
 +
return toReturn;
 +
}
  
−
Value e' il valore iniziale del contatore.
+
procedure entry close(EP * ep){
 +
free(ep);
 +
}
  
−
procedure entry void write(EP *d, unsigned value): se il contatore ha un valore tale che se si sommasse value causerebbe overflow, sospende il processo chiamante. In ogni caso (se la somma e' possibile senza overflow o quando la somma e' possibile senza overflow) somma value al valore del contatore.
+
}
 +
</syntaxhighlight>
 +
<h2> Esercizio g.1</h2>
  
−
procedure entry unsigned read(EP *d): se il contatore ha valore nullo sospende il processo chiamante fino a che il contatore diventi non nullo. In ogni caso restituisce il valore del contatore e riporta il contatore al valore zero.
+
<p> <b>PUNTO A:</b> (7+256+(256^2)+(256^3))*1kb =16.843.015kb quindi approssimativamente 16MB</p>
 +
<p> <b> PUNTO B:</B> blocco indiretto triplo -> primo livello di idirizzamento 256 esimo blocco -> secondo livello di indirizzamento 256 esimo blocco -> terzo livello di indirizzamento al blocco 100000. Qundi in totale 4 blocchi </p>
  
−
procedure entry void close(EP *d): termina le operazioni del descrittore d e cancella il descrittore.
+
<h2> Esercizio g.2 </h2>
−
*/
+
[[File:Holt.png]]
  
  
−
monitor eventp{
+
<syntaxhighlight lang="C">
−
 
+
monitor eventp
−
#define OVERFLOW 999;
+
{
−
 
+
typedef struct EP  
−
condition okToWrite, okToRead;
+
{
−
usigned int oldValue;
+
unsigned int value;
−
 
+
condition okNotNull;
−
struct EP {  
+
condition okToAdd;
−
unsigned int count;  
+
intqueue q;
−
} d;
+
}
−
 
+
}
−
 
 
−
 
 
−
procedure entry EP *create(value){
 
−
 
 
−
 
 
−
d.count = value;
 
−
 
 
−
return d;
 
  
 +
procedure entry EP* create(unsigned value)
 +
{
 +
EP *ep = new EP(value);
 +
eps.enqueu(ep);
 +
return ep;
 
}
 
}
  
−
 
+
procedure entry write(EP *d,unsigned value)
−
 
+
{
−
procedure entry void write(EP *d, unsigned value){
+
if(d.value+value > d.value.size()|| !d.q.empty()) {
−
 
+
d.q.enqueue(value);
−
if(d.count+value > OVERFLOW)
+
d.okToAdd.wait();
−
+
d.q.dequeue();
−
okToWrite.wait();
+
}
−
d.count= d.count + value;
+
d.value = d.value + value;
−
okToRead.signal();
+
if (d.q.top()+value <= d.value.size())
 +
d.okToAdd.signal();
 
else
 
else
−
d.count = d.count + value;
+
d.okNotNull.signal();
−
 
 
 
}
 
}
  
−
+
// MAXINT - currentvalue < value
−
 
+
procedure entry unsigned int read(EP *ep)
−
procedure entry unsigned read (EP *d){
+
{
−
 
+
if(!ep.value)
−
if(d.count == NULL)
+
ep.okNotNull.wait();
−
+
unsigned int toReturn = ep.value;
−
okToRead.wait();
+
ep.value = 0;
−
oldValue = d.count;
+
ep.okToAdd.signal();
−
d.count = 0;
+
return toReturn;
−
okToWrite.signal();
 
−
return oldValue;
 
−
else
 
−
oldValue=d.count;
 
−
d.count=0;
 
−
return oldValue;
 
 
}
 
}
−
 
+
<syntaxhighlight>
−
procedure entry void close(EP* d){
 
−
 
 
−
close(d);
 
−
delete(d);
 
−
}
 
−
 
 
−
</syntaxhighlight>
 

Latest revision as of 17:00, 19 May 2014

Testo del compito

Esercizio c.1

monitor eventp {
	typedef struct EP {
		unsigned int value;
		condition okNotNull;
		condition okToaAdd;
		intqueue q;
	} EP;
procedure entry EP* create (unsigned value){
	if (d.value+value > MAXINT || !d.queue.isEmpty()) {
		d.q.enqueue(value);
		d.okToAdd.wait();
		d.q.dequeue();
	}
	d.value = d.value + value;
	if (d.q.top() + value <= d.value.size()) //se il suo valore proposto non causa l’overflow del counter, sblocco lo scrittore successivo
			d.okToAdd.signal();
	else
		d.okNotNull.signal();
}

procedure entry unsigned int read (EP* ep){
	if (!ep.value)
		ep.okNotNull.wait();
	unsigned int toReturn = ep.value;
	ep.value = 0;
	ep.okToAdd.signal();
	return toReturn;
}

procedure entry close(EP * ep){
	free(ep);
}

}

Esercizio g.1

PUNTO A: (7+256+(256^2)+(256^3))*1kb =16.843.015kb quindi approssimativamente 16MB

PUNTO B: blocco indiretto triplo -> primo livello di idirizzamento 256 esimo blocco -> secondo livello di indirizzamento 256 esimo blocco -> terzo livello di indirizzamento al blocco 100000. Qundi in totale 4 blocchi

Esercizio g.2

Holt.png


<syntaxhighlight lang="C"> monitor eventp { typedef struct EP { unsigned int value; condition okNotNull; condition okToAdd; intqueue q; } }

procedure entry EP* create(unsigned value) { EP *ep = new EP(value); eps.enqueu(ep); return ep; }

procedure entry write(EP *d,unsigned value) { if(d.value+value > d.value.size()|| !d.q.empty()) { d.q.enqueue(value); d.okToAdd.wait(); d.q.dequeue(); } d.value = d.value + value; if (d.q.top()+value <= d.value.size()) d.okToAdd.signal(); else d.okNotNull.signal(); }

// MAXINT - currentvalue < value procedure entry unsigned int read(EP *ep) { if(!ep.value) ep.okNotNull.wait(); unsigned int toReturn = ep.value; ep.value = 0; ep.okToAdd.signal(); return toReturn; } <syntaxhighlight>

Retrieved from "https://so.v2.cs.unibo.it/wiki/index.php?title=ProvaTeorica_2013.05.30&oldid=742"