ACID

ACID désigne les quatre propriétés des transactions relationnelles : atomicité (tout ou rien), cohérence (contraintes maintenues), isolation (concurrence sans interférence), durabilité (persistance après commit).

Objectif

Garantir que les transactions soient correctes et fiables face aux pannes et à la concurrence, l'engagement central des bases de données relationnelles.

Mécanisme

Atomicité : undo log pour tout ou rien. Cohérence : les contraintes sont satisfaites avant et après. Isolation : verrous/MVCC rendent les transactions concurrentes équivalentes à séquentielles. Durabilité : redo log/WAL écrit vers stockage persistant après commit. Niveaux d'isolation croissants : lecture non validée → lecture validée → lecture reproductible → sérialisable.

Cas d’usage

Transactions de transfert financier
Commandes et déduction de stock
Mises à jour multi-tables
Opérations nécessitant une forte cohérence

Exemples

entrée

BEGIN; UPDATE...; INSERT...; COMMIT

Output

Atomic commit or rollback

All or nothing

Erreurs courantes

Long transactions holding locks cause blocking: Shorten transactions; use optimistic locking

Termes associés

BASE est le modèle NoSQL à cohérence faible : fondamentalement disponible, état souple, éventuellement cohérent ; il échange la forte cohérence contre disponibilité et scalabilité.

Le théorème CAP énonce qu'en cas de partition réseau, un système distribué ne peut satisfaire qu'une seule des deux propriétés entre cohérence (C) et disponibilité (A) ; les trois ne peuvent tenir simultanément.

Isolation Level

Les niveaux d'isolation définissent la visibilité entre transactions concurrentes, de la lecture non validée au sérialisable ; des niveaux plus élevés donnent plus de cohérence mais moins de concurrence.

Une transaction est un groupe d'opérations exécutées comme une unité logique unique satisfaisant ACID — tout ou rien.

References