摘要：
并发对象（Concurrent Objects）这一章的主体是并发对象，之后所有的一切内容，都是围绕并发对象来谈的。浅显地说，处理并发对象，就是寻求一种机制，能够将对象方法的并发执行，转换为顺序执行，然后只需对该顺序执行进行分析即可。问题就在这里，从并发执行到顺序执行的转化，需要满足什么样的约束条件，才能保证其正确性，或者换句话说，需要在这个转化过程中，将正确性保持到什么样的程度。这些，应该是本章要解决的问题。（事实上，这里要讨论的是： 偏序关系的保留性，并发对象方法的实时关系在线性化过程中的保留性。以后所有的讨论，都基于这样一个目的，将一组并发执行，转化成一个线性的序列，根据对这个线性序列的 阅读全文