TomOgn: /* Esercizio 2 */

2014-04-23T10:43:57Z

Esercizio 2

TomOgn: Created page with "=[http://www.cs.unibo.it/~renzo/so/compiti/2008-09-17.tot.pdf TESTO COMPITO]= =CONCORRENZA= ==Esercizio 1== Monitor eu { const int Urgent = 1; ..."

2014-04-23T09:07:16Z

Created page with "=[http://www.cs.unibo.it/~renzo/so/compiti/2008-09-17.tot.pdf TESTO COMPITO]= =CONCORRENZA= ==Esercizio 1== <syntaxhighlight lang="Java"> Monitor eu { const int Urgent = 1; ..."

New page

=[http://www.cs.unibo.it/~renzo/so/compiti/2008-09-17.tot.pdf TESTO COMPITO]=
=CONCORRENZA=
==Esercizio 1==
<syntaxhighlight lang="Java">
Monitor eu
{
const int Urgent = 1;
int Code;
condition doctor, patient[2];
queue doctorName, patientName[2];

Name getdoctor(Name name, int code)
{
patientName[code].enqueue(name);

if ((code == Urgent && doctorName.Count == 0) || (code != Urgent && doctorName.Count < 4))
patient[code].wait();
else
{
Code = code;
doctor.signal();
}
return doctorName.dequeue();
}

Name getpatient(Name name)
{
doctorName.enqueue(name);

if (patientName[Urgent].Count == 0 && (patientName[1 - Urgent].Count == 0 || doctorName.Count < 4))
doctor.wait();
else
{
Code = (patientName[Urgent].Count > 0)? Urgent : 1 - Urgent;
patient[Code].signal();
}
return patientName[Code].dequeue();
}
}
</syntaxhighlight>

==Esercizio 3==
<syntaxhighlight lang="C">
/* If (1) e (2) share the same expressive power than
I may implement (1) by means of (2) and vice versa. */

// (1) by means of (2)
void send2(Message m1, Message m2, Pid d1, Pid d2)
{
asend(<SND, getpid(), d1, d2>, server);
asend(m1, arecv(server));
asend(m2, arecv(server));
}

Message receive2()
{
asend(<RCV, getpid(), NULL, NULL>, server);
return arecv(*);
}

Process server()
{
DataBase dbSnd, dbRcv;
while (true)
{
<flag, src, d1, d2> = arecv(*);
if (flag == RCV)
{
<sender, d1, d2> = dbSnd.remove(<?, src, ?> || <?, ?, src>);
if (sender)
{
asend(src, sender);
if (d1 == src)
d1 == NULL;
else
d2 == NULL;
if (d1 || d2)
dbSnd.insert(<sender, d1, d2>);
}
else
dbRcv.insert(src);
}
else
{
if (dbRcv.remove(d1))
{
asend(d1, src);
d1 = NULL;
}
if (dbRcv.remove(d2))
{
asend(d2, src);
d2 = NULL;
}
if (d1 || d2)
dbSnd.insert(<src, d1, d2>);
}
}
}

// (2) by means of (1)
void asend(Message msg, Pid dst)
{
send2(<SND, getpid(), dst, msg>, NULL, server, NULL);
}

Message arecv(Pid sender)
{
send2(<RCV, getpid(), sender, NULL>, NULL, server, NULL);
return arecv(server);
}

Process server()
{
DataBase dbRcv, dbSnd;
while (true)
{
<flag, p1, p2, msg> = receive2();
if (flag == RCV)
{
<, , msg> = dbSnd.remove(<p2, p1, ?>)
if (msg)
send2(msg, NULL, p1, NULL);
else
dbRcv.insert(<p1, p2>);
}
else
{
if (dbRcv.delete(<p2, p1>))
send2(msg, NULL, p2, NULL);
else
dbSnd.insert(<p1, p2, msg>);
}
}
}
</syntaxhighlight>

=GENERALE=
==Esercizio 2==
{| CELLSPACING="0" COLS="9" BORDER="0"<COLGROUP SPAN="2" WIDTH="31"></COLGROUP><COLGROUP WIDTH="32"></COLGROUP><COLGROUP WIDTH="48"></COLGROUP><COLGROUP WIDTH="64"></COLGROUP><COLGROUP WIDTH="29"></COLGROUP><COLGROUP WIDTH="30"></COLGROUP><COLGROUP WIDTH="48"></COLGROUP><COLGROUP WIDTH="64"></COLGROUP>
| COLSPAN=9 HEIGHT="18" ALIGN="LEFT" | a) Stato SAFE, solo con la permutazione [1, 2, 3]:
|-
| STYLE="border-top: 1px solid #000000; border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000" ROWSPAN=2 HEIGHT="34" ALIGN="CENTER" VALIGN=MIDDLE BGCOLOR="#6699CC" SDNUM="1033;0;@" | i
| STYLE="border-top: 1px solid #000000; border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000" COLSPAN=2 ALIGN="CENTER" VALIGN=MIDDLE BGCOLOR="#6699CC" SDNUM="1033;0;@" | Valuta A
| STYLE="border-top: 1px solid #000000; border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE BGCOLOR="#6699CC" SDNUM="1033;0;@" | IC = 4
| STYLE="border-top: 1px solid #000000; border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE BGCOLOR="#6699CC" SDNUM="1033;0;@" | COH = 3
| STYLE="border-top: 1px solid #000000; border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000" COLSPAN=2 ALIGN="CENTER" VALIGN=MIDDLE BGCOLOR="#6699CC" SDNUM="1033;0;@" | Valuta B
| STYLE="border-top: 1px solid #000000; border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE BGCOLOR="#6699CC" SDNUM="1033;0;@" | IC = 4
| STYLE="border-top: 1px solid #000000; border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE BGCOLOR="#6699CC" SDNUM="1033;0;@" | COH = 3
|-
| STYLE="border-top: 1px solid #000000; border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE BGCOLOR="#6699CC" SDNUM="1033;0;@" | c[i]
| STYLE="border-top: 1px solid #000000; border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE BGCOLOR="#6699CC" SDNUM="1033;0;@" | p[i]
| STYLE="border-top: 1px solid #000000; border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE BGCOLOR="#6699CC" SDNUM="1033;0;@" | n[i]
| STYLE="border-top: 1px solid #000000; border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE BGCOLOR="#6699CC" SDNUM="1033;0;@" | avail[i]
| STYLE="border-top: 1px solid #000000; border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE BGCOLOR="#6699CC" SDNUM="1033;0;@" | c[i]
| STYLE="border-top: 1px solid #000000; border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE BGCOLOR="#6699CC" SDNUM="1033;0;@" | p[i]
| STYLE="border-top: 1px solid #000000; border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE BGCOLOR="#6699CC" SDNUM="1033;0;@" | n[i]
| STYLE="border-top: 1px solid #000000; border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE BGCOLOR="#6699CC" SDNUM="1033;0;@" | avail[i]
|-
| STYLE="border-top: 1px solid #000000; border-left: 1px solid #000000" HEIGHT="16" ALIGN="CENTER" VALIGN=MIDDLE SDNUM="1033;0;@" | 1
| STYLE="border-top: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE SDNUM="1033;0;@" | 4
| STYLE="border-top: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE SDNUM="1033;0;@" | 1
| STYLE="border-top: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE BGCOLOR="#669933" SDNUM="1033;0;@" | 3
| STYLE="border-top: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE BGCOLOR="#669933" SDNUM="1033;0;@" | 3
| STYLE="border-top: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE SDNUM="1033;0;@" | 3
| STYLE="border-top: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE SDNUM="1033;0;@" | 0
| STYLE="border-top: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE BGCOLOR="#669933" SDNUM="1033;0;@" | 3
| STYLE="border-top: 1px solid #000000; border-right: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE BGCOLOR="#669933" SDVAL="3" SDNUM="1033;" | 3
|-
| STYLE="border-left: 1px solid #000000" HEIGHT="16" ALIGN="CENTER" VALIGN=MIDDLE SDNUM="1033;0;@" | 2
| STYLE="border-left: 1px solid #000000; border-right: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE SDNUM="1033;0;@" | 4
| ALIGN="CENTER" VALIGN=MIDDLE SDNUM="1033;0;@" | 0
| STYLE="border-left: 1px solid #000000; border-right: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE BGCOLOR="#669933" SDNUM="1033;0;@" | 4
| ALIGN="CENTER" VALIGN=MIDDLE BGCOLOR="#669933" SDNUM="1033;0;@" | 4
| STYLE="border-left: 1px solid #000000; border-right: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE SDNUM="1033;0;@" | 3
| ALIGN="CENTER" VALIGN=MIDDLE SDNUM="1033;0;@" | 1
| STYLE="border-left: 1px solid #000000; border-right: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE BGCOLOR="#669933" SDNUM="1033;0;@" | 2
| STYLE="border-right: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE BGCOLOR="#669933" SDVAL="3" SDNUM="1033;" | 3
|-
| STYLE="border-bottom: 1px solid #000000; border-left: 1px solid #000000" HEIGHT="16" ALIGN="CENTER" VALIGN=MIDDLE SDNUM="1033;0;@" | 3
| STYLE="border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE SDNUM="1033;0;@" | 2
| STYLE="border-bottom: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE SDNUM="1033;0;@" | 0
| STYLE="border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE BGCOLOR="#669933" SDNUM="1033;0;@" | 2
| STYLE="border-bottom: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE BGCOLOR="#669933" SDNUM="1033;0;@" | 4
| STYLE="border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE SDNUM="1033;0;@" | 4
| STYLE="border-bottom: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE SDNUM="1033;0;@" | 0
| STYLE="border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE BGCOLOR="#669933" SDNUM="1033;0;@" | 4
| STYLE="border-bottom: 1px solid #000000; border-right: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE BGCOLOR="#669933" SDVAL="4" SDNUM="1033;" | 4
|-
| COLSPAN=9 HEIGHT="18" ALIGN="LEFT" VALIGN=MIDDLE SDNUM="1033;0;@" | Verifica:
|-
| STYLE="border-top: 1px solid #000000; border-left: 1px solid #000000" HEIGHT="16" ALIGN="CENTER" VALIGN=MIDDLE SDNUM="1033;0;@" | 2
| STYLE="border-top: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE SDNUM="1033;0;@" | 4
| STYLE="border-top: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE SDNUM="1033;0;@" | 0
| STYLE="border-top: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE BGCOLOR="#FF3333" SDNUM="1033;0;@" | 4
| STYLE="border-top: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE BGCOLOR="#FF3333" SDNUM="1033;0;@" | 3
| STYLE="border-top: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE SDNUM="1033;0;@" | 3
| STYLE="border-top: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE SDNUM="1033;0;@" | 1
| STYLE="border-top: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE SDNUM="1033;0;@" | 2
| STYLE="border-top: 1px solid #000000; border-right: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE SDVAL="3" SDNUM="1033;" | 3
|-
| STYLE="border-left: 1px solid #000000" HEIGHT="16" ALIGN="CENTER" VALIGN=MIDDLE SDNUM="1033;0;@" | 1 3
| STYLE="border-left: 1px solid #000000; border-right: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE SDNUM="1033;0;@" | 
| ALIGN="CENTER" VALIGN=MIDDLE SDNUM="1033;0;@" | 
| STYLE="border-left: 1px solid #000000; border-right: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE SDNUM="1033;0;@" | 
| ALIGN="CENTER" VALIGN=MIDDLE SDNUM="1033;0;@" | 
| STYLE="border-left: 1px solid #000000; border-right: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE SDNUM="1033;0;@" | 
| ALIGN="CENTER" VALIGN=MIDDLE SDNUM="1033;0;@" | 
| STYLE="border-left: 1px solid #000000; border-right: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE SDNUM="1033;0;@" | 
| STYLE="border-right: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE | 
|-
| STYLE="border-bottom: 1px solid #000000; border-left: 1px solid #000000" HEIGHT="16" ALIGN="CENTER" VALIGN=MIDDLE SDNUM="1033;0;@" | 3 1
| STYLE="border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE SDNUM="1033;0;@" | 
| STYLE="border-bottom: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE SDNUM="1033;0;@" | 
| STYLE="border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE SDNUM="1033;0;@" | 
| STYLE="border-bottom: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE SDNUM="1033;0;@" | 
| STYLE="border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE SDNUM="1033;0;@" | 
| STYLE="border-bottom: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE SDNUM="1033;0;@" | 
| STYLE="border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE SDNUM="1033;0;@" | 
| STYLE="border-bottom: 1px solid #000000; border-right: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE | 
|-
| STYLE="border-top: 1px solid #000000; border-left: 1px solid #000000" HEIGHT="16" ALIGN="CENTER" VALIGN=MIDDLE SDNUM="1033;0;@" | 3
| STYLE="border-top: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE SDNUM="1033;0;@" | 2
| STYLE="border-top: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE SDNUM="1033;0;@" | 0
| STYLE="border-top: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE SDNUM="1033;0;@" | 2
| STYLE="border-top: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE SDNUM="1033;0;@" | 3
| STYLE="border-top: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE SDNUM="1033;0;@" | 4
| STYLE="border-top: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE SDNUM="1033;0;@" | 0
| STYLE="border-top: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE BGCOLOR="#FF3333" SDNUM="1033;0;@" | 4
| STYLE="border-top: 1px solid #000000; border-right: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE BGCOLOR="#FF3333" SDVAL="3" SDNUM="1033;" | 3
|-
| STYLE="border-left: 1px solid #000000" HEIGHT="16" ALIGN="CENTER" VALIGN=MIDDLE SDNUM="1033;0;@" | 1 2
| STYLE="border-left: 1px solid #000000; border-right: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE SDNUM="1033;0;@" | 
| ALIGN="CENTER" VALIGN=MIDDLE SDNUM="1033;0;@" | 
| STYLE="border-left: 1px solid #000000; border-right: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE SDNUM="1033;0;@" | 
| ALIGN="CENTER" VALIGN=MIDDLE SDNUM="1033;0;@" | 
| STYLE="border-left: 1px solid #000000; border-right: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE SDNUM="1033;0;@" | 
| ALIGN="CENTER" VALIGN=MIDDLE SDNUM="1033;0;@" | 
| STYLE="border-left: 1px solid #000000; border-right: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE SDNUM="1033;0;@" | 
| STYLE="border-right: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE | 
|-
| STYLE="border-bottom: 1px solid #000000; border-left: 1px solid #000000" HEIGHT="16" ALIGN="CENTER" VALIGN=MIDDLE SDNUM="1033;0;@" | 2 1
| STYLE="border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE SDNUM="1033;0;@" | 
| STYLE="border-bottom: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE SDNUM="1033;0;@" | 
| STYLE="border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE SDNUM="1033;0;@" | 
| STYLE="border-bottom: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE SDNUM="1033;0;@" | 
| STYLE="border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE SDNUM="1033;0;@" | 
| STYLE="border-bottom: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE SDNUM="1033;0;@" | 
| STYLE="border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE SDNUM="1033;0;@" | 
| STYLE="border-bottom: 1px solid #000000; border-right: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE | 
|-
| STYLE="border-top: 1px solid #000000; border-left: 1px solid #000000" HEIGHT="16" ALIGN="CENTER" VALIGN=MIDDLE SDNUM="1033;0;@" | 1
| STYLE="border-top: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE SDNUM="1033;0;@" | 4
| STYLE="border-top: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE SDNUM="1033;0;@" | 1
| STYLE="border-top: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE SDNUM="1033;0;@" | 3
| STYLE="border-top: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE SDNUM="1033;0;@" | 3
| STYLE="border-top: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE SDNUM="1033;0;@" | 3
| STYLE="border-top: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE SDNUM="1033;0;@" | 0
| STYLE="border-top: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE SDNUM="1033;0;@" | 3
| STYLE="border-top: 1px solid #000000; border-right: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE SDVAL="3" SDNUM="1033;" | 3
|-
| STYLE="border-left: 1px solid #000000" HEIGHT="16" ALIGN="CENTER" VALIGN=MIDDLE SDNUM="1033;0;@" | 3
| STYLE="border-left: 1px solid #000000; border-right: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE SDNUM="1033;0;@" | 2
| ALIGN="CENTER" VALIGN=MIDDLE SDNUM="1033;0;@" | 0
| STYLE="border-left: 1px solid #000000; border-right: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE SDNUM="1033;0;@" | 2
| ALIGN="CENTER" VALIGN=MIDDLE SDNUM="1033;0;@" | 4
| STYLE="border-left: 1px solid #000000; border-right: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE SDNUM="1033;0;@" | 4
| ALIGN="CENTER" VALIGN=MIDDLE SDNUM="1033;0;@" | 0
| STYLE="border-left: 1px solid #000000; border-right: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE BGCOLOR="#FF3333" SDNUM="1033;0;@" | 4
| STYLE="border-right: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE BGCOLOR="#FF3333" SDNUM="1033;0;@" | 3
|-
| STYLE="border-bottom: 1px solid #000000; border-left: 1px solid #000000" HEIGHT="16" ALIGN="CENTER" VALIGN=MIDDLE SDNUM="1033;0;@" | 2
| STYLE="border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE SDNUM="1033;0;@" | 
| STYLE="border-bottom: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE SDNUM="1033;0;@" | 
| STYLE="border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE SDNUM="1033;0;@" | 
| STYLE="border-bottom: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE SDNUM="1033;0;@" | 
| STYLE="border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE SDNUM="1033;0;@" | 
| STYLE="border-bottom: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE SDNUM="1033;0;@" | 
| STYLE="border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE SDNUM="1033;0;@" | 
| STYLE="border-bottom: 1px solid #000000; border-right: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE SDNUM="1033;0;@" | 
|-
| COLSPAN=9 HEIGHT="16" ALIGN="LEFT" | b)
|-
| HEIGHT="16" ALIGN="CENTER" VALIGN=MIDDLE | 
| STYLE="border-top: 1px solid #000000; border-bottom: 1px solid #000000; border-left: 1px solid #000000" COLSPAN=2 ALIGN="CENTER" VALIGN=MIDDLE BGCOLOR="#6699CC" | Allocated
| STYLE="border-top: 1px solid #000000; border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000" COLSPAN=2 ALIGN="CENTER" VALIGN=MIDDLE BGCOLOR="#6699CC" | Max
| STYLE="border-top: 1px solid #000000; border-bottom: 1px solid #000000" COLSPAN=2 ALIGN="CENTER" VALIGN=MIDDLE BGCOLOR="#6699CC" | Needed
| STYLE="border-top: 1px solid #000000; border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000" COLSPAN=2 ALIGN="CENTER" VALIGN=MIDDLE BGCOLOR="#6699CC" | Available
|-
| HEIGHT="16" ALIGN="CENTER" VALIGN=MIDDLE | 
| STYLE="border-top: 1px solid #000000; border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE BGCOLOR="#6699CC" | A
| STYLE="border-top: 1px solid #000000; border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE BGCOLOR="#6699CC" | B
| STYLE="border-top: 1px solid #000000; border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE BGCOLOR="#6699CC" | A
| STYLE="border-top: 1px solid #000000; border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE BGCOLOR="#6699CC" | B
| STYLE="border-top: 1px solid #000000; border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE BGCOLOR="#6699CC" | A
| STYLE="border-top: 1px solid #000000; border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE BGCOLOR="#6699CC" | B
| STYLE="border-top: 1px solid #000000; border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE BGCOLOR="#6699CC" | A
| STYLE="border-top: 1px solid #000000; border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE BGCOLOR="#6699CC" | B
|-
| STYLE="border-top: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000" HEIGHT="16" ALIGN="CENTER" VALIGN=MIDDLE | P1
| STYLE="border-top: 1px solid #000000; border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE SDVAL="1" SDNUM="1033;" | 1
| STYLE="border-top: 1px solid #000000; border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE SDVAL="0" SDNUM="1033;" | 0
| STYLE="border-top: 1px solid #000000; border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE SDVAL="4" SDNUM="1033;" | 4
| STYLE="border-top: 1px solid #000000; border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE SDVAL="3" SDNUM="1033;" | 3
| STYLE="border-top: 1px solid #000000; border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE SDVAL="3" SDNUM="1033;" | 3
| STYLE="border-top: 1px solid #000000; border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE SDVAL="3" SDNUM="1033;" | 3
| STYLE="border-top: 1px solid #000000; border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE SDVAL="3" SDNUM="1033;" | 3
| STYLE="border-top: 1px solid #000000; border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE SDVAL="3" SDNUM="1033;" | 3
|-
| STYLE="border-top: 1px solid #000000; border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000" HEIGHT="16" ALIGN="CENTER" VALIGN=MIDDLE | P2
| STYLE="border-top: 1px solid #000000; border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE SDVAL="0" SDNUM="1033;" | 0
| STYLE="border-top: 1px solid #000000; border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE SDVAL="1" SDNUM="1033;" | 1
| STYLE="border-top: 1px solid #000000; border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE SDVAL="4" SDNUM="1033;" | 4
| STYLE="border-top: 1px solid #000000; border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE SDVAL="3" SDNUM="1033;" | 3
| STYLE="border-top: 1px solid #000000; border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE SDVAL="4" SDNUM="1033;" | 4
| STYLE="border-top: 1px solid #000000; border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE SDVAL="2" SDNUM="1033;" | 2
| STYLE="border-top: 1px solid #000000; border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE | 
| STYLE="border-top: 1px solid #000000; border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE | 
|-
| STYLE="border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000" HEIGHT="16" ALIGN="CENTER" VALIGN=MIDDLE | P3
| STYLE="border-top: 1px solid #000000; border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE SDVAL="0" SDNUM="1033;" | 0
| STYLE="border-top: 1px solid #000000; border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE SDVAL="0" SDNUM="1033;" | 0
| STYLE="border-top: 1px solid #000000; border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE SDVAL="2" SDNUM="1033;" | 2
| STYLE="border-top: 1px solid #000000; border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE SDVAL="4" SDNUM="1033;" | 4
| STYLE="border-top: 1px solid #000000; border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE SDVAL="2" SDNUM="1033;" | 2
| STYLE="border-top: 1px solid #000000; border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE SDVAL="4" SDNUM="1033;" | 4
| STYLE="border-top: 1px solid #000000; border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE | 
| STYLE="border-top: 1px solid #000000; border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE | 
|-
| COLSPAN=9 HEIGHT="18" ALIGN="CENTER" VALIGN=MIDDLE | → P1:A(1,1)
|-
| STYLE="border-top: 1px solid #000000; border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000" HEIGHT="16" ALIGN="CENTER" VALIGN=MIDDLE | P1
| STYLE="border-top: 1px solid #000000; border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE SDVAL="2" SDNUM="1033;" | 2
| STYLE="border-top: 1px solid #000000; border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE SDVAL="1" SDNUM="1033;" | 1
| STYLE="border-top: 1px solid #000000; border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE | 
| STYLE="border-top: 1px solid #000000; border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE | 
| STYLE="border-top: 1px solid #000000; border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE SDVAL="2" SDNUM="1033;" | 2
| STYLE="border-top: 1px solid #000000; border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE SDVAL="2" SDNUM="1033;" | 2
| STYLE="border-top: 1px solid #000000; border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE SDVAL="2" SDNUM="1033;" | 2
| STYLE="border-top: 1px solid #000000; border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE SDVAL="2" SDNUM="1033;" | 2
|-
| COLSPAN=9 HEIGHT="18" ALIGN="CENTER" VALIGN=MIDDLE | → P2:A(2,1)
|-
| STYLE="border-top: 1px solid #000000; border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000" HEIGHT="16" ALIGN="CENTER" VALIGN=MIDDLE | P2
| STYLE="border-top: 1px solid #000000; border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE SDVAL="2" SDNUM="1033;" | 2
| STYLE="border-top: 1px solid #000000; border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE SDVAL="2" SDNUM="1033;" | 2
| STYLE="border-top: 1px solid #000000; border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE | 
| STYLE="border-top: 1px solid #000000; border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE | 
| STYLE="border-top: 1px solid #000000; border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE SDVAL="2" SDNUM="1033;" | 2
| STYLE="border-top: 1px solid #000000; border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE SDVAL="1" SDNUM="1033;" | 1
| STYLE="border-top: 1px solid #000000; border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE SDVAL="0" SDNUM="1033;" | 0
| STYLE="border-top: 1px solid #000000; border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE SDVAL="0" SDNUM="1033;" | 0
|-
| COLSPAN=9 HEIGHT="18" ALIGN="CENTER" VALIGN=MIDDLE | → P1:A(2,2)
|-
| COLSPAN=9 HEIGHT="16" ALIGN="CENTER" VALIGN=MIDDLE | DEADLOCK: not enough resources available.
|}

@@ Line 285: / Line 285: @@
 |  STYLE="border-top: 1px solid #000000; border-bottom: 1px solid #000000; border-left: 1px solid #000000" COLSPAN=2 ALIGN="CENTER" VALIGN=MIDDLE BGCOLOR="#6699CC" | Allocated
 |  STYLE="border-top: 1px solid #000000; border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000" COLSPAN=2 ALIGN="CENTER" VALIGN=MIDDLE BGCOLOR="#6699CC" | Max
-|  STYLE="border-top: 1px solid #000000; border-bottom: 1px solid #000000" COLSPAN=2 ALIGN="CENTER" VALIGN=MIDDLE BGCOLOR="#6699CC" | Needed
+|  STYLE="border-top: 1px solid #000000; border-bottom: 1px solid #000000" COLSPAN=2 ALIGN="CENTER" VALIGN=MIDDLE BGCOLOR="#6699CC" | Need
 |  STYLE="border-top: 1px solid #000000; border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000" COLSPAN=2 ALIGN="CENTER" VALIGN=MIDDLE BGCOLOR="#6699CC" | Available
 |-
@@ Line 350: / Line 350: @@
 |  STYLE="border-top: 1px solid #000000; border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE SDVAL="1" SDNUM="1033;" | 1
 |  STYLE="border-top: 1px solid #000000; border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE SDVAL="0" SDNUM="1033;" | 0
-|  STYLE="border-top: 1px solid #000000; border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE SDVAL="0" SDNUM="1033;" | 0
+|  STYLE="border-top: 1px solid #000000; border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000" ALIGN="CENTER" VALIGN=MIDDLE SDVAL="1" SDNUM="1033;" | 1
 |-
 |  COLSPAN=9 HEIGHT="18" ALIGN="CENTER" VALIGN=MIDDLE | → P1:A(2,2)

Prova Teorica 2008.09.17 - Revision history

TomOgn: /* Esercizio 2 */

TomOgn: Created page with "=[http://www.cs.unibo.it/~renzo/so/compiti/2008-09-17.tot.pdf TESTO COMPITO]= =CONCORRENZA= ==Esercizio 1== Monitor eu { const int Urgent = 1; ..."