Zašto su Redis operacije atomske i zašto je to važno?

Question

Accepted Answer

Redis je (efektivno) **jednonitni** za izvršavanje naredbi, pa se svaka naredba izvršava **atomski** — u potpunosti, bez preplitanja od strane drugih klijentata. Ova atomskost, kombinirana s atomskim složenim naredbama, temeljna je za ispravnu upotrebu Redisa za brojače, bravice i operacije osjetljive na konkurentnost.

## Jednonitnost → atomske naredbe

```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.
```

## Atomski brojači (ključna prednost)

```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.
```

Atomske naredbe poput `INCR` rješavaju klasičnu **trku pri čitanju-izmjeni-pisanju** — inkrementiranje je ispravno čak i uz veliku konkurentnost, bez izgubljenih ažuriranja (bez potrebe za bravicama).

## Atomske složene operacije

```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
```

Ove atomske složene naredbe (`SETNX` za bravice, `GETSET`, itd.) omogućuju vam test-i-postavi i druge operacije osjetljive na konkurentnost sigurno u jednom koraku.

## Za atomskost više naredbi: transakcije ili 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.
```

## Zašto je to važno

Razumijevanje Redisove atomskosti važno je za **ispravnu upotrebu Redisa u konkurentnim scenarijima**, pa je to vrijedna koncepcijska i praktična znanja.

Temelj — Redisovo **jednonitno** izvršavanje naredbi čini **svaku naredbu inherentno atomskom** (bez preplitanja, bez trka unutar naredbe) — okarakteristična je Redisova osobina koja pojednostavljuje konkurentno programiranje: dobivate predvidive, atomske operacije bez upravljanja bravicama.

Najvažnija praktična prednost je **atomski brojači**: `INCR`/`INCRBY` rješavaju klasičnu trku pri čitanju-izmjeni-pisanju (gdje bi naivni GET-pa-SET uzrokovao izgubljenja ažuriranja pri konkurentnosti), čineći Redis idealnošću za ispravno brojanje stvari (prikazi, ograničenja brzine, metrike) čak i pod teškom konkurentnom opterećenju — vrlo česta i vrijedna upotreba.

Razumijevanje **atomskih složenih naredbi** (`SETNX` za test-i-postavi, osnova distribuiranih bravica; `GETSET`; `GETDEL`) omogućuje sigurne operacije osjetljive na konkurentnost u jednom atomskom koraku.

Znanje da **atomskost više naredbi** zahtijeva transakcije (`MULTI`/`EXEC`) ili **Lua skripte** (koje se izvršavaju atomski, idealne za kompleksnu atomsku logiku) dovršava sliku.

Ova atomskost je razlog zašto je Redis tako dobar za brojače, ograničenja brzine, bravice i druge operacije osjetljive na konkurentnost.

Budući da je ispravno ponašanje pod konkurentnosti kritično i čest izvor grešaka, te budući da je Redisova atomskost (atomskost pojedine naredbe, atomski brojači/složene naredbe, i transakcije/skripte za nizove) ono što ga čini pouzdanošću za konkurentne operacije, razumijevanje zašto su Redis operacije atomske i zašto je to važno je vrijedna, praktično relevantna znanja za ispravnu upotrebu Redisa — posebno za vrlo česte slučajeve brojača, ograničenja brzine i bravica gdje je atomskost bitka svojstva koja čini Redis pravim alatom.