线性一致性 Linearizability

每个操作看似在调用与返回之间原子发生，并且遵守真实时间顺序的一致性模型。