Патрони, к слову, сами только недавно раскуривать стали. И сейчас как раз одна из самых топовых инсталляций его использует. В целом-то збс всё работает. Даже мастера уже переключались - всё ок. Правда кластер на поддержке у самого заказчика.
Одна синхронная реплика, одна асинхронная. Сам патрони работает с etcd.
ДОполнительно прикрутили ещё Virtual IP с keepalived. Хотя это не так уж и важно - jdbc сам могёт определять мастер.