Configurazione compilabile di un sistema distribuito