L’aumento del numero di core nei processori moderni e la
necessità di sfruttare il più possibile il parallelismo tra
diverse macchine, rende necessario trovare metodi efficaci per
ottenere il massimo dei vantaggi con il minimo dello sforzo e
della complessità. Storicamente si è sempre ricorso alla
programmazione multi-thread shared-state ma questa è
soggetta a numerosi problemi come ad
esempio la gestione dei lock e dei semafori, la scalabilità sia
nella stessa macchina che orizzontalmente su piu` macchine,
l’imprevedibilità delle ottimizzazioni attuate dai compilatori, la
complessità di unit-testing e debugging, i modelli di coerenza e
consistenza della cache dei processori e della RAM e altri.

[Read more…]