Linéarisabilité
Le modèle de cohérence le plus strict pour une opération isolée : chaque opération semble prendre effet de façon atomique, à un instant unique entre son appel et sa réponse.
Herlihy & Wing (1990). Donne l'illusion qu'un objet distribué se comporte comme s'il résidait sur un seul nœud. Conséquence pratique : après une écriture réussie, toute lecture ultérieure la verra. Aussi appelée « cohérence forte » ou « cohérence atomique ».
Le prix à payer : latence (il faut attendre une majorité de répliques) et disponibilité (théorème CAP). Spanner, etcd, ZooKeeper et FoundationDB sont linéarisables. À ne pas confondre avec la sérialisabilité (niveau transaction) — la linéarisabilité s'applique par opération.