可序列化是否与顺序一致性相同？

Question

我发现人们在回答线性化和可分割性之间存在差异,但我发现人们都没有发现可串行化与顺序一致性相同或者与之不同.

此外,我在不同的文章,书籍和网页上对上述术语的不同定义进行了抨击,我对此感到困惑.有人可以解释可串行性和顺序一致性之间的区别是否存在.

如果可能的话,我将赞赏上述术语的正式定义(无论是简单的英语还是程序或执行历史).

Answer 1

可串行化比顺序一致性更严格。

维基中顺序一致性的定义：任何执行的结果都是一样的，就好像所有处理器的操作都是按照某种顺序执行的，每个单独的处理器的操作都按照其程序指定的顺序出现在这个序列中。

并且，wiki中可串行化的定义：如果事务调度的结果（例如，结果数据库状态）等于其串行执行的事务的结果，即在时间上没有重叠，则事务调度是可串行化的。

因此，Sequential 一致性的粒度是单个操作（例如，读或写），而 Serializability 的粒度是一个事务（即一系列操作）。

换句话说，如果一个程序满足可串行化，它也满足顺序一致性，反之则不然。