Redis: per impostare il timeout per una coppia di valori chiave in Set

Question

Ho un set Redis con chiave 'a' e valore '1', '2', '3'. C'è un modo per impostare un diverso tempo di scadenza per ogni coppia chiave-valore nel set.

Ad esempio ('a', '1') dovrebbe scadere dopo 60 secondi dove ('a', '2') dovrebbe scadere dopo 120 secondi.

Answer 1

Sfortunatamente, no. I "contenitori" di Redis (ad esempio elenchi, hash, set e serie ordinate) non supportano la scadenza per membro, sebbene questa funzionalità sia stata richiesta molte volte in passato.

È tuttavia possibile implementare la propria logica per ottenere tale risultato. Ci sono diversi possibili approcci per affrontare questo - ecco un esempio. Invece di usare un set, usa un set ordinato (ZSET) e imposta il punteggio di ogni membro al suo tempo di scadenza usando valori di epoca. Ad esempio, questo tipo di flusso di lavoro potrebbe essere implementato utilizzando uno script Lua. Per aggiungere membri utilizzano qualcosa come:

redis.call('zadd', KEYS[1], os.time()+ARGV[1], ARGV[2]) 

e EVAL utilizzando '1 60 1' e '1 120 2' come argomenti, secondo il vostro esempio. Per "scadere" effettivamente degli oggetti dal set, dovrai cancellarli una volta trascorso il loro tempo. Puoi farlo sia implementando un processo periodico che analizza il tuo elenco o all'accesso. Ad esempio, il seguente Lua può essere utilizzato per scadere membri:

redis.call('zremrangebyscore', KEYS[1], '-inf', os.time()) 

e EVAL utilizzando '1 bis' come argomenti per il vostro esempio.

EDIT: Come ottenere il sopra utilizzando Python

import time 
import redis 

def add(r, key, ttl, member): 
    r.zadd(key, member, int(time.time()+ttl)) 

def expire(r, key): 
    r.zremrangebyscore(key, '-inf', int(time.time())) 

... 

r = redis.Redis() 
add(r, 'a', 1, 60) 
add(r, 'a', 2, 120) 

# periodically or before every operation do 
expire(r, 'a')