После более внимательного прочтения документации думаю конкретно мою
проблему можно решить с помощью раунд робин днс, задав одно доменное имя
и описав один апстрим для всех бэкэндов. Если я верно понял - то похоже
это самое красивое решение и менять конфиги в случае добавления бэкэнда
не нужно.
nginx резолвит имена только во время переконфигурации.
То есть, после реконфигурации днс (добавления ip) нужно послать HUP
nginx-ам на фронтендах. Верно?
У меня на фронтендах конфигурация хранится в cvs. После изменения
конфигурации на одной машине репозитарий rsync'ается на остальные,
а потом по ssh делается cvs up, nginx -t и kill -HUP.