本书分析了可线性化标准的局限性, 在此基础上提出了强可线性化标准。本书致力于提供简单易用的方法验证并发数据结构的可线性化。面对多核处理器技术的不断革新, 为充分地利用多核资源提升程序的性能, 设计和实现高并发的数据结构变得越来越重要。为获得更多的并发和更好的性能, 程序开发者会尽可能地采用细粒度同步技术来实现并发数据结构。