In a snapshot isolated system, each transaction appears to operate on an| jepsen.io
Informally, serializability means that transactions appear to have occurred in| jepsen.io
Linearizability is one of the strongest single-object consistency models, and implies that every operation appears to take place atomically, in some order, consistent with the real-time ordering of those operations: e.g., if operation A completes before operation B begins, then B should logically take effect after A.| jepsen.io