В простой ситуации с 3 серверами с 1 ведущим и 2 ведомыми без шардинга. Существует ли проверенное решение для java и Jedis, которое не имеет единой точки отказа и будет автоматически работать с одним сервером, который будет работать как главный или подчиненный (автоматическое переключение при сбое). например продвижение мастеров и сброс после сбоя без потери данных.

Мне кажется, что это должно быть решенной проблемой, но я не могу найти никакого кода на нем, только высокоуровневые описания возможных способов сделать это.

Кто на самом деле это покрыл и работает в производстве?