https://so.v2.cs.unibo.it/wiki/index.php?action=history&feed=atom&title=Prova_teorica_2013.05.30 2026-06-30T23:23:34Z Revision history for this page on the wiki MediaWiki 1.35.5 https://so.v2.cs.unibo.it/wiki/index.php?title=Prova_teorica_2013.05.30&diff=1859&oldid=prev 2017-05-09T14:16:16Z

<p>Created page with &quot;[http://www.cs.unibo.it/~renzo/so/compiti/2013.05.30.tot.pdf Link al testo] == Esercizio 2 == ===Soluzione di FedericoB=== Creo i v2p con i semafori normali &lt;source lang=&quot;text...&quot;</p> <p><b>New page</b></p><div>[http://www.cs.unibo.it/~renzo/so/compiti/2013.05.30.tot.pdf Link al testo]<br /> == Esercizio 2 ==<br /> ===Soluzione di FedericoB===<br /> Creo i v2p con i semafori normali<br /> &lt;source lang=&quot;text&quot;&gt;<br /> class v2p<br /> semaphore s;<br /> <br /> v2p(val)<br /> new s(val);<br /> <br /> p()<br /> mutex.p()<br /> s.p()<br /> s.p()<br /> mutex.v()<br /> <br /> v()<br /> s.v<br /> &lt;/source&gt;<br /> Creiamo i semafori normali con i v2p<br /> &lt;source lang=&quot;text&quot;&gt;<br /> class semaphore<br /> v2p s;<br /> v2p mutex=1;<br /> <br /> int val;<br /> <br /> semaphore(initval):<br /> val = initval<br /> <br /> p()<br /> mutex.p()<br /> val--<br /> if (val&lt;0)<br /> mutex.v()<br /> mutex.v()<br /> s.p()<br /> mutex.v()<br /> mutex.v()<br /> <br /> v():<br /> mutex.p()<br /> val++<br /> if (val&lt;=0)<br /> s.v()<br /> s.v()<br /> &lt;/source&gt;</div>

FedericoB