Redis transakcije (prek MULTI/EXEC) skupinirajo več ukazov za atomsko izvršitev — vse skupaj brez vmešavanja drugih ukazov. V kombinaciji z WATCH za optimistično zaklučevanje omogočajo scenarije, ki potrebujejo več operacij za skladnost. Transakcije v Redisu se od SQL transakcij razlikujejo na pomembne načine.
MULTI # start a transaction (begin queuing commands)
SET account:1 100 # QUEUED (not executed yet)
SET account:2 200 # QUEUED
INCR counter # QUEUED
EXEC # execute ALL queued commands atomically (as one unit)
# → all commands run together, with NO other client's commands in between
MULTI začne čakanje ukazov v vrsti; EXEC jih izvršuje atomsko (brez vmešavanja iz drugih odjemalcev). DISCARD prekliče čakajočo transakcijo.
# WATCH a key; if it CHANGES before EXEC, the transaction ABORTS (returns nil)
WATCH balance
val = GET balance # read the current value
MULTI
SET balance (val - 100) # modify based on what we read
EXEC # → if "balance" changed since WATCH, EXEC fails (returns nil)
# → retry the whole thing if it failed (optimistic concurrency control)
WATCH zagotavlja optimistično zaklučevanje: če drug odjemalec spremeni opazovani ključ pred EXEC, se transakcija prekine — kar vam omogoča varno izvršitev operacij preveri-nato-nastavi (újeten poskus ob konflikt).
⚠️ Redis transactions are NOT like SQL transactions:
✗ NO ROLLBACK — if a command fails at EXEC time, OTHER commands still execute
(errors don't roll back the transaction; Redis doesn't undo). Only syntax errors
before EXEC abort the whole thing.
✓ Atomicity = commands run together without interleaving (isolation), NOT all-or-nothing
with rollback on error.
→ Often Lua SCRIPTS are used instead for complex atomic logic (a script runs atomically).
Razumevanje transakcij v Redisu je dragoceno za izvršitev več operacij skladnostno, zato je to uporabno znanje — in razumevanje, kako se razlikujejo od SQL transakcij, je posebej pomembno, da se izognete napačnim predpostavkam.
Osnovne zmožnosti — MULTI/EXEC grupiiranje ukazov za atomsko izvršitev (vse skupaj, brez vmešavanja ukazov drugih odjemalcev) — rešuje scenarije, kjer morajo potekati več operacij kot skladna enota.
Mehanizem WATCH zagotavlja optimistično zaklučevanje (preveri-in-nastavi): prekine transakcijo, če se je opazovani ključ spremenil pred EXEC, omogočajući varno operacijo preveri-nato-spremeni (kot zmanjšanje stanja na podlagi trenutne vrednosti) z újetnima poskusom ob konflikt — pomembno za pravilne sočasne operacije.
Najbolj kritična točka je razumevanje, kako se transakcije v Redisu razlikujejo od SQL transakcij: Redis nima povratka — če se ukaz ne uspe pri EXEC vremenu, se ostali ukazi še vedno izvršijo (Redis ne razveljavi), zato »atomskost« tu pomeni, da se ukazi izvršijo skupaj brez vmešavanja (izolacija), NE vse-ali-nič s povratkom napak.
Napačno razumevanje tega (predpostavljanje SQL-podobnega povratka) vodi do napačnega rokovanju z napakami.
Znanje, da se Lua skripte pogosto namesto tega uporabljajo za kompleksno atomsko logiko (skript se atomsko izvršuje kot enota), je dragoceno.
Ker so skladne večoperacijske izvršitve in pravilna sočasnost resnične potrebe, in ker transakcije v Redisu (MULTI/EXEC z WATCH za optimistično zaklučevanje) to naslovljajo toda z pomembnimi razlikami od SQL (brez povratka), ki jih je treba razumeti, je razumevanje transakcij v Redisu — MULTI/EXEC, optimistično zaklučevanje na osnovi WATCH, in posebej razlikovanje brez-povratka od SQL — dragoceno, praktično-relevantno znanje za pravilno uporabo Redisa v sočasnih scenarijih, kjer je razumevanje razlik od znanih SQL transakcij enako pomembno kot sam mehanizem.