Linealizabilidad
El modelo de consistencia más estricto para una única operación: cada operación parece producirse de forma atómica en un instante entre su invocación y su respuesta.
Herlihy y Wing (1990). Da la ilusión de que un objeto distribuido se comporta como si viviera en un único nodo. Consecuencia práctica: tras una escritura exitosa, toda lectura posterior la verá. También se conoce como "consistencia fuerte" o "consistencia atómica".
Tiene un coste en latencia (hay que esperar a la mayoría de las réplicas) y en disponibilidad (teorema CAP). Spanner, etcd, ZooKeeper y FoundationDB son linealizables. Se diferencia de la serializabilidad (a nivel de transacción): la linealizabilidad es por operación.