It-transaksjonijiet Redis (permezz ta' MULTI/EXEC) jiġbru kmandi multipli biex jitwettqu b'mod atomiku — kollha flimkien mingħajr kmandi oħrajn jinterferixxu. Flimkien ma' WATCH għal optimistic locking, jiddeħlu l-iskenarijiet li jeħtieġu operazzjonijiet multipli biex ikunu konsistenti. It-transaksjonijiet Redis huma differenti mit-transaksjonijiet SQL b'modi importanti.
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 jibda l-queue tal-kmandi; EXEC joħloq lhom kollu b'mod atomiku (l-ebda interleaving minn clients oħrajn). DISCARD jikkanċella transaksjon li qiegħed fi queue.
# 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 jipprovdi optimistic locking: jekk key li qiegħed fil-watch jitnbidel minn client ieħor qabel EXEC, it-transaksjon jittela — ħallika tifħal operazzjonijiet check-then-set (irretry fuq kunflitt).
⚠️ 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).
L-għarfien tat-transaksjonijiet Redis hu valwuż għas-svolġiment ta' operazzjonijiet multipli b'mod konsistenti, għalhekk hu għarfien utli — u l-għarfien ta' kif huma differenti mit-transaksjonijiet SQL hu partikolarment importanti biex tteħħid assunzjonijiet inskoret.
Il-kapaċità ċentrali — MULTI/EXEC li jiġbru kmandi biex jittawwlu b'mod atomiku (kollha flimkien, mingħajr kmandi minn client ieħor jinterferixxu) — tindirizza skenarijiet fejn operazzjonijiet multipli għandhom jiġru bħala unità konsistenti.
ess-WATCH mekkaniżmu jipprovdi optimistic locking (check-and-set): jittelgħa t-transaksjon jekk key li qiegħed fil-watch tnibdel qabel EXEC, li jippermetti operazzjonijiet check-then-modify sikuri (bħal tnaqqis ta' bilanċ ibbażat fuq il-valur kurrent tiegħu) ma' irretry fuq kunflitt — importanti għal operazzjonijiet concurrent korretti.
Il-punt l-aktar kritiku hu l-għarfien ta' kif it-transaksjonijiet Redis jikkontrasztaw mit-transaksjonijiet SQL: Redis m'għandux rollback — jekk kmand jifalli fi ħin EXEC, il-kmandi oħrajn għad jitwettqu (Redis m'għandux irritorno), għalhekk "l-atomicity" hawn ifisser kmandi jinħarbu flimkien mingħajr interleaving (isolazzjoni), MHUX il-ħaġa kollha jew xejn ma' rollback ta' żball.
L-għannonanza ta' dan (aħseb rollback simili għal SQL) twassal għal error handling inskoret.
L-għarfien li l-iskripts Lua spiss jintużaw minflok għal loġika atomika kumplessa (iskript joħloq b'mod atomiku bħala unità) hu valwuż.
Billi l-esekuzzjoni konsistenti ta' operazzjonijiet multipli u l-concurrency korretta huma ħtiġiet reali, u billi t-transaksjonijiet Redis (MULTI/EXEC ma' WATCH għal optimistic locking) jiddeħlu fiha pero ma' differenzi importanti minn SQL (l-ebda rollback) li għandhom jinftimu, l-għarfien tat-transaksjonijiet Redis — MULTI/EXEC, optimistic locking ibbażat fuq WATCH, u speċjalment id-distinzjoni ta' l-ebda-rollback minn SQL — hu għarfien valwuż u prattikament rilevanti għall-użu ta' Redis b'mod korretti f'skenarijiet concurrent, fejn l-għarfien tad-differenzi minn transaksjonijiet SQL familjari hu importanti daqs il-mekkaniżmu nnifsu.