En distribuert låser koordinerer tilgang til en delt ressurs på tvers av flere prosesser/servere slik at bare en holder låsen av gangen. Redis brukes vanligvis for dette via atomisk set-if-not-exists med en TTL — men å gjøre det korrekt krever forsiktighet (og forståelse av begrensningene).
token = ();
acquired = redis.(, token, , , );
(acquired) {
{
} {
(, token);
}
}
Låsen bruker SET key value NX EX: atomisk sett nøkkelen bare hvis den ikke finnes (slik at bare én klient lykkes) med en TTL (slik at låsen auto-frigjøres hvis innehaveren krasjer, og unngår deadlock).
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.
Å forstå distribuerte låser med Redis er verdifullt for koordinering av tilgang til delte ressurser på tvers av distribuerte systemer, så det er nyttig kunnskap — og å forstå korrektshetsfall er spesielt viktig.
Distribuerte låser løser et reelt behov: å sikre at bare én prosess/server utfører en kritisk handling av gangen (forhindrer duplikatbehandling, racerbetingelser på delte ressurser, eller konfliktende operasjoner) i multi-server-systemer, og Redis er et vanlig verktøy for dette.
Å forstå grunnmekanismen — SET key value NX EX (atomisk set-if-not-exists med en TTL) slik at bare én klient får låsen og den auto-frigjøres ved krasj — er den grunnleggende teknikken.
Kritisk sett er det essensielt å forstå de to korrektshetsdetaljene: alltid bruke en TTL (slik at en krasjet innehavers låse auto-utløper, og unngår permanent deadlock) og bruke en unik token med matchet frigjøring (slik at du ikke ved et uhell frigjør en annen klients låse hvis din TTL utløp — med atomisk sjekk-så-slett via et Lua-skript).
Disse detaljene er hvor naive implementasjoner har subtile, farlige feil.
Like viktig er det å forstå begrensningene: en enkelt-Redis-låse er ikke perfekt sikker (TTL-utløp midt i arbeidet eller failover kan la to klienter holde den), noe som fører til Redlock-algoritmen (innhenting på tvers av flere Redis-noder) for sterkere garantier — og å vite at for kritisk korrekthet kan stengingstokener eller konsensussystemer (ZooKeeper/etcd) være nødvendig.
Denne bevisstheten om avveiinger og begrensninger reflekterer modent forståelse.
Siden koordinering av delt-ressurstilgang i distribuerte systemer er et reelt behov, og siden Redis distribuerte låser er vanlige men krever nøye korrekt implementasjon (TTL, unik token, atomisk frigjøring) og bevissthet om deres begrensninger (Redlock, failover-risiko), er forståelse av distribuerte låser med Redis — mekanismen, korrektshetsdetaljene, og begrensningene — verdifull, praktisk relevant kunnskap for distribuert koordinering, et emne der å forstå fallgruvene og avveiningene er like viktig som den grunnleggende teknikken.