
Linearizability
Linearizability is a consistency condition in distributed systems ensuring that all operations on shared data appear to occur instantaneously at some point between their start and end times. This means that regardless of how many servers or users are involved, the system behaves as if actions happen in a strict, real-time order, maintaining a logical sequence that everyone agrees on. It provides a strong guarantee that the system's state is always consistent and up-to-date, making it easier to reason about and trust the data, even when multiple users access it simultaneously.