Miglioramento algoritmo produttore-consumatore