Risoluzione del problema di sincronizzazione di Edge