https://so.v2.cs.unibo.it/wiki/api.php?action=feedcontributions&feedformat=atom&user=AlexJ
Sistemi Operativi - User contributions [en]
2026-04-30T16:36:07Z
User contributions
MediaWiki 1.35.5
https://so.v2.cs.unibo.it/wiki/index.php?title=ProvaPratica_2010.07.12&diff=546
ProvaPratica 2010.07.12
2014-04-02T09:04:21Z
<p>AlexJ: /* Esercizio 3 */</p>
<hr />
<div><h1>http://www.cs.unibo.it/~renzo/so/compiti/2010-07-12.tot.pdf</h1><br />
<br />
<br />
== Esercizio 1 ==<br />
<br />
<syntaxhighlight lang="C"><br />
int aggiorna_maxprio(int maxprio,int prio,int waiting[]){<br />
int i;<br />
if(waiting[maxprio] == 0)<br />
{<br />
maxprio=0;<br />
for(i=prio;i>=0;i--)<br />
{<br />
if(waiting[i]!=0)<br />
{<br />
maxprio=i;<br />
break;<br />
}<br />
}<br />
return maxprio;<br />
}<br />
<br />
<br />
monitor priocoop{<br />
condition run[10];<br />
int waiting[10]=0,0,0,0,0,0,0,0,0,0;<br />
int maxprio=0;<br />
int occupato=0;<br />
<br />
procedure entry init(prio){ <br />
if(occupato==1)<br />
{<br />
if(maxprio < prio)<br />
{<br />
maxprio=prio;<br />
}<br />
waiting[prio]++; <br />
run[prio].wait();<br />
waiting[prio]--;<br />
maxprio=aggiorna_maxprio(maxprio,prio,waiting);<br />
}<br />
occupato=1;<br />
}<br />
<br />
procedure entry yield(prio){<br />
run[maxprio].signal();<br />
if(maxprio < prio)<br />
{<br />
maxprio=prio;<br />
}<br />
waiting[prio]++;<br />
run[prio].wait();<br />
waiting[prio]--;<br />
maxprio=aggiorna_maxprio(maxprio,prio,waiting);<br />
}<br />
<br />
procedure entry fini(prio){<br />
occupato=0;<br />
waiting[prio]--;<br />
maxprio=aggiorna_maxprio(maxprio,prio,waiting); <br />
run[maxprio].signal();<br />
}<br />
</syntaxhighlight><br />
Alessandro<br />
<br />
<br />
<syntaxhighlight lang="C"><br />
//Processo con prioritá 0 = Processo con piú alta prioritá<br />
//Processo con prioritá 9 = Processo con meno prioritá<br />
monitor priocoop {<br />
condition oktogo[10];<br />
int wait[10] = 0,0,0,0,0,0,0,0,0;<br />
int running;<br />
priocoop.init(prio) {<br />
if(running != 0) {<br />
wait[prio]++;<br />
oktogo[prio].wait;<br />
wait[prio]--;<br />
}<br />
<br />
running++;<br />
}<br />
<br />
priocoop.yield(prio) {<br />
running--;<br />
for(int i = 0;i<10;i++) {<br />
if(wait[i] != 0) {<br />
oktogo[i].signal();<br />
wait[prio]++;<br />
oktogo[prio].wait;<br />
wait[prio]--;<br />
break();<br />
}<br />
}<br />
running++;<br />
}<br />
<br />
priocoop.fini() {<br />
running--;<br />
for(int i = 0;i<10;i++) {<br />
if(wait[i] != 0) {<br />
oktogo[i].signal();<br />
break();<br />
}<br />
}<br />
<br />
}<br />
}<br />
</syntaxhighlight><br />
-Midolo<br />
<br />
<br />
<br />
<syntaxhighlight lang="C"><br />
//0: priorita' maggiore<br />
//9: priorita' minore<br />
cond oktoenter[10];<br />
int count[10];<br />
bool running = false;<br />
<br />
//restituisce la priorita' maggiore che ha un processo in attesa<br />
getprio() {<br />
for(i=0;i<10;i++) {<br />
if(count[i]>0)<br />
break;<br />
}<br />
return i;<br />
}<br />
<br />
priocoop() {<br />
init (prio) {<br />
if (running) {<br />
count[prio]++;<br />
oktoenter[prio].wait();<br />
count[prio]--;<br />
}<br />
running = true;<br />
}<br />
yield(prio) {<br />
i=getprio();<br />
if (i < 10) {<br />
// running = false; <br />
oktoenter[i].signal();<br />
count(prio)++<br />
oktoenter[proc].wait();<br />
// running = true;<br />
count[prio]--;<br />
}<br />
}<br />
fini(prio){<br />
i=getprio();<br />
if(i<10)<br />
oktoenter[i].signal;<br />
else<br />
running=false;<br />
}<br />
}<br />
</syntaxhighlight><br />
-Stefano B.<br />
<br />
<br />
<br />
----<br />
<br />
<br />
<syntaxhighlight lang="C"><br />
monitor priocoop{<br />
condition oktoenter[10];<br />
queue waiting[10];<br />
<br />
procedure entry init(int prio){<br />
if(!(prio >= 0 && prio<=9))<br />
exit(0);<br />
}<br />
<br />
procedure entry yield(int prio){<br />
int priority=-1;<br />
for (i=0; i<10; i++) {<br />
if (! waiting[i].isempty())<br />
priority=i;<br />
}<br />
oktoenter[priority].signal();<br />
if(priority>=0){ /* se non ci fosse questo controllo avremmo un caso di deadlock<br />
* in quanto le code sono vuote */<br />
waiting[prio].enqueue();<br />
oktoenter[prio].wait();<br />
waiting[prio].dequeue(); <br />
}<br />
}<br />
<br />
procedure entry fini(){<br />
int priority=-1;<br />
for (i=0; i<10; i++) {<br />
if (! waiting[i].isempty())<br />
priority=i;<br />
}<br />
oktoenter[priority].signal();<br />
}<br />
}<br />
</syntaxhighlight><br />
Francesca e Giulia<br />
<br />
== Esercizio 2 ==<br />
<syntaxhighlight lang="C"><br />
db.getpriortymax(); //funzione che restituisce il messaggio con prioritá maggiore e lo rimuove dal db o 0 nel caso il db sia vuoto<br />
Process n: {<br />
<br />
psend(dest, prio,msg) {<br />
asend((msg, prio),dest);<br />
}<br />
<br />
precv(sender) {<br />
while((msg,prio) = arecv(sender)) {<br />
db[sender].insert((msg,prio));<br />
}<br />
return (db[sender].getpriortymax());<br />
}<br />
<br />
}<br />
</syntaxhighlight><br />
-Midolo<br />
<br />
<br />
==Esercizio 3 ==<br />
<syntaxhighlight lang="C"><br />
lock=-1;<br />
<br />
Process P[i]{<br />
while(true){<br />
do{;}<br />
while(twomult.op(lock)==lock);<br />
//critical section<br />
lock = -lock;<br />
//no critical section<br />
}<br />
}<br />
</syntaxhighlight><br />
<br />
Inizialmente: a=1; b=1;<br />
<br />
Primo processo:<br />
lock=-1 a=-1 b=1<br />
Siccome lock!=b esce dal while.<br />
<br />
Secondo processo:<br />
lock=-1 a=1 b=-1<br />
Siccome lock==b non esce dal while e continua:<br />
lock=-1 a=1 b=-1<br />
Si ripeterano sempre gli stessi valori,<br />
fino al cambio di valore di lock che passa da<br />
-1 a 1 così :<br />
lock=1 a=-1 b=-1;<br />
Siccome lock!=b esce dal while.<br />
Mentre l'altro processo si bloccherà poichè:<br />
lock=1 a=1 b=1;<br />
fino al ritorno di lock al valore -1;<br />
lock=-1 a=-1 b=1;<br />
C.V.D<br />
<br />
----Alessandro</div>
AlexJ
https://so.v2.cs.unibo.it/wiki/index.php?title=ProvaPratica_2010.07.12&diff=545
ProvaPratica 2010.07.12
2014-04-02T09:01:42Z
<p>AlexJ: /* Esercizio 3 */</p>
<hr />
<div><h1>http://www.cs.unibo.it/~renzo/so/compiti/2010-07-12.tot.pdf</h1><br />
<br />
<br />
== Esercizio 1 ==<br />
<br />
<syntaxhighlight lang="C"><br />
int aggiorna_maxprio(int maxprio,int prio,int waiting[]){<br />
int i;<br />
if(waiting[maxprio] == 0)<br />
{<br />
maxprio=0;<br />
for(i=prio;i>=0;i--)<br />
{<br />
if(waiting[i]!=0)<br />
{<br />
maxprio=i;<br />
break;<br />
}<br />
}<br />
return maxprio;<br />
}<br />
<br />
<br />
monitor priocoop{<br />
condition run[10];<br />
int waiting[10]=0,0,0,0,0,0,0,0,0,0;<br />
int maxprio=0;<br />
int occupato=0;<br />
<br />
procedure entry init(prio){ <br />
if(occupato==1)<br />
{<br />
if(maxprio < prio)<br />
{<br />
maxprio=prio;<br />
}<br />
waiting[prio]++; <br />
run[prio].wait();<br />
waiting[prio]--;<br />
maxprio=aggiorna_maxprio(maxprio,prio,waiting);<br />
}<br />
occupato=1;<br />
}<br />
<br />
procedure entry yield(prio){<br />
run[maxprio].signal();<br />
if(maxprio < prio)<br />
{<br />
maxprio=prio;<br />
}<br />
waiting[prio]++;<br />
run[prio].wait();<br />
waiting[prio]--;<br />
maxprio=aggiorna_maxprio(maxprio,prio,waiting);<br />
}<br />
<br />
procedure entry fini(prio){<br />
occupato=0;<br />
waiting[prio]--;<br />
maxprio=aggiorna_maxprio(maxprio,prio,waiting); <br />
run[maxprio].signal();<br />
}<br />
</syntaxhighlight><br />
Alessandro<br />
<br />
<br />
<syntaxhighlight lang="C"><br />
//Processo con prioritá 0 = Processo con piú alta prioritá<br />
//Processo con prioritá 9 = Processo con meno prioritá<br />
monitor priocoop {<br />
condition oktogo[10];<br />
int wait[10] = 0,0,0,0,0,0,0,0,0;<br />
int running;<br />
priocoop.init(prio) {<br />
if(running != 0) {<br />
wait[prio]++;<br />
oktogo[prio].wait;<br />
wait[prio]--;<br />
}<br />
<br />
running++;<br />
}<br />
<br />
priocoop.yield(prio) {<br />
running--;<br />
for(int i = 0;i<10;i++) {<br />
if(wait[i] != 0) {<br />
oktogo[i].signal();<br />
wait[prio]++;<br />
oktogo[prio].wait;<br />
wait[prio]--;<br />
break();<br />
}<br />
}<br />
running++;<br />
}<br />
<br />
priocoop.fini() {<br />
running--;<br />
for(int i = 0;i<10;i++) {<br />
if(wait[i] != 0) {<br />
oktogo[i].signal();<br />
break();<br />
}<br />
}<br />
<br />
}<br />
}<br />
</syntaxhighlight><br />
-Midolo<br />
<br />
<br />
<br />
<syntaxhighlight lang="C"><br />
//0: priorita' maggiore<br />
//9: priorita' minore<br />
cond oktoenter[10];<br />
int count[10];<br />
bool running = false;<br />
<br />
//restituisce la priorita' maggiore che ha un processo in attesa<br />
getprio() {<br />
for(i=0;i<10;i++) {<br />
if(count[i]>0)<br />
break;<br />
}<br />
return i;<br />
}<br />
<br />
priocoop() {<br />
init (prio) {<br />
if (running) {<br />
count[prio]++;<br />
oktoenter[prio].wait();<br />
count[prio]--;<br />
}<br />
running = true;<br />
}<br />
yield(prio) {<br />
i=getprio();<br />
if (i < 10) {<br />
// running = false; <br />
oktoenter[i].signal();<br />
count(prio)++<br />
oktoenter[proc].wait();<br />
// running = true;<br />
count[prio]--;<br />
}<br />
}<br />
fini(prio){<br />
i=getprio();<br />
if(i<10)<br />
oktoenter[i].signal;<br />
else<br />
running=false;<br />
}<br />
}<br />
</syntaxhighlight><br />
-Stefano B.<br />
<br />
<br />
<br />
----<br />
<br />
<br />
<syntaxhighlight lang="C"><br />
monitor priocoop{<br />
condition oktoenter[10];<br />
queue waiting[10];<br />
<br />
procedure entry init(int prio){<br />
if(!(prio >= 0 && prio<=9))<br />
exit(0);<br />
}<br />
<br />
procedure entry yield(int prio){<br />
int priority=-1;<br />
for (i=0; i<10; i++) {<br />
if (! waiting[i].isempty())<br />
priority=i;<br />
}<br />
oktoenter[priority].signal();<br />
if(priority>=0){ /* se non ci fosse questo controllo avremmo un caso di deadlock<br />
* in quanto le code sono vuote */<br />
waiting[prio].enqueue();<br />
oktoenter[prio].wait();<br />
waiting[prio].dequeue(); <br />
}<br />
}<br />
<br />
procedure entry fini(){<br />
int priority=-1;<br />
for (i=0; i<10; i++) {<br />
if (! waiting[i].isempty())<br />
priority=i;<br />
}<br />
oktoenter[priority].signal();<br />
}<br />
}<br />
</syntaxhighlight><br />
Francesca e Giulia<br />
<br />
== Esercizio 2 ==<br />
<syntaxhighlight lang="C"><br />
db.getpriortymax(); //funzione che restituisce il messaggio con prioritá maggiore e lo rimuove dal db o 0 nel caso il db sia vuoto<br />
Process n: {<br />
<br />
psend(dest, prio,msg) {<br />
asend((msg, prio),dest);<br />
}<br />
<br />
precv(sender) {<br />
while((msg,prio) = arecv(sender)) {<br />
db[sender].insert((msg,prio));<br />
}<br />
return (db[sender].getpriortymax());<br />
}<br />
<br />
}<br />
</syntaxhighlight><br />
-Midolo<br />
<br />
<br />
==Esercizio 3 ==<br />
<syntaxhighlight lang="C"><br />
lock=-1;<br />
<br />
Process P[i]{<br />
while(true){<br />
do{;}<br />
while(twomult.op(lock)!=lock);<br />
//critical section<br />
lock = -lock;<br />
//no critical section<br />
}<br />
}<br />
</syntaxhighlight><br />
<br />
Inizialmente: a=1; b=1;<br />
<br />
Primo processo:<br />
lock=-1 a=-1 b=1<br />
Siccome lock!=b esce dal while.<br />
<br />
Secondo processo:<br />
lock=-1 a=1 b=-1<br />
Siccome lock==b non esce dal while e continua:<br />
lock=-1 a=1 b=-1<br />
Si ripeterano sempre gli stessi valori,<br />
fino al cambio di valore di lock che passa da<br />
-1 a 1 così :<br />
lock=1 a=-1 b=-1;<br />
Siccome lock!=b esce dal while.<br />
Mentre l'altro processo si bloccherà poichè:<br />
lock=1 a=1 b=1;<br />
fino al ritorno di lock al valore -1;<br />
lock=-1 a=-1 b=1;<br />
C.V.D<br />
<br />
----Alessandro</div>
AlexJ
https://so.v2.cs.unibo.it/wiki/index.php?title=ProvaPratica_2010.07.12&diff=544
ProvaPratica 2010.07.12
2014-04-02T09:00:52Z
<p>AlexJ: /* Esercizio 1 */</p>
<hr />
<div><h1>http://www.cs.unibo.it/~renzo/so/compiti/2010-07-12.tot.pdf</h1><br />
<br />
<br />
== Esercizio 1 ==<br />
<br />
<syntaxhighlight lang="C"><br />
int aggiorna_maxprio(int maxprio,int prio,int waiting[]){<br />
int i;<br />
if(waiting[maxprio] == 0)<br />
{<br />
maxprio=0;<br />
for(i=prio;i>=0;i--)<br />
{<br />
if(waiting[i]!=0)<br />
{<br />
maxprio=i;<br />
break;<br />
}<br />
}<br />
return maxprio;<br />
}<br />
<br />
<br />
monitor priocoop{<br />
condition run[10];<br />
int waiting[10]=0,0,0,0,0,0,0,0,0,0;<br />
int maxprio=0;<br />
int occupato=0;<br />
<br />
procedure entry init(prio){ <br />
if(occupato==1)<br />
{<br />
if(maxprio < prio)<br />
{<br />
maxprio=prio;<br />
}<br />
waiting[prio]++; <br />
run[prio].wait();<br />
waiting[prio]--;<br />
maxprio=aggiorna_maxprio(maxprio,prio,waiting);<br />
}<br />
occupato=1;<br />
}<br />
<br />
procedure entry yield(prio){<br />
run[maxprio].signal();<br />
if(maxprio < prio)<br />
{<br />
maxprio=prio;<br />
}<br />
waiting[prio]++;<br />
run[prio].wait();<br />
waiting[prio]--;<br />
maxprio=aggiorna_maxprio(maxprio,prio,waiting);<br />
}<br />
<br />
procedure entry fini(prio){<br />
occupato=0;<br />
waiting[prio]--;<br />
maxprio=aggiorna_maxprio(maxprio,prio,waiting); <br />
run[maxprio].signal();<br />
}<br />
</syntaxhighlight><br />
Alessandro<br />
<br />
<br />
<syntaxhighlight lang="C"><br />
//Processo con prioritá 0 = Processo con piú alta prioritá<br />
//Processo con prioritá 9 = Processo con meno prioritá<br />
monitor priocoop {<br />
condition oktogo[10];<br />
int wait[10] = 0,0,0,0,0,0,0,0,0;<br />
int running;<br />
priocoop.init(prio) {<br />
if(running != 0) {<br />
wait[prio]++;<br />
oktogo[prio].wait;<br />
wait[prio]--;<br />
}<br />
<br />
running++;<br />
}<br />
<br />
priocoop.yield(prio) {<br />
running--;<br />
for(int i = 0;i<10;i++) {<br />
if(wait[i] != 0) {<br />
oktogo[i].signal();<br />
wait[prio]++;<br />
oktogo[prio].wait;<br />
wait[prio]--;<br />
break();<br />
}<br />
}<br />
running++;<br />
}<br />
<br />
priocoop.fini() {<br />
running--;<br />
for(int i = 0;i<10;i++) {<br />
if(wait[i] != 0) {<br />
oktogo[i].signal();<br />
break();<br />
}<br />
}<br />
<br />
}<br />
}<br />
</syntaxhighlight><br />
-Midolo<br />
<br />
<br />
<br />
<syntaxhighlight lang="C"><br />
//0: priorita' maggiore<br />
//9: priorita' minore<br />
cond oktoenter[10];<br />
int count[10];<br />
bool running = false;<br />
<br />
//restituisce la priorita' maggiore che ha un processo in attesa<br />
getprio() {<br />
for(i=0;i<10;i++) {<br />
if(count[i]>0)<br />
break;<br />
}<br />
return i;<br />
}<br />
<br />
priocoop() {<br />
init (prio) {<br />
if (running) {<br />
count[prio]++;<br />
oktoenter[prio].wait();<br />
count[prio]--;<br />
}<br />
running = true;<br />
}<br />
yield(prio) {<br />
i=getprio();<br />
if (i < 10) {<br />
// running = false; <br />
oktoenter[i].signal();<br />
count(prio)++<br />
oktoenter[proc].wait();<br />
// running = true;<br />
count[prio]--;<br />
}<br />
}<br />
fini(prio){<br />
i=getprio();<br />
if(i<10)<br />
oktoenter[i].signal;<br />
else<br />
running=false;<br />
}<br />
}<br />
</syntaxhighlight><br />
-Stefano B.<br />
<br />
<br />
<br />
----<br />
<br />
<br />
<syntaxhighlight lang="C"><br />
monitor priocoop{<br />
condition oktoenter[10];<br />
queue waiting[10];<br />
<br />
procedure entry init(int prio){<br />
if(!(prio >= 0 && prio<=9))<br />
exit(0);<br />
}<br />
<br />
procedure entry yield(int prio){<br />
int priority=-1;<br />
for (i=0; i<10; i++) {<br />
if (! waiting[i].isempty())<br />
priority=i;<br />
}<br />
oktoenter[priority].signal();<br />
if(priority>=0){ /* se non ci fosse questo controllo avremmo un caso di deadlock<br />
* in quanto le code sono vuote */<br />
waiting[prio].enqueue();<br />
oktoenter[prio].wait();<br />
waiting[prio].dequeue(); <br />
}<br />
}<br />
<br />
procedure entry fini(){<br />
int priority=-1;<br />
for (i=0; i<10; i++) {<br />
if (! waiting[i].isempty())<br />
priority=i;<br />
}<br />
oktoenter[priority].signal();<br />
}<br />
}<br />
</syntaxhighlight><br />
Francesca e Giulia<br />
<br />
== Esercizio 2 ==<br />
<syntaxhighlight lang="C"><br />
db.getpriortymax(); //funzione che restituisce il messaggio con prioritá maggiore e lo rimuove dal db o 0 nel caso il db sia vuoto<br />
Process n: {<br />
<br />
psend(dest, prio,msg) {<br />
asend((msg, prio),dest);<br />
}<br />
<br />
precv(sender) {<br />
while((msg,prio) = arecv(sender)) {<br />
db[sender].insert((msg,prio));<br />
}<br />
return (db[sender].getpriortymax());<br />
}<br />
<br />
}<br />
</syntaxhighlight><br />
-Midolo<br />
<br />
<br />
==Esercizio 3 ==<br />
<syntaxhighlight lang="C"><br />
lock=-1;<br />
<br />
Process P[i]{<br />
int vp;<br />
while(true){<br />
do{;}<br />
while(twomult.op(lock)!=lock);<br />
//critical section<br />
lock = -lock;<br />
//no critical section<br />
}<br />
}<br />
</syntaxhighlight><br />
<br />
Inizialmente: a=1; b=1;<br />
<br />
Primo processo:<br />
lock=-1 a=-1 b=1<br />
Siccome lock!=b esce dal while.<br />
<br />
Secondo processo:<br />
lock=-1 a=1 b=-1<br />
Siccome lock==b non esce dal while e continua:<br />
lock=-1 a=1 b=-1<br />
Si ripeterano sempre gli stessi valori,<br />
fino al cambio di valore di lock che passa da<br />
-1 a 1 così :<br />
lock=1 a=-1 b=-1;<br />
Siccome lock!=b esce dal while.<br />
Mentre l'altro processo si bloccherà poichè:<br />
lock=1 a=1 b=1;<br />
fino al ritorno di lock al valore -1;<br />
lock=-1 a=-1 b=1;<br />
C.V.D<br />
<br />
----Alessandro</div>
AlexJ
https://so.v2.cs.unibo.it/wiki/index.php?title=ProvaPratica_2010.07.12&diff=543
ProvaPratica 2010.07.12
2014-04-02T08:39:07Z
<p>AlexJ: /* Esercizio 3 */</p>
<hr />
<div><h1>http://www.cs.unibo.it/~renzo/so/compiti/2010-07-12.tot.pdf</h1><br />
<br />
<br />
== Esercizio 1 ==<br />
<br />
<syntaxhighlight lang="C"><br />
<br />
monitor priocoop{<br />
condition run[9];<br />
int waiting[9]=0,0,0,0,0,0,0,0,0;<br />
int maxprio=0;<br />
int occupato=0;<br />
<br />
procedure entry init(prio){ <br />
if(occupato==1)<br />
{<br />
if(maxprio < prio)<br />
{<br />
maxprio=prio;<br />
}<br />
waiting[prio]++; <br />
run[prio].wait();<br />
waiting[prio]--;<br />
}<br />
occupato=1;<br />
}<br />
<br />
procedure entry yield(prio){<br />
run[maxprio].signal();<br />
if(maxprio < prio)<br />
{<br />
maxprio=prio;<br />
}<br />
waiting[prio]++;<br />
run[prio].wait();<br />
waiting[prio]--;<br />
}<br />
<br />
procedure entry fini(prio){<br />
int i;<br />
occupato=0;<br />
waiting[prio]--;<br />
if(waiting[maxprio] == 0)<br />
{<br />
maxprio=0;<br />
for(i=prio;i>=0;i--)<br />
{<br />
if(waiting[i]!=0)<br />
{<br />
maxprio=0;<br />
}<br />
} <br />
run[maxprio].signal();<br />
}<br />
}<br />
</syntaxhighlight><br />
Alessandro<br />
<br />
<br />
<syntaxhighlight lang="C"><br />
//Processo con prioritá 0 = Processo con piú alta prioritá<br />
//Processo con prioritá 9 = Processo con meno prioritá<br />
monitor priocoop {<br />
condition oktogo[10];<br />
int wait[10] = 0,0,0,0,0,0,0,0,0;<br />
int running;<br />
priocoop.init(prio) {<br />
if(running != 0) {<br />
wait[prio]++;<br />
oktogo[prio].wait;<br />
wait[prio]--;<br />
}<br />
<br />
running++;<br />
}<br />
<br />
priocoop.yield(prio) {<br />
running--;<br />
for(int i = 0;i<10;i++) {<br />
if(wait[i] != 0) {<br />
oktogo[i].signal();<br />
wait[prio]++;<br />
oktogo[prio].wait;<br />
wait[prio]--;<br />
break();<br />
}<br />
}<br />
running++;<br />
}<br />
<br />
priocoop.fini() {<br />
running--;<br />
for(int i = 0;i<10;i++) {<br />
if(wait[i] != 0) {<br />
oktogo[i].signal();<br />
break();<br />
}<br />
}<br />
<br />
}<br />
}<br />
</syntaxhighlight><br />
-Midolo<br />
<br />
<br />
<br />
<syntaxhighlight lang="C"><br />
//0: priorita' maggiore<br />
//9: priorita' minore<br />
cond oktoenter[10];<br />
int count[10];<br />
bool running = false;<br />
<br />
//restituisce la priorita' maggiore che ha un processo in attesa<br />
getprio() {<br />
for(i=0;i<10;i++) {<br />
if(count[i]>0)<br />
break;<br />
}<br />
return i;<br />
}<br />
<br />
priocoop() {<br />
init (prio) {<br />
if (running) {<br />
count[prio]++;<br />
oktoenter[prio].wait();<br />
count[prio]--;<br />
}<br />
running = true;<br />
}<br />
yield(prio) {<br />
i=getprio();<br />
if (i < 10) {<br />
// running = false; <br />
oktoenter[i].signal();<br />
count(prio)++<br />
oktoenter[proc].wait();<br />
// running = true;<br />
count[prio]--;<br />
}<br />
}<br />
fini(prio){<br />
i=getprio();<br />
if(i<10)<br />
oktoenter[i].signal;<br />
else<br />
running=false;<br />
}<br />
}<br />
</syntaxhighlight><br />
-Stefano B.<br />
<br />
<br />
<br />
----<br />
<br />
<br />
<syntaxhighlight lang="C"><br />
monitor priocoop{<br />
condition oktoenter[10];<br />
queue waiting[10];<br />
<br />
procedure entry init(int prio){<br />
if(!(prio >= 0 && prio<=9))<br />
exit(0);<br />
}<br />
<br />
procedure entry yield(int prio){<br />
int priority=-1;<br />
for (i=0; i<10; i++) {<br />
if (! waiting[i].isempty())<br />
priority=i;<br />
}<br />
oktoenter[priority].signal();<br />
if(priority>=0){ /* se non ci fosse questo controllo avremmo un caso di deadlock<br />
* in quanto le code sono vuote */<br />
waiting[prio].enqueue();<br />
oktoenter[prio].wait();<br />
waiting[prio].dequeue(); <br />
}<br />
}<br />
<br />
procedure entry fini(){<br />
int priority=-1;<br />
for (i=0; i<10; i++) {<br />
if (! waiting[i].isempty())<br />
priority=i;<br />
}<br />
oktoenter[priority].signal();<br />
}<br />
}<br />
</syntaxhighlight><br />
Francesca e Giulia<br />
<br />
== Esercizio 2 ==<br />
<syntaxhighlight lang="C"><br />
db.getpriortymax(); //funzione che restituisce il messaggio con prioritá maggiore e lo rimuove dal db o 0 nel caso il db sia vuoto<br />
Process n: {<br />
<br />
psend(dest, prio,msg) {<br />
asend((msg, prio),dest);<br />
}<br />
<br />
precv(sender) {<br />
while((msg,prio) = arecv(sender)) {<br />
db[sender].insert((msg,prio));<br />
}<br />
return (db[sender].getpriortymax());<br />
}<br />
<br />
}<br />
</syntaxhighlight><br />
-Midolo<br />
<br />
<br />
==Esercizio 3 ==<br />
<syntaxhighlight lang="C"><br />
lock=-1;<br />
<br />
Process P[i]{<br />
int vp;<br />
while(true){<br />
do{;}<br />
while(twomult.op(lock)!=lock);<br />
//critical section<br />
lock = -lock;<br />
//no critical section<br />
}<br />
}<br />
</syntaxhighlight><br />
<br />
Inizialmente: a=1; b=1;<br />
<br />
Primo processo:<br />
lock=-1 a=-1 b=1<br />
Siccome lock!=b esce dal while.<br />
<br />
Secondo processo:<br />
lock=-1 a=1 b=-1<br />
Siccome lock==b non esce dal while e continua:<br />
lock=-1 a=1 b=-1<br />
Si ripeterano sempre gli stessi valori,<br />
fino al cambio di valore di lock che passa da<br />
-1 a 1 così :<br />
lock=1 a=-1 b=-1;<br />
Siccome lock!=b esce dal while.<br />
Mentre l'altro processo si bloccherà poichè:<br />
lock=1 a=1 b=1;<br />
fino al ritorno di lock al valore -1;<br />
lock=-1 a=-1 b=1;<br />
C.V.D<br />
<br />
----Alessandro</div>
AlexJ
https://so.v2.cs.unibo.it/wiki/index.php?title=ProvaPratica_2010.07.12&diff=542
ProvaPratica 2010.07.12
2014-04-02T08:38:09Z
<p>AlexJ: /* Esercizio 3 */</p>
<hr />
<div><h1>http://www.cs.unibo.it/~renzo/so/compiti/2010-07-12.tot.pdf</h1><br />
<br />
<br />
== Esercizio 1 ==<br />
<br />
<syntaxhighlight lang="C"><br />
<br />
monitor priocoop{<br />
condition run[9];<br />
int waiting[9]=0,0,0,0,0,0,0,0,0;<br />
int maxprio=0;<br />
int occupato=0;<br />
<br />
procedure entry init(prio){ <br />
if(occupato==1)<br />
{<br />
if(maxprio < prio)<br />
{<br />
maxprio=prio;<br />
}<br />
waiting[prio]++; <br />
run[prio].wait();<br />
waiting[prio]--;<br />
}<br />
occupato=1;<br />
}<br />
<br />
procedure entry yield(prio){<br />
run[maxprio].signal();<br />
if(maxprio < prio)<br />
{<br />
maxprio=prio;<br />
}<br />
waiting[prio]++;<br />
run[prio].wait();<br />
waiting[prio]--;<br />
}<br />
<br />
procedure entry fini(prio){<br />
int i;<br />
occupato=0;<br />
waiting[prio]--;<br />
if(waiting[maxprio] == 0)<br />
{<br />
maxprio=0;<br />
for(i=prio;i>=0;i--)<br />
{<br />
if(waiting[i]!=0)<br />
{<br />
maxprio=0;<br />
}<br />
} <br />
run[maxprio].signal();<br />
}<br />
}<br />
</syntaxhighlight><br />
Alessandro<br />
<br />
<br />
<syntaxhighlight lang="C"><br />
//Processo con prioritá 0 = Processo con piú alta prioritá<br />
//Processo con prioritá 9 = Processo con meno prioritá<br />
monitor priocoop {<br />
condition oktogo[10];<br />
int wait[10] = 0,0,0,0,0,0,0,0,0;<br />
int running;<br />
priocoop.init(prio) {<br />
if(running != 0) {<br />
wait[prio]++;<br />
oktogo[prio].wait;<br />
wait[prio]--;<br />
}<br />
<br />
running++;<br />
}<br />
<br />
priocoop.yield(prio) {<br />
running--;<br />
for(int i = 0;i<10;i++) {<br />
if(wait[i] != 0) {<br />
oktogo[i].signal();<br />
wait[prio]++;<br />
oktogo[prio].wait;<br />
wait[prio]--;<br />
break();<br />
}<br />
}<br />
running++;<br />
}<br />
<br />
priocoop.fini() {<br />
running--;<br />
for(int i = 0;i<10;i++) {<br />
if(wait[i] != 0) {<br />
oktogo[i].signal();<br />
break();<br />
}<br />
}<br />
<br />
}<br />
}<br />
</syntaxhighlight><br />
-Midolo<br />
<br />
<br />
<br />
<syntaxhighlight lang="C"><br />
//0: priorita' maggiore<br />
//9: priorita' minore<br />
cond oktoenter[10];<br />
int count[10];<br />
bool running = false;<br />
<br />
//restituisce la priorita' maggiore che ha un processo in attesa<br />
getprio() {<br />
for(i=0;i<10;i++) {<br />
if(count[i]>0)<br />
break;<br />
}<br />
return i;<br />
}<br />
<br />
priocoop() {<br />
init (prio) {<br />
if (running) {<br />
count[prio]++;<br />
oktoenter[prio].wait();<br />
count[prio]--;<br />
}<br />
running = true;<br />
}<br />
yield(prio) {<br />
i=getprio();<br />
if (i < 10) {<br />
// running = false; <br />
oktoenter[i].signal();<br />
count(prio)++<br />
oktoenter[proc].wait();<br />
// running = true;<br />
count[prio]--;<br />
}<br />
}<br />
fini(prio){<br />
i=getprio();<br />
if(i<10)<br />
oktoenter[i].signal;<br />
else<br />
running=false;<br />
}<br />
}<br />
</syntaxhighlight><br />
-Stefano B.<br />
<br />
<br />
<br />
----<br />
<br />
<br />
<syntaxhighlight lang="C"><br />
monitor priocoop{<br />
condition oktoenter[10];<br />
queue waiting[10];<br />
<br />
procedure entry init(int prio){<br />
if(!(prio >= 0 && prio<=9))<br />
exit(0);<br />
}<br />
<br />
procedure entry yield(int prio){<br />
int priority=-1;<br />
for (i=0; i<10; i++) {<br />
if (! waiting[i].isempty())<br />
priority=i;<br />
}<br />
oktoenter[priority].signal();<br />
if(priority>=0){ /* se non ci fosse questo controllo avremmo un caso di deadlock<br />
* in quanto le code sono vuote */<br />
waiting[prio].enqueue();<br />
oktoenter[prio].wait();<br />
waiting[prio].dequeue(); <br />
}<br />
}<br />
<br />
procedure entry fini(){<br />
int priority=-1;<br />
for (i=0; i<10; i++) {<br />
if (! waiting[i].isempty())<br />
priority=i;<br />
}<br />
oktoenter[priority].signal();<br />
}<br />
}<br />
</syntaxhighlight><br />
Francesca e Giulia<br />
<br />
== Esercizio 2 ==<br />
<syntaxhighlight lang="C"><br />
db.getpriortymax(); //funzione che restituisce il messaggio con prioritá maggiore e lo rimuove dal db o 0 nel caso il db sia vuoto<br />
Process n: {<br />
<br />
psend(dest, prio,msg) {<br />
asend((msg, prio),dest);<br />
}<br />
<br />
precv(sender) {<br />
while((msg,prio) = arecv(sender)) {<br />
db[sender].insert((msg,prio));<br />
}<br />
return (db[sender].getpriortymax());<br />
}<br />
<br />
}<br />
</syntaxhighlight><br />
-Midolo<br />
<br />
<br />
==Esercizio 3 ==<br />
<syntaxhighlight lang="C"><br />
lock=-1;<br />
<br />
Process P[i]{<br />
int vp;<br />
while(true){<br />
do{;}<br />
while(twomult.op(lock)!=lock);<br />
//critical section<br />
lock = -lock;<br />
//no critical section<br />
}<br />
}<br />
</syntaxhighlight><br />
<br />
Inizialmente: a=1; b=1;<br />
<br />
Primo processo:<br />
lock=-1 a=-1 b=1<br />
Siccome lock!=b esce dal while.<br />
<br />
Secondo processo:<br />
lock=-1 a=1 b=-1<br />
Siccome lock==b non esce dal while e continua:<br />
lock=-1 a=1 b=-1<br />
Si ripeterano sempre gli stessi valori,<br />
fino al cambio di valore di lock che passa da<br />
-1 a 1 così :<br />
lock=1 a=-1 b=-1;<br />
Siccome lock!=b esce dal while.<br />
Mentre l'altro processo si bloccherà poichè:<br />
lock=1 a=1 b=1;<br />
fino al ritorno di lock al valore -1;<br />
lock=-1 a=-1 b=1;<br />
C.V.D<br />
<br />
----Alessandro----</div>
AlexJ
https://so.v2.cs.unibo.it/wiki/index.php?title=ProvaPratica_2010.07.12&diff=541
ProvaPratica 2010.07.12
2014-04-02T08:36:51Z
<p>AlexJ: /* Esercizio 2 */</p>
<hr />
<div><h1>http://www.cs.unibo.it/~renzo/so/compiti/2010-07-12.tot.pdf</h1><br />
<br />
<br />
== Esercizio 1 ==<br />
<br />
<syntaxhighlight lang="C"><br />
<br />
monitor priocoop{<br />
condition run[9];<br />
int waiting[9]=0,0,0,0,0,0,0,0,0;<br />
int maxprio=0;<br />
int occupato=0;<br />
<br />
procedure entry init(prio){ <br />
if(occupato==1)<br />
{<br />
if(maxprio < prio)<br />
{<br />
maxprio=prio;<br />
}<br />
waiting[prio]++; <br />
run[prio].wait();<br />
waiting[prio]--;<br />
}<br />
occupato=1;<br />
}<br />
<br />
procedure entry yield(prio){<br />
run[maxprio].signal();<br />
if(maxprio < prio)<br />
{<br />
maxprio=prio;<br />
}<br />
waiting[prio]++;<br />
run[prio].wait();<br />
waiting[prio]--;<br />
}<br />
<br />
procedure entry fini(prio){<br />
int i;<br />
occupato=0;<br />
waiting[prio]--;<br />
if(waiting[maxprio] == 0)<br />
{<br />
maxprio=0;<br />
for(i=prio;i>=0;i--)<br />
{<br />
if(waiting[i]!=0)<br />
{<br />
maxprio=0;<br />
}<br />
} <br />
run[maxprio].signal();<br />
}<br />
}<br />
</syntaxhighlight><br />
Alessandro<br />
<br />
<br />
<syntaxhighlight lang="C"><br />
//Processo con prioritá 0 = Processo con piú alta prioritá<br />
//Processo con prioritá 9 = Processo con meno prioritá<br />
monitor priocoop {<br />
condition oktogo[10];<br />
int wait[10] = 0,0,0,0,0,0,0,0,0;<br />
int running;<br />
priocoop.init(prio) {<br />
if(running != 0) {<br />
wait[prio]++;<br />
oktogo[prio].wait;<br />
wait[prio]--;<br />
}<br />
<br />
running++;<br />
}<br />
<br />
priocoop.yield(prio) {<br />
running--;<br />
for(int i = 0;i<10;i++) {<br />
if(wait[i] != 0) {<br />
oktogo[i].signal();<br />
wait[prio]++;<br />
oktogo[prio].wait;<br />
wait[prio]--;<br />
break();<br />
}<br />
}<br />
running++;<br />
}<br />
<br />
priocoop.fini() {<br />
running--;<br />
for(int i = 0;i<10;i++) {<br />
if(wait[i] != 0) {<br />
oktogo[i].signal();<br />
break();<br />
}<br />
}<br />
<br />
}<br />
}<br />
</syntaxhighlight><br />
-Midolo<br />
<br />
<br />
<br />
<syntaxhighlight lang="C"><br />
//0: priorita' maggiore<br />
//9: priorita' minore<br />
cond oktoenter[10];<br />
int count[10];<br />
bool running = false;<br />
<br />
//restituisce la priorita' maggiore che ha un processo in attesa<br />
getprio() {<br />
for(i=0;i<10;i++) {<br />
if(count[i]>0)<br />
break;<br />
}<br />
return i;<br />
}<br />
<br />
priocoop() {<br />
init (prio) {<br />
if (running) {<br />
count[prio]++;<br />
oktoenter[prio].wait();<br />
count[prio]--;<br />
}<br />
running = true;<br />
}<br />
yield(prio) {<br />
i=getprio();<br />
if (i < 10) {<br />
// running = false; <br />
oktoenter[i].signal();<br />
count(prio)++<br />
oktoenter[proc].wait();<br />
// running = true;<br />
count[prio]--;<br />
}<br />
}<br />
fini(prio){<br />
i=getprio();<br />
if(i<10)<br />
oktoenter[i].signal;<br />
else<br />
running=false;<br />
}<br />
}<br />
</syntaxhighlight><br />
-Stefano B.<br />
<br />
<br />
<br />
----<br />
<br />
<br />
<syntaxhighlight lang="C"><br />
monitor priocoop{<br />
condition oktoenter[10];<br />
queue waiting[10];<br />
<br />
procedure entry init(int prio){<br />
if(!(prio >= 0 && prio<=9))<br />
exit(0);<br />
}<br />
<br />
procedure entry yield(int prio){<br />
int priority=-1;<br />
for (i=0; i<10; i++) {<br />
if (! waiting[i].isempty())<br />
priority=i;<br />
}<br />
oktoenter[priority].signal();<br />
if(priority>=0){ /* se non ci fosse questo controllo avremmo un caso di deadlock<br />
* in quanto le code sono vuote */<br />
waiting[prio].enqueue();<br />
oktoenter[prio].wait();<br />
waiting[prio].dequeue(); <br />
}<br />
}<br />
<br />
procedure entry fini(){<br />
int priority=-1;<br />
for (i=0; i<10; i++) {<br />
if (! waiting[i].isempty())<br />
priority=i;<br />
}<br />
oktoenter[priority].signal();<br />
}<br />
}<br />
</syntaxhighlight><br />
Francesca e Giulia<br />
<br />
== Esercizio 2 ==<br />
<syntaxhighlight lang="C"><br />
db.getpriortymax(); //funzione che restituisce il messaggio con prioritá maggiore e lo rimuove dal db o 0 nel caso il db sia vuoto<br />
Process n: {<br />
<br />
psend(dest, prio,msg) {<br />
asend((msg, prio),dest);<br />
}<br />
<br />
precv(sender) {<br />
while((msg,prio) = arecv(sender)) {<br />
db[sender].insert((msg,prio));<br />
}<br />
return (db[sender].getpriortymax());<br />
}<br />
<br />
}<br />
</syntaxhighlight><br />
-Midolo<br />
<br />
<br />
==Esercizio 3 ==<br />
<syntaxhighlight lang="C"><br />
lock=-1;<br />
<br />
Process P[i]{<br />
int vp;<br />
while(true){<br />
do{;}<br />
while(twomult.op(lock)!=lock);<br />
//critical section<br />
lock = -lock;<br />
//no critical section<br />
}<br />
}<br />
</syntaxhighlight><br />
<br />
Inizialmente: a=1; b=1;<br />
<br />
Primo processo:<br />
lock=-1 a=-1 b=1<br />
Siccome lock!=b esce dal while.<br />
<br />
Secondo processo:<br />
lock=-1 a=1 b=-1<br />
Siccome lock==b non esce dal while e continua:<br />
lock=-1 a=1 b=-1<br />
Si ripeterano sempre gli stessi valori,<br />
fino al cambio di valore di lock che passa da<br />
-1 a 1 così :<br />
lock=1 a=-1 b=-1;<br />
Siccome lock!=b esce dal while.<br />
Mentre l'altro processo si bloccherà poichè:<br />
lock=1 a=1 b=1;<br />
fino al ritorno di lock al valore -1;<br />
lock=-1 a=-1 b=1;<br />
C.V.D</div>
AlexJ
https://so.v2.cs.unibo.it/wiki/index.php?title=ProvaPratica_2010.07.12&diff=529
ProvaPratica 2010.07.12
2014-03-31T21:41:30Z
<p>AlexJ: Created page with "<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 ma..."</p>
<hr />
<div><h1>http://www.cs.unibo.it/~renzo/so/compiti/2010-07-12.tot.pdf</h1><br />
<br />
<br />
<syntaxhighlight lang="C"><br />
<br />
monitor priocoop{<br />
condition run[9];<br />
int waiting[9]=0,0,0,0,0,0,0,0,0;<br />
int maxprio=0;<br />
int occupato=0;<br />
<br />
procedure entry init(prio){ <br />
if(occupato==1)<br />
{<br />
if(maxprio < prio)<br />
{<br />
maxprio=prio;<br />
}<br />
waiting[prio]++; <br />
run[prio].wait();<br />
waiting[prio]--;<br />
}<br />
occupato=1;<br />
}<br />
<br />
procedure entry yield(prio){<br />
run[maxprio].signal();<br />
if(maxprio < prio)<br />
{<br />
maxprio=prio;<br />
}<br />
waiting[prio]++;<br />
run[prio].wait();<br />
waiting[prio]--;<br />
}<br />
<br />
procedure entry fini(prio){<br />
int i;<br />
occupato=0;<br />
waiting[prio]--;<br />
if(waiting[maxprio] == 0)<br />
{<br />
maxprio=0;<br />
for(i=prio;i>=0;i--)<br />
{<br />
if(waiting[i]!=0)<br />
{<br />
maxprio=0;<br />
}<br />
} <br />
run[maxprio].signal();<br />
}<br />
}<br />
</syntaxhighlight><br />
Alessandro</div>
AlexJ
https://so.v2.cs.unibo.it/wiki/index.php?title=ProvaTeorica_2012.07.16&diff=520
ProvaTeorica 2012.07.16
2014-03-28T22:49:44Z
<p>AlexJ: </p>
<hr />
<div>[http://www.cs.unibo.it/~renzo/so/compiti/2012-07-16.tot.pdf Link Testo]<br />
<h2>Esercizio C.2</h2><br />
<br />
Mia Soluzione:<br />
<syntaxhighlight lang="C"><br />
#define RED 0<br />
#define BLUE 1<br />
//restituisce 1 se c'e piu del 75% blue o 75% di red<br />
//restituisce 0 se non c'e una maggiornza<br />
int media(color){<br />
int mediared;<br />
int localinto = into;<br />
if (color != NULL){<br />
localinto[color]++;<br />
}<br />
mediared = ((100*localinto[0])/(localinto[0]+localinto[1]));<br />
if(mediared >=75 || mediared < 25){<br />
return 1;//75% di rossi o di blue<br />
}else{<br />
return 0;// non c'e maggioranza <br />
}<br />
}<br />
<br />
monitor limcol{<br />
<br />
conditon oktoenter[2];<br />
int into[2];<br />
<br />
enter(color){<br />
if(media(color) != 1){// attendo perche' non c'e una maggioranza<br />
oktoenter[color].wait();<br />
}<br />
into[color]++;<br />
}<br />
<br />
exit(color){<br />
into[color]--;<br />
if(media(1-color) == 1){<br />
oktoenter[1-color].signal();<br />
}else if(media(color) == 1){<br />
oktoenter[color].signal();<br />
}<br />
}<br />
}<br />
</syntaxhighlight><br />
- Midolo<br />
<br />
<br />
<syntaxhighlight lang="C"><br />
#define ROSSO 0<br />
#define BLU 1<br />
<br />
monitor limcol {<br />
condition oktoenter<br />
int running[2] // numero di processi rossi [0] e blu [1] in esecuzione<br />
queue waiting // coda dei colori dei processi in attesa<br />
<br />
/* restituisce true se aggiungendo un processo del colore passato viene rispettato il 75%<br />
dei processi di un colore */<br />
bool morethan75p(colore) { <br />
return (running[colore]+1>=running[1-colore]*3 || (running[colore]+1)*3<=running[1-colore])<br />
}<br />
<br />
// risveglia un processo del colore passato se è possibile farlo<br />
void checkwakeup() {<br />
if (waiting.empty() == false) {<br />
colore=waiting.head() // head resituisce l'elemento in testa senza rimuoverlo<br />
if (morethan75p(colore)) { <br />
waiting.dequeue()<br />
oktoenter.signal()<br />
}<br />
}<br />
}<br />
<br />
procedure entry enter(colore) {<br />
if (morethan75p(colore)==false) {<br />
waiting.enqueue(colore)<br />
oktoenter.wait()<br />
}<br />
running[colore]++<br />
checkwakeup()<br />
}<br />
<br />
procedure entry exit(colore) {<br />
running[colore]--<br />
checkwakeup()<br />
}<br />
}<br />
<br />
/* la politica FIFO impedisce che si verifichi starvation, perché nel caso pessimo un processo<br />
che vuole entrare dovrà attendere fino a che tutti quelli in esecuzione terminino */<br />
</syntaxhighlight><br />
Daniele Cortesi<br />
<br />
<br />
<syntaxhighlight lang="C"><br />
define RED 0<br />
define BLUE 1<br />
int majorcolor = -1<br />
int numproc[2] = 0,0<br />
cond oktoenter[2] //bastavano due condizioni.<br />
cond oktoexit[2]<br />
<br />
<br />
monitor limcol{<br />
procedure entry enter(COL){<br />
if(COL == majorcolor){<br />
numproc[COL]++<br />
if(((proc[majorcolor])*100/(numproc[COL] + numproc[1-COL] + 1)) >= 75)<br />
oktoenter[1-COL].signal()<br />
}<br />
else if(COL == 1-majorcolor){<br />
if((proc[majorcolor]*100/(numproc[COL] + numproc[1-COL] + 1)) < 75)<br />
oktoenter[COL].wait()<br />
if(majorcolor == -1)<br />
majorcolor == COL<br />
numproc[COL]++<br />
}<br />
else{<br />
numproc[COL]++<br />
majorcolor = COL<br />
}<br />
}<br />
<br />
procedure entry exit(COL){<br />
if(numproc[COL] + numproc[1-COL] == 1){<br />
majorcolor = -1<br />
numproc[COL]--<br />
oktoenter[1-COL].signal()<br />
}<br />
else if(COL == majorcolor){<br />
if(((proc[majorcolor] - 1)*100/(numproc[COL] + numproc[1-COL] - 1)) < 75){<br />
oktoexit[COL].wait()<br />
numproc[COL]--<br />
}<br />
}<br />
else if(COL == 1-majorcolor){<br />
numproc[COL]--<br />
if(((proc[majorcolor])*100/(numproc[COL] + numproc[1-COL] - 1)) >= 75)<br />
oktoexit[1-COL].signal()<br />
}<br />
}<br />
}<br />
<br />
<br />
</syntaxhighlight><br />
Fede<br />
<br />
<br />
<syntaxhighlight lang="C"><br />
define RED 0<br />
define BLU 1<br />
<br />
limcol{<br />
/*variable*/<br />
int array[2] = 0,0;<br />
color major = -1;<br />
/*condition*/<br />
condition oktoenter[2];<br />
condition oktoleave[2];<br />
<br />
<br />
procedure entry enter( color ){<br />
if ( majorcolor == -1 ) <br />
majorcolor = color;<br />
if ( majorcolor == (1-color) && newmajorcolor%(color) < 75% )<br />
oktoenter[color].wait();<br />
array[color]++; <br />
if ( majorcolor == -1 ) //se un processo si risveglia nel monitor vuoto deve impostare majorcolor<br />
majorcolor = color;<br />
if ( newmajorcolor%(1-color) >= 75% ) <br />
oktoenter[1-color].signal();<br />
}<br />
<br />
procedure entry exit( color ){<br />
if ( majorcolor == color && majorcolor_less1%(color) > 75% )<br />
oktoleave[color].wait();<br />
array[color]--;<br />
if ( !colorsempty() )<br />
if ( majorcolor_less1%(color) >= 75% )<br />
oktoleave[1-color].signal();<br />
else{<br />
majorcolor == -1;<br />
oktoenter[1-color].signal();<br />
}<br />
} <br />
<br />
/*<br />
newmajorcolor%(color) calcola la nuova % del colore maggiore aggiungendo color<br />
majorcolor_less1%(color) calcola la nuova % del colore maggiore togliendo color<br />
*/<br />
</syntaxhighlight><br />
Pir@t@<br />
<br />
<br />
<br />
<syntaxhighlight lang="C"><br />
#DEFINE BLUE 0<br />
#DEFINE RED 1<br />
monitor limcol{<br />
condition ok;<br />
int numcolor[2];<br />
Queue q;<br />
int i=1;<br />
procedure entry enter(color){<br />
if((numcolor[color] + 1 < float((tot+1)*(75/100)) &&<br />
numcolor[color] + 1 >= float((tot+1)*(25/100))) ||<br />
!q.empty() ) <br />
{<br />
q.enqueue(color);<br />
ok.wait();<br />
i++;<br />
if(!q.empty()){<br />
if(numcolor[q.head()] + i >= float((tot+i)*(75/100)) ||<br />
numcolor[q.head()] + i < float((tot+i)*(25/100))) )<br />
{<br />
q.dequeue();<br />
ok.signal();<br />
}<br />
i=1;<br />
}<br />
}<br />
numcolor[color]++;<br />
tot++;<br />
}<br />
procedure entry exit(color){<br />
numcolor[color]--;<br />
tot--;<br />
if( numcolor[q.head()] + 1 >= float((tot+1)*(75/100)) ||<br />
numcolor[q.head()] + 1 < float((tot+1)*(25/100)) )<br />
{<br />
q.dequeue();<br />
ok.signal();<br />
}<br />
}<br />
</syntaxhighlight><br />
Alessandro<br />
<br />
<br />
==Esercizio g.1==<br />
{| border="1" class="wikitable"<br />
|-<br />
! Reference String<br />
| 1 || 2 || 3 || 4 || 5 || 6 || 4 || 5 || 6 || 3 || 2 || 1 || 3 || 2 || 1 || 6 || 5 || 4 || 6 || 5 || 4 || 1 || 2 || 3<br />
|-<br />
! Page Frame 1<br />
| 1 || 1 || 1 || 4 || 4 || 4 || || || || 3 || 3 || 3 || || || || 6 || 6 || 6 || || || || 1 || 1 || 1<br />
|-<br />
! Page Frame 2<br />
| || 2 || 2 || 2 || 5 || 5 || || || || 5 || 2 || 2 || || || || 2 || 5 || 5 || || || || 5 || 2 || 2<br />
|-<br />
! Page Frame 3<br />
| || || 3 || 3 || 3 || 6 || || || || 6 || 6 || 1 || || || || 1 || 1 || 4 || || || || 4 || 4 || 3<br />
|}<br />
<br />
The above Reference String is both FIFO, LRU and MIN compliant.<br />
<br />
-TomOgn</div>
AlexJ
https://so.v2.cs.unibo.it/wiki/index.php?title=ProvaTeorica_2012.07.16&diff=519
ProvaTeorica 2012.07.16
2014-03-28T21:56:59Z
<p>AlexJ: </p>
<hr />
<div>[http://www.cs.unibo.it/~renzo/so/compiti/2012-07-16.tot.pdf Link Testo]<br />
<h2>Esercizio C.2</h2><br />
<br />
Mia Soluzione:<br />
<syntaxhighlight lang="C"><br />
#define RED 0<br />
#define BLUE 1<br />
//restituisce 1 se c'e piu del 75% blue o 75% di red<br />
//restituisce 0 se non c'e una maggiornza<br />
int media(color){<br />
int mediared;<br />
int localinto = into;<br />
if (color != NULL){<br />
localinto[color]++;<br />
}<br />
mediared = ((100*localinto[0])/(localinto[0]+localinto[1]));<br />
if(mediared >=75 || mediared < 25){<br />
return 1;//75% di rossi o di blue<br />
}else{<br />
return 0;// non c'e maggioranza <br />
}<br />
}<br />
<br />
monitor limcol{<br />
<br />
conditon oktoenter[2];<br />
int into[2];<br />
<br />
enter(color){<br />
if(media(color) != 1){// attendo perche' non c'e una maggioranza<br />
oktoenter[color].wait();<br />
}<br />
into[color]++;<br />
}<br />
<br />
exit(color){<br />
into[color]--;<br />
if(media(1-color) == 1){<br />
oktoenter[1-color].signal();<br />
}else if(media(color) == 1){<br />
oktoenter[color].signal();<br />
}<br />
}<br />
}<br />
</syntaxhighlight><br />
- Midolo<br />
<br />
<br />
<syntaxhighlight lang="C"><br />
#define ROSSO 0<br />
#define BLU 1<br />
<br />
monitor limcol {<br />
condition oktoenter<br />
int running[2] // numero di processi rossi [0] e blu [1] in esecuzione<br />
queue waiting // coda dei colori dei processi in attesa<br />
<br />
/* restituisce true se aggiungendo un processo del colore passato viene rispettato il 75%<br />
dei processi di un colore */<br />
bool morethan75p(colore) { <br />
return (running[colore]+1>=running[1-colore]*3 || (running[colore]+1)*3<=running[1-colore])<br />
}<br />
<br />
// risveglia un processo del colore passato se è possibile farlo<br />
void checkwakeup() {<br />
if (waiting.empty() == false) {<br />
colore=waiting.head() // head resituisce l'elemento in testa senza rimuoverlo<br />
if (morethan75p(colore)) { <br />
waiting.dequeue()<br />
oktoenter.signal()<br />
}<br />
}<br />
}<br />
<br />
procedure entry enter(colore) {<br />
if (morethan75p(colore)==false) {<br />
waiting.enqueue(colore)<br />
oktoenter.wait()<br />
}<br />
running[colore]++<br />
checkwakeup()<br />
}<br />
<br />
procedure entry exit(colore) {<br />
running[colore]--<br />
checkwakeup()<br />
}<br />
}<br />
<br />
/* la politica FIFO impedisce che si verifichi starvation, perché nel caso pessimo un processo<br />
che vuole entrare dovrà attendere fino a che tutti quelli in esecuzione terminino */<br />
</syntaxhighlight><br />
Daniele Cortesi<br />
<br />
<br />
<syntaxhighlight lang="C"><br />
define RED 0<br />
define BLUE 1<br />
int majorcolor = -1<br />
int numproc[2] = 0,0<br />
cond oktoenter[2] //bastavano due condizioni.<br />
cond oktoexit[2]<br />
<br />
<br />
monitor limcol{<br />
procedure entry enter(COL){<br />
if(COL == majorcolor){<br />
numproc[COL]++<br />
if(((proc[majorcolor])*100/(numproc[COL] + numproc[1-COL] + 1)) >= 75)<br />
oktoenter[1-COL].signal()<br />
}<br />
else if(COL == 1-majorcolor){<br />
if((proc[majorcolor]*100/(numproc[COL] + numproc[1-COL] + 1)) < 75)<br />
oktoenter[COL].wait()<br />
if(majorcolor == -1)<br />
majorcolor == COL<br />
numproc[COL]++<br />
}<br />
else{<br />
numproc[COL]++<br />
majorcolor = COL<br />
}<br />
}<br />
<br />
procedure entry exit(COL){<br />
if(numproc[COL] + numproc[1-COL] == 1){<br />
majorcolor = -1<br />
numproc[COL]--<br />
oktoenter[1-COL].signal()<br />
}<br />
else if(COL == majorcolor){<br />
if(((proc[majorcolor] - 1)*100/(numproc[COL] + numproc[1-COL] - 1)) < 75){<br />
oktoexit[COL].wait()<br />
numproc[COL]--<br />
}<br />
}<br />
else if(COL == 1-majorcolor){<br />
numproc[COL]--<br />
if(((proc[majorcolor])*100/(numproc[COL] + numproc[1-COL] - 1)) >= 75)<br />
oktoexit[1-COL].signal()<br />
}<br />
}<br />
}<br />
<br />
<br />
</syntaxhighlight><br />
Fede<br />
<br />
<br />
<syntaxhighlight lang="C"><br />
define RED 0<br />
define BLU 1<br />
<br />
limcol{<br />
/*variable*/<br />
int array[2] = 0,0;<br />
color major = -1;<br />
/*condition*/<br />
condition oktoenter[2];<br />
condition oktoleave[2];<br />
<br />
<br />
procedure entry enter( color ){<br />
if ( majorcolor == -1 ) <br />
majorcolor = color;<br />
if ( majorcolor == (1-color) && newmajorcolor%(color) < 75% )<br />
oktoenter[color].wait();<br />
array[color]++; <br />
if ( majorcolor == -1 ) //se un processo si risveglia nel monitor vuoto deve impostare majorcolor<br />
majorcolor = color;<br />
if ( newmajorcolor%(1-color) >= 75% ) <br />
oktoenter[1-color].signal();<br />
}<br />
<br />
procedure entry exit( color ){<br />
if ( majorcolor == color && majorcolor_less1%(color) > 75% )<br />
oktoleave[color].wait();<br />
array[color]--;<br />
if ( !colorsempty() )<br />
if ( majorcolor_less1%(color) >= 75% )<br />
oktoleave[1-color].signal();<br />
else{<br />
majorcolor == -1;<br />
oktoenter[1-color].signal();<br />
}<br />
} <br />
<br />
/*<br />
newmajorcolor%(color) calcola la nuova % del colore maggiore aggiungendo color<br />
majorcolor_less1%(color) calcola la nuova % del colore maggiore togliendo color<br />
*/<br />
</syntaxhighlight><br />
Pir@t@<br />
<br />
<br />
<br />
<syntaxhighlight lang="C"><br />
#DEFINE BLUE 0<br />
#DEFINE RED 1<br />
monitor limcol{<br />
condition ok;<br />
int numcolor[2];<br />
Queue q;<br />
int i=1;<br />
procedure entry enter(color){<br />
if(numcolor[color] + 1 < float((tot+1)*(75/100)) ||<br />
numcolor[color] + 1 >= float((tot+1)*(25/100)) ||<br />
!q.empty() ) <br />
{<br />
q.enqueue(color);<br />
ok.wait();<br />
i++;<br />
if(!q.empty()){<br />
if(numcolor[q.head()] + i >= float((tot+i)*(75/100)) ||<br />
numcolor[q.head()] + i < float((tot+i)*(25/100))) )<br />
{<br />
q.dequeue();<br />
ok.signal();<br />
}<br />
i=1;<br />
}<br />
}<br />
numcolor[color]++;<br />
tot++;<br />
}<br />
procedure entry exit(color){<br />
numcolor[color]--;<br />
tot--;<br />
if( numcolor[q.head()] + 1 >= float((tot+1)*(75/100)) ||<br />
numcolor[q.head()] + 1 < float((tot+1)*(25/100)) )<br />
{<br />
q.dequeue();<br />
ok.signal();<br />
}<br />
}<br />
</syntaxhighlight><br />
Alessandro<br />
<br />
<br />
==Esercizio g.1==<br />
{| border="1" class="wikitable"<br />
|-<br />
! Reference String<br />
| 1 || 2 || 3 || 4 || 5 || 6 || 4 || 5 || 6 || 3 || 2 || 1 || 3 || 2 || 1 || 6 || 5 || 4 || 6 || 5 || 4 || 1 || 2 || 3<br />
|-<br />
! Page Frame 1<br />
| 1 || 1 || 1 || 4 || 4 || 4 || || || || 3 || 3 || 3 || || || || 6 || 6 || 6 || || || || 1 || 1 || 1<br />
|-<br />
! Page Frame 2<br />
| || 2 || 2 || 2 || 5 || 5 || || || || 5 || 2 || 2 || || || || 2 || 5 || 5 || || || || 5 || 2 || 2<br />
|-<br />
! Page Frame 3<br />
| || || 3 || 3 || 3 || 6 || || || || 6 || 6 || 1 || || || || 1 || 1 || 4 || || || || 4 || 4 || 3<br />
|}<br />
<br />
The above Reference String is both FIFO, LRU and MIN compliant.<br />
<br />
-TomOgn</div>
AlexJ
https://so.v2.cs.unibo.it/wiki/index.php?title=ProvaTeorica_2012.05.24&diff=509
ProvaTeorica 2012.05.24
2014-03-26T23:12:33Z
<p>AlexJ: </p>
<hr />
<div><h1>http://www.cs.unibo.it/~renzo/so/compiti/2012-05-24.tot.pdf</h1><br />
<br />
<br />
<br />
<syntaxhighlight lang="C"><br />
monitor santuario<br />
{<br />
Go = 0; // andare al santuario<br />
Back = 1; // tornare indietro<br />
condition ok[2]; // 2 condizioni<br />
crossing[2] = {0, 0}; // numero di persone sul ponte<br />
visiting = 0; // numero di persone nel santuario<br />
waiting[2] = {0, 0}; // numero di persone in attesa<br />
<br />
procedure entry entraponte(dir)<br />
{<br />
/* Mi blocco se: <br />
- il numero di persone sul ponte ha raggiunto il massimo; oppure<br />
- la direzione e' il santuario e il numero di visitatori <br />
(compresi quelli che stanno raggiungendo il santuario) ha raggiunto il massimo; oppure<br />
- qualcuno sta attraversando il ponte in direzione opposta; oppure<br />
- qualcuno sta attendendo di attraversare nel senso opposto */ <br />
if (crossing[dir] == MAXPONTE || <br />
(dir == Go && visiting + crossing[dir] == MAXSANTUARIO) || <br />
crossing[1 - dir] > 0 || <br />
waiting[1 - dir] > 0)<br />
{<br />
waiting[dir]++;<br />
ok[dir].wait();<br />
waiting[dir]--;<br />
}<br />
crossing[dir]++;<br />
<br />
if (dir == Back)<br />
visiting--;<br />
}<br />
<br />
procedure entry esciponte(dir)<br />
{<br />
crossing[dir]--;<br />
<br />
if (dir == Go)<br />
visiting++;<br />
<br />
// [Case 1] Nessuno sta attraversando il ponte<br />
if (crossing[dir] == 0)<br />
ok[1 - dir].signal();<br />
// [Case 2] Qualcuno sta attraversando il ponte<br />
else<br />
ok[dir].signal();<br />
}<br />
}<br />
</syntaxhighlight><br />
-TomOgn<br />
<br />
<br />
<syntaxhighlight lang="C"><br />
monitor santuario{<br />
#define ANDATA 0<br />
#define RITORNO 1<br />
<br />
int waiting[2];<br />
int crossing[2];<br />
condition oktoenter[2];<br />
int count; /* persone dentro al santuario */<br />
<br />
procedure entry entraponte(int dir){<br />
if (dir == ANDATA){<br />
if (crossing[1-dir] > 0 || crossing[dir] >= MAXPONTE || cout+crossing[dir] >= MAXSANTUARIO){<br />
waiting[dir]++;<br />
oktoenter[dir].wait();<br />
waiting[dir]--;<br />
}<br />
}<br />
else {<br />
if (crossing[1-dir] > 0 || crossing[dir] >= MAXPONTE){<br />
waiting[dir]++;<br />
oktoenter[dir].wait();<br />
waiting[dir]--;<br />
}<br />
}<br />
crossing[dir]++;<br />
if ((crossing[dir]+count < MAXSANTUARIO) && crossing[dir] < MAXPONTE)<br />
oktoenter[dir].signal();<br />
}<br />
<br />
procedure entry esciponte(int dir){<br />
crossing[dir]--;<br />
if (dir == ANDATA){<br />
count++;<br />
if (count+crossing[dir] < MAXSANTUARIO) /* voi che siete in attesa andate sul ponte */<br />
oktoenter[dir].signal();<br />
}<br />
else<br />
count--;<br />
<br />
if (crossing[dir] == 0)<br />
oktoenter[1-dir].signal(); <br />
}<br />
}<br />
</syntaxhighlight><br />
Gabriele & Giulia (se non va colpa di Gabriele)<br />
<br />
<br />
<br />
<br />
<br />
<syntaxhighlight lang="C"><br />
<br />
monitor santuario{<br />
int CurrentDir /* 0 = arriving , 1 = leaving */<br />
int crossing<br />
condition oktoenter<br />
condition oktoleave<br />
//queue enter<br />
//queue ponte<br />
//queue leave<br />
int fidelis /* fedeli nel tempio */<br />
<br />
procedure entry entraponte(CrossingDir){<br />
if(CrossingDir != CurrentDir){<br />
if(CrossingDir == 0){<br />
//enter.enqueue()<br />
oktoenter.wait()<br />
//enter.dequeue()<br />
}<br />
if(CrossingDir == 1){<br />
//leave.enqueue()<br />
oktoleave.wait()<br />
//leave.dequeue()<br />
}<br />
}<br />
if(CrossingDir == 0){<br />
if(fidelis == MAXSANTUARIO || crossing == MAXPONTE){<br />
//ponte.enqueue()<br />
oktoenter.wait()<br />
//ponte.dequeue()<br />
}<br />
fidelis++<br />
crossing++<br />
}<br />
if(CrossingDir == 1){<br />
if(crossing == MAXPONTE){<br />
//ponte.enqueue()<br />
oktoleave.wait()<br />
//ponte.dequeue()<br />
}<br />
fidelis--<br />
crossing++<br />
}<br />
}<br />
<br />
precedure entry esciponte(CrossingDir){<br />
crossing--<br />
if(crossing == 0){<br />
if(CrossingDir == 0){<br />
if(fidelis < MAXSANTUARIO /*&& !enter.isempty()*/){<br />
oktoenter.signal()<br />
}<br />
else{<br />
CurrentDir = 1 - CurrentDir<br />
oktoleave.signal()<br />
}<br />
}<br />
else{<br />
CurrentDir = 1 - CurrentDir<br />
oktoenter.signal()<br />
}<br />
}<br />
<br />
}<br />
<br />
<br />
santuario{<br />
crossing = 0<br />
CurrentDir = 0<br />
fidelis = 0<br />
}<br />
}<br />
</syntaxhighlight><br />
Fede & Mirko<br />
<br />
<br />
<br />
<br />
<br />
<syntaxhighlight lang="C"><br />
<br />
<br />
monitor santuario {<br />
condition okpassa; // vai sul ponte secondo metodo FIFO<br />
int turn=2; // turno di attraversamento<br />
int visitatori[2]; // contatori andata ritorno<br />
visitatori[0]=0;<br />
visitatori[1]=0;<br />
int fedeli=0;<br />
int i=0;<br />
Queue q; // coda dei visitatori in attesa<br />
<br />
procedure entry entraponte(dir){<br />
/* se il turno è della direzione opposta o<br />
i visitatori in transito sono MAXPONTE o<br />
la coda non è vuota aspetta */<br />
if( (dir==0 && fedeli==MAXSANTUARIO ) || turn==(1-dir) || visitatori[dir]==MAXPONTE || !q.empty()){<br />
q.enqueue(dir); // inserisci in coda<br />
okpassa.wait(); // aspetta<br />
if( q.head()==dir && (visitatori[dir] + i) < (MAXPONTE - 1) ){ // questa condizione <br />
i++;<br />
q.dequeue(); // mi serve per far passare <br />
okpassa.signal(); // MAXPONTE visitatori nella direzione<br />
} // in attesa quando nella direzione opposta <br />
i=0; // i visitatori in transito erano N <br />
}<br />
turn=dir; // setto il turno della direzione<br />
visitatori[dir]++; //incremento visitatori in transito<br />
if(dir==0){fedeli++;}<br />
if(dir==1){fedeli--;}<br />
}<br />
<br />
<br />
procedure entry esciponte(dir){<br />
visitatore[dir]--; //decremento visitatori in transito<br />
/* se il primo visitatore in attesa va nella stessa direzione <br />
di chi è uscito può entrare sul ponte poichè questo<br />
si verifica solo se il visitatore uscito era il numero N <br />
o il visitatore che esce è l'ultimo fa passare il primo in attesa<br />
che sarà sicuramente della direzione opposta */ <br />
primo = (dir == 0 && fedeli < MAXSANTUARIO) && ( q.head()==0 || visitatori[0]==0 ))<br />
secondo = (dir == 1 && (q.head()==0 || visitatori[1]==0 ) <br />
<br />
if(primo || secondo){ <br />
if(visitatore[dir]==0){<br />
turn=2; // ponte vuoto<br />
}<br />
q.dequeue();<br />
okpassa.signal(); // causa il passaggio sul ponte <br />
// del primo visitatore in attesa<br />
// (secondo una politica FIFO)<br />
}<br />
<br />
}<br />
<br />
</syntaxhighlight><br />
Alessandro<br />
<br />
<syntaxhighlight lang="C"><br />
#define ANDARA 0;<br />
#define RITORNO 1;<br />
monitor santuario{<br />
int cross; <br />
condition oktocross[2]; <br />
int fidelis;<br />
entraponte(dir){<br />
if( cross != 0 || (dir == 0 && MAXSANTUARIO == fidelis)){<br />
wait[dir]++;<br />
oktocross[dir].wait();<br />
wait[dir]--;<br />
}<br />
cross++; <br />
if(dir == 0){<br />
fidelis++;<br />
if(cross < MAXPONTE && MAXSANTUARIO > fidelis){<br />
oktocross[dir].signal;<br />
} <br />
}else{<br />
fidelis--;<br />
if(cross < MAXPONTE){<br />
oktocross[dir].signal;<br />
}<br />
}<br />
}<br />
esciponte(dir){<br />
cross--;<br />
if(cross == 0 && MAXSANTUARIO == fidelis){<br />
oktocross[RITORNO].signal();<br />
}else if(cross == 0 && wait[1-dir]){<br />
oktocross[1-dir].signal();<br />
}else if(cross == 0){<br />
oktocross[dir].signal();<br />
}<br />
}<br />
}<br />
</syntaxhighlight><br />
-Midolo</div>
AlexJ
https://so.v2.cs.unibo.it/wiki/index.php?title=ProvaTeorica_2012.05.24&diff=505
ProvaTeorica 2012.05.24
2014-03-26T10:32:26Z
<p>AlexJ: </p>
<hr />
<div><h1>http://www.cs.unibo.it/~renzo/so/compiti/2012-05-24.tot.pdf</h1><br />
<br />
<br />
<br />
<syntaxhighlight lang="C"><br />
monitor santuario<br />
{<br />
Go = 0; // andare al santuario<br />
Back = 1; // tornare indietro<br />
condition ok[2]; // 2 condizioni<br />
crossing[2] = {0, 0}; // numero di persone sul ponte<br />
visiting = 0; // numero di persone nel santuario<br />
waiting[2] = {0, 0}; // numero di persone in attesa<br />
<br />
procedure entry entraponte(dir)<br />
{<br />
/* Mi blocco se: <br />
- il numero di persone sul ponte ha raggiunto il massimo; oppure<br />
- la direzione e' il santuario e il numero di visitatori <br />
(compresi quelli che stanno raggiungendo il santuario) ha raggiunto il massimo; oppure<br />
- qualcuno sta attraversando il ponte in direzione opposta; oppure<br />
- qualcuno sta attendendo di attraversare nel senso opposto */ <br />
if (crossing[dir] == MAXPONTE || <br />
(dir == Go && visiting + crossing[dir] == MAXSANTUARIO) || <br />
crossing[1 - dir] > 0 || <br />
waiting[1 - dir] > 0)<br />
{<br />
waiting[dir]++;<br />
ok[dir].wait();<br />
waiting[dir]--;<br />
}<br />
crossing[dir]++;<br />
<br />
if (dir == Back)<br />
visiting--;<br />
}<br />
<br />
procedure entry esciponte(dir)<br />
{<br />
crossing[dir]--;<br />
<br />
if (dir == Go)<br />
visiting++;<br />
<br />
// [Case 1] Nessuno sta attraversando il ponte<br />
if (crossing[dir] == 0)<br />
ok[1 - dir].signal();<br />
// [Case 2] Qualcuno sta attraversando il ponte<br />
else<br />
ok[dir].signal();<br />
}<br />
}<br />
</syntaxhighlight><br />
-TomOgn<br />
<br />
<br />
<syntaxhighlight lang="C"><br />
monitor santuario{<br />
#define ANDATA 0<br />
#define RITORNO 1<br />
<br />
int waiting[2];<br />
int crossing[2];<br />
condition oktoenter[2];<br />
int count; /* persone dentro al santuario */<br />
<br />
procedure entry entraponte(int dir){<br />
if (dir == ANDATA){<br />
if (crossing[1-dir] > 0 || crossing[dir] >= MAXPONTE || cout+crossing[dir] >= MAXSANTUARIO){<br />
waiting[dir]++;<br />
oktoenter[dir].wait();<br />
waiting[dir]--;<br />
}<br />
}<br />
else {<br />
if (crossing[1-dir] > 0 || crossing[dir] >= MAXPONTE){<br />
waiting[dir]++;<br />
oktoenter[dir].wait();<br />
waiting[dir]--;<br />
}<br />
}<br />
crossing[dir]++;<br />
if ((crossing[dir]+count < MAXSANTUARIO) && crossing[dir] < MAXPONTE)<br />
oktoenter[dir].signal();<br />
}<br />
<br />
procedure entry esciponte(int dir){<br />
crossing[dir]--;<br />
if (dir == ANDATA){<br />
count++;<br />
if (count+crossing[dir] < MAXSANTUARIO) /* voi che siete in attesa andate sul ponte */<br />
oktoenter[dir].signal();<br />
}<br />
else<br />
count--;<br />
<br />
if (crossing[dir] == 0)<br />
oktoenter[1-dir].signal(); <br />
}<br />
}<br />
</syntaxhighlight><br />
Gabriele & Giulia (se non va colpa di Gabriele)<br />
<br />
<br />
<br />
<br />
<br />
<syntaxhighlight lang="C"><br />
<br />
monitor santuario{<br />
int CurrentDir /* 0 = arriving , 1 = leaving */<br />
int crossing<br />
condition oktoenter<br />
condition oktoleave<br />
//queue enter<br />
//queue ponte<br />
//queue leave<br />
int fidelis /* fedeli nel tempio */<br />
<br />
procedure entry entraponte(CrossingDir){<br />
if(CrossingDir != CurrentDir){<br />
if(CrossingDir == 0){<br />
//enter.enqueue()<br />
oktoenter.wait()<br />
//enter.dequeue()<br />
}<br />
if(CrossingDir == 1){<br />
//leave.enqueue()<br />
oktoleave.wait()<br />
//leave.dequeue()<br />
}<br />
}<br />
if(CrossingDir == 0){<br />
if(fidelis == MAXSANTUARIO || crossing == MAXPONTE){<br />
//ponte.enqueue()<br />
oktoenter.wait()<br />
//ponte.dequeue()<br />
}<br />
fidelis++<br />
crossing++<br />
}<br />
if(CrossingDir == 1){<br />
if(crossing == MAXPONTE){<br />
//ponte.enqueue()<br />
oktoleave.wait()<br />
//ponte.dequeue()<br />
}<br />
fidelis--<br />
crossing++<br />
}<br />
}<br />
<br />
precedure entry esciponte(CrossingDir){<br />
crossing--<br />
if(crossing == 0){<br />
if(CrossingDir == 0){<br />
if(fidelis < MAXSANTUARIO /*&& !enter.isempty()*/){<br />
oktoenter.signal()<br />
}<br />
else{<br />
CurrentDir = 1 - CurrentDir<br />
oktoleave.signal()<br />
}<br />
}<br />
else{<br />
CurrentDir = 1 - CurrentDir<br />
oktoenter.signal()<br />
}<br />
}<br />
<br />
}<br />
<br />
<br />
santuario{<br />
crossing = 0<br />
CurrentDir = 0<br />
fidelis = 0<br />
}<br />
}<br />
</syntaxhighlight><br />
Fede & Mirko<br />
<br />
<br />
<br />
<br />
<br />
<syntaxhighlight lang="C"><br />
#DEFINE MAXSANTUARIO N<br />
<br />
monitor santuario {<br />
condition okpassa; // vai sul ponte secondo metodo FIFO<br />
int turn=2; // turno di attraversamento<br />
int visitatori[2]; // contatori andata ritorno<br />
visitatori[0]=0;<br />
visitatori[1]=0;<br />
int i=0;<br />
Queue q; // coda dei visitatori in attesa<br />
<br />
procedure entry entraponte(dir){<br />
/* se il turno è della direzione opposta o<br />
i visitatori in transito sono N o<br />
la coda non è vuota aspetta */<br />
if(turn==(1-dir) || visitatori[dir]==N || !q.empty()){<br />
q.enqueue(dir); // inserisci in coda<br />
okpassa.wait(); // aspetta<br />
if( q.head()==dir && (visitatori[dir] + i) < (N - 1) ){ // questa condizione <br />
i++;<br />
q.dequeue(); // mi serve per far passare <br />
okpassa.signal(); // N visitatori nella direzione<br />
} // in attesa quando nella direzione opposta <br />
i=0; // i visitatori in transito erano N <br />
}<br />
turn=dir; // setto il turno della direzione<br />
visitatori[dir]++; //incremento visitatori in transito<br />
<br />
}<br />
<br />
<br />
procedure entry esciponte(dir){<br />
visitatore[dir]--; //decremento visitatori in transito<br />
/* se il primo visitatore in attesa va nella stessa direzione <br />
di chi è uscito può entrare sul ponte poichè questo<br />
si verifica solo se il visitatore uscito era il numero N <br />
o il visitatore che esce è l'ultimo fa passare il primo in attesa<br />
che sarà sicuramente della direzione opposta */ <br />
<br />
if (q.head()==dir || visitatori[dir]==0){<br />
if(visitatore[dir]==0){<br />
turn=2; // ponte vuoto<br />
}<br />
q.dequeue();<br />
okpassa.signal(); // causa il passaggio sul ponte <br />
// del primo visitatore in attesa<br />
// (secondo una politica FIFO)<br />
}<br />
<br />
}<br />
<br />
</syntaxhighlight><br />
Alessandro</div>
AlexJ
https://so.v2.cs.unibo.it/wiki/index.php?title=ProvaTeorica_2012.05.24&diff=504
ProvaTeorica 2012.05.24
2014-03-26T09:51:47Z
<p>AlexJ: </p>
<hr />
<div><h1>http://www.cs.unibo.it/~renzo/so/compiti/2012-05-24.tot.pdf</h1><br />
<br />
<br />
<br />
<syntaxhighlight lang="C"><br />
monitor santuario<br />
{<br />
Go = 0; // andare al santuario<br />
Back = 1; // tornare indietro<br />
condition ok[2]; // 2 condizioni<br />
crossing[2] = {0, 0}; // numero di persone sul ponte<br />
visiting = 0; // numero di persone nel santuario<br />
waiting[2] = {0, 0}; // numero di persone in attesa<br />
<br />
procedure entry entraponte(dir)<br />
{<br />
/* Mi blocco se: <br />
- il numero di persone sul ponte ha raggiunto il massimo; oppure<br />
- la direzione e' il santuario e il numero di visitatori <br />
(compresi quelli che stanno raggiungendo il santuario) ha raggiunto il massimo; oppure<br />
- qualcuno sta attraversando il ponte in direzione opposta; oppure<br />
- qualcuno sta attendendo di attraversare nel senso opposto */ <br />
if (crossing[dir] == MAXPONTE || <br />
(dir == Go && visiting + crossing[dir] == MAXSANTUARIO) || <br />
crossing[1 - dir] > 0 || <br />
waiting[1 - dir] > 0)<br />
{<br />
waiting[dir]++;<br />
ok[dir].wait();<br />
waiting[dir]--;<br />
}<br />
crossing[dir]++;<br />
<br />
if (dir == Back)<br />
visiting--;<br />
}<br />
<br />
procedure entry esciponte(dir)<br />
{<br />
crossing[dir]--;<br />
<br />
if (dir == Go)<br />
visiting++;<br />
<br />
// [Case 1] Nessuno sta attraversando il ponte<br />
if (crossing[dir] == 0)<br />
ok[1 - dir].signal();<br />
// [Case 2] Qualcuno sta attraversando il ponte<br />
else<br />
ok[dir].signal();<br />
}<br />
}<br />
</syntaxhighlight><br />
-TomOgn<br />
<br />
<br />
<syntaxhighlight lang="C"><br />
monitor santuario{<br />
#define ANDATA 0<br />
#define RITORNO 1<br />
<br />
int waiting[2];<br />
int crossing[2];<br />
condition oktoenter[2];<br />
int count; /* persone dentro al santuario */<br />
<br />
procedure entry entraponte(int dir){<br />
if (dir == ANDATA){<br />
if (crossing[1-dir] > 0 || crossing[dir] >= MAXPONTE || cout+crossing[dir] >= MAXSANTUARIO){<br />
waiting[dir]++;<br />
oktoenter[dir].wait();<br />
waiting[dir]--;<br />
}<br />
}<br />
else {<br />
if (crossing[1-dir] > 0 || crossing[dir] >= MAXPONTE){<br />
waiting[dir]++;<br />
oktoenter[dir].wait();<br />
waiting[dir]--;<br />
}<br />
}<br />
crossing[dir]++;<br />
if ((crossing[dir]+count < MAXSANTUARIO) && crossing[dir] < MAXPONTE)<br />
oktoenter[dir].signal();<br />
}<br />
<br />
procedure entry esciponte(int dir){<br />
crossing[dir]--;<br />
if (dir == ANDATA){<br />
count++;<br />
if (count+crossing[dir] < MAXSANTUARIO) /* voi che siete in attesa andate sul ponte */<br />
oktoenter[dir].signal();<br />
}<br />
else<br />
count--;<br />
<br />
if (crossing[dir] == 0)<br />
oktoenter[1-dir].signal(); <br />
}<br />
}<br />
</syntaxhighlight><br />
Gabriele & Giulia (se non va colpa di Gabriele)<br />
<br />
<br />
<br />
<br />
<br />
<syntaxhighlight lang="C"><br />
<br />
monitor santuario{<br />
int CurrentDir /* 0 = arriving , 1 = leaving */<br />
int crossing<br />
condition oktoenter<br />
condition oktoleave<br />
//queue enter<br />
//queue ponte<br />
//queue leave<br />
int fidelis /* fedeli nel tempio */<br />
<br />
procedure entry entraponte(CrossingDir){<br />
if(CrossingDir != CurrentDir){<br />
if(CrossingDir == 0){<br />
//enter.enqueue()<br />
oktoenter.wait()<br />
//enter.dequeue()<br />
}<br />
if(CrossingDir == 1){<br />
//leave.enqueue()<br />
oktoleave.wait()<br />
//leave.dequeue()<br />
}<br />
}<br />
if(CrossingDir == 0){<br />
if(fidelis == MAXSANTUARIO || crossing == MAXPONTE){<br />
//ponte.enqueue()<br />
oktoenter.wait()<br />
//ponte.dequeue()<br />
}<br />
fidelis++<br />
crossing++<br />
}<br />
if(CrossingDir == 1){<br />
if(crossing == MAXPONTE){<br />
//ponte.enqueue()<br />
oktoleave.wait()<br />
//ponte.dequeue()<br />
}<br />
fidelis--<br />
crossing++<br />
}<br />
}<br />
<br />
precedure entry esciponte(CrossingDir){<br />
crossing--<br />
if(crossing == 0){<br />
if(CrossingDir == 0){<br />
if(fidelis < MAXSANTUARIO /*&& !enter.isempty()*/){<br />
oktoenter.signal()<br />
}<br />
else{<br />
CurrentDir = 1 - CurrentDir<br />
oktoleave.signal()<br />
}<br />
}<br />
else{<br />
CurrentDir = 1 - CurrentDir<br />
oktoenter.signal()<br />
}<br />
}<br />
<br />
}<br />
<br />
<br />
santuario{<br />
crossing = 0<br />
CurrentDir = 0<br />
fidelis = 0<br />
}<br />
}<br />
</syntaxhighlight><br />
Fede & Mirko<br />
<br />
<br />
<br />
<br />
<br />
<syntaxhighlight lang="C"><br />
#DEFINE MAXSANTUARIO N<br />
<br />
monitor santuario {<br />
condition okpassa; // vai sul ponte secondo metodo FIFO<br />
int turn=2; // turno di attraversamento<br />
int visitatori[2]; // contatori andata ritorno<br />
visitatori[0]=0;<br />
visitatori[1]=0;<br />
Queue q; // coda dei visitatori in attesa<br />
<br />
procedure entry entraponte(dir){<br />
/* se il turno è della direzione opposta o<br />
i visitatori in transito sono N o<br />
la coda non è vuota aspetta */<br />
if(turn==(1-dir) || visitatori[dir]==N || !q.empty()){<br />
q.enqueue(dir); // inserisci in coda<br />
okpassa.wait(); // aspetta<br />
if( q.head()==dir && visitatori[dir]<N ){ // questa condizione <br />
q.dequeue(); // mi serve per far passare <br />
okpassa.signal(); // N visitatori nella direzione<br />
} // in attesa quando nella direzione opposta <br />
// i visitatori in transito erano N <br />
}<br />
turn=dir; // setto il turno della direzione<br />
visitatori[dir]++; //incremento visitatori in transito<br />
<br />
}<br />
<br />
<br />
procedure entry esciponte(dir){<br />
visitatore[dir]--; //decremento visitatori in transito<br />
/* se il primo visitatore in attesa va nella stessa direzione <br />
di chi è uscito può entrare sul ponte poichè questo<br />
si verifica solo se il visitatore uscito era il numero N <br />
o il visitatore che esce è l'ultimo fa passare il primo in attesa<br />
che sarà sicuramente della direzione opposta <br />
*/<br />
if (q.head()==dir || visitatore[dir]==0){<br />
q.dequeue();<br />
okpassa.signal(); // causa il passaggio sul ponte <br />
// del primo visitatore in attesa<br />
// (secondo una politica FIFO)<br />
}<br />
}<br />
<br />
</syntaxhighlight><br />
Alessandro</div>
AlexJ
https://so.v2.cs.unibo.it/wiki/index.php?title=ProvaTeorica_2012.05.24&diff=503
ProvaTeorica 2012.05.24
2014-03-26T09:47:13Z
<p>AlexJ: </p>
<hr />
<div><h1>http://www.cs.unibo.it/~renzo/so/compiti/2012-05-24.tot.pdf</h1><br />
<br />
<br />
<br />
<syntaxhighlight lang="C"><br />
monitor santuario<br />
{<br />
Go = 0; // andare al santuario<br />
Back = 1; // tornare indietro<br />
condition ok[2]; // 2 condizioni<br />
crossing[2] = {0, 0}; // numero di persone sul ponte<br />
visiting = 0; // numero di persone nel santuario<br />
waiting[2] = {0, 0}; // numero di persone in attesa<br />
<br />
procedure entry entraponte(dir)<br />
{<br />
/* Mi blocco se: <br />
- il numero di persone sul ponte ha raggiunto il massimo; oppure<br />
- la direzione e' il santuario e il numero di visitatori <br />
(compresi quelli che stanno raggiungendo il santuario) ha raggiunto il massimo; oppure<br />
- qualcuno sta attraversando il ponte in direzione opposta; oppure<br />
- qualcuno sta attendendo di attraversare nel senso opposto */ <br />
if (crossing[dir] == MAXPONTE || <br />
(dir == Go && visiting + crossing[dir] == MAXSANTUARIO) || <br />
crossing[1 - dir] > 0 || <br />
waiting[1 - dir] > 0)<br />
{<br />
waiting[dir]++;<br />
ok[dir].wait();<br />
waiting[dir]--;<br />
}<br />
crossing[dir]++;<br />
<br />
if (dir == Back)<br />
visiting--;<br />
}<br />
<br />
procedure entry esciponte(dir)<br />
{<br />
crossing[dir]--;<br />
<br />
if (dir == Go)<br />
visiting++;<br />
<br />
// [Case 1] Nessuno sta attraversando il ponte<br />
if (crossing[dir] == 0)<br />
ok[1 - dir].signal();<br />
// [Case 2] Qualcuno sta attraversando il ponte<br />
else<br />
ok[dir].signal();<br />
}<br />
}<br />
</syntaxhighlight><br />
-TomOgn<br />
<br />
<br />
<syntaxhighlight lang="C"><br />
monitor santuario{<br />
#define ANDATA 0<br />
#define RITORNO 1<br />
<br />
int waiting[2];<br />
int crossing[2];<br />
condition oktoenter[2];<br />
int count; /* persone dentro al santuario */<br />
<br />
procedure entry entraponte(int dir){<br />
if (dir == ANDATA){<br />
if (crossing[1-dir] > 0 || crossing[dir] >= MAXPONTE || cout+crossing[dir] >= MAXSANTUARIO){<br />
waiting[dir]++;<br />
oktoenter[dir].wait();<br />
waiting[dir]--;<br />
}<br />
}<br />
else {<br />
if (crossing[1-dir] > 0 || crossing[dir] >= MAXPONTE){<br />
waiting[dir]++;<br />
oktoenter[dir].wait();<br />
waiting[dir]--;<br />
}<br />
}<br />
crossing[dir]++;<br />
if ((crossing[dir]+count < MAXSANTUARIO) && crossing[dir] < MAXPONTE)<br />
oktoenter[dir].signal();<br />
}<br />
<br />
procedure entry esciponte(int dir){<br />
crossing[dir]--;<br />
if (dir == ANDATA){<br />
count++;<br />
if (count+crossing[dir] < MAXSANTUARIO) /* voi che siete in attesa andate sul ponte */<br />
oktoenter[dir].signal();<br />
}<br />
else<br />
count--;<br />
<br />
if (crossing[dir] == 0)<br />
oktoenter[1-dir].signal(); <br />
}<br />
}<br />
</syntaxhighlight><br />
Gabriele & Giulia (se non va colpa di Gabriele)<br />
<br />
<br />
<br />
<br />
<br />
<syntaxhighlight lang="C"><br />
<br />
monitor santuario{<br />
int CurrentDir /* 0 = arriving , 1 = leaving */<br />
int crossing<br />
condition oktoenter<br />
condition oktoleave<br />
//queue enter<br />
//queue ponte<br />
//queue leave<br />
int fidelis /* fedeli nel tempio */<br />
<br />
procedure entry entraponte(CrossingDir){<br />
if(CrossingDir != CurrentDir){<br />
if(CrossingDir == 0){<br />
//enter.enqueue()<br />
oktoenter.wait()<br />
//enter.dequeue()<br />
}<br />
if(CrossingDir == 1){<br />
//leave.enqueue()<br />
oktoleave.wait()<br />
//leave.dequeue()<br />
}<br />
}<br />
if(CrossingDir == 0){<br />
if(fidelis == MAXSANTUARIO || crossing == MAXPONTE){<br />
//ponte.enqueue()<br />
oktoenter.wait()<br />
//ponte.dequeue()<br />
}<br />
fidelis++<br />
crossing++<br />
}<br />
if(CrossingDir == 1){<br />
if(crossing == MAXPONTE){<br />
//ponte.enqueue()<br />
oktoleave.wait()<br />
//ponte.dequeue()<br />
}<br />
fidelis--<br />
crossing++<br />
}<br />
}<br />
<br />
precedure entry esciponte(CrossingDir){<br />
crossing--<br />
if(crossing == 0){<br />
if(CrossingDir == 0){<br />
if(fidelis < MAXSANTUARIO /*&& !enter.isempty()*/){<br />
oktoenter.signal()<br />
}<br />
else{<br />
CurrentDir = 1 - CurrentDir<br />
oktoleave.signal()<br />
}<br />
}<br />
else{<br />
CurrentDir = 1 - CurrentDir<br />
oktoenter.signal()<br />
}<br />
}<br />
<br />
}<br />
<br />
<br />
santuario{<br />
crossing = 0<br />
CurrentDir = 0<br />
fidelis = 0<br />
}<br />
}<br />
</syntaxhighlight><br />
Fede & Mirko<br />
<br />
<br />
<br />
<br />
<br />
<syntaxhighlight lang="C"><br />
#DEFINE MAXSANTUARIO N<br />
<br />
monitor santuario {<br />
condition okpassa; // vai sul ponte secondo metodo FIFO<br />
int turn=2; // turno di attraversamento<br />
int visitatori[2]; // contatori andata ritorno<br />
visitatori[0]=0;<br />
visitatori[1]=0;<br />
Queue q; // coda dei visitatori in attesa<br />
<br />
procedure entry entraponte(dir){<br />
/* se il turno è della direzione opposta o<br />
i visitatori in transito sono N o<br />
la coda non è vuota aspetta */<br />
if(turn==(1-dir) || visitatori[dir]==N || !q.empty()){<br />
q.enqueue(dir); // inserisci in coda<br />
okpassa.wait(); // aspetta<br />
if( q.head()==dir && visitatori[dir]<N ){ // questa condizione <br />
q.dequeue(); // mi serve per far passare <br />
okpassa.signal(); // N visitatori nella direzione<br />
} // in attesa quando nella direzione opposta <br />
// i visitatori in transito erano N <br />
}<br />
turn=dir; // setto il turno della direzione<br />
visitatori[dir]++; //incremento visitatori in transito<br />
<br />
}<br />
<br />
<br />
procedure entry esciponte(dir){<br />
visitatore[dir]--; //decremento visitatori in transito<br />
/* se il primo visitatore in attesa va nella stessa direzione <br />
di chi è uscito può entrare sul ponte poichè questo<br />
si verifica solo se il visitatore uscito era il numero N <br />
o il visitatore che esce è l'ultimo fa passare il primo in attesa<br />
che sarà sicuramente della direzione opposta <br />
*/<br />
if (q.head()==dir || visitatore[dir]==0){<br />
q.dequeue();<br />
okpassa.signal(); // causa il passaggio sul ponte <br />
// del primo visitatore in attesa<br />
// (secondo una politica FIFO)<br />
}<br />
<br />
}</div>
AlexJ
https://so.v2.cs.unibo.it/wiki/index.php?title=ProvaTeorica_2014.01.22&diff=472
ProvaTeorica 2014.01.22
2014-03-19T08:13:59Z
<p>AlexJ: </p>
<hr />
<div><br />
<br />
<syntaxhighlight lang="C"><br />
<br />
URL: http://www.cs.unibo.it/~renzo/so/compiti/2014.01.22.tot.pdf<br />
<br />
@author: Alessandro<br />
<br />
<br />
monitor bridge {<br />
condition oktomove; /* auto attraversa il ponte */<br />
int turn=0; /*indica il senso delle auto */<br />
int est=0,ovest=0; /*contatori delle auto da est e da ovest */<br />
Queue q; /*coda delle senso delle macchine in attesa */<br />
<br />
procedure entry enter (char EoW)<br />
{<br />
if(EoW == "E") /* viene da est */<br />
{<br />
if(turn == 2 || est >=N || !empty(q)) <br />
{<br />
q=enqueue("E"); /*inserisco nella coda dei sensi*/ <br />
oktomove.wait(); /*aspetta*/<br />
<br />
}<br />
turn = 1; /*impongo il senso delle auto in circolo nel ponte */<br />
est++;<br />
}<br />
else /* viene da ovest */<br />
{<br />
if(turn ==1 || ovest >=N || !empty(q))<br />
{<br />
q=enqueue("O"); /*inserisco nella coda dei sensi*/<br />
oktomove.wait(); /*aspetta*/<br />
<br />
}<br />
turn = 2; /*impongo il senso delle auto in circolo nel ponte */<br />
ovest++;<br />
}<br />
}<br />
<br />
procedure entry exit(char EoW)<br />
{<br />
char r;<br />
if(EoW == "O")<br />
{<br />
est--;<br />
r=head(q); /* leggo la prossima auto che aspetta di entrare */<br />
if(est == 0 || r == "E") /*nessuna auto in transito nel ponte o il prossimo va nella stessa direzione*/<br />
{<br />
est--;<br />
if(est == 0) /*nessuna auto in transito nel ponte */<br />
{<br />
turn = 0; /*avanti un altro */<br />
}<br />
if(!empty(q))<br />
{<br />
q.dequeue();<br />
oktomove.signal(); /*segnale*/<br />
}<br />
}<br />
else<br />
{<br />
ovest--;<br />
r=head(q); /* leggo la prossima auto che aspetta di entrare */<br />
if(ovest == 0 || r == "O") /*nessuna auto in transito nel ponte o il prossimo va nella stessa direzione*/<br />
{<br />
turn = 0; /*avanti un altro */<br />
}<br />
if(!empty(q))<br />
{<br />
q.dequeue(); <br />
oktomove.signal(); /*segnale*/<br />
}<br />
}<br />
}<br />
<br />
}<br />
</syntaxhighlight><br />
<br />
------<br />
<br />
<syntaxhighlight lang="C"><br />
/*<br />
* URL: http://www.cs.unibo.it/~renzo/so/compiti/2014.01.22.tot.pdf<br />
* author: Tommaso Ognibene<br />
*/<br />
<br />
monitor bridge<br />
{<br />
condition okE; // attraversare in direzione Est<br />
condition okW; // attraversare in direzione Ovest<br />
int n = 0; // numero di veicoli sul ponte<br />
int waitingE = 0; // numero di veicoli che attendono di attraversare in direzione Est<br />
int waitingW = 0; // numero di veicoli che attendono di attraversare in direzione Ovest<br />
bool toE = true; // direzione di attraversamento<br />
<br />
procedure entry enter(Vehicle vehicle)<br />
{<br />
// [Case 1] Il veicolo vuole attraversare in direzione Ovest<br />
if (vehicle.To == 'W')<br />
{<br />
/* Se - il numero di veicoli sul ponte ha raggiunto il massimo; oppure<br />
- qualcuno sta attraversando in direzione opposta; oppure<br />
- qualcuno sta attendendo di attraversare in direzione opposta */<br />
if (n == N || (toE && n > 0) || (!toE && waitingE > 0))<br />
{<br />
// Mi fermo e attendo di essere sbloccato<br />
waitingW++;<br />
okW.wait();<br />
waitingW--;<br />
}<br />
toE = false;<br />
n++;<br />
<br />
/* Se possibile, sblocco eventuali altri veicoli in attesa per la stessa direzione.<br />
* Questo non crea starvation in quanto sono sicuramente un numero limitato. */<br />
if (n < N && waitingE == 0)<br />
okW.signal();<br />
}<br />
// [Case 2] Il veicolo vuole attraversare in direzione Est<br />
else<br />
{<br />
/* Se - il numero di veicoli sul ponte ha raggiunto il massimo; oppure<br />
- qualcuno sta attraversando in direzione opposta; oppure<br />
- qualcuno sta attendendo di attraversare in direzione opposta */<br />
if (n == N || (!toE && n > 0) || (toE && waitingW > 0))<br />
{<br />
// Mi fermo e attendo di essere sbloccato<br />
waitingE++;<br />
okE.wait();<br />
waitingE--;<br />
}<br />
toE = true;<br />
n++;<br />
<br />
/* Se possibile, sblocco eventuali altri veicoli in attesa per la stessa direzione.<br />
* Questo non crea starvation in quanto sono sicuramente un numero limitato. */<br />
if (n < N && waitingW == 0)<br />
okE.signal();<br />
}<br />
}<br />
<br />
procedure entry exit(Vehicle vehicle)<br />
{<br />
n--;<br />
/* Se nessuno sta attraversando il ponte */<br />
if (n == 0)<br />
{<br />
// [Case 1] L'ultimo ad attraversare andava in direzione Ovest<br />
if (vehicle.To == 'W')<br />
{<br />
/* Se esiste, attivo il veicolo che per primo si era messo<br />
in attesa per la direzione opposta */<br />
if (waitingE > 0)<br />
okE.signal();<br />
else<br />
okW.signal();<br />
}<br />
// [Case 2] L'ultimo ad attraversare andava in direzione Est<br />
else<br />
{<br />
/* Se esiste, attivo il veicolo che per primo si era messo<br />
in attesa per la direzione opposta */<br />
if (waitingW > 0)<br />
okW.signal();<br />
else<br />
okE.signal();<br />
}<br />
}<br />
}<br />
}<br />
</syntaxhighlight></div>
AlexJ
https://so.v2.cs.unibo.it/wiki/index.php?title=ProvaTeorica_2014.01.22&diff=471
ProvaTeorica 2014.01.22
2014-03-19T08:12:22Z
<p>AlexJ: </p>
<hr />
<div><br />
<br />
<syntaxhighlight lang="C"><br />
<br />
URL: http://www.cs.unibo.it/~renzo/so/compiti/2014.01.22.tot.pdf<br />
<br />
@author: Alessandro<br />
<br />
<br />
monitor bridge {<br />
condition oktomove; /*si muove solo se il ponte è libero o non ci sono auto che vengono nel senso opposto */<br />
int turn=0; /*indica il senso delle auto */<br />
int est=0,ovest=0; /*contatori delle auto da est e da ovest */<br />
Queue q; /*coda delle senso delle macchine in attesa */<br />
<br />
procedure entry enter (char EoW)<br />
{<br />
if(EoW == "E") /* viene da est */<br />
{<br />
if(turn == 2 || est >=N || !empty(q)) <br />
{<br />
q=enqueue("E"); /*inserisco nella coda dei sensi*/ <br />
oktomove.wait(); /*aspetta*/<br />
<br />
}<br />
turn = 1; /*impongo il senso delle auto in circolo nel ponte */<br />
est++;<br />
}<br />
else /* viene da ovest */<br />
{<br />
if(turn ==1 || ovest >=N || !empty(q))<br />
{<br />
q=enqueue("O"); /*inserisco nella coda dei sensi*/<br />
oktomove.wait(); /*aspetta*/<br />
<br />
}<br />
turn = 2; /*impongo il senso delle auto in circolo nel ponte */<br />
ovest++;<br />
}<br />
}<br />
<br />
procedure entry exit(char EoW)<br />
{<br />
char r;<br />
if(EoW == "O")<br />
{<br />
est--;<br />
r=head(q); /* leggo la prossima auto che aspetta di entrare */<br />
if(est == 0 || r == "E") /*nessuna auto in transito nel ponte o il prossimo va nella stessa direzione*/<br />
{<br />
est--;<br />
if(est == 0) /*nessuna auto in transito nel ponte */<br />
{<br />
turn = 0; /*avanti un altro */<br />
}<br />
if(!empty(q))<br />
{<br />
q.dequeue();<br />
oktomove.signal(); /*segnale*/<br />
}<br />
}<br />
else<br />
{<br />
ovest--;<br />
r=head(q); /* leggo la prossima auto che aspetta di entrare */<br />
if(ovest == 0 || r == "O") /*nessuna auto in transito nel ponte o il prossimo va nella stessa direzione*/<br />
{<br />
turn = 0; /*avanti un altro */<br />
}<br />
if(!empty(q))<br />
{<br />
q.dequeue(); <br />
oktomove.signal(); /*segnale*/<br />
}<br />
}<br />
}<br />
<br />
}<br />
</syntaxhighlight><br />
<br />
------<br />
<br />
<syntaxhighlight lang="C"><br />
/*<br />
* URL: http://www.cs.unibo.it/~renzo/so/compiti/2014.01.22.tot.pdf<br />
* author: Tommaso Ognibene<br />
*/<br />
<br />
monitor bridge<br />
{<br />
condition okE; // attraversare in direzione Est<br />
condition okW; // attraversare in direzione Ovest<br />
int n = 0; // numero di veicoli sul ponte<br />
int waitingE = 0; // numero di veicoli che attendono di attraversare in direzione Est<br />
int waitingW = 0; // numero di veicoli che attendono di attraversare in direzione Ovest<br />
bool toE = true; // direzione di attraversamento<br />
<br />
procedure entry enter(Vehicle vehicle)<br />
{<br />
// [Case 1] Il veicolo vuole attraversare in direzione Ovest<br />
if (vehicle.To == 'W')<br />
{<br />
/* Se - il numero di veicoli sul ponte ha raggiunto il massimo; oppure<br />
- qualcuno sta attraversando in direzione opposta; oppure<br />
- qualcuno sta attendendo di attraversare in direzione opposta */<br />
if (n == N || (toE && n > 0) || (!toE && waitingE > 0))<br />
{<br />
// Mi fermo e attendo di essere sbloccato<br />
waitingW++;<br />
okW.wait();<br />
waitingW--;<br />
}<br />
toE = false;<br />
n++;<br />
<br />
/* Se possibile, sblocco eventuali altri veicoli in attesa per la stessa direzione.<br />
* Questo non crea starvation in quanto sono sicuramente un numero limitato. */<br />
if (n < N && waitingE == 0)<br />
okW.signal();<br />
}<br />
// [Case 2] Il veicolo vuole attraversare in direzione Est<br />
else<br />
{<br />
/* Se - il numero di veicoli sul ponte ha raggiunto il massimo; oppure<br />
- qualcuno sta attraversando in direzione opposta; oppure<br />
- qualcuno sta attendendo di attraversare in direzione opposta */<br />
if (n == N || (!toE && n > 0) || (toE && waitingW > 0))<br />
{<br />
// Mi fermo e attendo di essere sbloccato<br />
waitingE++;<br />
okE.wait();<br />
waitingE--;<br />
}<br />
toE = true;<br />
n++;<br />
<br />
/* Se possibile, sblocco eventuali altri veicoli in attesa per la stessa direzione.<br />
* Questo non crea starvation in quanto sono sicuramente un numero limitato. */<br />
if (n < N && waitingW == 0)<br />
okE.signal();<br />
}<br />
}<br />
<br />
procedure entry exit(Vehicle vehicle)<br />
{<br />
n--;<br />
/* Se nessuno sta attraversando il ponte */<br />
if (n == 0)<br />
{<br />
// [Case 1] L'ultimo ad attraversare andava in direzione Ovest<br />
if (vehicle.To == 'W')<br />
{<br />
/* Se esiste, attivo il veicolo che per primo si era messo<br />
in attesa per la direzione opposta */<br />
if (waitingE > 0)<br />
okE.signal();<br />
else<br />
okW.signal();<br />
}<br />
// [Case 2] L'ultimo ad attraversare andava in direzione Est<br />
else<br />
{<br />
/* Se esiste, attivo il veicolo che per primo si era messo<br />
in attesa per la direzione opposta */<br />
if (waitingW > 0)<br />
okW.signal();<br />
else<br />
okE.signal();<br />
}<br />
}<br />
}<br />
}<br />
</syntaxhighlight></div>
AlexJ
https://so.v2.cs.unibo.it/wiki/index.php?title=ProvaTeorica_2014.01.22&diff=428
ProvaTeorica 2014.01.22
2014-03-15T15:22:13Z
<p>AlexJ: </p>
<hr />
<div><br />
<br />
<syntaxhighlight lang="C"><br />
<br />
URL: http://www.cs.unibo.it/~renzo/so/compiti/2014.01.22.tot.pdf<br />
<br />
@author: Alessandro<br />
<br />
<br />
monitor bridge {<br />
condition oktomove; /*si muove solo se il ponte è libero o non ci sono auto che vengono nel senso opposto */<br />
int turn=0; /*indica il senso delle auto */<br />
int est=0,ovest=0; /*contatori delle auto da est e da ovest */<br />
Queue q; /*coda delle senso delle macchine in attesa */<br />
<br />
procedure entry enter (char EoW)<br />
{<br />
if(EoW == "E") /* viene da est */<br />
{<br />
if(turn == 2 || est >=N || !empty(q)) <br />
{<br />
q=equeue("E"); /*inserisco nella coda dei sensi*/ <br />
oktomove.wait(); /*aspetta*/<br />
<br />
}<br />
turn = 1; /*impongo il senso delle auto in circolo nel ponte */<br />
est++;<br />
}<br />
else /* viene da ovest */<br />
{<br />
if(turn ==1 || ovest >=N || !empty(q))<br />
{<br />
q=equeue("O"); /*inserisco nella coda dei sensi*/<br />
oktomove.wait(); /*aspetta*/<br />
<br />
}<br />
turn = 2; /*impongo il senso delle auto in circolo nel ponte */<br />
ovest++;<br />
}<br />
}<br />
<br />
procedure entry exit(char EoW)<br />
{<br />
char r;<br />
if(EoW == "O")<br />
{<br />
est--;<br />
r=tail(q);<br />
if(est == 0 || r == "E")<br />
{<br />
est--;<br />
if(est == 0) /*nessuna auto in transito nel ponte */<br />
{<br />
turn = 0; /*avanti un altro */<br />
}<br />
if(!empty(q))<br />
{<br />
q.dequeue();<br />
oktomove.signal(); /*segnale*/<br />
}<br />
}<br />
else<br />
{<br />
ovest--;<br />
r=tail(q);<br />
if(ovest == 0 || r == "O") /*nessuna auto in transito nel ponte */<br />
{<br />
turn = 0; /*avanti un altro */<br />
}<br />
if(!empty(q))<br />
{<br />
q.dequeue(); <br />
oktomove.signal(); /*segnale*/<br />
}<br />
}<br />
}<br />
<br />
}</div>
AlexJ
https://so.v2.cs.unibo.it/wiki/index.php?title=ProvaTeorica_2014.01.22&diff=427
ProvaTeorica 2014.01.22
2014-03-14T23:24:42Z
<p>AlexJ: </p>
<hr />
<div><br />
<br />
<syntaxhighlight lang="C"><br />
<br />
URL: http://www.cs.unibo.it/~renzo/so/compiti/2014.01.22.tot.pdf<br />
<br />
@author: Alessandro<br />
<br />
<br />
monitor bridge {<br />
condition oktomove; /*si muove solo se il ponte è libero o non ci sono auto che vengono nel senso opposto */<br />
int turn=0; /*indica il senso delle auto */<br />
int est=0,ovest=0; /*contatori delle auto da est e da ovest */<br />
Queue q; /*coda delle senso delle macchine in attesa */<br />
<br />
procedure entry enter (char EoW)<br />
{<br />
if(EoW == "E") /* viene da est */<br />
{<br />
if(turn == 2 || est >=N || !empty(q)) <br />
{<br />
q=equeue("E"); /*inserisco nella coda dei sensi*/ <br />
oktomove.wait(); /*aspetta*/<br />
<br />
}<br />
turn = 1; /*impongo il senso delle auto in circolo nel ponte */<br />
est++;<br />
}<br />
else /* viene da ovest */<br />
{<br />
if(turn ==1 || ovest >=N || !empty(q))<br />
{<br />
q=equeue("O"); /*inserisco nella coda dei sensi*/<br />
oktomove.wait(); /*aspetta*/<br />
<br />
}<br />
turn = 2; /*impongo il senso delle auto in circolo nel ponte */<br />
ovest++;<br />
}<br />
}<br />
<br />
procedure entry exit(char EoW)<br />
{<br />
char r;<br />
if(EoW == "O")<br />
{<br />
est--;<br />
r=tail(q);<br />
if(est == 0 || r == "E")<br />
{<br />
est--;<br />
if(est == 0) /*nessuna auto in transito nel ponte */<br />
{<br />
turn = 0; /*avanti un altro */<br />
}<br />
if(!empty(q))<br />
{<br />
q.dequeue();<br />
oktomove.signal(); /*segnale*/<br />
}<br />
}<br />
else<br />
{<br />
ovest--;<br />
if(ovest == 0) /*nessuna auto in transito nel ponte */<br />
{<br />
turn = 0; /*avanti un altro */<br />
}<br />
if(!empty(q))<br />
{<br />
q.dequeue(); <br />
oktomove.signal(); /*segnale*/<br />
}<br />
}<br />
}<br />
<br />
}</div>
AlexJ
https://so.v2.cs.unibo.it/wiki/index.php?title=ProvaTeorica_2014.01.22&diff=426
ProvaTeorica 2014.01.22
2014-03-14T23:20:43Z
<p>AlexJ: </p>
<hr />
<div><br />
<br />
<syntaxhighlight lang="C"><br />
<br />
URL: http://www.cs.unibo.it/~renzo/so/compiti/2014.01.22.tot.pdf<br />
<br />
@author: Alessandro<br />
<br />
<br />
monitor bridge {<br />
condition oktomove; /*si muove solo se il ponte è libero o non ci sono auto che vengono nel senso opposto */<br />
int turn=0; /*indica il senso delle auto */<br />
int est=0,ovest=0; /*contatori delle auto da est e da ovest */<br />
Queue q; /*coda delle senso delle macchine in attesa */<br />
<br />
procedure entry enter (char EoW)<br />
{<br />
if(EoW == "E") /* viene da est */<br />
{<br />
if(turn == 2 || est >=N || !empty(q)) <br />
{<br />
q=equeue("E"); /*inserisco nella coda dei sensi*/ <br />
oktomove.wait(); /*aspetta*/<br />
<br />
}<br />
turn = 1; /*impongo il senso delle auto in circolo nel ponte */<br />
est++;<br />
}<br />
else /* viene da ovest */<br />
{<br />
if(turn ==1 || ovest >=N || !empty(q))<br />
{<br />
q=equeue("O"); /*inserisco nella coda dei sensi*/<br />
oktomove.wait(); /*aspetta*/<br />
<br />
}<br />
turn = 2; /*impongo il senso delle auto in circolo nel ponte */<br />
ovest++;<br />
}<br />
}<br />
<br />
procedure entry exit(char EoW)<br />
{<br />
char r;<br />
if(EoW == "O")<br />
{<br />
est--;<br />
r=tail(q);<br />
if(est == 0 || r == "E")<br />
{<br />
est--;<br />
if(est == 0) /*nessuna auto in transito nel ponte */<br />
{<br />
turn = 0; /*avanti un altro */<br />
}<br />
if(!empty(q))<br />
{<br />
q.dequeue();<br />
oktomove.signal(); /*segnale*/<br />
}<br />
else<br />
{<br />
ovest--;<br />
if(ovest == 0) /*nessuna auto in transito nel ponte */<br />
{<br />
turn = 0; /*avanti un altro */<br />
}<br />
if(!empty(q))<br />
{<br />
q.dequeue(); <br />
oktomove.signal(); /*segnale*/<br />
}<br />
}<br />
}<br />
<br />
}</div>
AlexJ
https://so.v2.cs.unibo.it/wiki/index.php?title=Main_Page&diff=425
Main Page
2014-03-14T23:17:56Z
<p>AlexJ: </p>
<hr />
<div>Questo &egrave; il Wiki del Corso di Sistemi Operativi<br />
<br />
[[Esercizi a caso del Prof.]]<br />
<br />
[[Decalogo di Programmazione Concorrente]]<br />
<br />
[[Python Programma tieni punteggio.]]<br />
<br />
[[Comandi visti alle lezioni.]]<br />
<br />
[[SYS CALL viste a lezione.]]<br />
<br />
[[Parametri con getopt().]]<br />
<br />
[[Funzione con numero variabile di parametri.]]<br />
<br />
[[stampf - implementazione ridotta della printf.]]<br />
<br />
[[ProvaPratica 2013.09.13]]<br />
<br />
[[ProvaPratica 2013.07.18]]<br />
<br />
[[ProvaPratica 2013.06.21]]<br />
<br />
[[ProvaPratica 2013.05.29]]<br />
<br />
[[ProvaPratica 2013.02.15]]<br />
<br />
[[ProvaPratica 2013.01.25]]<br />
<br />
[[ProvaTeoria_2011.07.25]]<br />
<br />
[[ProvaTeorica_2014.01.22]]<br />
----<br />
Ricordate che per creare un account o quando viene richiesto di risolvere un semplice calcolo occorre ricordare quanto scritto [[qui]]</div>
AlexJ
https://so.v2.cs.unibo.it/wiki/index.php?title=ProvaTeorica_2014.01.22&diff=424
ProvaTeorica 2014.01.22
2014-03-14T23:16:02Z
<p>AlexJ: /* ProvaTeorica 2014.01.22 */</p>
<hr />
<div><br />
<br />
<syntaxhighlight lang="C"><br />
<br />
http://www.cs.unibo.it/~renzo/so/compiti/2014.01.22.tot.pdf<br />
<br />
<br />
monitor bridge {<br />
condition oktomove; /*si muove solo se il ponte è libero o non ci sono auto che vengono nel senso opposto */<br />
int turn=0; /*indica il senso delle auto */<br />
int est=0,ovest=0; /*contatori delle auto da est e da ovest */<br />
Queue q; /*coda delle senso delle macchine in attesa */<br />
<br />
procedure entry enter (char EoW)<br />
{<br />
if(EoW == "E") /* viene da est */<br />
{<br />
if(turn == 2 || est >=N || !empty(q)) <br />
{<br />
q=equeue("E"); /*inserisco nella coda dei sensi*/ <br />
oktomove.wait(); /*aspetta*/<br />
<br />
}<br />
turn = 1; /*impongo il senso delle auto in circolo nel ponte */<br />
est++;<br />
}<br />
else /* viene da ovest */<br />
{<br />
if(turn ==1 || ovest >=N || !empty(q))<br />
{<br />
q=equeue("O"); /*inserisco nella coda dei sensi*/<br />
oktomove.wait(); /*aspetta*/<br />
<br />
}<br />
turn = 2; /*impongo il senso delle auto in circolo nel ponte */<br />
ovest++;<br />
}<br />
}<br />
<br />
procedure entry exit(char EoW)<br />
{<br />
char r;<br />
if(EoW == "O")<br />
{<br />
est--;<br />
r=tail(q);<br />
if(est == 0 || r == "E")<br />
{<br />
est--;<br />
if(est == 0) /*nessuna auto in transito nel ponte */<br />
{<br />
turn = 0; /*avanti un altro */<br />
}<br />
if(!empty(q))<br />
{<br />
q.dequeue();<br />
oktomove.signal(); /*segnale*/<br />
}<br />
else<br />
{<br />
ovest--;<br />
if(ovest == 0) /*nessuna auto in transito nel ponte */<br />
{<br />
turn = 0; /*avanti un altro */<br />
}<br />
if(!empty(q))<br />
{<br />
q.dequeue(); <br />
oktomove.signal(); /*segnale*/<br />
}<br />
}<br />
}<br />
<br />
}</div>
AlexJ
https://so.v2.cs.unibo.it/wiki/index.php?title=ProvaTeorica_2014.01.22&diff=423
ProvaTeorica 2014.01.22
2014-03-14T23:15:40Z
<p>AlexJ: Created page with "== ProvaTeorica 2014.01.22 == <syntaxhighlight lang="C"> http://www.cs.unibo.it/~renzo/so/compiti/2014.01.22.tot.pdf monitor bridge { condition oktomove; /*si muove solo s..."</p>
<hr />
<div>== ProvaTeorica 2014.01.22 ==<br />
<br />
<syntaxhighlight lang="C"><br />
<br />
http://www.cs.unibo.it/~renzo/so/compiti/2014.01.22.tot.pdf<br />
<br />
<br />
monitor bridge {<br />
condition oktomove; /*si muove solo se il ponte è libero o non ci sono auto che vengono nel senso opposto */<br />
int turn=0; /*indica il senso delle auto */<br />
int est=0,ovest=0; /*contatori delle auto da est e da ovest */<br />
Queue q; /*coda delle senso delle macchine in attesa */<br />
<br />
procedure entry enter (char EoW)<br />
{<br />
if(EoW == "E") /* viene da est */<br />
{<br />
if(turn == 2 || est >=N || !empty(q)) <br />
{<br />
q=equeue("E"); /*inserisco nella coda dei sensi*/ <br />
oktomove.wait(); /*aspetta*/<br />
<br />
}<br />
turn = 1; /*impongo il senso delle auto in circolo nel ponte */<br />
est++;<br />
}<br />
else /* viene da ovest */<br />
{<br />
if(turn ==1 || ovest >=N || !empty(q))<br />
{<br />
q=equeue("O"); /*inserisco nella coda dei sensi*/<br />
oktomove.wait(); /*aspetta*/<br />
<br />
}<br />
turn = 2; /*impongo il senso delle auto in circolo nel ponte */<br />
ovest++;<br />
}<br />
}<br />
<br />
procedure entry exit(char EoW)<br />
{<br />
char r;<br />
if(EoW == "O")<br />
{<br />
est--;<br />
r=tail(q);<br />
if(est == 0 || r == "E")<br />
{<br />
est--;<br />
if(est == 0) /*nessuna auto in transito nel ponte */<br />
{<br />
turn = 0; /*avanti un altro */<br />
}<br />
if(!empty(q))<br />
{<br />
q.dequeue();<br />
oktomove.signal(); /*segnale*/<br />
}<br />
else<br />
{<br />
ovest--;<br />
if(ovest == 0) /*nessuna auto in transito nel ponte */<br />
{<br />
turn = 0; /*avanti un altro */<br />
}<br />
if(!empty(q))<br />
{<br />
q.dequeue(); <br />
oktomove.signal(); /*segnale*/<br />
}<br />
}<br />
}<br />
<br />
}</div>
AlexJ
https://so.v2.cs.unibo.it/wiki/index.php?title=User_talk:AlexJ&diff=422
User talk:AlexJ
2014-03-14T23:12:43Z
<p>AlexJ: /* ProvaTeorica 2014.01.22 */</p>
<hr />
<div>== ProvaTeorica 2014.01.22 ==<br />
<br />
<syntaxhighlight lang="C"><br />
<br />
http://www.cs.unibo.it/~renzo/so/compiti/2014.01.22.tot.pdf<br />
<br />
<br />
monitor bridge {<br />
condition oktomove; /*si muove solo se il ponte è libero o non ci sono auto che vengono nel senso opposto */<br />
int turn=0; /*indica il senso delle auto */<br />
int est=0,ovest=0; /*contatori delle auto da est e da ovest */<br />
Queue q; /*coda delle senso delle macchine in attesa */<br />
<br />
procedure entry enter (char EoW)<br />
{<br />
if(EoW == "E") /* viene da est */<br />
{<br />
if(turn == 2 || est >=N || !empty(q)) <br />
{<br />
q=equeue("E"); /*inserisco nella coda dei sensi*/ <br />
oktomove.wait(); /*aspetta*/<br />
<br />
}<br />
turn = 1; /*impongo il senso delle auto in circolo nel ponte */<br />
est++;<br />
}<br />
else /* viene da ovest */<br />
{<br />
if(turn ==1 || ovest >=N || !empty(q))<br />
{<br />
q=equeue("O"); /*inserisco nella coda dei sensi*/<br />
oktomove.wait(); /*aspetta*/<br />
<br />
}<br />
turn = 2; /*impongo il senso delle auto in circolo nel ponte */<br />
ovest++;<br />
}<br />
}<br />
<br />
procedure entry exit(char EoW)<br />
{<br />
char r;<br />
if(EoW == "O")<br />
{<br />
est--;<br />
r=tail(q);<br />
if(est == 0 || r == "E")<br />
{<br />
est--;<br />
if(est == 0) /*nessuna auto in transito nel ponte */<br />
{<br />
turn = 0; /*avanti un altro */<br />
}<br />
if(!empty(q))<br />
{<br />
q.dequeue();<br />
oktomove.signal(); /*segnale*/<br />
}<br />
else<br />
{<br />
ovest--;<br />
if(ovest == 0) /*nessuna auto in transito nel ponte */<br />
{<br />
turn = 0; /*avanti un altro */<br />
}<br />
if(!empty(q))<br />
{<br />
q.dequeue(); <br />
oktomove.signal(); /*segnale*/<br />
}<br />
}<br />
}<br />
<br />
}</div>
AlexJ
https://so.v2.cs.unibo.it/wiki/index.php?title=User_talk:AlexJ&diff=421
User talk:AlexJ
2014-03-14T23:11:43Z
<p>AlexJ: /* ProvaTeorica 2014.01.22 */ new section</p>
<hr />
<div>== ProvaTeorica 2014.01.22 ==<br />
<br />
<syntaxhighlight lang="C"><br />
<br />
http://www.cs.unibo.it/~renzo/so/compiti/2014.01.22.tot.pdf<br />
<br />
<br />
monitor bridge {<br />
condition oktomove; /*si muove solo se il ponte è libero o non ci sono auto che vengono nel senso opposto */<br />
int turn=0; /*indica il senso delle auto */<br />
int est=0,ovest=0; /*contatori delle auto da est e da ovest */<br />
Queue q; /*coda delle senso delle macchine in attesa */<br />
<br />
procedure entry enter (char EoW)<br />
{<br />
if(EoW == "E") /* viene da est */<br />
{<br />
if(turn == 2 || est >=N || !empty(q)) <br />
{<br />
q=equeue("E"); /*inserisco nella coda dei sensi*/ <br />
oktomove.wait(); /*aspetta*/<br />
<br />
}<br />
turn = 1; /*impongo il senso delle auto in circolo nel ponte */<br />
est++;<br />
}<br />
else /* viene da ovest */<br />
{<br />
if(turn ==1 || ovest >=N || !empty(q))<br />
{<br />
q=equeue("O"); /*inserisco nella coda dei sensi*/<br />
oktomove.wait(); /*aspetta*/<br />
<br />
}<br />
turn = 2; /*impongo il senso delle auto in circolo nel ponte */<br />
ovest++;<br />
}<br />
}<br />
<br />
procedure entry exit(char EoW)<br />
{<br />
char r;<br />
if(EoW == "O")<br />
{<br />
est--;<br />
r=tail(q);<br />
if(est == 0 || r == "E")<br />
{<br />
est--;<br />
if(est == 0) /*nessuna auto in transito nel ponte */<br />
{<br />
turn = 0; /*avanti un altro */<br />
}<br />
if(!empty(q))<br />
{<br />
q.dequeue();<br />
oktomove.signal(); /*segnale*/<br />
}<br />
else<br />
{<br />
ovest--;<br />
if(ovest == 0) /*nessuna auto in transito nel ponte */<br />
{<br />
turn = 0; /*avanti un altro */<br />
}<br />
if(!empty(q))<br />
{<br />
q.dequeue(); <br />
oktomove.signal(); /*segnale*/<br />
}<br />
}<br />
}<br />
<br />
}</div>
AlexJ
https://so.v2.cs.unibo.it/wiki/index.php?title=User:AlexJ&diff=420
User:AlexJ
2014-03-14T23:06:53Z
<p>AlexJ: Blanked the page</p>
<hr />
<div></div>
AlexJ
https://so.v2.cs.unibo.it/wiki/index.php?title=User_talk:AlexJ&diff=419
User talk:AlexJ
2014-03-14T22:59:33Z
<p>AlexJ: Blanked the page</p>
<hr />
<div></div>
AlexJ
https://so.v2.cs.unibo.it/wiki/index.php?title=User_talk:Python&diff=418
User talk:Python
2014-03-14T22:54:33Z
<p>AlexJ: </p>
<hr />
<div><syntaxhighlight lang="C"><br />
<br />
Esame 2014.01.22<br />
<br />
[[ http://www.cs.unibo.it/~renzo/so/compiti/2014.01.22.tot.pdf ]]<br />
<br />
monitor bridge {<br />
condition oktomove; /*si muove solo se il ponte è libero o non ci sono auto che vengono nel senso opposto */<br />
int turn=0; /*indica il senso delle auto */<br />
int est=0,ovest=0; /*contatori delle auto da est e da ovest */<br />
Queue q; /*coda delle senso delle macchine in attesa */<br />
<br />
procedure entry enter (char EoW)<br />
{<br />
if(EoW == "E") /* viene da est */<br />
{<br />
if(turn == 2 || est >=N || !empty(q)) <br />
{<br />
q=equeue("E"); /*inserisco nella coda dei sensi*/ <br />
oktomove.wait(); /*aspetta*/<br />
<br />
}<br />
turn = 1; /*impongo il senso delle auto in circolo nel ponte */<br />
est++;<br />
}<br />
else /* viene da ovest */<br />
{<br />
if(turn ==1 || ovest >=N || !empty(q))<br />
{<br />
q=equeue("O"); /*inserisco nella coda dei sensi*/<br />
oktomove.wait(); /*aspetta*/<br />
<br />
}<br />
turn = 2; /*impongo il senso delle auto in circolo nel ponte */<br />
ovest++;<br />
}<br />
}<br />
<br />
procedure entry exit(char EoW)<br />
{<br />
char r;<br />
if(EoW == "O")<br />
{<br />
est--;<br />
r=tail(q);<br />
if(est == 0 || r == "E")<br />
{<br />
est--;<br />
if(est == 0) /*nessuna auto in transito nel ponte */<br />
{<br />
turn = 0; /*avanti un altro */<br />
}<br />
if(!empty(q))<br />
{<br />
q.dequeue();<br />
oktomove.signal(); /*segnale*/<br />
}<br />
else<br />
{<br />
ovest--;<br />
if(ovest == 0) /*nessuna auto in transito nel ponte */<br />
{<br />
turn = 0; /*avanti un altro */<br />
}<br />
if(!empty(q))<br />
{<br />
q.dequeue(); <br />
oktomove.signal(); /*segnale*/<br />
}<br />
}<br />
}<br />
<br />
}</div>
AlexJ
https://so.v2.cs.unibo.it/wiki/index.php?title=User_talk:Python&diff=417
User talk:Python
2014-03-14T22:53:26Z
<p>AlexJ: /* ProvaTeorica 2014.01.22 */ new section</p>
<hr />
<div><syntaxhighlight lang="C"><br />
<br />
Esame 2014.01.22<br />
<br />
[[ http://www.cs.unibo.it/~renzo/so/compiti/2014.01.22.tot.pdf ]]<br />
<br />
<br />
<br />
monitor bridge {<br />
condition oktomove; /*si muove solo se il ponte è libero o non ci sono auto che vengono nel senso opposto */<br />
int turn=0; /*indica il senso delle auto */<br />
int est=0,ovest=0; /*contatori delle auto da est e da ovest */<br />
Queue q; /*coda delle senso delle macchine in attesa */<br />
<br />
procedure entry enter (char EoW)<br />
{<br />
if(EoW == "E") /* viene da est */<br />
{<br />
if(turn == 2 || est >=N || !empty(q)) <br />
{<br />
q=equeue("E"); /*inserisco nella coda dei sensi*/ <br />
oktomove.wait(); /*aspetta*/<br />
<br />
}<br />
turn = 1; /*impongo il senso delle auto in circolo nel ponte */<br />
est++;<br />
}<br />
else /* viene da ovest */<br />
{<br />
if(turn ==1 || ovest >=N || !empty(q))<br />
{<br />
q=equeue("O"); /*inserisco nella coda dei sensi*/<br />
oktomove.wait(); /*aspetta*/<br />
<br />
}<br />
turn = 2; /*impongo il senso delle auto in circolo nel ponte */<br />
ovest++;<br />
}<br />
}<br />
<br />
procedure entry exit(char EoW)<br />
{<br />
char r;<br />
if(EoW == "O")<br />
{<br />
est--;<br />
r=tail(q);<br />
if(est == 0 || r == "E")<br />
{<br />
est--;<br />
if(est == 0) /*nessuna auto in transito nel ponte */<br />
{<br />
turn = 0; /*avanti un altro */<br />
}<br />
if(!empty(q))<br />
{<br />
q.dequeue();<br />
oktomove.signal(); /*segnale*/<br />
}<br />
else<br />
{<br />
ovest--;<br />
if(ovest == 0) /*nessuna auto in transito nel ponte */<br />
{<br />
turn = 0; /*avanti un altro */<br />
}<br />
if(!empty(q))<br />
{<br />
q.dequeue(); <br />
oktomove.signal(); /*segnale*/<br />
}<br />
}<br />
}<br />
<br />
}<br />
<br />
== ProvaTeorica 2014.01.22 ==<br />
<br />
<syntaxhighlight lang="C"><br />
<br />
http://www.cs.unibo.it/~renzo/so/compiti/2014.01.22.tot.pdf<br />
<br />
<br />
monitor bridge {<br />
condition oktomove; /*si muove solo se il ponte è libero o non ci sono auto che vengono nel senso opposto */<br />
int turn=0; /*indica il senso delle auto */<br />
int est=0,ovest=0; /*contatori delle auto da est e da ovest */<br />
Queue q; /*coda delle senso delle macchine in attesa */<br />
<br />
procedure entry enter (char EoW)<br />
{<br />
if(EoW == "E") /* viene da est */<br />
{<br />
if(turn == 2 || est >=N || !empty(q)) <br />
{<br />
q=equeue("E"); /*inserisco nella coda dei sensi*/ <br />
oktomove.wait(); /*aspetta*/<br />
<br />
}<br />
turn = 1; /*impongo il senso delle auto in circolo nel ponte */<br />
est++;<br />
}<br />
else /* viene da ovest */<br />
{<br />
if(turn ==1 || ovest >=N || !empty(q))<br />
{<br />
q=equeue("O"); /*inserisco nella coda dei sensi*/<br />
oktomove.wait(); /*aspetta*/<br />
<br />
}<br />
turn = 2; /*impongo il senso delle auto in circolo nel ponte */<br />
ovest++;<br />
}<br />
}<br />
<br />
procedure entry exit(char EoW)<br />
{<br />
char r;<br />
if(EoW == "O")<br />
{<br />
est--;<br />
r=tail(q);<br />
if(est == 0 || r == "E")<br />
{<br />
est--;<br />
if(est == 0) /*nessuna auto in transito nel ponte */<br />
{<br />
turn = 0; /*avanti un altro */<br />
}<br />
if(!empty(q))<br />
{<br />
q.dequeue();<br />
oktomove.signal(); /*segnale*/<br />
}<br />
else<br />
{<br />
ovest--;<br />
if(ovest == 0) /*nessuna auto in transito nel ponte */<br />
{<br />
turn = 0; /*avanti un altro */<br />
}<br />
if(!empty(q))<br />
{<br />
q.dequeue(); <br />
oktomove.signal(); /*segnale*/<br />
}<br />
}<br />
}<br />
<br />
}</div>
AlexJ
https://so.v2.cs.unibo.it/wiki/index.php?title=User_talk:AlexJ&diff=416
User talk:AlexJ
2014-03-14T22:46:56Z
<p>AlexJ: AlexJ moved page User talk:AlexJ to User talk:Python</p>
<hr />
<div>#REDIRECT [[User talk:Python]]</div>
AlexJ
https://so.v2.cs.unibo.it/wiki/index.php?title=User_talk:Python&diff=415
User talk:Python
2014-03-14T22:46:56Z
<p>AlexJ: AlexJ moved page User talk:AlexJ to User talk:Python</p>
<hr />
<div><syntaxhighlight lang="C"><br />
<br />
Esame 2014.01.22<br />
<br />
[[ http://www.cs.unibo.it/~renzo/so/compiti/2014.01.22.tot.pdf ]]<br />
<br />
<br />
<br />
monitor bridge {<br />
condition oktomove; /*si muove solo se il ponte è libero o non ci sono auto che vengono nel senso opposto */<br />
int turn=0; /*indica il senso delle auto */<br />
int est=0,ovest=0; /*contatori delle auto da est e da ovest */<br />
Queue q; /*coda delle senso delle macchine in attesa */<br />
<br />
procedure entry enter (char EoW)<br />
{<br />
if(EoW == "E") /* viene da est */<br />
{<br />
if(turn == 2 || est >=N || !empty(q)) <br />
{<br />
q=equeue("E"); /*inserisco nella coda dei sensi*/ <br />
oktomove.wait(); /*aspetta*/<br />
<br />
}<br />
turn = 1; /*impongo il senso delle auto in circolo nel ponte */<br />
est++;<br />
}<br />
else /* viene da ovest */<br />
{<br />
if(turn ==1 || ovest >=N || !empty(q))<br />
{<br />
q=equeue("O"); /*inserisco nella coda dei sensi*/<br />
oktomove.wait(); /*aspetta*/<br />
<br />
}<br />
turn = 2; /*impongo il senso delle auto in circolo nel ponte */<br />
ovest++;<br />
}<br />
}<br />
<br />
procedure entry exit(char EoW)<br />
{<br />
char r;<br />
if(EoW == "O")<br />
{<br />
est--;<br />
r=tail(q);<br />
if(est == 0 || r == "E")<br />
{<br />
est--;<br />
if(est == 0) /*nessuna auto in transito nel ponte */<br />
{<br />
turn = 0; /*avanti un altro */<br />
}<br />
if(!empty(q))<br />
{<br />
q.dequeue();<br />
oktomove.signal(); /*segnale*/<br />
}<br />
else<br />
{<br />
ovest--;<br />
if(ovest == 0) /*nessuna auto in transito nel ponte */<br />
{<br />
turn = 0; /*avanti un altro */<br />
}<br />
if(!empty(q))<br />
{<br />
q.dequeue(); <br />
oktomove.signal(); /*segnale*/<br />
}<br />
}<br />
}<br />
<br />
}</div>
AlexJ
https://so.v2.cs.unibo.it/wiki/index.php?title=User:AlexJ&diff=414
User:AlexJ
2014-03-14T22:46:55Z
<p>AlexJ: AlexJ moved page User:AlexJ to User:Python</p>
<hr />
<div>#REDIRECT [[User:Python]]</div>
AlexJ
https://so.v2.cs.unibo.it/wiki/index.php?title=User:Python&diff=413
User:Python
2014-03-14T22:46:55Z
<p>AlexJ: AlexJ moved page User:AlexJ to User:Python</p>
<hr />
<div><br />
#ESERCIZIO 3 ESAME 20 GIUGNO 2013<br />
#Scrivere un programma python o uno script bash per cercare all'interno<br />
#della directory corrente tutti i file che abbiano lo stesso contenuto<br />
<br />
<br />
import os,sys<br />
import filecmp<br />
<br />
def ordina(A,B):<br />
for i in range(0,len(B)) :<br />
for j in range(i,len(B)) :<br />
if(B[i]>B[j]) :<br />
A[i],A[j]=A[j],A[i]<br />
B[i],B[j]=B[j],B[i]<br />
return A,B<br />
<br />
<br />
<br />
def main() :<br />
A=[]<br />
B=[]<br />
l=[]<br />
H={}<br />
P=[]<br />
print os.getcwd()<br />
pa=os.getcwd()<br />
for root, dirs, files in os.walk(pa):<br />
if(root != pa):<br />
H[root]=0<br />
for root, dirs, files in os.walk(pa):<br />
if (root == pa) :<br />
for name in files :<br />
f = pa + '/' + name<br />
A = os.listdir(pa)<br />
<br />
P = H.keys()<br />
for i in A :<br />
f = pa + '/' + i<br />
c = f in P<br />
if(c == 1) :<br />
A.remove(i)<br />
x=-1<br />
for root, dirs, files in os.walk(pa):<br />
if (root == pa) :<br />
for name in files :<br />
c = name in A<br />
if(c == 1) : <br />
x=x+1<br />
statinfo = os.stat(name)<br />
B.insert(x,statinfo.st_size)<br />
print<br />
l=list()<br />
(A,B)=ordina(A,B)<br />
j=1<br />
c=0 <br />
z=0 <br />
for i in range(0,(len(A)-1)) :<br />
if(B[i] == B[j]) :<br />
F1 = open(A[i],'r')<br />
F2 = open(A[j],'r')<br />
if(filecmp.cmp(A[i], A[j])) :<br />
c=1<br />
if(z==0):<br />
l.append(A[i])<br />
z=1<br />
l.append(A[j])<br />
<br />
if (B[i] != B[j] and c==1):<br />
print "Questi file sono uguali di dimensione : ",B[i], "Byte"<br />
print l<br />
l=[]<br />
c=0<br />
z=0<br />
print<br />
j=j+1 <br />
if(c==1) :<br />
print "Questi file sono uguali di dimensione : ",B[i]<br />
print l <br />
print<br />
<br />
if __name__ == "__main__" :<br />
main()</div>
AlexJ
https://so.v2.cs.unibo.it/wiki/index.php?title=User_talk:Python&diff=412
User talk:Python
2014-03-14T22:29:48Z
<p>AlexJ: </p>
<hr />
<div><syntaxhighlight lang="C"><br />
<br />
Esame 2014.01.22<br />
<br />
[[ http://www.cs.unibo.it/~renzo/so/compiti/2014.01.22.tot.pdf ]]<br />
<br />
<br />
<br />
monitor bridge {<br />
condition oktomove; /*si muove solo se il ponte è libero o non ci sono auto che vengono nel senso opposto */<br />
int turn=0; /*indica il senso delle auto */<br />
int est=0,ovest=0; /*contatori delle auto da est e da ovest */<br />
Queue q; /*coda delle senso delle macchine in attesa */<br />
<br />
procedure entry enter (char EoW)<br />
{<br />
if(EoW == "E") /* viene da est */<br />
{<br />
if(turn == 2 || est >=N || !empty(q)) <br />
{<br />
q=equeue("E"); /*inserisco nella coda dei sensi*/ <br />
oktomove.wait(); /*aspetta*/<br />
<br />
}<br />
turn = 1; /*impongo il senso delle auto in circolo nel ponte */<br />
est++;<br />
}<br />
else /* viene da ovest */<br />
{<br />
if(turn ==1 || ovest >=N || !empty(q))<br />
{<br />
q=equeue("O"); /*inserisco nella coda dei sensi*/<br />
oktomove.wait(); /*aspetta*/<br />
<br />
}<br />
turn = 2; /*impongo il senso delle auto in circolo nel ponte */<br />
ovest++;<br />
}<br />
}<br />
<br />
procedure entry exit(char EoW)<br />
{<br />
char r;<br />
if(EoW == "O")<br />
{<br />
est--;<br />
r=tail(q);<br />
if(est == 0 || r == "E")<br />
{<br />
est--;<br />
if(est == 0) /*nessuna auto in transito nel ponte */<br />
{<br />
turn = 0; /*avanti un altro */<br />
}<br />
if(!empty(q))<br />
{<br />
q.dequeue();<br />
oktomove.signal(); /*segnale*/<br />
}<br />
else<br />
{<br />
ovest--;<br />
if(ovest == 0) /*nessuna auto in transito nel ponte */<br />
{<br />
turn = 0; /*avanti un altro */<br />
}<br />
if(!empty(q))<br />
{<br />
q.dequeue(); <br />
oktomove.signal(); /*segnale*/<br />
}<br />
}<br />
}<br />
<br />
}</div>
AlexJ
https://so.v2.cs.unibo.it/wiki/index.php?title=User_talk:Python&diff=411
User talk:Python
2014-03-14T22:27:57Z
<p>AlexJ: </p>
<hr />
<div><syntaxhighlight lang="C"><br />
<br />
Esame 2014.01.22<br />
<br />
[http://www.cs.unibo.it/~renzo/so/compiti/2014.01.22.tot.pdf]<br />
<br />
<br />
<br />
monitor bridge {<br />
condition oktomove; /*si muove solo se il ponte è libero o non ci sono auto che vengono nel senso opposto */<br />
int turn=0; /*indica il senso delle auto */<br />
int est=0,ovest=0; /*contatori delle auto da est e da ovest */<br />
Queue q; /*coda delle senso delle macchine in attesa */<br />
<br />
procedure entry enter (char EoW)<br />
{<br />
if(EoW == "E") /* viene da est */<br />
{<br />
if(turn == 2 || est >=N || !empty(q)) <br />
{<br />
q=equeue("E"); /*inserisco nella coda dei sensi*/ <br />
oktomove.wait(); /*aspetta*/<br />
<br />
}<br />
turn = 1; /*impongo il senso delle auto in circolo nel ponte */<br />
est++;<br />
}<br />
else /* viene da ovest */<br />
{<br />
if(turn ==1 || ovest >=N || !empty(q))<br />
{<br />
q=equeue("O"); /*inserisco nella coda dei sensi*/<br />
oktomove.wait(); /*aspetta*/<br />
<br />
}<br />
turn = 2; /*impongo il senso delle auto in circolo nel ponte */<br />
ovest++;<br />
}<br />
}<br />
<br />
procedure entry exit(char EoW)<br />
{<br />
char r;<br />
if(EoW == "O")<br />
{<br />
est--;<br />
r=tail(q);<br />
if(est == 0 || r == "E")<br />
{<br />
est--;<br />
if(est == 0) /*nessuna auto in transito nel ponte */<br />
{<br />
turn = 0; /*avanti un altro */<br />
}<br />
if(!empty(q))<br />
{<br />
q.dequeue();<br />
oktomove.signal(); /*segnale*/<br />
}<br />
else<br />
{<br />
ovest--;<br />
if(ovest == 0) /*nessuna auto in transito nel ponte */<br />
{<br />
turn = 0; /*avanti un altro */<br />
}<br />
if(!empty(q))<br />
{<br />
q.dequeue(); <br />
oktomove.signal(); /*segnale*/<br />
}<br />
}<br />
}<br />
<br />
}</div>
AlexJ
https://so.v2.cs.unibo.it/wiki/index.php?title=User_talk:Python&diff=410
User talk:Python
2014-03-14T21:47:33Z
<p>AlexJ: </p>
<hr />
<div>monitor bridge {<br />
condition oktomove; /*si muove solo se il ponte è libero o non ci sono auto che vengono nel senso opposto */<br />
int turn=0; /*indica il senso delle auto */<br />
int est=0,ovest=0; /*contatori delle auto da est e da ovest */<br />
Queue q; /*coda delle senso delle macchine in attesa */<br />
<br />
procedure entry enter (char EoW)<br />
{<br />
if(EoW == "E") /* viene da est */<br />
{<br />
if(turn == 2 || est >=N || !empty(q)) <br />
{<br />
q=equeue("E"); /*inserisco nella coda dei sensi*/ <br />
oktomove.wait(); /*aspetta*/<br />
<br />
}<br />
turn = 1; /*impongo il senso delle auto in circolo nel ponte */<br />
est++;<br />
}<br />
else /* viene da ovest */<br />
{<br />
if(turn ==1 || ovest >=N || !empty(q))<br />
{<br />
q=equeue("O"); /*inserisco nella coda dei sensi*/<br />
oktomove.wait(); /*aspetta*/<br />
<br />
}<br />
turn = 2; /*impongo il senso delle auto in circolo nel ponte */<br />
ovest++;<br />
}<br />
}<br />
<br />
procedure entry exit(char EoW)<br />
{<br />
char r;<br />
if(EoW == "O")<br />
{<br />
est--;<br />
r=tail(q);<br />
if(est == 0 || r == "E")<br />
{<br />
est--;<br />
if(est == 0) /*nessuna auto in transito nel ponte */<br />
{<br />
turn = 0; /*avanti un altro */<br />
}<br />
if(!empty(q))<br />
{<br />
q.dequeue();<br />
oktomove.signal(); /*segnale*/<br />
}<br />
else<br />
{<br />
ovest--;<br />
if(ovest == 0) /*nessuna auto in transito nel ponte */<br />
{<br />
turn = 0; /*avanti un altro */<br />
}<br />
if(!empty(q))<br />
{<br />
q.dequeue(); <br />
oktomove.signal(); /*segnale*/<br />
}<br />
}<br />
}<br />
<br />
}</div>
AlexJ
https://so.v2.cs.unibo.it/wiki/index.php?title=User:Python&diff=300
User:Python
2013-11-23T15:53:55Z
<p>AlexJ: Created page with " #ESERCIZIO 3 ESAME 20 GIUGNO 2013 #Scrivere un programma python o uno script bash per cercare all'interno #della directory corrente tutti i file che abbiano lo stesso contenu..."</p>
<hr />
<div><br />
#ESERCIZIO 3 ESAME 20 GIUGNO 2013<br />
#Scrivere un programma python o uno script bash per cercare all'interno<br />
#della directory corrente tutti i file che abbiano lo stesso contenuto<br />
<br />
<br />
import os,sys<br />
import filecmp<br />
<br />
def ordina(A,B):<br />
for i in range(0,len(B)) :<br />
for j in range(i,len(B)) :<br />
if(B[i]>B[j]) :<br />
A[i],A[j]=A[j],A[i]<br />
B[i],B[j]=B[j],B[i]<br />
return A,B<br />
<br />
<br />
<br />
def main() :<br />
A=[]<br />
B=[]<br />
l=[]<br />
H={}<br />
P=[]<br />
print os.getcwd()<br />
pa=os.getcwd()<br />
for root, dirs, files in os.walk(pa):<br />
if(root != pa):<br />
H[root]=0<br />
for root, dirs, files in os.walk(pa):<br />
if (root == pa) :<br />
for name in files :<br />
f = pa + '/' + name<br />
A = os.listdir(pa)<br />
<br />
P = H.keys()<br />
for i in A :<br />
f = pa + '/' + i<br />
c = f in P<br />
if(c == 1) :<br />
A.remove(i)<br />
x=-1<br />
for root, dirs, files in os.walk(pa):<br />
if (root == pa) :<br />
for name in files :<br />
c = name in A<br />
if(c == 1) : <br />
x=x+1<br />
statinfo = os.stat(name)<br />
B.insert(x,statinfo.st_size)<br />
print<br />
l=list()<br />
(A,B)=ordina(A,B)<br />
j=1<br />
c=0 <br />
z=0 <br />
for i in range(0,(len(A)-1)) :<br />
if(B[i] == B[j]) :<br />
F1 = open(A[i],'r')<br />
F2 = open(A[j],'r')<br />
if(filecmp.cmp(A[i], A[j])) :<br />
c=1<br />
if(z==0):<br />
l.append(A[i])<br />
z=1<br />
l.append(A[j])<br />
<br />
if (B[i] != B[j] and c==1):<br />
print "Questi file sono uguali di dimensione : ",B[i], "Byte"<br />
print l<br />
l=[]<br />
c=0<br />
z=0<br />
print<br />
j=j+1 <br />
if(c==1) :<br />
print "Questi file sono uguali di dimensione : ",B[i]<br />
print l <br />
print<br />
<br />
if __name__ == "__main__" :<br />
main()</div>
AlexJ
https://so.v2.cs.unibo.it/wiki/index.php?title=User_talk:Python&diff=299
User talk:Python
2013-11-23T15:53:41Z
<p>AlexJ: Blanked the page</p>
<hr />
<div></div>
AlexJ
https://so.v2.cs.unibo.it/wiki/index.php?title=User_talk:Python&diff=298
User talk:Python
2013-11-23T15:52:38Z
<p>AlexJ: Created page with " #ESERCIZIO 3 ESAME 20 GIUGNO 2013 #Scrivere un programma python o uno script bash per cercare all'interno #della directory corrente tutti i file che abbiano lo stesso contenu..."</p>
<hr />
<div><br />
#ESERCIZIO 3 ESAME 20 GIUGNO 2013<br />
#Scrivere un programma python o uno script bash per cercare all'interno<br />
#della directory corrente tutti i file che abbiano lo stesso contenuto<br />
<br />
<br />
import os,sys<br />
import filecmp<br />
<br />
def ordina(A,B):<br />
for i in range(0,len(B)) :<br />
for j in range(i,len(B)) :<br />
if(B[i]>B[j]) :<br />
A[i],A[j]=A[j],A[i]<br />
B[i],B[j]=B[j],B[i]<br />
return A,B<br />
<br />
<br />
<br />
def main() :<br />
A=[]<br />
B=[]<br />
l=[]<br />
H={}<br />
P=[]<br />
print os.getcwd()<br />
pa=os.getcwd()<br />
for root, dirs, files in os.walk(pa):<br />
if(root != pa):<br />
H[root]=0<br />
for root, dirs, files in os.walk(pa):<br />
if (root == pa) :<br />
for name in files :<br />
f = pa + '/' + name<br />
A = os.listdir(pa)<br />
<br />
P = H.keys()<br />
for i in A :<br />
f = pa + '/' + i<br />
c = f in P<br />
if(c == 1) :<br />
A.remove(i)<br />
x=-1<br />
for root, dirs, files in os.walk(pa):<br />
if (root == pa) :<br />
for name in files :<br />
c = name in A<br />
if(c == 1) : <br />
x=x+1<br />
statinfo = os.stat(name)<br />
B.insert(x,statinfo.st_size)<br />
print<br />
l=list()<br />
(A,B)=ordina(A,B)<br />
j=1<br />
c=0 <br />
z=0 <br />
for i in range(0,(len(A)-1)) :<br />
if(B[i] == B[j]) :<br />
F1 = open(A[i],'r')<br />
F2 = open(A[j],'r')<br />
if(filecmp.cmp(A[i], A[j])) :<br />
c=1<br />
if(z==0):<br />
l.append(A[i])<br />
z=1<br />
l.append(A[j])<br />
<br />
if (B[i] != B[j] and c==1):<br />
print "Questi file sono uguali di dimensione : ",B[i], "Byte"<br />
print l<br />
l=[]<br />
c=0<br />
z=0<br />
print<br />
j=j+1 <br />
if(c==1) :<br />
print "Questi file sono uguali di dimensione : ",B[i]<br />
print l <br />
print<br />
<br />
if __name__ == "__main__" :<br />
main()</div>
AlexJ