https://so.v2.cs.unibo.it/wiki/index.php?action=history&feed=atom&title=2017.09.11 2026-05-05T00:04:45Z Revision history for this page on the wiki MediaWiki 1.35.5 https://so.v2.cs.unibo.it/wiki/index.php?title=2017.09.11&diff=2195&oldid=prev 2018-05-09T15:51:39Z

<p>Created page with &quot;Pdf completo qui: [http://www.cs.unibo.it/~renzo/so/compiti/2017.09.11.tot.pdf 2017.09.11.tot.pdf] =Esercizio c1= &lt;syntaxhighlight lang=c&gt; Un semaforo intelligente controlla ...&quot;</p> <p><b>New page</b></p><div>Pdf completo qui: [http://www.cs.unibo.it/~renzo/so/compiti/2017.09.11.tot.pdf 2017.09.11.tot.pdf]<br /> <br /> =Esercizio c1=<br /> &lt;syntaxhighlight lang=c&gt;<br /> Un semaforo intelligente controlla un incrocio al quale si può accedere da 4 direzioni N, E, S, W. <br /> Un solo veicolo alla volta deve occupare l’area dell’incrocio. <br /> Se sono presenti veicoli da tutte le direzioni, il semaforo fa avanzare ciclicamente un veicolo da ogni direzione (NESWNESWNESW…). <br /> Se nessun veicolo è in attesa da una direzione, il turno viene saltato.<br /> Quella che segue è la porzione di di programma eseguita dai veicoli per passare attraverso l’incrocio:<br /> <br /> crossing.enter(direction)<br /> …critical section<br /> crossing.exit(direction)<br /> <br /> Nonostante sia un semaforo, questo esercizio deve venir risolto coi monitor.<br /> &lt;/syntaxhighlight&gt;<br /> <br /> '''Soluzione proposta 1'''<br /> &lt;syntaxhighlight lang=c&gt;<br /> monitor crossing{<br /> <br /> enum direction = {N, E, S, W};<br /> condition ok2cross[4];<br /> boolean busy;<br /> int waiting[4];<br /> <br /> procedure_entry void enter(enum direction d){<br /> waiting[d]++;<br /> if(waiting[d] &gt; 1) ok2cross[d].wait();<br /> busy = true;<br /> waiting[d]--;<br /> <br /> }<br /> <br /> procedure_entry void exit(enum direction d){<br /> busy = false;<br /> for(int i = 1; i &lt; 5; i++){ <br /> if(waiting[(d + i) % 4]) ok2cross[(d + i) % 4].signal();<br /> }<br /> }<br /> <br /> crossing(){<br /> for(int i = 0; i &lt; 4; i++) waiting[i] = 0;<br /> busy = false;<br /> }<br /> }<br /> &lt;/syntaxhighlight&gt;</div>

Matt