Я бы хотел сохранить список 100 лучших пользователей (по оценке) в проекте Python, который я делаю. Я чувствую, что redis sorted sets
может быть отличным инструментом для этой цели.
Однако я не хочу вести записи для каждого пользователя, который когда-либо набирал очки. Это было бы значительным sorted set
, и я хотел бы только 100 лучших пользователей по совокупной оценке.
Оставаясь в рамках redis, есть ли способ использовать sorted sets
для достижения этой цели?
Я знаю, что можно сделать lpush
и ltrim
в случае списков, но это гораздо более простой случай, когда сортировка по score
не требуется. Итак, как мне это сделать?
Я понимаю, что на этот вопрос можно ответить и за пределами redis sorted sets
, но redis sorted sets
- отличный инструмент, и поэтому иллюстрирование примера ответа с их использованием было бы здорово для того, чего я пытаюсь достичь ,
Заранее спасибо.