ProvaTeorica 2012.02.09

2017-09-02T11:59:22Z

Ossama G.:

Esercizio 1
<syntaxhighlight lang="C">
/*
Esercizio 1: Il monitor seq da implementare deve fornire due procedure entry:
procedure entry void enter(void);
procedure entry void exit(void);
I processi chiamano i servizi di seq come segue:
….
seq.enter();
// codice controllato da seq
seq.exit();
….
Tutti i processi che ne facciano rischiesta possono entrare nel codice controllato da seq contemporaneamente (questa
NON e' una sezione critica!). Exit deve garantire che i processi escano dal codice controllato tutti insieme. Per
esempio se tre processi a,b e c chiamano seq.enter ogni processo non potra' completare la exit se prima tutti gli altri
due non hanno chiamato la exit. Se nel frattempo altri processi dovessero chiamare la seq.enter occorrera' attendere
anche questi ultimi.
*/

monitor seq
{
int processi=0;
condition oktoexit;

procedure entry enter()
{
processi++
}

procedure entry exit()
{
processi--
oktoexit.signal();
while(processi!=0)
{
oktoexit.wait();
}

}
}
</syntaxhighlight>
-stefano92

<syntaxhighlight lang="C">

monitor seq
{
int processi=0;
int inattesa=0 ;
condition oktoexit;

procedure entry enter()
{
processi++
}

procedure entry exit()
{

processi-- ;

while(processi!=0)
{
inattesa++ ;
oktoexit.wait();
inattesa--;
}

oktoexit.signal();
}
}

Save

</syntaxhighlight>
<syntaxhighlight lang="C">
monitor seq{
condition ok2exit;
int exit;
seq(){
count=exit=0
}
entry enter(){
count++
ok2exit.wait()
if count >0:
ok2exit.signal()

}
entry exit(){
exit++
if exit==count:
ok2exit.signal()
}
-AlbertoD
</syntaxhighlight>

Sistemi Operativi - User contributions [en]

ProvaTeorica 2012.02.09