Allora non vedo l'utilità di avere due registry. Registra i servizi che vengono offerti dai due server con due nomi diversi.