Обработчик сеанса PHP Redis – изменение количества серверов ⇐ Php

[Anonymous]

Я использую phpredis в качестве обработчика сеанса (https://github.com/phpredis/phpredis). Моя текущая строка подключения выглядит следующим образом:

session.save_path = "tcp://10.0.1.11:7005?weight=1&timeout=0.2&persistent=1&read_timeout=0.5, tcp://10.0.1.12:7005?weight=1&timeout=0.2&persistent=1&read_timeout=0.5" но мне нужно добавить больше серверов Redis и переместить между ними существующие сеансы.

Моя новая строка подключения будет выглядеть так:

session.save_path = "tcp://10.0.1.11:7005?weight=1&timeout=0.2&persistent=1&read_timeout=0.5, tcp://10.0.1.12:7005?weight=1&timeout=0.2&persistent=1&read_timeout=0.5, tcp://10.0.1.13:7005?weight=1&timeout=0.2&persistent=1&read_timeout=0.5, tcp://10.0.1.14:7005?weight=1&timeout=0.2&persistent=1&read_timeout=0.5, tcp://10.0.1.15:7005?weight=1&timeout=0.2&persistent=1&read_timeout=0.5" поэтому будет еще 3 сервера и распределение сессий по ключу будет меняться в зависимости от количества серверов.

Как мне перенести существующие сеансы со старых серверов на новые серверы, чтобы каждый из них находился на нужном сервере? Существуют ли какие-либо существующие инструменты для этого? Есть ли у кого-нибудь подобная проблема и есть готовое решение?