Redis: Somma di PUNTEGGI in serie ordinata

Question

Qual è il modo migliore per ottenere la somma di PUNTEGGI in un set ordinato Redis?

Answer 1

L'unica opzione che penso sta iterando il set ordinato e calcolando il lato client somma.

Answer 2

Se i set sono piccoli e non è necessario eseguire prestazioni killer, desidero semplicemente eseguire l'iterazione (zrange/zrangebyscore) e sommare i valori lato client.

Se, al contrario, si parla di molte migliaia - milioni di elementi, è sempre possibile mantenere un set di riferimento con totali parziali per ciascun utente e incrementarlo/diminuirlo man mano che i regali vengono inviati.

Quindi, quando fate la vostra ZINCR 123:gifts 1 "3|345", si potrebbe fare un comando ZINCR separato, che potrebbe essere qualcosa di simile:

ZINCR received-gifts 1 <user_id> 

Quindi, per ottenere il # dei doni ricevuti per un determinato utente, è sufficiente per eseguire uno Zscore:

ZSCORE received-gifts <user_id> 

Answer 3

Disponibile dal Redis v2.6 è la capacità più impressionante di eseguire script Lua sul server Redis. Questo rende la sfida di riassumere i punteggi di un Ordinati Set per banale:

local sum=0 
local z=redis.call('ZRANGE', KEYS[1], 0, -1, 'WITHSCORES') 

for i=2, #z, 2 do 
    sum=sum+z[i] 
end 

return sum 

Runtime esempio:

~$ redis-cli zadd z 1 a 2 b 3 c 4 d 5 e 
(integer) 5 
~$ redis-cli eval "local sum=0 local z=redis.call('ZRANGE', KEYS[1], 0, -1, 'WITHSCORES') for i=2, #z, 2 do sum=sum+z[i] end return sum" 1 z 
(integer) 15 

Answer 4

Ecco un piccolo script lua che mantiene il punteggio zset totale, come si va, in un contatore con la chiave postfixed con ".ss". Puoi usarlo al posto di ZADD.

local delta = 0 
for i=1,#ARGV,2 do 
    local oldScore = redis.call('zscore', KEYS[1], ARGV[i+1]) 
    if oldScore == false then 
     oldScore = 0 
    end 
    delta = delta - oldScore + ARGV[i] 
end 
local val = redis.call('zadd', KEYS[1], unpack(ARGV)) 
redis.call('INCRBY', KEYS[1]..'.ss', delta)