https://so.v2.cs.unibo.it/wiki/index.php?action=history&feed=atom&title=Prova_Teorica_2007.07.12 2026-05-06T04:43:40Z Revision history for this page on the wiki MediaWiki 1.35.5 https://so.v2.cs.unibo.it/wiki/index.php?title=Prova_Teorica_2007.07.12&diff=728&oldid=prev 2014-05-15T11:57:55Z

<p><span dir="auto"><span class="autocomment">Esercizio 1</span></span></p> <table class="diff diff-contentalign-left diff-editfont-monospace" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="en"> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Older revision</td> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Revision as of 11:57, 15 May 2014</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l3" >Line 3:</td> <td colspan="2" class="diff-lineno">Line 3:</td></tr> <tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>==Esercizio 1==</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>==Esercizio 1==</div></td></tr> <tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>&lt;syntaxhighlight lang=&quot;Java&quot;&gt;</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>&lt;syntaxhighlight lang=&quot;Java&quot;&gt;</div></td></tr> <tr><td class='diff-marker'>−</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><del style="font-weight: bold; text-decoration: none;">/*</del></div></td><td colspan="2"> </td></tr> <tr><td class='diff-marker'>−</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><del style="font-weight: bold; text-decoration: none;"> In una situazione ideale, il giocatore (n), terminata la giocata, segnala il giocatore (n + 1) e termina.</del></div></td><td colspan="2"> </td></tr> <tr><td class='diff-marker'>−</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><del style="font-weight: bold; text-decoration: none;"> Solo dopo che il giocatore (n) ha terminato, il giocatore (n + 1) inizia la sua giocata.</del></div></td><td colspan="2"> </td></tr> <tr><td class='diff-marker'>−</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><del style="font-weight: bold; text-decoration: none;"> Questa situazione ideale e' descrivibile mediante la politica Signal And Continue.</del></div></td><td colspan="2"> </td></tr> <tr><td class='diff-marker'>−</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><del style="font-weight: bold; text-decoration: none;"> Con Signal Urgent, di converso, il giocatore (n) non termina l'esecuzione della procedure entry</del></div></td><td colspan="2"> </td></tr> <tr><td class='diff-marker'>−</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><del style="font-weight: bold; text-decoration: none;"> fino a quando non la termina il giocatore (n + 1). Il giocatore (n + 1) non la termina fino a quando</del></div></td><td colspan="2"> </td></tr> <tr><td class='diff-marker'>−</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><del style="font-weight: bold; text-decoration: none;"> non termina il giocatore (n + 2) et cetera.</del></div></td><td colspan="2"> </td></tr> <tr><td class='diff-marker'>−</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><del style="font-weight: bold; text-decoration: none;"> Questo meccanismo dello Urgent Stack risulta inutilmente dispendioso in questa fattispecie.</del></div></td><td colspan="2"> </td></tr> <tr><td class='diff-marker'>−</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><del style="font-weight: bold; text-decoration: none;">*/</del></div></td><td colspan="2"> </td></tr> <tr><td class='diff-marker'>−</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><del style="font-weight: bold; text-decoration: none;"></del></div></td><td colspan="2"> </td></tr> <tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>monitor oca</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>monitor oca</div></td></tr> <tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>{</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>{</div></td></tr> <tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l18" >Line 18:</td> <td colspan="2" class="diff-lineno">Line 8:</td></tr> <tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div> int playerPosition[N] = { 0, ..., 0 };</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div> int playerPosition[N] = { 0, ..., 0 };</div></td></tr> <tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div> bool winner = false;</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div> bool winner = false;</div></td></tr> <tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"> bool blocked[N] = { false, ..., false };</ins></div></td></tr> <tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div> int turn = 0;</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div> int turn = 0;</div></td></tr> <tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div> blockedPlayer = {} // Python-like dictionary</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div> blockedPlayer = {} // Python-like dictionary</div></td></tr> <tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l51" >Line 51:</td> <td colspan="2" class="diff-lineno">Line 42:</td></tr> <tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div> }</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div> }</div></td></tr> <tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td></tr> <tr><td class='diff-marker'>−</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div> turn = i + 1 % N;</div></td><td class='diff-marker'>+</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div> turn = <ins class="diffchange diffchange-inline">(</ins>i + 1<ins class="diffchange diffchange-inline">) </ins>% N;</div></td></tr> <tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div> while (blocked[turn])</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div> while (blocked[turn])</div></td></tr> <tr><td class='diff-marker'>−</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div> <del class="diffchange diffchange-inline">if </del>(+<del class="diffchange diffchange-inline">+turn == </del>N<del class="diffchange diffchange-inline">)</del></div></td><td class='diff-marker'>+</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div> <ins class="diffchange diffchange-inline">turn = </ins>(<ins class="diffchange diffchange-inline">turn </ins>+ <ins class="diffchange diffchange-inline">1) % </ins>N;</div></td></tr> <tr><td class='diff-marker'>−</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><del class="diffchange diffchange-inline"> turn = 0</del>;</div></td><td colspan="2"> </td></tr> <tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td></tr> <tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div> player[turn].signal();</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div> player[turn].signal();</div></td></tr> <tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l60" >Line 60:</td> <td colspan="2" class="diff-lineno">Line 50:</td></tr> <tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div> }</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div> }</div></td></tr> <tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>}</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>}</div></td></tr> <tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"></ins></div></td></tr> <tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">/*</ins></div></td></tr> <tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"> In una situazione ideale, il giocatore (n), terminata la giocata, segnala il giocatore (n + 1) e termina.</ins></div></td></tr> <tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"> Solo dopo che il giocatore (n) ha terminato, il giocatore (n + 1) inizia la sua giocata.</ins></div></td></tr> <tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"> Questa situazione ideale e' descrivibile mediante la politica Signal And Continue.</ins></div></td></tr> <tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"> Con Signal Urgent, di converso, il giocatore (n) non termina l'esecuzione della procedure entry</ins></div></td></tr> <tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"> fino a quando non la termina il giocatore (n + 1). Il giocatore (n + 1) non la termina fino a quando</ins></div></td></tr> <tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"> non termina il giocatore (n + 2) et cetera.</ins></div></td></tr> <tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"> Questo meccanismo dello Urgent Stack risulta inutilmente dispendioso in questa fattispecie.</ins></div></td></tr> <tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">*/</ins></div></td></tr> <tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>&lt;/syntaxhighlight&gt;</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>&lt;/syntaxhighlight&gt;</div></td></tr> <tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"></ins></div></td></tr> <tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>==Esercizio 2==</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>==Esercizio 2==</div></td></tr> <tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>&lt;syntaxhighlight lang=&quot;C&quot;&gt;</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>&lt;syntaxhighlight lang=&quot;C&quot;&gt;</div></td></tr> </table>

TomOgn https://so.v2.cs.unibo.it/wiki/index.php?title=Prova_Teorica_2007.07.12&diff=632&oldid=prev 2014-04-30T10:53:50Z

<p>Created page with &quot;=[http://www.cs.unibo.it/~renzo/so/compiti/2007-07-12.tot.pdf TESTO COMPITO]= =CONCORRENZA= ==Esercizio 1== &lt;syntaxhighlight lang=&quot;Java&quot;&gt; /* In una situazione ideale, il gioc...&quot;</p> <p><b>New page</b></p><div>=[http://www.cs.unibo.it/~renzo/so/compiti/2007-07-12.tot.pdf TESTO COMPITO]=<br /> =CONCORRENZA=<br /> ==Esercizio 1==<br /> &lt;syntaxhighlight lang=&quot;Java&quot;&gt;<br /> /*<br /> In una situazione ideale, il giocatore (n), terminata la giocata, segnala il giocatore (n + 1) e termina.<br /> Solo dopo che il giocatore (n) ha terminato, il giocatore (n + 1) inizia la sua giocata.<br /> Questa situazione ideale e' descrivibile mediante la politica Signal And Continue.<br /> Con Signal Urgent, di converso, il giocatore (n) non termina l'esecuzione della procedure entry<br /> fino a quando non la termina il giocatore (n + 1). Il giocatore (n + 1) non la termina fino a quando<br /> non termina il giocatore (n + 2) et cetera.<br /> Questo meccanismo dello Urgent Stack risulta inutilmente dispendioso in questa fattispecie.<br /> */<br /> <br /> monitor oca<br /> {<br /> condition player[N];<br /> int playerPosition[N] = { 0, ..., 0 };<br /> bool winner = false;<br /> int turn = 0;<br /> blockedPlayer = {} // Python-like dictionary<br /> <br /> muovi(i, n)<br /> {<br /> if (winner)<br /> return 2;<br /> <br /> if (i != turn)<br /> player[i].wait();<br /> <br /> if (winner)<br /> return 2;<br /> <br /> playerPosition[i] += n;<br /> if (playerPosition[i] &gt;= 99)<br /> {<br /> winner = true;<br /> for (int j = 0; j &lt; i; j++)<br /> player[j].signal();<br /> for (int j = i + 1; j &lt; N; j++)<br /> player[j].signal(); <br /> return 1;<br /> }<br /> <br /> if (isMultiple13(playerPosition[i]))<br /> {<br /> if (blockedPlayer[playerPosition[i]])<br /> blocked[blockedPlayer[playerPosition[i]]] = false;<br /> blocked[i] = true;<br /> blockedPlayer[playerPosition[i]] = i;<br /> }<br /> <br /> turn = i + 1 % N;<br /> while (blocked[turn])<br /> if (++turn == N)<br /> turn = 0;<br /> <br /> player[turn].signal();<br /> return 0;<br /> }<br /> }<br /> &lt;/syntaxhighlight&gt;<br /> ==Esercizio 2==<br /> &lt;syntaxhighlight lang=&quot;C&quot;&gt;<br /> adoublesend(msg, dst1, dst2)<br /> {<br /> asend(msg, dst1);<br /> arecv(dst1);<br /> asend(msg, dst2);<br /> }<br /> <br /> adoublerecv(sender)<br /> {<br /> output = arecv(sender);<br /> asend(OK, sender);<br /> return output;<br /> }<br /> &lt;/syntaxhighlight&gt;<br /> =GENERALE=<br /> ==Esercizio 2==<br /> {| CELLSPACING=&quot;0&quot; COLS=&quot;10&quot; BORDER=&quot;0&quot;&lt;COLGROUP WIDTH=&quot;31&quot;&gt;&lt;/COLGROUP&gt;&lt;COLGROUP WIDTH=&quot;49&quot;&gt;&lt;/COLGROUP&gt;&lt;COLGROUP WIDTH=&quot;32&quot;&gt;&lt;/COLGROUP&gt;&lt;COLGROUP WIDTH=&quot;48&quot;&gt;&lt;/COLGROUP&gt;&lt;COLGROUP WIDTH=&quot;64&quot;&gt;&lt;/COLGROUP&gt;&lt;COLGROUP WIDTH=&quot;29&quot;&gt;&lt;/COLGROUP&gt;&lt;COLGROUP WIDTH=&quot;30&quot;&gt;&lt;/COLGROUP&gt;&lt;COLGROUP WIDTH=&quot;48&quot;&gt;&lt;/COLGROUP&gt;&lt;COLGROUP WIDTH=&quot;64&quot;&gt;&lt;/COLGROUP&gt;&lt;COLGROUP WIDTH=&quot;175&quot;&gt;&lt;/COLGROUP&gt; <br /> | HEIGHT=&quot;16&quot; ALIGN=&quot;CENTER&quot; VALIGN=MIDDLE | &lt;BR&gt;<br /> | STYLE=&quot;border-top: 1px solid #000000; border-bottom: 1px solid #000000; border-left: 1px solid #000000&quot; COLSPAN=2 ALIGN=&quot;CENTER&quot; VALIGN=MIDDLE BGCOLOR=&quot;#6699CC&quot; | Max<br /> | STYLE=&quot;border-top: 1px solid #000000; border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000&quot; COLSPAN=2 ALIGN=&quot;CENTER&quot; VALIGN=MIDDLE BGCOLOR=&quot;#6699CC&quot; | Allocated<br /> | STYLE=&quot;border-top: 1px solid #000000; border-bottom: 1px solid #000000&quot; COLSPAN=2 ALIGN=&quot;CENTER&quot; VALIGN=MIDDLE BGCOLOR=&quot;#6699CC&quot; | Need<br /> | STYLE=&quot;border-top: 1px solid #000000; border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000&quot; COLSPAN=2 ALIGN=&quot;CENTER&quot; VALIGN=MIDDLE BGCOLOR=&quot;#6699CC&quot; | Available<br /> | STYLE=&quot;border-top: 1px solid #000000; border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000&quot; ROWSPAN=2 ALIGN=&quot;CENTER&quot; VALIGN=MIDDLE BGCOLOR=&quot;#6699CC&quot; | Safeness Conditions<br /> |- <br /> | HEIGHT=&quot;16&quot; ALIGN=&quot;CENTER&quot; VALIGN=MIDDLE | &lt;BR&gt;<br /> | STYLE=&quot;border-top: 1px solid #000000; border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000&quot; ALIGN=&quot;CENTER&quot; VALIGN=MIDDLE BGCOLOR=&quot;#6699CC&quot; | A<br /> | STYLE=&quot;border-top: 1px solid #000000; border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000&quot; ALIGN=&quot;CENTER&quot; VALIGN=MIDDLE BGCOLOR=&quot;#6699CC&quot; | B<br /> | STYLE=&quot;border-top: 1px solid #000000; border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000&quot; ALIGN=&quot;CENTER&quot; VALIGN=MIDDLE BGCOLOR=&quot;#6699CC&quot; | A<br /> | STYLE=&quot;border-top: 1px solid #000000; border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000&quot; ALIGN=&quot;CENTER&quot; VALIGN=MIDDLE BGCOLOR=&quot;#6699CC&quot; | B<br /> | STYLE=&quot;border-top: 1px solid #000000; border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000&quot; ALIGN=&quot;CENTER&quot; VALIGN=MIDDLE BGCOLOR=&quot;#6699CC&quot; | A<br /> | STYLE=&quot;border-top: 1px solid #000000; border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000&quot; ALIGN=&quot;CENTER&quot; VALIGN=MIDDLE BGCOLOR=&quot;#6699CC&quot; | B<br /> | STYLE=&quot;border-top: 1px solid #000000; border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000&quot; ALIGN=&quot;CENTER&quot; VALIGN=MIDDLE BGCOLOR=&quot;#6699CC&quot; | A<br /> | STYLE=&quot;border-top: 1px solid #000000; border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000&quot; ALIGN=&quot;CENTER&quot; VALIGN=MIDDLE BGCOLOR=&quot;#6699CC&quot; | B<br /> |- <br /> | STYLE=&quot;border-top: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000&quot; HEIGHT=&quot;16&quot; ALIGN=&quot;CENTER&quot; VALIGN=MIDDLE | P2<br /> | STYLE=&quot;border-top: 1px solid #000000; border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000&quot; ALIGN=&quot;CENTER&quot; VALIGN=MIDDLE SDVAL=&quot;5&quot; SDNUM=&quot;1033;&quot; | 5<br /> | STYLE=&quot;border-top: 1px solid #000000; border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000&quot; ALIGN=&quot;CENTER&quot; VALIGN=MIDDLE SDVAL=&quot;10&quot; SDNUM=&quot;1033;&quot; | 10<br /> | STYLE=&quot;border-top: 1px solid #000000; border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000&quot; ALIGN=&quot;CENTER&quot; VALIGN=MIDDLE SDVAL=&quot;3&quot; SDNUM=&quot;1033;&quot; | 3<br /> | STYLE=&quot;border-top: 1px solid #000000; border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000&quot; ALIGN=&quot;CENTER&quot; VALIGN=MIDDLE SDVAL=&quot;5&quot; SDNUM=&quot;1033;&quot; | 5<br /> | STYLE=&quot;border-top: 1px solid #000000; border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000&quot; ALIGN=&quot;CENTER&quot; VALIGN=MIDDLE SDVAL=&quot;2&quot; SDNUM=&quot;1033;&quot; | 2<br /> | STYLE=&quot;border-top: 1px solid #000000; border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000&quot; ALIGN=&quot;CENTER&quot; VALIGN=MIDDLE SDVAL=&quot;5&quot; SDNUM=&quot;1033;&quot; | 5<br /> | STYLE=&quot;border-top: 1px solid #000000; border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000&quot; ALIGN=&quot;CENTER&quot; VALIGN=MIDDLE SDVAL=&quot;3&quot; SDNUM=&quot;1033;&quot; | 3<br /> | STYLE=&quot;border-top: 1px solid #000000; border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000&quot; ALIGN=&quot;CENTER&quot; VALIGN=MIDDLE | 4+x<br /> | STYLE=&quot;border-top: 1px solid #000000; border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000&quot; ALIGN=&quot;CENTER&quot; VALIGN=MIDDLE SDNUM=&quot;1033;0;0.00E+000&quot; | &lt;I&gt;x&amp;gt;=1&lt;/I&gt;<br /> |- <br /> | STYLE=&quot;border-top: 1px solid #000000; border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000&quot; HEIGHT=&quot;16&quot; ALIGN=&quot;CENTER&quot; VALIGN=MIDDLE | P1<br /> | STYLE=&quot;border-top: 1px solid #000000; border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000&quot; ALIGN=&quot;CENTER&quot; VALIGN=MIDDLE SDVAL=&quot;6&quot; SDNUM=&quot;1033;&quot; | 6<br /> | STYLE=&quot;border-top: 1px solid #000000; border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000&quot; ALIGN=&quot;CENTER&quot; VALIGN=MIDDLE SDVAL=&quot;5&quot; SDNUM=&quot;1033;&quot; | 5<br /> | STYLE=&quot;border-top: 1px solid #000000; border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000&quot; ALIGN=&quot;CENTER&quot; VALIGN=MIDDLE SDVAL=&quot;0&quot; SDNUM=&quot;1033;&quot; | 0<br /> | STYLE=&quot;border-top: 1px solid #000000; border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000&quot; ALIGN=&quot;CENTER&quot; VALIGN=MIDDLE | 3+x<br /> | STYLE=&quot;border-top: 1px solid #000000; border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000&quot; ALIGN=&quot;CENTER&quot; VALIGN=MIDDLE SDVAL=&quot;6&quot; SDNUM=&quot;1033;&quot; | 6<br /> | STYLE=&quot;border-top: 1px solid #000000; border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000&quot; ALIGN=&quot;CENTER&quot; VALIGN=MIDDLE | y<br /> | STYLE=&quot;border-top: 1px solid #000000; border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000&quot; ALIGN=&quot;CENTER&quot; VALIGN=MIDDLE SDVAL=&quot;6&quot; SDNUM=&quot;1033;&quot; | 6<br /> | STYLE=&quot;border-top: 1px solid #000000; border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000&quot; ALIGN=&quot;CENTER&quot; VALIGN=MIDDLE | 9+x<br /> | STYLE=&quot;border-top: 1px solid #000000; border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000&quot; ALIGN=&quot;CENTER&quot; VALIGN=MIDDLE SDNUM=&quot;1033;0;0.00E+000&quot; | &lt;I&gt;x=2-y&lt;/I&gt;<br /> |- <br /> | STYLE=&quot;border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000&quot; HEIGHT=&quot;16&quot; ALIGN=&quot;CENTER&quot; VALIGN=MIDDLE | P3<br /> | STYLE=&quot;border-top: 1px solid #000000; border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000&quot; ALIGN=&quot;CENTER&quot; VALIGN=MIDDLE SDVAL=&quot;7&quot; SDNUM=&quot;1033;&quot; | 7<br /> | STYLE=&quot;border-top: 1px solid #000000; border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000&quot; ALIGN=&quot;CENTER&quot; VALIGN=MIDDLE SDVAL=&quot;7&quot; SDNUM=&quot;1033;&quot; | 7<br /> | STYLE=&quot;border-top: 1px solid #000000; border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000&quot; ALIGN=&quot;CENTER&quot; VALIGN=MIDDLE SDVAL=&quot;1&quot; SDNUM=&quot;1033;&quot; | 1<br /> | STYLE=&quot;border-top: 1px solid #000000; border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000&quot; ALIGN=&quot;CENTER&quot; VALIGN=MIDDLE SDVAL=&quot;5&quot; SDNUM=&quot;1033;&quot; | 5<br /> | STYLE=&quot;border-top: 1px solid #000000; border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000&quot; ALIGN=&quot;CENTER&quot; VALIGN=MIDDLE | 6+y<br /> | STYLE=&quot;border-top: 1px solid #000000; border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000&quot; ALIGN=&quot;CENTER&quot; VALIGN=MIDDLE SDVAL=&quot;2&quot; SDNUM=&quot;1033;&quot; | 2<br /> | STYLE=&quot;border-top: 1px solid #000000; border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000&quot; ALIGN=&quot;CENTER&quot; VALIGN=MIDDLE SDVAL=&quot;6&quot; SDNUM=&quot;1033;&quot; | 6<br /> | STYLE=&quot;border-top: 1px solid #000000; border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000&quot; ALIGN=&quot;CENTER&quot; VALIGN=MIDDLE | 12+2x<br /> | STYLE=&quot;border-top: 1px solid #000000; border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000&quot; ALIGN=&quot;CENTER&quot; VALIGN=MIDDLE SDNUM=&quot;1033;0;0.00E+000&quot; | &lt;I&gt;y=0&lt;/I&gt;<br /> |- <br /> | STYLE=&quot;border-top: 1px solid #000000; border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000&quot; HEIGHT=&quot;16&quot; ALIGN=&quot;CENTER&quot; VALIGN=MIDDLE | P4<br /> | STYLE=&quot;border-top: 1px solid #000000; border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000&quot; ALIGN=&quot;CENTER&quot; VALIGN=MIDDLE | 7+x+z<br /> | STYLE=&quot;border-top: 1px solid #000000; border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000&quot; ALIGN=&quot;CENTER&quot; VALIGN=MIDDLE | 8+w<br /> | STYLE=&quot;border-top: 1px solid #000000; border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000&quot; ALIGN=&quot;CENTER&quot; VALIGN=MIDDLE | x+z<br /> | STYLE=&quot;border-top: 1px solid #000000; border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000&quot; ALIGN=&quot;CENTER&quot; VALIGN=MIDDLE | z<br /> | STYLE=&quot;border-top: 1px solid #000000; border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000&quot; ALIGN=&quot;CENTER&quot; VALIGN=MIDDLE SDVAL=&quot;7&quot; SDNUM=&quot;1033;&quot; | 7<br /> | STYLE=&quot;border-top: 1px solid #000000; border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000&quot; ALIGN=&quot;CENTER&quot; VALIGN=MIDDLE | 8+z<br /> | STYLE=&quot;border-top: 1px solid #000000; border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000&quot; ALIGN=&quot;CENTER&quot; VALIGN=MIDDLE SDVAL=&quot;7&quot; SDNUM=&quot;1033;&quot; | 7<br /> | STYLE=&quot;border-top: 1px solid #000000; border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000&quot; ALIGN=&quot;CENTER&quot; VALIGN=MIDDLE | 17+2x<br /> | STYLE=&quot;border-top: 1px solid #000000; border-bottom: 1px solid #000000; border-left: 1px solid #000000; border-right: 1px solid #000000&quot; ALIGN=&quot;CENTER&quot; VALIGN=MIDDLE SDNUM=&quot;1033;0;0.00E+000&quot; | &lt;I&gt;w=2z, 8+z&amp;lt;=17+2x&lt;/I&gt;<br /> |- <br /> | COLSPAN=2 HEIGHT=&quot;16&quot; ALIGN=&quot;CENTER&quot; VALIGN=MIDDLE BGCOLOR=&quot;#00FF66&quot; | &lt;B&gt;Range CI:&lt;/B&gt;<br /> | ALIGN=&quot;RIGHT&quot; VALIGN=MIDDLE BGCOLOR=&quot;#00FF66&quot; | from<br /> | ALIGN=&quot;CENTER&quot; VALIGN=MIDDLE BGCOLOR=&quot;#00FF66&quot; SDVAL=&quot;6&quot; SDNUM=&quot;1033;&quot; | &lt;B&gt;6&lt;/B&gt;<br /> | ALIGN=&quot;CENTER&quot; VALIGN=MIDDLE BGCOLOR=&quot;#00FF66&quot; SDVAL=&quot;15&quot; SDNUM=&quot;1033;&quot; | &lt;B&gt;15&lt;/B&gt;<br /> | ALIGN=&quot;LEFT&quot; | &lt;BR&gt;<br /> | ALIGN=&quot;LEFT&quot; | &lt;BR&gt;<br /> | ALIGN=&quot;LEFT&quot; | &lt;BR&gt;<br /> | ALIGN=&quot;LEFT&quot; | &lt;BR&gt;<br /> | ALIGN=&quot;CENTER&quot; VALIGN=MIDDLE BGCOLOR=&quot;#FFCC00&quot; | &lt;B&gt;&amp;lt;=&amp;gt; y=0, x=2, w=2z, z&amp;lt;=13&lt;/B&gt;<br /> |- <br /> | HEIGHT=&quot;16&quot; ALIGN=&quot;LEFT&quot; | &lt;BR&gt;<br /> | ALIGN=&quot;LEFT&quot; | &lt;BR&gt;<br /> | ALIGN=&quot;RIGHT&quot; VALIGN=MIDDLE BGCOLOR=&quot;#00FF66&quot; | to<br /> | ALIGN=&quot;CENTER&quot; VALIGN=MIDDLE BGCOLOR=&quot;#00FF66&quot; SDVAL=&quot;19&quot; SDNUM=&quot;1033;&quot; | &lt;B&gt;19&lt;/B&gt;<br /> | ALIGN=&quot;CENTER&quot; VALIGN=MIDDLE BGCOLOR=&quot;#00FF66&quot; SDVAL=&quot;28&quot; SDNUM=&quot;1033;&quot; | &lt;B&gt;28&lt;/B&gt;<br /> | ALIGN=&quot;LEFT&quot; | &lt;BR&gt;<br /> | ALIGN=&quot;LEFT&quot; | &lt;BR&gt;<br /> | ALIGN=&quot;LEFT&quot; | &lt;BR&gt;<br /> | ALIGN=&quot;LEFT&quot; | &lt;BR&gt;<br /> | ALIGN=&quot;LEFT&quot; | &lt;BR&gt;<br /> |- <br /> | HEIGHT=&quot;16&quot; ALIGN=&quot;LEFT&quot; | &lt;BR&gt;<br /> | ALIGN=&quot;LEFT&quot; | &lt;BR&gt;<br /> | ALIGN=&quot;RIGHT&quot; VALIGN=MIDDLE BGCOLOR=&quot;#00FF66&quot; | step<br /> | ALIGN=&quot;CENTER&quot; VALIGN=MIDDLE BGCOLOR=&quot;#00FF66&quot; SDVAL=&quot;1&quot; SDNUM=&quot;1033;&quot; | &lt;B&gt;1&lt;/B&gt;<br /> | ALIGN=&quot;CENTER&quot; VALIGN=MIDDLE BGCOLOR=&quot;#00FF66&quot; SDVAL=&quot;1&quot; SDNUM=&quot;1033;&quot; | &lt;B&gt;1&lt;/B&gt;<br /> | ALIGN=&quot;LEFT&quot; | &lt;BR&gt;<br /> | ALIGN=&quot;LEFT&quot; | &lt;BR&gt;<br /> | ALIGN=&quot;LEFT&quot; | &lt;BR&gt;<br /> | ALIGN=&quot;LEFT&quot; | &lt;BR&gt;<br /> | ALIGN=&quot;LEFT&quot; | &lt;BR&gt;<br /> |}</div>

TomOgn