我正在使用redis作为票证注册中心来处理cas。在我当地的cas使用redis作为售票工具，一切正常。遵循此处给出的安装程序
但是我希望redis在负载均衡器后面如果一个redis坏了，cas可能会联系另一个。
redis配置：

cas.ticket.registry.redis.host=localhost
cas.ticket.registry.redis.port=6379

但在这里，我认为redis集群可能没有帮助，因为cas连接到本地主机上的6379。根据上述配置，如果6379坏了或本地主机（系统）坏了，cas可能不会联系它。如果redis集群在负载均衡器后面运行，那么一个失败的集群可以提供服务。如何在负载均衡后配置redis的cas？