java - 线性化和串行化有什么区别？

Question

线性化和可序列化(在 Java 的上下文中)有什么区别？您能否通过示例解释它们之间的区别或提供一个很好的引用？

Answer 1

两者的主要区别在于 serializability 是一个 global 属性；整个操作/交易历史的属性。 线性化是一个局部属性；单个操作/事务的属性。另一个区别是线性化包括实时的概念，而串行化不包括:操作的线性化点必须位于其调用和响应时间之间。 (请参阅 Tim Harris:Transactional Memory, 2ed。有关示例和证明，请参阅 多处理器编程的艺术，关于线性化的部分中 Herlihy 的幻灯片，这些幻灯片是 available here .

这两个属性都针对同一个目标:顺序一致性。来自 Herlihy 的论文:

Much work on databases and distributed systems uses serializability as the basic correctness condition for concurrent computations. In this model, a transaction is a thread of control that applies a finite sequence of primitive operations to a set of objects shared with other transactions. A history is serializable if it is equivalent to one in which transactions appear to execute sequentially, i.e., without interleaving. A (partial) precedence order can be defined on non-overlapping pairs of transactions in the obvious way. A history is strictly serializable if the transactions’ order in the sequential history is compatible with their precedence order...

...Linearizability can be viewed as a special case of strict serializability where transactions are restricted to consist of a single operation applied to a single object. Nevertheless, this single-operation restriction has far-reaching practical and formal consequences, giving linearizable computations a different flavor from their serializable counterparts. An immediate practical consequence is that concurrency control mechanisms appropriate for serializability are typically inappropriate for linearizability because they introduce unnecessary overhead and place unnecessary restrictions on concurrency.

引用资料:

• Harris、Tim、James Larus 和 Ravi Rajwar:事务性内存，2ed。计算机体系结构综合讲座。 Morgn & Claypool，2010。ISBN 9781608452354。网址:http://www.morganclaypool.com/doi/abs/10.2200/S00272ED1V01Y201006CAC011?journalCode=cac

• Herlihy、Maurice 和 Jeanette Wing:线性化:并发对象的正确性条件。 ACM 翻译。编。朗。和系统。卷。 12，第 3 期，1990 年 7 月，第 463-492 页。网址 http://www.cs.brown.edu/~mph/HerlihyW90/p463-herlihy.pdf

• Papadimitriou，Christos:并发数据库更新的可序列化。 ACM 杂志第 26 卷。第 4 期。1979 年 10 月，第 631-653 页。网址 http://publications.csail.mit.edu/lcs/pubs/pdf/MIT-LCS-TR-210.pdf

• Herlihy、Maurice 和 Nir ​​Shavit:多处理器编程的艺术。爱思唯尔，2008。ISBN 978-0-12-370591-4。网址:http://www.elsevier.com/wps/find/bookdescription.cws_home/714091/description#description关于线性化的 PPT 幻灯片在这里:http://pub.ist.ac.at/courses/ppc10/slides/Linearizability.pptx

• Attiya、Hagit 和 Jennifer Welch:顺序一致性与线性化。 ACM 计算机系统交易卷。 12，第 2 期，1994 年 5 月，第 91-122 页。网址 http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.133.4969&rep=rep1&type=pdf

更多详情:

如果您真的关心这一点，请阅读介绍定义的论文。对于线性化，即 Linearizability: A Correctness Condition for Concurrent Objects, Herlihy and Wing .它很密集，但值得关注。请注意，在软件事务内存社区中，线性化是否是正确的目标/属性是一个悬而未决的问题。

可序列化是关于操作集合的结果/“系统”可以表达为所有操作。线性化是系统中单个操作子集的属性......如果一个操作/一组操作在其他操作看来好像它们相对于其他操作发生在(逻辑)时间的特定时刻，那么它们就是可线性化的。这里的规范论文是Papadimitriou, The Serializability of Concurrent Database Updates .

当您考虑“可线性化”时，请考虑“原子操作”。当(似乎)相对于系统的其他部分原子地发生时，(一组)操作是可线性化的。一个常见的表述是“提供每个操作在其调用和响应之间立即生效的错觉”。 线性化的公式是由于Herlihy ，它强调这是一个局部属性，而其他类型的顺序一致性属性(如“可序列化”)是全局的。