<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">2015-09-17 16:28 GMT+02:00 Nicola Larosa <span dir="ltr"><<a href="mailto:nico@teknico.net" target="_blank">nico@teknico.net</a>></span>:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class="">Manlio Perillo wrote:<br></span>> [...]<br>
Per inciso, asyncio mi sembra parecchio più complesso di Twisted, che già<br>
non è semplice, e prolisso in modo poco pythonico. Mah, sarà che sono<br>
abituato a Twisted...<br>
<span class=""><br></span></blockquote><div><br></div><div>A proposito, lo usi ancora? </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class="">
<br>
> La soluzione corretta è invece quella di serializzare solo la<br>
</span>> transazione finanziaria che coinvolge A e B, e permettere l'esecuzione<br>
<span class="">> concorrente di qualsiasi altra operazione incluse le transazioni<br>
</span>> finanziare che non coinvolgono A e B.<br>
<br>
Questa è una decisione di merito che è molto facile sbagliare. Peraltro è<br>
anche facile scrivere inavvertitamente codice bloccante in un modello<br>
cooperativo. Non c'è pasto gratis, come al solito. :-)<br>
<div class="HOEnZb"><div class="h5"><br></div></div></blockquote><div><br></div><div>Un passo in avanti lo fa go con l'opzione -race.</div><div><br></div><div>Io spero che in un futuro non troppo lontano sarà possibile scrivere la documentazione delle funzioni/tipi/variabili</div><div>in un linguaggio naturale che un tool sia in grado di capire e verificare che il codice si comporti secondo le specifiche.</div><div><br></div><div>Questo significa mantenere il linguaggio/compilatore semplice e spostare la validazione avanzata ad un tool esterno.</div><div><br></div><div></div></div><br></div><div class="gmail_extra"><br></div><div class="gmail_extra">Ciao  Manlio</div></div>