Πώς λειτουργούν οι συναλλαγές βάσης δεδομένων στο Django;

Question

Accepted Answer

Μια **συναλλαγή βάσης δεδομένων** ομαδοποιεί πολλές λειτουργίες έτσι ώστε να **πετύχουν όλες ή να αποτύχουν όλες μαζί** (ατομικότητα) — αποτρέποντας μερικές, ασυνεπείς ενημερώσεις. Το Django παρέχει `transaction.atomic` για να τυλίξει λειτουργίες σε μια συναλλαγή, διασφαλίζοντας την ακεραιότητα δεδομένων για λειτουργίες πολλών βημάτων.

## Το πρόβλημα που λύνουν οι συναλλαγές

```python
# ❌ WITHOUT a transaction — partial failure leaves inconsistent data
def transfer_money(from_account, to_account, amount):
    from_account.balance -= amount
    from_account.save()                  # ✓ succeeds
    # ...if the server crashes HERE, money vanished from one account...
    to_account.balance += amount
    to_account.save()                    # ✗ never runs → money LOST!
```

Χωρίς συναλλαγή, αν η δεύτερη λειτουργία αποτύχει, η πρώτη έχει ήδη δεσμευθεί — αφήνοντας τη βάση δεδομένων σε σπασμένη, ασυνεπή κατάσταση (χρήματα χρεωθέντα αλλά όχι πιστωθέντα).

## transaction.atomic — όλα ή τίποτα

```python
from django.db import transaction

# as a context manager
def transfer_money(from_account, to_account, amount):
    with transaction.atomic():           # everything inside is ONE transaction
        from_account.balance -= amount
        from_account.save()
        to_account.balance += amount
        to_account.save()
    # if ANY operation raises an exception, the WHOLE block is ROLLED BACK
    # → either both saves happen, or neither does (atomicity)
```

```python
# or as a decorator on a whole function/view
@transaction.atomic
def create_order(request):
    order = Order.objects.create(...)
    for item in items:
        OrderItem.objects.create(order=order, ...)
    # all-or-nothing: a failure anywhere rolls back the entire order creation
```

Μέσα στο `atomic()`, αν οποιαδήποτε λειτουργία εγείρει μια εξαίρεση, το Django **αναιρεί** κάθε αλλαγή στο μπλοκ — έτσι ώστε η βάση δεδομένων να μην μένει ποτέ ημιτελής. Κατά την επιτυχία, όλες οι αλλαγές δεσμεύονται μαζί.

## Ένθετα ατομικά μπλοκ (savepoints)

```python
with transaction.atomic():               # outer transaction
    do_something()
    try:
        with transaction.atomic():       # inner = a SAVEPOINT
            risky_operation()
    except Exception:
        pass                              # inner rolls back to the savepoint; outer continues
```

Τα ένθετα `atomic` μπλοκ χρησιμοποιούν savepoints — το εσωτερικό μπλοκ μπορεί να αναιρεθεί ανεξάρτητα χωρίς να ακυρώσει ολόκληρη τη εξωτερική συναλλαγή.

## Σημαντικές λεπτομέρειες

```text
✓ Catch exceptions OUTSIDE the atomic block (catching inside can break rollback handling)
✓ select_for_update() locks rows within a transaction (prevent race conditions on updates)
    with transaction.atomic():
        account = Account.objects.select_for_update().get(pk=id)  # row locked until commit
✓ ATOMIC_REQUESTS setting wraps EVERY request in a transaction (per-database)
✓ Keep transactions SHORT — long transactions hold locks, hurting concurrency
```

## Γιατί έχει σημασία

Οι συναλλαγές βάσης δεδομένων είναι απαραίτητες για την **ακεραιότητα δεδομένων** όποτε μια λειτουργία περιλαμβάνει πολλές σχετικές αλλαγές βάσης δεδομένων που πρέπει να πετύχουν ή να αποτύχουν ως ένα σύνολο — και η κατανόηση του `transaction.atomic` είναι σημαντική γνώση για τη δημιουργία σωστών, αξιόπιστων εφαρμογών.

Το βασικό πρόβλημα που λύνουν οι συναλλαγές είναι η **μερική αποτυχία**: χωρίς ατομικότητα, αν μια λειτουργία πολλών βημάτων αποτύχει στο μέσο (ένα crash, μια εξαίρεση, μια παραβίαση περιορισμού), η βάση δεδομένων μένει σε ασυνεπή κατάσταση — το κλασικό παράδειγμα μεταφοράς χρημάτων (χρέωση από ένα λογαριασμό αλλά όχι πίστωση σε άλλον) δείχνει πώς αυτό καταστρέφει δεδομένα και μπορεί να έχει σοβαρές συνέπειες. Το `transaction.atomic` παρέχει τη εγγύηση ότι οι λειτουργίες είναι **όλες ή τίποτα** (αναιρώντας ολόκληρο το μπλοκ σε κάθε αποτυχία), που είναι απαραίτητο για κάθε λειτουργία που εκτείνεται σε πολλαπλές εγγραφές — δημιουργία μιας παραγγελίας με τα αντίστοιχα είδη της, μεταφορά χρημάτων, ενημέρωση σχετικών εγγραφών — για να διατηρηθεί μια συνεπής βάση δεδομένων.

Η κατανόηση του τρόπου χρήσης atomic blocks (ως context manager ή decorator), των ένθετων συναλλαγών με savepoints, και των σημαντικών λεπτομερειών — σύλληψη εξαιρέσεων *έξω* από το μπλοκ, χρήση του **`select_for_update()`** για κλείδωμα γραμμών και αποτροπή συνθηκών race σε ταυτόχρονες ενημερώσεις, και διατήρηση των συναλλαγών μικρές για να αποφευχθεί το κράτησης κλειδωμάτων — είναι πρακτική γνώση για τη δημιουργία ισχυρών εφαρμογών.

Η συνέπεια δεδομένων είναι μια θεμελιώδης απαίτηση των αξιόπιστων συστημάτων, και οι συναλλαγές είναι ο μηχανισμός που την διασφαλίζει για λειτουργίες βάσης δεδομένων πολλών βημάτων, καθιστώντας αυτό ένα σημαντικό θέμα που διακρίνει τους προγραμματιστές που γράφουν σωστό, κατάλληλο κώδικα ακεραιότητας από εκείνους των οποίων οι εφαρμογές μπορούν να καταστρέψουν σιωπηλά δεδομένα υπό συνθήκες αποτυχίας ή ταυτόχρονης πρόσβασης — μια συχνά σχετική ανησυχία σε κάθε εφαρμογή που χειρίζεται σημαντικές, σχετικές αλλαγές δεδομένων.