Linéarisabilité

La garantie la plus stricte sur un objet : dès qu'une écriture est terminée, toute lecture ultérieure, où qu'elle soit, la voit, dans l'ordre réel. Indispensable pour les verrous, l'élection de leader et les contraintes d'unicité.

Où on le retrouve dans les vrais systèmes

  • SQL distribué

    Chaque écriture est validée par un protocole de consensus (Raft ou Paxos) : elle n'est jamais perdue et chaque lecture est à jour, même entre régions. Le prix est la latence : une écriture doit atteindre une majorité de réplicas, et entre régions cela représente des dizaines de millisecondes.

    En production : Google Cloud Spanner, CockroachDB, YugabyteDB, TiDB, Amazon Aurora DSQL

Regarde-le casser, puis répare-le

Construis une architecture, envoie-lui une journée de trafic et de pannes, et comprends pourquoi elle tient ou cède. Gratuit pour commencer.

Ouvrir le parcours Ouvrir le bac à sable