Rozproszona blokada koordynuje dostęp do zasobu współdzielonego między wieloma procesami/serwerami, tak aby tylko jeden przechowywał blokadę na raz. Redis jest powszechnie używany do tego poprzez atomową operację set-if-not-exists z TTL — jednak prawidłowe wykonanie wymaga ostrożności (i zrozumienia ograniczeń).
token = ();
acquired = redis.(, token, , , );
(acquired) {
{
} {
(, token);
}
}
Blokada używa SET key value NX EX: atomowo ustawia klucz tylko jeśli nie istnieje (więc tylko jeden klient się powiedzie) z TTL (więc blokada automatycznie się uwolni, jeśli posiadacz ulegnie awarii, unikając zakleszczenia).
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.
Zrozumienie rozproszonych blokad w Redis jest cenne do koordynacji dostępu do zasobów współdzielonych w systemach rozproszonych, dlatego jest to wiedza przydatna — a zrozumienie pułapek poprawności jest szczególnie ważne.
Rozproszone blokady odpowiadają na rzeczywistą potrzebę: zapewnienie, że tylko jeden proces/serwer wykonuje krytyczną akcję w danym momencie (zapobiegając duplikowaniu przetwarzania, warunkom wyścigu na zasobach współdzielonych lub konfliktowym operacjom) w systemach multi-serwerowych, a Redis jest popularnym narzędziem do tego.
Zrozumienie mechanizmu podstawowego — SET key value NX EX (atomowa operacja set-if-not-exists z TTL), więc tylko jeden klient nabywa blokadę i automatycznie się uwolni w przypadku awarii — jest fundamentalną techniką.
Krytycznie ważne jest zrozumienie dwóch szczegółów poprawności: zawsze używanie TTL (aby blokada nieaktywnego posiadacza automatycznie wygasła, unikając trwałego zakleszczenia) i używanie unikalnego tokenu z dopasowaną alteracją (aby nie uwolnić przypadkowo blokady innego klienta, jeśli Twój TTL wygasł — z atomową operacją check-then-delete za pośrednictwem skryptu Lua).
Te szczegóły są miejscami, gdzie naiwne implementacje mają subtelne, niebezpieczne błędy.
Również ważne jest zrozumienie ograniczeń: pojedyncza blokada Redis nie jest doskonale bezpieczna (wygaśnięcie TTL w trakcie pracy lub failover mogą pozwolić dwóm klientom na przechowywanie blokady), prowadzące do algorytmu Redlock (nabycie na wielu węzłach Redis) dla silniejszych gwarancji — i wiedza, że dla krytycznej poprawności mogą być potrzebne tokeny ogrodzenia lub systemy konsensusu (ZooKeeper/etcd).
Ta świadomość kompromisów i ograniczeń odzwierciedla dojrzałe zrozumienie.
Ponieważ koordynacja dostępu do zasobów współdzielonych w systemach rozproszonych jest rzeczywistą potrzebą, a rozproszone blokady Redis są powszechne, ale wymagają ostrożnej poprawnej implementacji (TTL, unikalny token, atomowe uwolnienie) i świadomości ich ograniczeń (Redlock, ryzyka failoveru), zrozumienie rozproszonych blokad w Redis — mechanizmu, szczegółów poprawności i ograniczeń — jest cenną, praktycznie istotną wiedzą do rozproszonej koordynacji, tematu, w którym zrozumienie pułapek i kompromisów jest równie ważne jak sama podstawowa technika.