Az elosztott zár koordinálja a hozzáférést egy megosztott erőforráshoz több folyamat/szerver között, így csak egy tarthatja a zárat egyszerre. A Redis-t erre általában atomikus set-if-not-exists-szel (ha nem létezik, akkor beállít) és TTL-lel használják — bár a helyes megvalósítás gondosságot igényel (és a korlátok megértésére van szükség).
token = ();
acquired = redis.(, token, , , );
(acquired) {
{
} {
(, token);
}
}
A zár az SET key value NX EX parancsot használja: atomikusan beállítja a kulcsot csak akkor, ha hiányzik (így csak egy kliens sikerül), TTL-lel (így a zár automatikusan felszabadul, ha a tartó összeomlik, elkerülve az deadlockot).
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.
Az elosztott zárak Redis-sel való megértése értékes az elosztott rendszerek közötti megosztott erőforrások hozzáférésének koordinálásához, így hasznos ismeret — és különösen fontos a helyesség csapdáinak megértése.
Az elosztott zárak valós szükségletre válaszolnak: biztosítják, hogy csak egy folyamat/szerver hajtson végre egy kritikus műveletet egyszerre (megakadályozva a duplikált feldolgozást, versenyhelyzetet megosztott erőforrásokon vagy ütköző operációkat) többszerver-rendszerekben, és a Redis gyakori eszköz erre.
Az alapmechanizmus megértése — az SET key value NX EX (atomikus set-if-not-exists TTL-lel), így csak egy kliens szerzi meg a zárat és automatikusan felszabadul összeomláskor — az alapvető módszer.
Kritikus a két helyesség-részlet megértése: mindig TTL-t használni (hogy az összeomlott tartó zárja automatikusan lejárjon, elkerülve az állandó deadlockot) és egyedi tokent használni párosított felszabadítással (így nem szabadítasz fel véletlenül másik kliens zárját, ha a TTL lejárt — atomikus ellenőrzés-majd-törlés Lua-scripttel).
Ezek a részletek azok, ahol a naív implementációk finom, veszélyes bugokkal rendelkeznek.
Egyformán fontos az korlátok megértése: egy single-Redis zár nem teljesen biztonságos (TTL-lejárat munka közben vagy failover lehetővé teszi, hogy két kliens tartsa), ami a Redlock algoritmust (több Redis-csomópont közötti zárolás) vezetett erősebb garanciákért — és tudni kell, hogy kritikus helyesség esetén kerítéstokenik vagy konszenzus-rendszerek (ZooKeeper/etcd) szükségesek lehetnek.
Ez a kompromisszumok és korlátok tudatossága érett megértést tükröz.
Mivel az elosztott rendszerekben a megosztott erőforrások hozzáférésének koordinálása valós szükséglet, és mivel a Redis elosztott zárak gyakoriak, de gondos helyes megvalósítást igényelnek (TTL, egyedi token, atomikus felszabadítás) és korlátaik tudatosságát (Redlock, failover-kockázatok), az elosztott zárak Redis-sel való megértése — a механизmus, a helyesség-részletek és a korlátok — értékes, gyakorlati relevanciával bíró tudás az elosztott koordinációhoz, egy olyan témához, ahol a csapdák és kompromisszumok megértése az alapmódszer megértésének ugyanolyan fontos, mint maga.