Задача расчета рейтинга в таблице лидеров Redis

Question

У меня есть таблица лидеров игроков в MySQL, и для расчета позиции для каждого игрока мы используем 3 параметра.

Таблица данных выглядит так:

введите описание изображения здесь

Чтобы рассчитать позицию для игроков, мы упорядочиваем его следующим образом:

1. Порядок по убыванию очков
2. Порядок по убыванию основных очков
3. Порядок по дате регистрации в порядке возрастания По этому логу c мы всегда получаем уникальную позицию для каждого игрока.

Я хочу перенести списки лидеров в Redis. Может быть, кто-нибудь сталкивался с чем-то подобным с использованием списков лидеров Redis с отсортированными наборами? Я думаю, что математически я могу иметь функцию для вычисления оценки этих 3 параметров points, primary points, registration date для сортированного набора с повторной сортировкой, чтобы получить те же позиции в таблице лидеров.