Proč jsou operace Redis atomické a proč na tom záleží?

Question

Accepted Answer

Redis je (efektivně) **jednovláknový** pro provádění příkazů, takže každý příkaz se vykonává **atomicky** — kompletně, bez prolínání s ostatními klienty. Tato atomicita, v kombinaci s atomickými složenými příkazy, je zásadní pro správné používání Redis pro čítače, zámky a operace citlivé na konkurenci.

## Jednovláknový → atomické příkazy

```text
Redis executes commands ONE AT A TIME (single-threaded command processing):
  → each command runs to completion before the next starts
  → NO two commands interleave → every command is inherently ATOMIC
  → no race conditions WITHIN a single command
→ This simplicity is a feature: predictable, atomic operations without locks.
```

## Atomické čítače (klíčová výhoda)

```bash
# INCR is atomic — correct even with thousands of concurrent clients
INCR page:views        # each call atomically increments → no lost updates
INCRBY downloads 5
# WITHOUT atomicity, GET-then-SET would have race conditions (lost updates);
# INCR avoids this — read-modify-write in ONE atomic operation.
```

Atomické příkazy jako `INCR` řeší klasickou **race condition při čtení-modifikaci-zápisu** — inkrementace je správná i při intenzivní konkurenci, bez ztracených aktualizací (nejsou potřeba zámky).

## Atomické složené operace

```bash
# many Redis commands do compound operations atomically:
SETNX lock "1"          # SET if Not eXists — atomic test-and-set (basis of locks)
GETSET key newval       # atomically set new value AND return the old one
INCR / DECR / INCRBY    # atomic arithmetic
LPUSH + BRPOP           # atomic queue operations
GETDEL key              # atomically get and delete
```

Tyto atomické složené příkazy (`SETNX` pro zámky, `GETSET`, atd.) umožňují bezpečně provádět test-and-set a další operace citlivé na konkurenci v jednom atomickém kroku.

## Pro atomicitu více příkazů: transakce nebo Lua

```text
For atomicity ACROSS multiple commands:
  → MULTI/EXEC transactions (commands run together without interleaving)
  → Lua SCRIPTS (a whole script executes atomically — best for complex atomic logic)
→ Single commands are already atomic; these extend atomicity to sequences.
```

## Proč na tom záleží

Chápání atomicity Redis je důležité pro **správné používání Redis v konkurenčních scénářích**, a je tedy cennou teoretickou i praktickou znalostí.

Základ — **jednovláknové** provádění příkazů v Redis, díky kterému je **každý příkaz přirozeně atomický** (žádné prolínání, žádné race conditions v rámci příkazu) — je určujícím znakem Redis, který zjednodušuje konkurenční programování: získáte předvídatelné, atomické operace bez nutnosti spravovat zámky.

Nejdůležitější praktickou výhodou jsou **atomické čítače**: `INCR`/`INCRBY` řeší klasickou race condition při čtení-modifikaci-zápisu (kde naivní GET-poté-SET by způsobil ztracené aktualizace při konkurenci), čímž je Redis ideální pro správné počítání věcí (zobrazení, rate limity, metriky) i při intenzivní konkurenční zátěži — velmi běžný a cenný případ použití.

Chápání **atomických složených příkazů** (`SETNX` pro test-and-set, základ distribuovaných zámků; `GETSET`; `GETDEL`) umožňuje bezpečné operace citlivé na konkurenci v jednom atomickém kroku.

Vědomí toho, že **atomicita více příkazů** vyžaduje transakce (`MULTI`/`EXEC`) nebo **Lua skripty** (které se provádějí atomicky, ideální pro složitou atomickou logiku), doplňuje celý obrázek.

Díky této atomicitě je Redis ideálně vhodný pro čítače, rate limiting, zámky a další funkce citlivé na konkurenci.

Požadavkem je správné chování při konkurenci, což je běžný zdroj chyb, a protože atomicita Redis (atomicita jednoho příkazu, atomické čítače/složené příkazy a transakce/skripty pro sekvence) je tím, co ji činí spolehlivou pro konkurenční operace, je pochopení toho, proč jsou operace Redis atomické a proč na tom záleží, cennou a prakticky relevantní znalostí pro správné používání Redis — zejména v velmi běžných případech čítačů, rate limitingu a zámků, kde je atomicita nezbytnou vlastností, která z Redis dělá vhodný nástroj.