主要观点：线性化是并发和分布式系统中的一种强一致性模型，能让并发操作在调用和响应之间的某个点瞬间生效，可通过分析寄存器操作历史来判断系统是否保持线性化。
关键信息：

• 是单对象一致性模型，常以寄存器（单键值对）为例。
• 示例中通过不同的操作序列和时间线来展示线性化和非线性化的情况。
• 有正式定义，涉及操作的时间戳和历史中的偏序关系等。
• 常与可串行化混淆，二者有根本区别，线性化是单对象性质，可串行化是多对象性质。
  重要细节：
• 操作在数据库中的实际执行时间因网络延迟等因素未知，但在时间线中有相对位置。
• 正式定义中通过比较历史和线性化序列来判断线性化，线性化序列是保留实时历史中操作偏序的连续序列。
• 推荐 Kyle Kingsbury 的相关资源，如一致性分类、线性化检查器 Knossos 以及对 etcd 的分析等。