Porazdeljeni zaklad uskladi dostop do skupnega vira med več procesi/strežniki, tako da ga hkrati drži samo eden. Redis se pogosto uporablja za to prek atomske operacije nastavi-če-ne-obstaja z TTL — vendar je pravilna izvedba zahtevna (in zahteva razumevanje omejitev).
token = ();
acquired = redis.(, token, , , );
(acquired) {
{
} {
(, token);
}
}
Zaklad uporablja SET key value NX EX: atomsko nastavi ključ samo če ne obstaja (tako da uspe samo en odjemalec) s TTL (tako se zaklad avtomatsko sprosti, če se lastnik zruši, kar preprečuje smrtno primežev).
1. ALWAYS set a TTL → if the lock holder crashes, the lock auto-expires
(otherwise the resource is locked forever — a deadlock)
2. Use a UNIQUE TOKEN + release only if it matches → so you don't release
SOMEONE ELSE'S lock (e.g. if your TTL expired and another client acquired it).
Release must be ATOMIC (check-token-then-delete via a Lua script).
-- safe release: delete only if the value matches our token (atomic via Lua)
if redis.call("get", KEYS[1]) == ARGV[1] then return redis.call("del", KEYS[1]) else return 0 end
⚠️ A single-Redis lock isn't perfectly safe: if the TTL expires mid-work, or with
failover (the lock not yet replicated), two clients could both hold it.
→ REDLOCK algorithm → acquire the lock across MULTIPLE independent Redis nodes
(majority) for stronger guarantees (though even Redlock is debated).
→ For critical correctness, combine with fencing tokens or use a system designed for
consensus (e.g. ZooKeeper/etcd). Know the trade-offs.
Razumevanje porazdeljenih zakładov z Redsom je dragoceno za usklajevanje dostopa do skupnih virov v porazdeljenih sistemih, zato je koristno znanje — in razumevanje pasti pravilnosti je posebej pomembno.
Porazdeljeni zakladi rešujejo resnično potrebo: zagotavljanje, da samo en proces/strežnik izvede kritično dejanje hkrati (preprečevanje podvojenega obdelave, dirkalnih pogojev na skupnih virih ali konfliktnih operacij) v večserverskih sistemih, in Redis je pogosto orodje za to.
Razumevanje osnovnega mehanizma — SET key value NX EX (atomska nastavi-če-ne-obstaja s TTL), tako da samo en odjemalec pridobi zaklad in se avtomatsko sprosti ob zrušitvi — je temeljna tehnika.
Kritično je razumevanje dveh podrobnosti pravilnosti: vedno uporabiti TTL (tako da se zaklad zrušenega lastnika avtomatsko izteče, kar preprečuje trajno smrtno primežev) in uporabiti edinstven žeton s ujemajočim sproščanjem (zato ne sprosti slučajno zaklada drugega odjemalca, če je vaš TTL potekel — z atomsko preverjanjem-nato-brisanjem prek Lua skripte).
Te podrobnosti so mesto, kjer imajo naivne izvedbe subtilne, nevarne napake.
Enako pomembno je razumevanje omejitev: zaklad z enim Redisom ni popolnoma varen (iztek TTL sredi dela ali prenos domene lahko dovoli dvema odjemalcema, da ga držita), kar vodi do Redlock algoritma (pridobivanje čez več vozlišč Redisa) za močnejše jamstvo — in vedenje, da za kritično pravilnost lahko potrebujete žetone ograjevanja ali sisteme soglasja (ZooKeeper/etcd).
To zavedanje kompromisov in omejitev odraža zrelo razumevanje.
Ker je usklajevanje dostopa do skupnih virov v porazdeljenih sistemih resnična potreba, in ker so porazdeljeni zakladi Redisa pogosti, vendar zahtevajo previdno pravilno izvedbo (TTL, edinstven žeton, atomsko sproščanje) in zavedanje njihovih omejitev (Redlock, tveganja prenosa domene), je razumevanje porazdeljenih zakładov z Redsom — mehanizma, podrobnosti pravilnosti in omejitev — dragoceno, praktično relevantno znanje za porazdeljeno usklajevanje, temo, kjer je razumevanje pasti in kompromisov enako pomembno kot osnovna tehnika.