Kaj so ravni izolacije transakcij?

Question

Accepted Answer

**Ravni izolacije** nadzirajo, koliko lahko sočasne transakcije vidijo nepotrjenih (ali potekajočih) sprememb druge druge — če poskušate uravnotežiti **konsistentnost** z **zmogljivostjo/sočasnostjo**. Višje izolacije preprečujejo več anomalij, vendar povečajo zaklepavanje/konkurenčnost.

## Anomalije sočasnosti (kaj izolacija preprečuje)

```text
DIRTY READ        → reading another transaction's UNCOMMITTED changes (which may roll back)
NON-REPEATABLE READ → re-reading a row gives different values (another txn UPDATED it)
PHANTOM READ      → re-running a query returns different ROWS (another txn INSERTED/DELETED)
```

To so težave, ki se lahko pojavijo, ko se transakcije izvajajo sočasno — ravni izolacije nadzirajo, katere so preprečene.

## Štiri standardne ravni izolacije

Vsaka višja raven preprečuje več anomalij. **Read Committed** je pogosto privzeti standard (preprečuje umazane bralne operacije); **Serializable** je najbolj stroga (transakcije se obnašajo, kot da se izvajajo druga za drugo), vendar je najbolj omejevalna za sočasnost.

## Nastavitev ravni izolacije

```sql
SET TRANSACTION ISOLATION LEVEL SERIALIZABLE;
BEGIN;
  -- ... operations run at the chosen isolation ...
COMMIT;
```

## Temeljni kompromis

```text
Higher isolation → MORE correctness (fewer anomalies), but MORE locking/contention
                   → lower concurrency, potential slowdowns, more deadlocks
Lower isolation  → MORE concurrency/performance, but risk of anomalies
→ Choose based on the data's needs: financial/critical data may need Serializable;
  most apps use Read Committed (the default) as a balance.
→ Note: implementations vary (MVCC vs locking); the SQL standard defines the levels
  but databases differ in details (Postgres, MySQL/InnoDB, etc.).
```

## Zakaj je to pomembno

Ravni izolacije transakcij so pomembno napredno znanje za razumevanje **sočasnosti v bazah podatkov** — ko se več transakcij izvaja hkrati (kot je to v vsaki pravi večuporabniški aplikaciji), ravni izolacije določijo kompromis med doslednostjo podatkov in zmogljivostjo, zato je njihovo razumevanje dragoceno za izdelavo pravilnih, učinkovitih sočasnih aplikacij.

Osrednji koncepti so **anomalije sočasnosti** (umazane bralne operacije, neponovljive bralne operacije, fantomske bralne operacije — težave, ki se pojavijo, ko transakcije vidijo potekajočo spremembo druge druge) in kako **štiri ravni izolacije** (Read Uncommitted, Read Committed, Repeatable Read, Serializable) progresivno preprečujejo več od njih.

Razumevanje tega je pomembno za pravilnost: izbira prenizke ravni izolacije lahko dovoli anomalije, ki pokvarijo podatke ali dajejo napačne rezultate (npr. branje nepotrjenih podatkov, ki se pozneje vrnejo, ali nedosledne bralne operacije), medtem ko izbira previsoke zmanjša sočasnost in zmogljivost.

**Temeljni kompromis** — višja izolacija pomeni več pravilnosti, vendar več zaklepavanja/konkurenčnosti (nižja sočasnost, potencialni umori in zastoji), nižja izolacija pa pomeni več zmogljivosti, vendar tveganje anomalij — je ključni vpogled: ravni izberete glede na zahteve doslednosti podatkov (kritični/finančni podatki lahko potrebujejo Serializable; večina aplikacij kot ravnovesje uporablja Read Committed).

Vedeti, da se implementacije razlikujejo (MVCC v primerjavi z zaklepavanjem), je prav tako relevantno.

Ker je sočasnost neločljiva v resničnih aplikacijah baz podatkov in ker ravni izolacije urejajo kritično ravnovesje med doslednostjo in zmogljivostjo (s napačnimi izbira, ki povzročajo anomalije ali težave z zmogljivostjo), je razumevanje ravni izolacije — anomalij, ravni in kompromisa med doslednostjo in sočasnostjo — dragoceno znanje na višji ravni za gradnjo pravilnih, učinkovitih sočasnih sistemov in pogosta napredna tema za intervjuje, ki prikazuje razumevanje sočasnosti baze podatkov.